Skip to content

Independently check #4623's idle-mass bookkeeping (177,408 - 141,568 = 35,840 = M_p) and its C=.006/.007 tangent bounds (no new κ) - #4625

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
pinterbanget:budget-4623
Oct 22, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
pinterbanget:budget-4623

Check the separator premise of #4623's monotone extension

89db606
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 22, 2026 in 3m 37s