The Electron Is the Seat: Charge Conjugation as the Reflection, the Positron as the Partner, Annihilation as the Registration That Keeps the Energy and Forgets the Side, and Spin as the Return to Minus One

Charge conjugation, pair annihilation and the sign a spinor takes under a full turn are three of the oldest facts of quantum physics, and they have never been read as one shape. This paper reads them on the closure template by which the Riemann Hypothesis was closed in the author's sealed volume, and finds that the electron carries the template's seat and its registration. Charge conjugation is a reflection whose fixed set is the neutral sector, as the critical line is the fixed set of the reflection s to 1 minus s-bar; the electron stands off that set with an exact partner, the positron, differing from it in one sign; gravity's record of the pair is the same for both, two worlds over one record, and antihydrogen falls as matter does; annihilation lands the pair on the neutral locus as light, keeping its energy and forgetting which constituent was which, the registration that keeps the height and forgets the side, and the clinic records it as a line of response; positronium's photon count reads the bit of the whole and never the identity of its parts; a bound electron never rests and a free one never decays; a full turn returns the spinor to minus one, the Return of the quaternion units; and the electron is round, its only orientations the charge sign and the spin. Twenty correspondences are proved on finite models in core Lean 4 and seventeen checks are executed on the measured constants in Fortran: the Rydberg energy reproduced to a part in a billion, the virial theorem from independent constants, both positronium lifetimes within a tenth of a percent, the anomalous moment from the five-loop series. Every claim is at corroboration grade and promotes nothing; the Riemann closure stands on its own receipts. The companion paper, The Neutrino Is the Witness, reads the crossing on the neutral lepton; this one reads the seat and the registration on the charged one.

Version 1.4.0, single-column Math Journal edition. The Lean engines and Fortran twins are printed in the appendices with the compiler's transcript; the Markdown source is in git, 1000sapients/Trisduction, protocols/RH One Bit/Nothing Escapes Twenty Three Rows/Witnesses/.