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.