44b27eeffe
- 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
2.7 KiB
2.7 KiB
Math Reviewer Packet Template
Use this template to package any claimed mathematical result for independent review before public "solved" claims are made.
1. Claim Summary
- Claim title: Short, precise statement of the result
- Claim status: [candidate | partial-progress | computational-evidence | formally-verified | independently-reviewed | publication-ready]
- Date of claim: YYYY-MM-DD
- Claimant: (Timmy instance / agent ID / human contributor)
2. Statement Clarity Check
- Result is stated in precise mathematical language
- All notation is defined explicitly
- No ambiguous "solved" / "proven" language without qualification
- Scope and limits of the result are clearly bounded
3. Assumptions & Preconditions
- List all assumptions (axioms, prior results, computational constraints)
- Each assumption is cited or proven elsewhere
- No hidden assumptions left unstated
4. Literature Search
- Prior work search conducted (MathOverflow, arXiv, mathlib, OEIS, relevant textbooks)
- No duplicate of existing published results claimed as novel
- Novelty humility: acknowledges if result is incremental, partial, or computational
5. Proof / Evidence Validity
For Proof-Based Results
- Full proof provided in machine-readable format (LaTeX / Markdown)
- Each step is logically justified
- No gaps longer than 2 sentences without explicit citation or lemma
For Computational Results
- Code/artifact link provided (reproducible environment)
- Random seeds / parameters fully documented
- Output verified by independent script (if applicable)
For Formal Verification
- Lean / Coq / other formal proof assistant file linked
- Compiles without errors on standard toolchain
6. Reproducibility Package
- All source code used is linked (repo commit hash / Gitea issue/PR reference)
- Dependencies listed with versions
- Minimal reproduction steps provided (3 steps or fewer)
7. Review Channel & Sign-off
- Selected review channel: (trusted mathematician / MathOverflow draft / Lean/mathlib review / arXiv-adjacent collaborator / other)
- Reviewer identity: (handle / name / affiliation)
- Review date: YYYY-MM-DD
- Review outcome: [APPROVED | REVISION REQUIRED | REJECTED]
- Reviewer notes: (free text)
8. Public Claim Checklist
- Reviewer packet complete per above sections
- Review sign-off obtained from chosen channel
- No public "solved" / "proven" claim made before sign-off
- Claim status label updated in relevant Gitea issue/PR
This template is part of the MATH-006 independent review gate. No public novelty claim ships without a completed, signed-off packet.