Editing Non-Functional Requirements (section)

=== NFR-REC-01 — Clean restart after failure ===

'''Requirement:''' After any failure, it shall be possible to restore the system to a known clean state by running <code>reset-primes.sql</code> and re-running the generation job.<br />
'''Rationale:''' Without a clean-restart procedure, a failed run leaves the database in an unknown state.<br />
'''Test approach:''' Simulate a mid-run failure; run <code>reset-primes.sql</code>; run a full generation; verify correctness.<br />
'''Priority:''' Must Have<br />
'''Source:''' <code>reset-primes.sql</code> provides this; it must be documented as the recovery procedure.<br />
'''Status:''' Script exists; recovery procedure not yet documented.

<span id="nfr-rec-02-no-partial-page-print-output"></span>