Repository navigation
C8: the cap-failure probability in the proof of Theorem A has an exact planar leading coefficient, Q^W(G_r^c) = c_G(b,k) r^3 + o(r^3), c_G certified (every cap-route constant C_cap on the band exceeds 5.3e6; scientific effect NONE) - #203
Merged
5 commits merged intoOct 4, 2026
Merged
5 commits merged into
5 commits merged into
Commits
Commits on Sep 30, 2026
- andcommitted
- andcommitted
Commits on Oct 3, 2026
Commits on Oct 4, 2026