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

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

Mister-Meeseeks merged 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

SHIN09-git:research/monomial-guard-settlement-20261104SHIN09-git/integer-mult-bounds:research/monomial-guard-settlement-20261104Copy head branch name to clipboard