Leftover probes for q4. Nothing here replaces the q3 leading
1.1118 unless a stored face dump in ../certs/ plus the
Section 7 chain says so.
smallz.md— q3 dent excludes no extra integer at Z=2..6moment_notes.md— Hausdorff scan, no pen-and-paper R=4 liftpmax_notes.md— spread lemma not certified; F_hi unusable