Registry · Remark V.R271 tau-effective not_applicable

V.R271 — The metric is a derived quantity

In GR, the metric g_mu_nu is the fundamental dynamical variable. In tau, the metric is a secondary quantity: the chart shadow of the boundary algebra, computed from R^H by integrating the readout over a coordinate patch. As a derived quantity, the metric inherits its properties from the boundary algebra, not vice versa.

Book V Part 7 Ch. 61

Lean Formalization

Module: