Registry · Theorem VI.T25 tau-effective planned

VI.T25 — Signature Rigidity Determines Uniqueness

Consumer sector Con_{(γ,η)} is the unique mixed sector; no other generator pairing from {α,π,γ,η} admits a stable mixed Life loop. Proof by exhaustion.

Book VI Part 6 Ch. 33

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: