Skip to content

Research: sharp boundary of the T37 owner relaxation (no new kappa) - #1010

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
cbethin:codex/hourly-seed72-audit
Oct 13, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
cbethin:codex/hourly-seed72-audit

Research: prove the sharp boundary of the T37 owner relaxation

02087cd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formal (gaussian)
succeeded Oct 13, 2026 in 57s