Milestones

v0.31.0
Traceability closeout + hardening: full rivet V audit, #139 disposition, fuzz corpus expansion. See docs/roadmap.md.
No due date
•1/1 issues closed
100% complete0 open 1 closed
v0.30.0
Formal soundness inc 1 (#218): Kani/Rocq proofs for Canonical ABI lift/lower invariants the code already claims (new SR-40). See docs/roadmap.md.
No due date
•1/1 issues closed
100% complete0 open 1 closed
v0.29.0
P3 async closeout: #141 residual audit (SR-33 verified) + #94 umbrella disposition. See docs/roadmap.md.
No due date
•2/2 issues closed
100% complete0 open 2 closed
v0.28.0
Separate-input cross-component linking (#212.1, closes #212; new SR-39). Oracle: un-ignore golden_e2e tier_b_separate_inputs_internalise_link. See docs/roadmap.md.
No due date
•1/1 issues closed
100% complete0 open 1 closed
v0.27.0
Multi-source DWARF merge completion (#208 close): str-pool dedup, abbrev merge, cross-module ranges (SR-38 verified). See docs/roadmap.md.
No due date
•1/1 issues closed
100% complete0 open 1 closed
v0.26.0
Multi-source DWARF merge inc 1 (#208): lift the single-DWARF-source restriction via one-write CU relocation (new SR-38). See docs/roadmap.md.
No due date
0% complete0 open 0 closed
v0.25.0
DWARF Phase 2 closeout (#143): cross-repo witness verification of Remap, then flip DwarfHandling default Strip→Remap (SR-35 verified). See docs/roadmap.md.
No due date
•1/1 issues closed
100% complete0 open 1 closed
v0.24.0
Per-class adapter lines (#144 inc 4, closes #144; SR-36 verified). Tier-5 merger tagging + Mythos pass. See docs/roadmap.md.
No due date
•1/1 issues closed
100% complete0 open 1 closed
v0.23.0
Adapter DWARF attribution end-to-end: #144 inc 1-3, synthetic <meld-adapter> unit in the Remap pipeline (SR-36 implemented). See docs/roadmap.md.
No due date
0% complete0 open 0 closed
v0.22.0
Sound memory default (--memory auto, #172/SR-37) + composed-export correctness (#212.2/LS-CP-5). See docs/roadmap.md.
No due date
•2/2 issues closed
100% complete0 open 2 closed