<aside> 🧭
NEW TO E₄₇? BEGIN HERE.
This page gives you one memorable route through the City: Carrier → Selector → Projector → Certificate → Correction.
</aside>
The Mathematical City is a research operating system in which a claim becomes navigable only after its object, operator, kernel, projector, executable witness, evidence class, provenance, correction history, and boundary are all made explicit.
Remember this: 125 → K → 47 → certificate → correction.
The exact objects are
$$ J=\begin{bmatrix}0&1\\1&0\end{bmatrix},\qquad P_+=\frac12(I+J),\qquad P_-=\frac12(I-J). $$