VCR-VER-004: instrument independence — the ABI observable contract, a check that fails differently (#242) - #897

Merged

avrabe merged 9 commits into

mainfrom

lane/l6-instrument-independence

Aug 4, 2026

Commits on Jul 30, 2026

VCR-VER-004: the ABI observable-contract validator — a check that fails differently (#242)

avrabe
and
claude
committed
a19a174
VCR-VER-004: wire the ABI contract as a second, independent acceptance gate + the mutation repro (#242)

avrabe
and
claude
committed
d615554
VCR-VER-004: CI-wire the independence oracle + make two synthetic fixtures well-formed (#242)

avrabe
and
claude
committed
8df3b6b
VCR-VER-004: measure the SHIPPING allocator against the ABI contract, and pin the result (#242)

avrabe
and
claude
committed
1ce71fc
docs(VCR-VER-004): CHANGELOG entry + close the v0.53 residual in the honest summary (#242)

avrabe
and
claude
committed
7dbfbc8
VCR-VER-004: model the AAPCS call effect — compose with increment 3 (#242, #896)

avrabe
and
claude
committed
5da129a
chore(VCR-VER-004): re-generate the v0.53 mutation patch against L4's tree (#242)

avrabe
and
claude
committed
1139ace
docs(VCR-VER-004): re-pin every number after the call model (#242, #896)

avrabe
and
claude
committed
fbf2155
chore(#890): declare the two VCR-VER-004 oracles `# ci-status: wired`

avrabe
and
claude
committed
47c4d74