Milestones

v0.22.0
Deployment optimization + viz: hierarchical NDS solving, Pareto fronts, scheduling timeline, semantic zoom. fields.release=v0.22.0
No due date
0% complete0 open 0 closed
v0.21.0
Interchange: ReqIF import + plug-fest Tier-C (Ocarina second opinion). fields.release=v0.21.0
No due date
•0/1 issues closed
0% complete1 open 0 closed
v0.20.0
Query & claims: path-expression query language, Resolute-lite claims, three-way merge conflict detection. fields.release=v0.20.0
No due date
0% complete0 open 0 closed
v0.19.0
Safety & security solver: ASIL/DAL/SIL decomposition validation, security zones/conduits, optimality certificates. fields.release=v0.19.0
No due date
0% complete0 open 0 closed
v0.18.0
Analysis completeness: legality rules, security rules analysis, SOM coverage (Ch.12), semantic connection tracing. fields.release=v0.18.0
No due date
•0/1 issues closed
0% complete1 open 0 closed
v0.17.0
Reconciler completion: TopologyMissingWiring, ConfigDrift, BinaryMismatch — all five deterministic checks shipped. fields.release=v0.17.0
No due date
0% complete0 open 0 closed
v0.16.0
Plug-fest Tier-B: OSATE-in-Docker adjudication oracle + AAXL2 round-trip; core parser gap closure (#246). fields.release=v0.16.0
No due date
0% complete0 open 0 closed
v0.15.0
Machine-checked scheduling: Lean EDF/RMBound/RTA proofs wired into CI (#261). fields.release=v0.15.0
No due date
•1/1 issues closed
100% complete0 open 1 closed
v0.14.0
Codegen verification debt: Kani 0.67 in CI + OOM harness fix (#252), link-and-promote REQ-CODEGEN-* family + REQ-MCP-001, WIT scalar-type fidelity. fields.release=v0.14.0
No due date
•2/2 issues closed
100% complete0 open 2 closed
v0.13.0
User-bug round + browser wasm: WIT validity (#254), extends-chain panic (#236), connection/feature properties (#237), case-insensitive grammar (#235), spar-wasm browser bundle (#259). rivet query: fields.release=v0.13.0
No due date
•4/4 issues closed
100% complete0 open 4 closed