<aside> 🟣

Numerical quantum-dynamical witness admitted into the current citizenry.

</aside>

Canonical object

||ψ(t)||_2 = ||ψ(0)||_2

within the declared discretized Schrödinger evolution to numerical precision.

Legacy lineage

Machine witness

Norm drift: 1.20 × 10^-14.

Proof Forge route

Eligible for unitary-norm, invariant-subspace, propagator, and conserved-quadratic-form proofs.