<aside> ✅

Machine validated in exact rational arithmetic.

Certificate SHA-256: 7372d14ffd4f9cc365f96ae5a929c7bef4f3ec3d56676e81f444d4b7b9601329

</aside>

Identity

$$ J=\begin{bmatrix}0&1\\1&0\end{bmatrix},\qquad J^2=I. $$

Proof

$$ J^2=\begin{bmatrix}0&1\\1&0\end{bmatrix}\begin{bmatrix}0&1\\1&0\end{bmatrix}=\begin{bmatrix}1&0\\0&1\end{bmatrix}=I. $$

Evidence

E1 exact finite computation using rational arithmetic.

Boundary

Exact algebraic identity. The Sphinx dual-horizon interpretation is a separate structural application.

Canonical archive

Drive monograph