VCR-DEC-001: whole-function graph-colouring allocator spike (flag-off, #242)#843

Merged

avrabe merged 6 commits into

mainfrom

feat/50-graph-alloc-spike

Jul 22, 2026

Commits on Jul 22, 2026

test(VCR-DEC-001): red-first probe — verify_allocation rejects same-colour-interfering assignment

avrabe
and
claude
committed
test(VCR-DEC-001): re-aim red-first probe to validate_segment_rewrite (the real gate)

avrabe
and
claude
committed
feat(VCR-DEC-001): graph_alloc.rs — whole-function graph-colouring allocator core (flag-off)

avrabe
and
claude
committed
feat(VCR-DEC-001): wire flag-gated hook + reframed differential (RA-003 Consistent on applied output)

avrabe
and
claude
committed
ci(VCR-DEC-001): wire the graph-alloc spike differential into trap-semantics-oracle

avrabe
and
claude
committed
test(VCR-DEC-001): prove the colourer makes REAL choices (non-identity)

avrabe
and
claude
committed