Registry · Theorem V.T306 conjectural not_formalized V.T306 — Baryon loading from tau-native eta_B Ledger restatement: baryon loading from tau-native eta_B (V.D255) Book V Part 7 Ch. 62