Registry · Proposition VII.P03 tau-effective formalized

VII.P03 — Four-Orbit Implies Four-Layer

Four orbits of ρ-action on lemniscate correspond to four enrichment layers; orbit closure implies enrichment saturation.

Book VII Part 1 Ch. 8

Dependency Graph

Depends on (2)

VII.T03 VII.T06

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.FourorbitImpliesFourlayer