<aside> 🏛

E0 CITIZEN · INVARIANT GRAMMAR

</aside>

$\mathcal Q[\mathsf{Grammar\ Closure}\mid\mathcal G_{\tau}:=\{f\mid\tau\circ f=\tau\};\mathbf{Endomorphism\ Grammar};f,g\in\mathcal G_{\tau}\Rightarrow f\circ g\in\mathcal G_{\tau};E0;\varnothing]$

Closure proof

$\tau\circ(f\circ g)=(\tau\circ f)\circ g=\tau\circ g=\tau.$

Transit credential

Route: Linguistics Bureau → Central Citadel

Evidence: E0 exact

Boundary: Closure under composition of invariant-preserving maps.