What problem does it solve? Final mathematical proofs assembled from many proof steps can hide derivation gaps, drifted theorem statements, unproved assumptions, or compressed appendix arguments that undermine rigor. This Skill provides a diagnostic final review that checks every derivation line-by-line before a theorem candidate is accepted. ## Core Features & Use Cases - Derivation Auditing: Verifies theorem-level, assembly-level, and step-level derivations against accepted step artifacts, settings, and the LaTeX paper bundle. - Quantifier and Rate Discipline: Checks quantifier order, constants, parameter dependence, probability and convergence modes, explicit-rate declarations, and boundary or degenerate cases. - Repair Localization: Emits machine-readable diagnostic fields including verdict, blocking issues, suggested repair depth (assembly, step, sketch, or idea), and the smallest candidate repair target. - Use Case: After assembling a LaTeX proof manuscript from accepted proof steps, run this reviewer to confirm the appendix preserves all source derivations and the main theorem is self-contained before acceptance. ## Quick Start Run the rigor review on the assembled proof in perspective_M/idea_N after proof assembly to produce proof_review_rigor.md with a PASS or BLOCKING verdict.
