Registry · Remark IV.R10 tau-effective formalized

IV.R10 — Normalization

N = Z(4)/R ≈ 5.935 is NOT algebraic. R is bulk-to-surface breathing ratio of Hodge Laplacian, not Z(4)/constant.

Book IV Part 3 Ch. 23

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Calibration.EpsteinZeta

Symbol: Tau.BookIV.Calibration.NormalizationRemark