Vol2 Deep Audit

Vol II Deep Audit

This is the findings-first counterpart to rectification.

Inputs

• exact target file, theorem, definition, or live surface if given
• otherwise the smallest live surface implied by the prompt

Audit posture

• Read before editing.
• Default output is prioritized findings, not prose reassurance.
• Treat every strong claim as false until a local proof, citation, or computation survives hostile checking.
• If the user asks for both audit and repair, start with the audit pass, then hand off to $vol2-beilinson-rectification for fixes.

Mandatory loop

1. Start with a short progress update naming the target and first verification step.
2. Register substantial work in update_plan.
3. Read:
   • target file