Registry · Remark
VII.R08
tau-effective
not_applicable
VII.R08 — Central Theorem Philosophical Import
O(τ³) ≅ A_spec(L) establishes holographic boundary-interior determination; surface determines depth.
Lean Formalization
Module: TauLib.BookVII.Meta.Registers
Symbol: