Registry · Definition VII.D90 tau-effective formalized

VII.D90 — Generative Switch

Transition τ₀ → τ from static completeness to dynamic generativity; content identity with mode change; irreversibility.

Book VII Part 11 Ch. 126

Dependency Graph

Depended on by (2)

VII.D91 VII.R57

Lean Formalization

Module: TauLib.BookVII.Logos.Sector

Symbol: Tau.BookVII.Logos.Sector.GenerativeSwitch