Registry · Remark V.R54 tau-effective not_applicable

V.R54 — No connection needed

In Category tau, frame transition maps Phi_{k,k+1}^(n) are structural, following from the refinement tower alone. The orthodox connection (Christoffel symbol or gauge field) is a chart shadow of these structural transitions.

Book V Part 2 Ch. 11

Lean Formalization

Module: