Claims

../

2026_04_23_chojecki: Chojecki's note, obtained with GPT-5.4 Pro, shows the printed question false counted over pairs, per point or on average, and answers its threshold repair yes below root 2 and no on [root 2, root 3).

2026_07_15_snyder: A one-separated oblique lattice with more points than the triangular lattice within distance 6 refutes the printed question at t = 6 under each counting reading; with a strict-threshold variant and a repaired final clause; in Lean.

---