Skip to content

REQ-ACCEPTANCE-004: MTFX-T2 price-bound and MTFX-I3 no-negative-balance proofs - #417

Merged
zendev-acceptor[bot] merged 3 commits into
masterfrom
claude/issue-268-mtfx-t2-i3
Sep 11, 2026
Merged

zendev-acceptor[bot] merged 3 commits into
masterfrom
claude/issue-268-mtfx-t2-i3

REQ-ACCEPTANCE-004: correct MTFX-I3 mislabel to I4, add wallet-bound …

bbbeff8
Select commit
Loading
Failed to load commit list.