Repository navigation

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

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
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
pinterbanget:budget-4623

Commits on Oct 22, 2026
- Independently check #4623's idle-mass bookkeeping (177,408 - 141,568 = 35,840 = M_p) and its C=.006/.007 tangent bounds (no new κ)
  
  pinterbanget
  and
  claude
  committed
  8738cbb
- Check the separator premise of #4623's monotone extension
  
  pinterbanget
  and
  claude
  committed
  89db606