Registry · Remark V.R20 tau-effective not_applicable

V.R20 — Two metrics, one space

The base tau^1 carries two natural metrics -- an ultrametric encoding the hierarchical structure of the refinement tower (which levels share common coarse projections) and an additive time metric encoding physical temporal distance -- reflecting the dual roles of tau^1 as algebraic hierarchy and temporal substrate.

Book V Part 1 Ch. 4

Lean Formalization

Module: