Registry · Theorem V.T274 tau-effective not_formalized

V.T274 — Structural e-Fold Count N_e = 57

N_e = dim(tau^3) x W_5(3) = 3 x 19 = 57. Each fibration dimension traverses W_5(3) independent winding modes. Spectral index n_s = 1 - 2/57 = 0.96491 at +13 ppm from Planck.

Book V Part 6 Ch. 47

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module:

Symbol: