The normative roadmap is DELIVERY_ROADMAP.md.
Honest preview status: STATUS.md and
security/KNOWN_TRUST_GAPS.md.
The project advances in this order:
- Validate real user bottlenecks (external confirmations still open).
- Ship rational-function equality through two backends and one checker (experimental reference path — not stable).
- Prove cross-domain reuse through exact linear algebra and finite counterexamples.
- Add hypothesis synthesis.
- Federate existing certificate projects (fixtures today; live agreements open).
- Grow formal rational calculus and frontier mathematics only after the core
is validated (
algebra.formal_rational_calculus; analytic calculus is separate).