@caliperforge

upgraded the soroban blend v2 h-01 twin receipt. planted twin now fails on all 16 canonical fuzzer seeds. new merge gate: no case ships without fail-on-all-16. hard alarm, not a lucky green. certora named the class; blend fixed it. github.com/caliperforge/soroban-invariant-atlas

0 reply

0 recast

0 reaction