chore(release): v0.24.0 — the allocator release: VCR-RA-001 verified, Belady spilling default-on

[avrabe]

Release v0.24.0 — the North Star's first Track-A rivet closes.

Changed (deliberate byte-change, anchors refrozen)

• SYNTH_SPILL_REALLOC default-ON (feat(vcr-ra)!: SYNTH_SPILL_REALLOC default-on — Belady spilling ships (#242, VCR-RA-001) #583): Belady spilling ships — flat_flight at its Belady optimum, 40+ functions shrink, 0 grow; new bytes execution-proven before pinning; =0 opt-out CI-gated.

Added

• Whole-function slot liveness (feat(vcr-ra): whole-function slot liveness — dead frame stores drop (#242, VCR-RA-001) #579); spill-on-exhaustion (feat(vcr-ra): spill on register exhaustion — remove the optimized-path hard-fail (#242, VCR-RA-001) #580, off pending silicon).

Fixed

• Direct-selector spill rung never reloads a never-stored slot (Direct selector spill rung miscompiles: ldr reads a never-stored frame slot after mul.w clobbers a live register (shipped path, wrong value) #581/fix(selector): spill rung stores before clobber — never reload a never-stored slot (#581) #582, shipped-path silent miscompile).

Traceability

VCR-RA-001 → verified — earned, not re-scoped: liveness spilling + Belady placement + slot liveness + hard-fail removal + default-on, all differential-proven. rivet release status v0.24.0: ✓ Cuttable.

Pin sweep + lock + CHANGELOG. Tag v0.24.0 on merge.

🤖 Generated with Claude Code

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!