Registry · Remark IV.R159 tau-effective not_applicable

IV.R159 — Ultrametric locality

Interactions between defect bundles in different child cylinders at depth n+1 are suppressed by ultrametric distance >= p_n# in Z-hat, with the interaction kernel decaying faster than any polynomial; this ultrametric locality underwrites tower compatibility.

Book IV Part 7 Ch. 52

Lean Formalization

Module:

Symbol: