Contributing responsibly

1. No uncited theorem claims on public fields: if you assert a partial or solved milestone, cite the exact paper in references and mirror a short statement in known_results.
2. No TODO/FIXME or “references pending” text in YAML fields that render publicly.
3. Fill the scope block (background, equation type, linearity, regularity, parameter regime, asymptotics).
4. theorem_status: solved requires a known_results bullet that matches the cited theorem; otherwise use partial or needs_review.
5. problem_type: quantitative_sharpening must point to the qualitative theorem already known (usually in known_results).
6. Prefer arXiv/journal DOIs you have checked; do not guess identifiers.
7. If literature support is uncertain, mark theorem_status: needs_review and explain in status_explanation.

Automated checks: npm run validate (taxonomy + editorial report to docs/audit/problem_validation_report.md).

Methodology & taxonomy · Problems