Registry · Proposition V.P10 tau-effective formalized

V.P10 — Frame transitions are boundary-determined

The frame adjacency map Phi_{k,k+1}^(n) between adjacent clopen frames at depth n is completely determined by the boundary holonomy algebra H_partial[omega] evaluated at the shared point alpha_{k+1}. No metric, connection, or gauge field data is needed.

Book V Part 2 Ch. 11

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.GravityField.FrameHolonomy

Symbol: Tau.BookV.GravityField.FrameTransitionsAreBoundarydetermined