Skip to content

Scoped negative result: cross-block mixing retains the fixed complex late-interface floor - #1517

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/complex-cross-block-locality-seed33-20261013
Oct 14, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:research/complex-cross-block-locality-seed33-20261013

Prove cross-block locality for fixed complex late interfaces

c8e37d5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (3.14)
succeeded Oct 15, 2026 in 3m 40s