Registry · Theorem
III.T06
tau-effective
formalized
III.T06 — Template Invariance Under Reflection
The layer template (Carrier, Predicate, Decoder, Invariant) is preserved under the Langlands₁ reflection. The four components change substance but preserve structure. Proved via commutativity with the enrichment functor.