Registry · Theorem IV.T113 tau-effective formalized

IV.T113 — Readout Landscape Theorem

The readout landscape R is uniquely determined by the boundary holonomy algebra H_partial[omega] and the enrichment layer E1. It does not depend on conventional choices (units, scheme, regularization). The readout landscape is a structural invariant of the tau^3 fibration.

Book IV Part 2 Ch. 14

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Calibration.RunningRegime

Symbol: Tau.BookIV.Calibration.ReadoutLandscapeTheorem