feat(#901): ProvenSafeBoundsChecker — fail-closed, attested bounds-check elision from scry's proofs (VCR-MEM-004) - #915

Merged

avrabe merged 8 commits into

mainfrom

feat/901-proven-safe-bounds

Aug 5, 2026

Commits on Aug 5, 2026

docs(#901): VCR-MEM-004 — proof-carrying bounds-guard elision from scry verdicts

avrabe
and
claude
committed
7ef460c
feat(#901): ProvenSafeBoundsChecker — the scry-informed BoundsChecker strategy

avrabe
and
claude
committed
6c4c67b
feat(#901): synth_core::proven_safe — fail-closed safe-accesses.json ingestion + sigil attestation

avrabe
and
claude
committed
6c740fe
feat(#901): wire --proven-safe end-to-end — elision marks + attestation sidecar

avrabe
and
claude
committed
64a7a99
test(#901): byte-evidence gates + the false-attestation fix they found

avrabe
and
claude
committed
9e55747
test(#901): execution differential + CI wiring, in the same commit

avrabe
and
claude
committed
36ed7d7
docs(#901): CHANGELOG + feature-matrix template + claims.yaml pin; VCR-MEM-004 implemented

avrabe
and
claude
committed
54faae1
fix(#901): --proven-safe must never silently do nothing (two false-surface defects)

avrabe
and
claude
committed
2be1ff8