Conformance and correctness harness
Started: public stable-core corpus and runner. Next: CI and diagnostic snapshots.
Optimization plan
The full roadmap is also tracked in GitHub under docs/OPTIMIZATION_PLAN.md.
Started: public stable-core corpus and runner. Next: CI and diagnostic snapshots.
Gate x86_64 Windows/Linux with deterministic smoke tests before widening claims.
Keep stable core small, documented, and tested.
Diagnostics, formatter, lint, LSP, and examples must feel predictable.
Production replacement claims wait for repeatable proof.