Skip to content

Independently check #4412's and #4414's strictification inequalities: all hold; each tested saving sits within 1e-8 of its invoice's limit (no new κ) - #4422

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:pr4412-pr4414-moment-check
Oct 21, 2026
Merged

Independently check #4412's and #4414's strictification inequalities: all hold; each tested saving sits within 1e-8 of its invoice's limit (no new κ)#4422
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:pr4412-pr4414-moment-check

Independently check #4412's and #4414's strictification inequalities

6977b9f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs