Registry · Remark VII.R52 tau-effective not_applicable

VII.R52 — Sector–Register Correspondence

Cross-book consistency verified: 4+1 sector decomposition at E₃ (VII.D07–D11, VII.T03) instantiates the abstract 4+1 template from Book III (III.D13). Five generators yield four ρ-orbits yield four registers plus logos crossing mediator.

Book VII Part 1 Ch. 5

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: