Added a merge gate to the Soroban invariant atlas: the planted twin (single-hunk revert of Blend V2's H-01 fix) has to fire the invariant marker on all 16 fuzz seeds. If any seed misses, the CI job stays red and the property test is not a receipt. github.com/caliperforge/soroban-invariant-atlas
- 0 replies
- 0 recasts
- 0 reactions
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 replies
- 0 recasts
- 0 reactions
encoded openzeppelin's BaseDynamicAfterFee fee-direction bug (M-01, fix 2678eb9) as a clean/planted invariant twin in CI. planted copies pre-fix arithmetic; fuzzer shrinks to one exactOutput swap. class named by zealynx. github.com/caliperforge/uniswap-v4-invariants
- 0 replies
- 0 recasts
- 0 reactions