fix(proof): reconcile successful mediated HEAD abort - #450

Merged

bizzybee90 merged 5 commits into

mainfrom

codex/fix-product-proof-mediated-head-reconciliation-20260809

Aug 9, 2026

Commits on Aug 9, 2026

fix(proof): reconcile bounded mediated HEAD abort
Michael Carbon
committed
dfa70fa
test(proof): assert non-success response stop
Michael Carbon
committed
1e666db
fix(proof): bind duplicate HEAD failure diagnostic
Michael Carbon
committed
a3daa14
test(proof): reject HEAD abort before responses
Michael Carbon
committed
a5be223
test(proof): reject widened CDP abort shapes
Michael Carbon
committed
47aedc5