canonical_noncommutativity
plain-language theorem explainer
On the eight-tick cycle, the recognition clock and shift operators fail to commute: some complex amplitude on Z/8Z has clock-after-shift unequal to shift-after-clock. Anyone deriving the canonical commutator from recognition structure cites this finite root. The proof is a direct witness (constant amplitude one) that reduces assumed equality at tick 1 to ω=1, contradicting that ω is a nontrivial eighth root of unity.
Claim. There exists a map $\psi:\mathbb{Z}/8\mathbb{Z}\to\mathbb{C}$ such that the recognition clock and the cyclic shift do not commute on $\psi$: $\mathrm{clock}(\mathrm{shift}\,\psi)\neq\mathrm{shift}(\mathrm{clock}\,\psi)$.
background
Recognition-first physics treats the eight-tick cycle on $\mathbb{Z}/8\mathbb{Z}$ (forcing landmark T7) as the discrete arena where occupation and cost-rate become operators. Conventional QM postulates $[x,p]=i\hbar$; here non-commutativity is meant to be read off the finite Heisenberg–Weyl structure on that cycle.
Clock multiplies the amplitude at tick $k$ by a phase $\omega^{k.val}$, with $\omega=\exp(\pi i/4)$ a primitive eighth root of unity. Shift advances the reading index by one tick modulo 8 (the same cyclic advance used as discrete time evolution on Signal8 upstream). The module already records $\omega^8=1$ and $\omega\neq 1$, and the Weyl relation $\mathrm{clock}\circ\mathrm{shift}=\omega\cdot(\mathrm{shift}\circ\mathrm{clock})$ as the structural parent of plain non-commutation.
Local setting: axiom-clean discrete root only. Continuum promotion to $[x,p]=i\hbar$ and the magnitude $\hbar=\varphi^{-5}$ stay open (nodes D3/D6).
proof idea
Term-mode existence: take the constant witness $\psi\equiv 1$. Assume $\mathrm{clock}(\mathrm{shift},\psi)=\mathrm{shift}(\mathrm{clock},\psi)$ and apply functional congruence at tick $1$. Unfolding clock and shift, then simplifying with mul_one, pow_one, pow_zero, and decide on the two $\mathbb{Z}/8\mathbb{Z}$ valuations, collapses the equality to $\omega=1$. That contradicts omega_ne_one. No induction or continuum analysis; one evaluation point finishes the argument.
why it matters
Doc-comment places this as the finite, exact RS root of $[x,p]\neq 0$: canonical non-commutativity is cyclic recognition structure, not an axiom. It sits under the eight-tick octave (T7) and the module's Weyl relation, with the continuum limit intended to yield $[x,p]=i\hbar$ and magnitude tied to $\hbar=\varphi^{-5}$ via the J-cost quantum. Those continuum and magnitude steps remain OPEN (D3/D6); this declaration only closes the discrete non-equality, axiom-cleanly. No downstream consumers are wired yet (used_by empty), so it is a leaf that freezes the non-commutation claim for later continuum work.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.