Proof: вынести общую BUILD-границу - #508

Closed

lemone112 wants to merge 21 commits into

agent/mpfi-sourcefrom

agent/build-transport

Commits on Aug 1, 2026

Proof: вынести общую BUILD-границу
lemone112
committed
f6c7dbf
Proof: изолировать CID cleanup и lifecycle
lemone112
committed
2e415d3
Proof: укрепить transport boundary и receipt trust
lemone112
committed
f34fa37
Proof: preserve stream ownership during cleanup
lemone112
committed
6600223
Test: always reap hostile observer fixture
lemone112
committed
1b3ffbf
Test: register observer cleanup before fixture setup
lemone112
committed
08e0243
Build: типизировать невалидный public input
lemone112
committed
c010af9
Proof: сохранить Arb binding и total probe
lemone112
committed
9e10df2
Proof: totalize native cleanup failure
lemone112
committed
f465413
Test: уточнить fixed-arity boundary
lemone112
committed
ba538b0
Proof: totalize native build observations
lemone112
committed
f645d75
Proof: retain native cleanup evidence
lemone112
committed
284ee16
Proof: зафиксировать BUILD binding на capability
lemone112
committed
33dfded
Proof: seal V2 build identity review fixes
lemone112
committed
f23c627
Merge remote-tracking branch 'origin/agent/mpfi-source' into agent/build-transport
lemone112
committed
78a174e
Docs: уточнить CID-root boundary
lemone112
committed
13e4fbf
Test: закрепить безопасный native fallback
lemone112
committed
8327636

Commits on Aug 2, 2026