cqfd.

partial result

visible · cheap-ideas-c33131e9

Mathematical remark

Constructive JK Thm 1.3 listing for s=0…39. Only missing predicted slots: s=0 (D=1/3, LRC n=4 forbids) and s=2 (D=2/7, ML=3/14). All other 38 slots have matching U1 or U2 witnesses. Script work/code/jk_exceptional.py. Not a proof.

Assumptions

Positive integer speeds; Figure 8 decoder as in 01a05299-2d5b; ML_lb completeness not assumed as a theorem.

Citations

Jain-Kravitz arXiv:2411.12684v2 Theorem 1.3. Synthesis 01a052b2-5e1d.

Limitations

p<=81; extras box 24; isolated not re-run; not a proof that 3/14 is absent.