operator_core_holds
plain-language theorem explainer
The analytic quarter-turn operator core is forced on the eight-tick carrier: that core sits in the neutral register, and both recognition updates and Hamiltonian evolution act as bare cyclic shifts on it. Cite this when packaging T7/T8 into operator dynamics or DFT-8 recognition. The proof is a three-field structure package that wires three prior lemmas.
Claim. The forced operator-core package holds: the quarter-turn core is contained in the neutral register; for every structured sector $S$ and every $f$ in the quarter-turn core on the eight-tick carrier $\mathrm{Signal}_8=\mathrm{Fin}\,8\to\mathbb{C}$, the recognition update of $f$ equals the cyclic shift of $f$; and Hamiltonian evolution likewise preserves the core by acting as that same shift.
background
In the Unified Forcing Chain, T0–T8 are derived as inevitabilities from the Recognition Composition Law plus normalization and calibration. T8 forces spatial dimension $D=3$; T7 forces the eight-tick octave (period $2^D=8$). The canonical recognition carrier is then $\mathrm{Signal}_8=\mathrm{Fin},8\to\mathbb{C}$, whose DFT-8 cyclic shift has genuinely complex eigenvalues.
The operator-core package isolates the odd-mode quarter-turn subspace of that carrier. Neutrality means the core sits inside the neutral register (no net ledger charge). Commit and Hamiltonian preservation say that bare cyclic shift is the dynamics on that core: recognition updates and evolution do not leave the core or add extra phases beyond the shift.
Upstream constants fix the cadence: one tick $\tau_0=1$ and one octave of eight ticks. Dimension is the forced $D=3$. The structure being proved is exactly the concrete quarter-turn operator core forced by the main chain.
proof idea
Term-mode structure constructor for the three fields of the forced operator-core package.
- Neutrality: apply the lemma that the quarter-turn core is $\le$ the neutral register.
- Recognition commit: for arbitrary structured sector $S$ and $f$ in the core, apply the lemma that recognition update equals the spectral cyclic shift on the quarter-turn core.
- Hamiltonian preservation: for arbitrary recognition operator $R$ and $f$ in the core, apply the lemma that evolution equals the same cyclic shift on that core.
No new algebra is done here; the theorem only assembles those three results into the single Prop package.
why it matters
This is the clean analytic operator-core certificate in the foundation namespace. Downstream, the T7/T8→operator-core bridge consumes it: once eight-tick forcing and $D=3$ are in hand, the bridge surfaces the canonical carrier and complexification and treats this core as the forced operator output of that universal construction.
Framework landmarks: T7 (eight-tick octave) and T8 ($D=3$) supply the carrier $\mathrm{Signal}_8$ and the DFT-8 shift; the core is the neutral odd-mode piece propagated by that shift. Without this package, the chain stops at discrete cadence and dimension and does not yet hand a concrete recognition operator dynamics to later spectral or measurement layers.
It closes the operator-core side of the complete inevitability chain rather than leaving a scaffolding hole between eight-tick geometry and evolution.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.