Independent verification: selected PR1042 finite invoice, 9 guards, 14 bootstrap steps and 94 outer slacks (seed 81, no new kappa) - #1112

Independent verification: selected PR1042 finite invoice, 9 guards, 14 bootstrap steps and 94 outer slacks (seed 81, no new kappa)#1112

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Wronskode:research/frontier1042-invoice-audit-s81Wronskode/integer-mult-bounds:research/frontier1042-invoice-audit-s81Copy head branch name to clipboard