Hilbert 16(a) degree 8 — q7

Record re-fetched 2026-09-04: arXiv:2602.06888 v4 still has 2,367 nonempty T-schemes. Parent 17/17 still verify. Bound still ≥ 2,384. No new scheme. Incomplete leftover even components of size >10^10 are residue, not a lower bound.

Finished: odd size 5 (37,632,123); a=10 even (126,336); a=17 nested-box even (25,292,736); several other enumerable M-collection even components including the (7,15) hole neighbour (41,860,704); radius-1 thicken of size-5 refinements; 40 random regular triangulations; five walk-from-M-certificate triangulations. All known schemes.

Leftover: Harnack / Wiman / ⟨17⊔1⟨1⟩⊔1⟨2⟩⟩ even components (8.8e10, 2.5e11, 2.0e11), odd size ≥ 6.