<aside> 🏛

E0 CITIZEN · INVARIANT GRAMMAR

</aside>

$\mathcal Q[\mathsf{Radix\ Valuation}\mid\operatorname{enc}_b:\mathbb Q\to\mathsf{Numeral}_b,\ \operatorname{val}_b:\mathsf{Numeral}_b\to\mathbb Q;\mathbf{Radix};\operatorname{val}_b\circ\operatorname{enc}b=\operatorname{id}{\mathbb Q};E0;b\ge2]$

Transit credential

Route: Linguistics Bureau → Radix Interchange

Evidence: E0 exact

Boundary: Encoding changes notation, not rational value.