Proof: замкнуть single-operation replay - #511

Closed

lemone112 wants to merge 11 commits into

agent/mpfi-source-materializationfrom

agent/mpfi-build-closure

Commits on Aug 1, 2026

Proof: запечатать MPFI source input
lemone112
committed
8fd4562
Test: запечатать общий proof inventory
lemone112
committed
173c4ef
Test: закрепить MPFI input в обязательном proof gate
lemone112
committed
4c78b4e
Test: уточнить MPFI fixture guard
lemone112
committed
e588d43
Proof: замкнуть single-operation replay
lemone112
committed
ec13060
Proof: убрать stale test scaffolding
lemone112
committed
bd7ddba
Test: bind policy mutations to constructor fields
lemone112
committed
6cd4f1b
Merge remote-tracking branch 'origin/agent/mpfi-source-materialization' into agent/mpfi-build-closure
lemone112
committed
86ef5ce
Proof: keep MPFI capability rejection explicit
lemone112
committed
bd47c14
Merge remote-tracking branch 'origin/agent/mpfi-source-materialization' into agent/mpfi-build-closure
lemone112
committed
ab635ac

Commits on Aug 2, 2026

Test: expose Arb gate inventory helper
lemone112
committed
931c432