Proof preflight
Run only if the proof target is bounded.
Acceptance ownerArkiv reviewers
Required proofrepo + Braga demo + live refs
Human approval gatewrites and submission are explicit
Privacy boundaryno private notes or secrets
Allowed: local checks
Allowed: public-safe packet
Proof node: runner passed · verifier passed · packager ready
Human approval stays in front of public writes and submissions
Blocked: final submission
Blocked: wallet writes before approval