A completed proof lands only in ProverState.final_proof_code (backend/bourbaki/prover/state.py:76), which is per-run state. Nothing in prover/ writes to disk — run N+1 begins with zero knowledge of what run N proved.
Do
- On
state.verified == True, split signature from body
- Assign a stable name derived from the problem ID
- Append to a collection
Depends on: contamination guard. Spec: F-002.
A completed proof lands only in
ProverState.final_proof_code(backend/bourbaki/prover/state.py:76), which is per-run state. Nothing inprover/writes to disk — run N+1 begins with zero knowledge of what run N proved.Do
state.verified == True, split signature from bodyDepends on: contamination guard. Spec: F-002.