# 2026-11-01 — Synthesis, manuscript and critical review

• All six sub-projects delivered (literature 129 refs; Rust ECDLP engine; signature benchmarks; SHA-256 grids on M3U96b; Lean 4 formal layer; ECDLP studies on M3U96a/M2U64). Every hypothesis file updated; registry: 16 known_reproduced, 6 empirical_observation, 3 rejected, 0 new_verified, 0 pending.
• Two beliefs written from memory were corrected by the verification layers: σ0/σ1 are bijective (H22 rejected by bv_decide + GF(2) rank), and the local-collision correction vector needs Σ0δ ⊕ Σ1δ at step i+1 (Lean + Python agree).
• Manuscript: 74 pages, 14 sections + 3 appendices, 16 figures (4 TikZ illustrative, 12 from data), 22 tables (all numeric tables generated by scripts), 0 undefined references, 0 undefined citations, 1 residual overfull box inside a TikZ figure.
• Critical pass: generic-cost arithmetic corrected (√(π/12)·2^128 = 2^127.0; negation-map cost 2^127.8; gap to the 112-bit record 2^72; preprocessing example 2^176 offline / 2^96 entries); instance count unified at 6 240; TMTO optimum statement corrected (density 2^-8–2^-10).
• Classification discipline: the GLV closed form is labelled "known structure, explicit form"; no result labelled new_verified.