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

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.GlobalFiniteness

Symbol: Tau.BookV.Cosmology.FiniteMotifTheorem