Correction archive · Machine certificate
The borough now distinguishes three different objects:
$\mathcal M_P(\rho)=P\rho P$ is completely positive and trace-nonincreasing. It is not trace-preserving on the full 125-dimensional carrier because $P\ne I$.
$\mathcal M_t(\rho)=e^{-tK^2}\rho e^{-tK^2}$ is CP-TNI, satisfies $\mathcal M_t\circ\mathcal M_s=\mathcal M_{t+s}$, and converges to $\mathcal M_P$. It is TP only at $t=0$.
$\mathcal D_P(\rho)=P\rho P+(I-P)\rho(I-P)$ is CPTP, unital, and idempotent. It removes cross-sector coherences but does not pump all states into $E_{47}$.
Ten citizens E47-QOP-C01…C10 are credentialed. The original full-space CPTP, Kraus-rank-47, and fixed-dimension-47 claims are superseded. QuTiP execution of the corrected module remains a repository-runtime obligation rather than an already-issued pass.
The borough receives an E2 simulation of three distinguishable physical spin-2 qudits on $(\mathbb C^5)^{\otimes3}$ with
$C=(\mathbf J_1+\mathbf J_2+\mathbf J_3)^2,\qquad K=(C-6I)(C-30I).$
Recovered: Casimir multiplicities $[1,9,25,28,27,22,13]$, $\dim\ker K=47$, $\operatorname{Tr}P=47$, and nonzero $K^2$ spectrum $\{11664,12544,19600,32400,186624\}$.
Quantum checks: $\|U^\dagger U-I\|=2.07\times10^{-15}$ for $U=e^{-itK}$; filtered fidelity to normalized $P\psi$ equals $0.9999999999476474$ at $t=0.001$; complementary weight falls to $5.24\times10^{-11}$.
Boundary: validated candidate Hamiltonian/filter simulation only. No claim that an existing laboratory device naturally realizes this exact polynomial interaction.
Repository route: queue integration into nicholaskouns-create/E47-Kartekeya as spin-2 constructors, coherent/filter simulations, deterministic tests, JSON certificate, CI gate, and scope documentation.
Two machine-validated citizens have arrived through the Purple Line: