Operational Distance
Operational Distance (V.D28) is the τ-categorical spatial separation between defect bundles, defined as the arc-length on the spatial complement of the τ-base. It is the spatial counterpart to Proper Time (V.D17) and the operational quantity that observers measure with rulers and light-travel time.
τ-Definition
Operational Distance (V.D28) is the τ-categorical spatial separation between defect bundles, defined as the arc-length on the spatial complement of the τ-base. It is the spatial counterpart to Proper Time (V.D17) and the operational quantity that observers measure with rulers and light-travel time.
Categorical invariant. OperationalDistance(B₁, B₂) := arc length of the geodesic connecting B₁ and B₂ on the spatial complement of the τ-base; an E1 invariant of the τ-spatial metric.
Primary registry anchor:
V.D28
τ-Derivation Chain
-
I.K0— Universe Postulate establishes τ -
V.T08— Time Derivation Theorem fixes the τ-base; the spatial complement is the rest -
V.D17— Proper Time (Arc Length) on the τ-base — the temporal counterpart -
V.D28— Operational Distance := arc length on spatial complement -
V.D269— τ-Native Luminosity Distance specializes to cosmological observers
Lean modules referenced:
TauLib.BookV.Temporal.DistanceLadder
SI Translation
Calibration anchor: PG-P01-neutron
Calibration chain:
- m_n (anchor)
- c via IV.D293
- metre := distance light travels in 1/299 792 458 second (SI definition)
Manuscript reference: manuscript-sources/book-05/part02-spatial/ch-operational-distance.tex
Lean Coverage
See Also
Cross-domain bridges
This glossary term sits on the boundary between domains. The τ-framework's cross-domain pivots are the structural junctions where physics, life, and metaphysics readouts meet.