d3_spinor_uniqueness
plain-language theorem explainer
Packages three definitional identities that pin D = 3 as the unique spatial dimension giving two-component complex spinors, an eight-tick hypercube 2^D = 8, and agreement of the Clifford period with that count. Anyone citing the complete 8-tick–Clifford bridge or the T8 dimension force will pull this bundle. The construction is pure reflexivity: each field is definitionally true.
Claim. The following three identities hold simultaneously: the spinor-dimension formula at spatial dimension $3$ equals $2$ (two-component complex spinors); $2^3 = 8$; and the Clifford period equals $2^3$. Together they assert that $D = 3$ is the unique simplest non-trivial spinor dimension linking Bott period $8$ to the recognition eight-tick.
background
The module builds a bridge from Recognition Science's eight-tick octave to Clifford algebra via Bott periodicity: $\mathrm{Cl}_{n+8} \cong \mathrm{Cl}_n \otimes \mathrm{Cl}_8$. Main landmarks are the 8-tick DFT as a $\mathbb{Z}/8\mathbb{Z}$ grading of $\mathrm{Cl}_8$, and $\mathrm{Spin}(3) \cong \mathrm{SU}(2)$ as the spinor structure for three spatial dimensions.
The structure being inhabited records three facts about $D = 3$: it yields two-component complex spinors; it is the first positive dimension with $2^D = 8$; and the Clifford period equals that same power of two. Upstream constants fix $D := 3$ (forced by the linking/T8 step) and the fundamental tick $\tau_0 = 1$, with one octave equal to eight ticks.
Sibling material in the same file defines Euclidean quadratic forms on $\mathbb{R}^3$ and $\mathbb{R}^8$, the algebras $\mathrm{Cl}_3$ and $\mathrm{Cl}_8$, and the Bott-periodicity witness that the Clifford period is eight.
proof idea
One-line structure constructor. Each of the three fields is discharged by rfl: spinorDimFormula 3 = 2, 2^3 = 8, and cliffordPeriod = 2^3 are definitional equalities in the ambient development, so no tactic work or external lemmas are required beyond unfolding.
why it matters
Feeds directly into complete8TickCliffordBridge, the synthesis object that bundles Bott periodicity, the DFT–Cl₈ grading bridge, the $\mathrm{Cl}_3 \cong M_2(\mathbb{C})$ isomorphism, $\mathrm{Spin}(3) \cong \mathrm{SU}(2)$, and this uniqueness package. The module comment frames the five-point synthesis: Bott period 8, 8-tick DFT, Cl₈ grading, D = 3 spinor structure, and $8 = 2^D$.
In the Recognition forcing chain this is the Clifford-side witness for T7 (eight-tick octave, period $2^3$) and T8 (D = 3 spatial dimensions). It makes precise the claim that the eight-tick cycle is Bott periodicity realized inside the recognition framework, not an ad-hoc discrete choice. Without these three identities the complete bridge cannot close.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.