Registry · Theorem V.T345 tau-effective not_formalized V.T345 — E_1 fullness, updated E_1 fullness: five sectors cover all measured E_1 physics Book V Part 7 Ch. 68