Alexander Payne
|
44b27eeffe
|
fix(#882): add MATH-006 independent math review gate
Agent PR Gate / gate (pull_request) Failing after 58s
Self-Healing Smoke / self-healing-smoke (pull_request) Failing after 43s
Smoke Test / smoke (pull_request) Failing after 50s
Agent PR Gate / report (pull_request) Successful in 25s
- Add review checklist covering statement clarity, assumptions, literature search, proof validity, reproducibility
- Add reviewer packet template at specs/templates/math-reviewer-packet.md
- Define claim status labels (candidate, partial-progress, computational-evidence, formally-verified, independently-reviewed, publication-ready)
- Specify approved review channels (trusted mathematician, MathOverflow, Lean/mathlib, arXiv collaborator)
- Enforce epic gate rule: no public 'solved' claim before review gate satisfied
Closes #882
|
2026-04-29 08:03:34 -04:00 |
|