Registry · Theorem V.T301 tau-effective not_formalized V.T301 — E-fold count N_e=57 from fibration and CF window Ledger restatement: N_e=3*19=57 from fibration and CF window Book V Part 7 Ch. 62