Registry · Definition III.D05 tau-effective formalized

III.D05 — Layer Template

Each enrichment layer E_k has a uniform four-component structure: E_k = (Carrier_k, Predicate_k, Decoder_k, Invariant_k). The template is preserved under enrichment: each layer's invariant flows into the next layer's carrier.

Book III Part 1 Ch. 5

Dependency Graph

Depends on (1)

Depended on by (10)

Lean Formalization

Module: TauLib.BookIII.Enrichment.LayerTemplate

Symbol: LayerTemplate