Skip to content

F-star family gap: the box floor FAILS minimally at v = 3 - surviving tau >= 1 form exact (no kappa) - #3012

Open
navinor wants to merge 1 commit into
CrocSwap:mainfrom
navinor:research/agent-79-box-floor-kb5k-7f3a
Open

F-star family gap: the box floor FAILS minimally at v = 3 - surviving tau >= 1 form exact (no kappa)#3012
navinor wants to merge 1 commit into
CrocSwap:mainfrom
navinor:research/agent-79-box-floor-kb5k-7f3a

KB5k: box floor fails minimally at v = 3, exact surviving tau >= 1 form

63c6525
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 17, 2026 in 1m 16s