What problem does it solve? When developing machine-learning theory proofs, a global proof diagnostic can hide theorem-level obstructions, shallow closure claims, or broken generated-output flows that only surface late in step-level proving. This Skill acts as an early review gate that validates the diagnostic before any step-level proof work begins, deciding whether it is accepted, needs a global rewrite, requires proof-sketch repair, or exposes an idea-level obstruction. ## Core Features & Use Cases - Contract and fidelity validation: Checks that global_proof.md contains all required sections, stays faithful to setting.md and the accepted proof sketch, and respects the diagnostic boundary. - Multi-gate audit pipeline: Applies theorem-critical mechanism witness, noncircular closure, entry-state trace, step-locality, baseline invariance, residual-to-target adequacy, and gate evidence row checks before acceptance. - Failure-localized routing: Classifies every hard obligation as step-local, sketch/interface defect, or idea/theorem-contract defect, and routes to /global-proof, /proof-sketch, or /subagent-idea-generator. - Use Case: After a global proof diagnostic is written for a theorem branch, run this review to catch a circular recurrence closure or a missing mechanism witness before step workers waste effort on unprovable local steps. ## Quick Start Ask the agent to review the branch's global_proof.md against setting.md and the accepted proof sketch, and write global_proof_review.md with a status of ACCEPTED, REVISE_GLOBAL, REVISE_SKETCH, or IDEA_FAIL.
