Skip to content

Independently check #4377's CRT evaluator bound: arithmetic holds with ~500x slack; per-axis bill tight (0.977) at m = 1; one non-load-bearing wire-tariff slip at ell = 1 (no new κ) - #4409

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:crt-evaluator-independent-check
Oct 21, 2026
Merged

Independently check #4377's CRT evaluator bound: arithmetic holds with ~500x slack; per-axis bill tight (0.977) at m = 1; one non-load-bearing wire-tariff slip at ell = 1 (no new κ)#4409
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:crt-evaluator-independent-check

Independently check #4377's CRT evaluator bound: arithmetic holds wit…

f39e5c2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs