Skip to content

Prove production Gaussian inverse bound 2 + 2p/u² (no new κ) - #6126

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w14-1022aj-query-floor
Oct 28, 2026
Merged

Prove production Gaussian inverse bound 2 + 2p/u² (no new κ)#6126
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w14-1022aj-query-floor

Commits

  1. Commits on Oct 28, 2026