Skip to content

Price monomial guard headers with sharp ternary row-addition budgets (no κ) - #6712

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
SHIN09-git:research/monomial-guard-settlement-20261104
Nov 10, 2026
Merged

Price monomial guard headers with sharp ternary row-addition budgets (no κ)#6712
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
SHIN09-git:research/monomial-guard-settlement-20261104

Check every named subset against literal permutation masks

03caa7f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 4, 2026 in 4m 19s