Registry · Definition III.D07 tau-effective formalized

III.D07 — E₁ Layer (Physics)

E₁ = (H_τ-enriched objects, sector admissibility via 4+1 decomposition, spectral projection onto sectors, sector couplings as canonical lifts of ι_τ). Domain: Books IV-V. Physics as enrichment.

Book III Part 1 Ch. 5

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookIII.Enrichment.LayerTemplate

Symbol: e1_layer_book3