tickReversalConjugate
plain-language theorem explainer
Conjugation-plus-tick-reversal on the nine-parity ledger: each parity vector is sent to the vector with every ℤ₂ component flipped (add 1 mod 2). Cited by anyone using the nine-parity master theorem, the global flip lemma, or vacuum non-fixedness under tick reversal. Pure pointwise definition on ParityIndex → ℤ/2ℤ; no proof content.
Claim. On the space of parity vectors $v:\{P_1,\ldots,P_9\}\to\mathbb{Z}/2\mathbb{Z}$, define the conjugation-plus-tick-reversal operator by $(Tv)(p)=v(p)+1$ for every parity index $p$. Equivalently, $T$ flips every component of $v$ ($0\leftrightarrow 1$).
background
The NineParities module counts the independent ℤ₂ symmetries of the recognition double-entry ledger under conjugation and tick reversal. They split as four spacetime parities (CP, B−L, hypercharge, tick), three color-charge sign flips from the SU(3) Cartan, and two generation-mixing signs from the rank-2 three-generation structure, for a total of nine.
A parity vector is an assignment of a bit in ℤ/2ℤ to each of those nine indices. The zero vector is the scalar vacuum page. The fundamental RS time quantum is one tick ($\tau_0=1$); one octave is eight ticks. In the holography layer, a single recognition tick flips one boundary bit (Gray-code step). Here the analogous global page operation is componentwise addition of 1 on the parity vector.
proof idea
One-line definitional body: the operator is the function $p\mapsto v(p)+1$ on the type of maps from the nine parity indices into ℤ/2ℤ. No lemmas are applied and there are no proof obligations; the content is pure definition. Downstream theorems then exploit that $x+1\neq x$ and $(x+1)+1=x$ in characteristic 2.
why it matters
This operator is the primitive used by the master theorem on the nine parities of the recognition ledger: all nine flip under conjugation plus tick reversal, all vanish on the scalar vacuum, they decompose as 4+3+2, they span ℤ₂⁹, and the configuration space has $2^9=512$ states. Immediate clients are the global flip theorem, involutivity of double tick reversal, the claim that tick-reversed vacuum has Hamming weight 9, and the claim that vacuum is not a fixed point.
It encodes the theory-spec line that nine independent ℤ₂ parities flip under conjugation and tick reversal, and it makes Tesla's "magnificence of the 9" into an exact ledger count rather than numerology. The tick-reversal half ties to the eight-tick octave (T7) as the fundamental evolution period.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.