Skip to content

Quadratic prescribed guards cannot fit the current nine-row outer assembly - #6062

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
zxv:codex/backward-outer-contract
Oct 28, 2026
Merged

Quadratic prescribed guards cannot fit the current nine-row outer assembly#6062
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
zxv:codex/backward-outer-contract

Record final overlap and scoped verification coverage

3c30b9e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 28, 2026 in 3m 39s