Use when the user asks to audit, rectify, fortify, fix, tighten, or converge a Vol II chapter, theorem, proof, introduction, appendix, or the live manuscript surface. Do not use for purely local copyedits with no mathematical or structural truth conditions.
Run the full local rectification loop on the live surface.
update_plan.\input graph from main.texRED: logic, hypotheses, signs, formulas, scopeBLUE: consistency, labels, status tags, duplicate formulations, build/test collisionsGREEN: missing definitions, dangling references, structural gaps, statements that should be weakened or splitcompute/audit/linear_read_notes.md with:
CRITICALSERIOUSMODERATE~/chiral-bar-cobar~/calabi-yau-quantum-groups if the claim is truly cross-volumepytestmake fast for load-bearing theorem/proof rewritesCONVERGEDBLOCKED: <specific blocker>multi_tool_use.parallel for independent reads, greps, log checks, and targeted tests.apply_patch for manual edits.exec_command for git diff, pytest, make fast, and focused shell inspection.