Registry · Theorem
V.T116
tau-effective
formalized
V.T116 — Finite Motif Theorem
The number of distinct stable irreducible topological motifs in tau^3 is finite: N_motif(n) <= 2^4 * p_n^3 at each depth, and as n -> infinity the count stabilizes to a finite N_eternal. The four-component defect tuple on compact tau^3 admits only finitely many persistent configurations.
Book V
Part 6
Ch. 54