Repository navigation

Research audit: sharp T37 integrality penalties (no new kappa) - #992

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

woklerx:research/audit-seed65

Oct 13, 2026

Merged

Research audit: sharp T37 integrality penalties (no new kappa)#992
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
woklerx:research/audit-seed65

Commits on Oct 13, 2026
- Research audit: certify integer penalties in the T37 relaxation
  woklerx
  committed
  4c00ff7
- Record audit outcome and PR handoff
  woklerx
  committed
  0efdfc2