Registry · Definition
VII.D30
tau-effective
formalized
VII.D30 — Bulk-Boundary Duality
Interior algebra reconstructs from boundary spectral data; surface determines depth as ontological principle.
Lean Formalization
Module: TauLib.BookVII.Meta.Registers
Symbol: Tau.BookVII.Meta.Registers.BulkBoundaryDuality