fluxpoint-proof-audit
Check that verification got stronger, not just greener — run the proof-strength ratchet, then the proof-auditor over the diff. Codex entry point for the fluxpoint proof-audit command.
Pinned to revision d51204870c4e, so it is the text this page describes rather than whatever the author pushed since.
Files
Every link opens the file at its source, pinned to the revision this page describes.