Use when auditing, rectifying, falsifying, converging, or pressure-testing theorem, proof, formula, status, or scope material in the Calabi-Yau Quantum Groups repository. Trigger on audit, rectify, red-team, Beilinson, theorem status, proof gap, convergence, or "is this actually proved?" tasks.
Read AGENTS.md first. This skill is the triggered deep workflow for hostile mathematical review.
Work on the live manuscript surface:
main.tex\input-ed filescompute/tests/ sliceRun three passes:
RED: logic, formulas, signs, hypotheses, scope, status honestyBLUE: collisions across intro/chapter/examples/appendices/compute/tests/README/other volumesGREEN: missing definitions, dangling references, frontier gaps, and over-advertised objectsAP40, AP43, AP-CY6, AP-CY7, AP-CY8, and AP49 as mandatory checks.Stop only at:
CONVERGED: no known actionable MODERATE+ findings remain on the modified surface and the relevant verification passes.BLOCKED: exact blocker named.Do not end halfway through the loop.