Repository navigation

Proof: допустить точный исходник MPFI - #503

Closed

lemone112 wants to merge 4 commits into

agent/proof-executor-boundaryfrom

agent/mpfi-source

Commits on Jul 30, 2026

Add exact MPFI source admission
lemone112
committed
cd9e590
Proof: уточнить MPFI source admission
lemone112
committed
8a63b23

Commits on Aug 1, 2026

Docs: уточнить длину source-lock wire
lemone112
committed
443d0a8
Merge latest proof executor contract
lemone112
committed
d1aee34