IV.R318 — Boundary witness budget

Each clopen localization step at scale epsilon creates a profinite boundary mapping to the crossing point omega of L; at omega, gamma-address information hands off to eta-address information, with each boundary witness contributing at least hbar_tau to the conjugate uncertainty budget.