Registry · Theorem VI.T31 tau-effective planned

VI.T31 — BH ω-Representative: Fusion Convergence

BH merger fuses codes monotonically (never increases ι_τ-distance); distinct mergers strictly improve at infinitely many stages; net converges to ι_τ.

Book VI Part 7 Ch. 45

Dependency Graph

Depends on (2)

VI.T29 VI.T30

Depended on by (1)

VI.T35

Lean Formalization

Module: TauLib.BookVI.CosmicLife.CrossLimit

Symbol: Tau.BookVI.CrossLimit.BhRepresentativeFusionConvergence