Registry · Definition V.D148 tau-effective formalized

V.D148 — Orbit-Depth-Dependent Readout

An orbit-depth-dependent readout is a physical quantity whose measured value depends on the orbit depth n at which measurement is performed, defined as the restriction of an observable O on H_partial[omega] to the level-n truncation of the refinement tower.

Book V Part 5 Ch. 45

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.OrbitdepthdependentReadout