Registry · Theorem
V.T118
tau-effective
formalized
V.T118 — Absorbing Pattern Theorem
The motif distribution on tau^3 converges to a unique absorbing pattern P_infty as refinement depth n -> infinity. On the compact torus T^2, rho acts as a contraction yielding convergence; on the base tau^1, the directed alpha-orbit forces monotone refinement without reversal.
Book V
Part 6
Ch. 54