Registry · Remark V.R324 conjectural not_applicable

V.R324 — eta_B Structural Candidate

eta_B = alpha * iota_tau^15 * (5/6) = 6.04e-10, -1.03% from Planck 2018. The 5/6 domain-wall factor reappears from Y_p. Conjectural: iota_tau^15 exponent needs first-principles derivation.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

Lean Formalization

Module: