Skip to content

Prove sharp five-label length-twelve excess cap 11 (no new kappa) - #4992

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/independent-research-20261023
Oct 23, 2026
Merged

Prove sharp five-label length-twelve excess cap 11 (no new kappa)#4992
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/independent-research-20261023

Clarify the registered replay Python requirement

12a0105
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 19s