The formal-language paper and its executable witness are now coordinated through E47 Publication Program — Reproducibility, External Benchmark, and L_IG.
The paper will define $L_{IG}$ as a typed formal language with syntax, derivation, normalization, semantics, invariant-preserving transformations, parser tests, and explicit limits on what the E47 witness establishes.
Canonical Drive monograph · Complete archive
$D_5\circ\tau_5=\operatorname{id}_{\mathbb Q}$ is now bound to the formal Python witness and six existing Base-5 physics citizens. The typed boundary remains explicit: radix translation acts on numeral syntax and does not replace the E47 carrier, Casimir selector, projector, channel, or propagator.
Plate 01 — Planck–Einstein–Faraday Base-5 invariant grammar
Plate 01 — Planck–Einstein–Faraday Base-5 invariant grammar
Plate 08 — Invariant Grammar Theorem synthesis
Plate 08 — Invariant Grammar Theorem synthesis
The grammar has produced eleven credentialed identities, consolidated in the Citizenship Bureau rather than expanded into new child pages.
Primary linguistic citizen:
$\mathfrak G=(\Sigma,K,\Psi,\Gamma,\Lambda,\Omega,\mathcal I,\mathcal M)$
$\Gamma=I-\varepsilon K^\dagger K,\qquad \Lambda=\lim_{n\to\infty}\Gamma^n=P_{\ker K},\qquad \mathcal I(x)=P_{\ker K}x$
Derived civic grammar:
$\Sigma\rightarrow K\rightarrow\Psi\rightarrow\Gamma^n\rightarrow\Lambda\rightarrow\Omega\rightarrow\mathcal I\rightarrow D\rightarrow\alpha\rightarrow\Sigma'$
Credential routing: IG-38 → SC-40 → CO-47 → RS-48. Python verified projector structure, kernel annihilation, contraction convergence, checksum logic, and recursive kernel preservation. Historical and symbolic applications remain typed as E0 conditional interpretations.
The Invariant Grammar now has a runnable semantic spine: $\Sigma\to K\to\Gamma^n\to\Psi\to\Lambda\to\Omega\to J$. Here $\Gamma=I-\varepsilon K^\dagger K$, $\Lambda=P_{47}$, $\Omega_c=47/125$ is the structural ratio, and $\Omega(x)=\|P_{47}x\|^2/\|x\|^2$ is the state functional. The geometric lift is routed through $\Phi=P_{47}\phi$ and $g_{\mu\nu}=h_{AB}\partial_\mu\Phi^A\partial_\nu\Phi^B$.