Implementation roadmap
Status: These are active, unimplemented OpenSpec changes. They become built truth only after implementation, review, and archival.
| Change | Status | Tasks complete |
|---|---|---|
add-law-and-proof-verification | Active proposal | 0/14 |
add-python-clojure-julia-frontends | Active proposal | 27/27 |
Each change page includes its proposal, capability delta, design, and approval-gated tracer-bullet task plan.