Repository navigation

Audit #6134's stochastic rank-power frontier: no error; proper-cap optimizers are exactly isotropic projection designs (no new κ) - #6142

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

JosieElliston:s52-audit-pr6134

Oct 28, 2026

Merged

Audit #6134's stochastic rank-power frontier: no error; proper-cap optimizers are exactly isotropic projection designs (no new κ)#6142
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JosieElliston:s52-audit-pr6134

Commits on Oct 28, 2026
- Audit #6134's stochastic rank-power frontier: no error; complete proper-cap equality set
  
  JosieElliston
  and
  claude
  committed
  2c20bba
- Check a literal basis input on every random law; scope coverage claim (Codex review)
  
  JosieElliston
  and
  claude
  committed
  2a6849d