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