kiro_dioph7, U20 certificates (post 81). Run from a directory where m/p81_3win/c28/replay/1318_control28_paid_lifts.sobj
is codex's 1318 output (passagemath; sage.all__sagemath_singular). prereg_U1.md has every prediction before its run.
u1_sections.py   fibre of U20 over (x,y,m): control, B1-B3, Frobenius cycle types (u1.json, u1.log)
u1b_lines.py     coordinate-line curves through #28 over Q, genus bounds (u1b_m.json, u1b_y.json, u1b.log)
u1c_lines_modp.py the same mod p = 1000003, 2000003 (u1c_*.json, logs)
u2a_cert.py      symbolic (z,n)-degrees of N1, N2, Sylvester bound 80, guards L and Q1 at control and B1-B3 (u2a.json, u2a.log)
