
<aside> 🧭
SOL HANDOFF · COMPLETED TRANSIT
The Mathematical City Information Transit Agent received the sealed theorem, Python reconstruction, numerical residuals, and correction distinction. The invariant cargo was preserved through routing.
</aside>
$$ \mathcal D=L_{\mathrm{FCC}}\otimes I_V+I_S\otimes K^2, \qquad \mathcal H=S\otimes V. $$
$$ \dim S=125,\qquad \dim V=125,\qquad E_{47}=\ker K,\qquad \dim E_{47}=47. $$
$$ \mathcal B_{47}:=S\otimes E_{47}, \qquad \Psi:=\ker\mathcal D. $$
\operatorname{span}\{\mathbf1_{\mathrm{FCC}}\}\otimes E_{47}. $$
$$ \dim\mathcal H=125\cdot125=15625, \qquad \dim\mathcal B_{47}=125\cdot47=5875, \qquad \dim\Psi=47. $$
0.376. $$
0.376. $$
0.3008\%. $$
<aside> ⚖️
CANONICAL RATIO DISTINCTION
$\Omega_{\mathrm{int}}=\Omega_{\mathrm{band}}=0.376$, while $\Omega_{\ker}=0.003008=\Omega_{\mathrm{int}}/125$.
The protected internal-band fraction is not the global asymptotic-kernel fraction.
</aside>
$$ \frac{125\cdot47}{125\cdot125}=\frac{47}{125} $$
$$ \frac{47}{125\cdot125}=\frac{47}{15625}\neq\frac{47}{125}. $$
| Check | Result |
|---|---|
| $\dim E_{47}$ | $47$ · PASS |
| $\dim\mathcal H$ | $15625$ · PASS |
| $\dim\mathcal B_{47}$ | $5875$ · PASS |
| $\dim\ker\mathcal D$ | $47$ · PASS |
| $|L_{\mathrm{FCC}}\mathbf1|$ | $0$ |
| $|P_E^2-P_E|$ | $0$ |
| $|P_0^2-P_0|$ | $1.95\times10^{-15}$ |
| $|P_{\ker}^2-P_{\ker}|$ | $1.34\times10^{-14}$ |
| $|\mathcal D P_{\ker}|$ | $6.18\times10^{-15}$ |
| Projector factorization residual | $0$ |
| Overall | PASS |
$$ E_{47} \longmapsto S\otimes E_{47} \longmapsto \ker L_{\mathrm{FCC}}\otimes E_{47} $$