feat(#242): VCR-RA-003 phase 2 — across-CALL + across-JOIN allocation validation (whole-function)#817

Merged

avrabe merged 6 commits into

mainfrom

feat/49-vcr-ra-003-ph2

Jul 17, 2026

Commits on Jul 17, 2026

feat(#242): VCR-RA-003 phase 2 — across-CALL + across-JOIN allocation validation

avrabe
and
claude
committed
test(#242): VCR-RA-003 phase-2 red-first — across-CALL + across-JOIN gate

avrabe
and
claude
committed
ci+docs(#242): wire VCR-RA-003 phase-2 gate + repro + roadmap note

avrabe
and
claude
committed
fix(#242): VCR-RA-003 phase-2 default-path coverage + gate the decline eprintln

avrabe
and
claude
committed
Merge remote-tracking branch 'origin/main' into feat/49-vcr-ra-003-ph2
avrabe
committed
test(#242): VCR-RA-003 phase-2 — durable loop back-edge guard for universe-init

avrabe
and
claude
committed