Tags
- I
- Import. A standard result or measured datum imported without reproof.
- R
- Realisation. A forced identification of a physical term with the substrate object it denotes: constitutive, not interpretive; defended by its registered consequences; killed by the falsifier stated in its row.
- D
- Definition. A naming or set-up move, carrying no empirical content.
- T
- Theorem. Derived within this paper from the rows above it; where a family identifier is named, its content is verified by the validation package in exact arithmetic.
- E
- Prediction. A falsifiable consequence of the rows above, stated with its falsifier and its present confrontation; graded on the rows it consumes.
- Ω
- $\Omega$-hard. Decided by the totality; not closeable by a bounded observer.
| # | Description | Status | Source |
|---|---|---|---|
| A. Inputs: imported, not derived here | |||
| A1p22001 | The framed shell $\F_{\p}$, $\p=4\kap+1$: the frame datum, the phase cycle $\Phi\simeq C_{4\kap}$, the quarter-turn core $\Qf$ with $\It=\gen^{-\kap}$, and the drive (the frame generator’s scale action, one step per chronon in the observer’s frame). | I | |
| A2p22002 | The Lorentzian split: the quadratic extension $\F_{\p^2}$, the Frobenius involution, the norm-one boost cycle of order $\p+1$, and the spinor double cover (the Dirac layer). | I | 1/1 |
| A3p22003 | The fractional Fourier rotation exchanging the coordinate and momentum charts on one cycle, with the chart conventions and the derived orientation. | I | |
| A4p22004 | The mass and capacity readings: mass is winding rate, rest energy is phase advance per chronon ($E=hf$ an identity), the unit channel capacity $\varkappa=1$ in the place of $\hbar$; distance is decoherence; the Newtonian potential. | I | |
| A5p22005 | The window discipline, committed: the coherence horizon $\sqrt\Omega$, the decidability horizon $\Omega^{1/4}$, and the committed cardinality $\Omega\sim10^{122}$ — declared inputs of the programme, their cost recorded in the $\Omega$ ledger. | Ω | 1/1 |
| A6p22006 | The finiteness of the substrate: a finite ring, with the continuum recovered only as a degenerate large-cardinality limit. | I | |
| A7p22007 | Imported mathematics used without reproof: cyclotomic rings $\Z[\zeta_d]$ and finite character orthogonality, the finite uncertainty principle, and the Kochen–Specker theorem. | I | |
| A8p22008 | Comparison results and experiments used for confrontation only: the Sorkin interference hierarchy and triple-slit bounds, the real-versus-complex network discrimination, the gravitational-entanglement proposals, the gamma-ray-burst dispersion bounds, and prior finite-field quantum theories. | I | |
| B. Realisations: mathematics $\to$ physics (the forced identifications, each with its falsifier) | |||
| B1p22009 | The wave function is phase: a pure state is a winding (character) of the Object cycle, and the chart point and the wave share one finite arithmetic domain. Falsifier: a confirmed third-order interference $I_3\neq0$ (P2). | R | § 3, Lem. 3.2 master: 00:D4 |
| B2p22010 | Energy is the winding index: the drive generator is the Hamiltonian, the index $k$ sits in the place of $E$, and $U^{-t}$ is the finite $e^{-\mathrm{i}Et/\hbar}$. Falsifier: a stationary state whose registered frequency is not its winding index ($E=hf$ failing), or vacuum dispersion (P4). | R | Prop. 3.3, Rem. 3.4 |
| B3p22011 | The amplitude is Object-to-Subject projection: observation is the Subject’s quotient of the Object cycle by the shared core, and the amplitude is the Hermitian projection onto the transported pointer wave. Falsifier: an outcome frequency not quadratic in the projected amplitude (the counting Born rule C10 failing). | R | § 4, Def. 4.1 |
| B4p22012 | Probability is a coincidence count, kept in the Subject’s ledger $\led=\Z[\zeta_d]$ ($\Z[\It]$ for the generic core): the tally of phase agreements, not a field of the substrate. Falsifier: an outcome frequency over a complete joint recurrence that is not an exact tally ratio. | R | Def. 5.1, Prop. 5.3 |
| B5p22013 | Composition is conservation, and composite states are kept on the product ledger: the reading Subject’s one drive conserves the relative offset of a pair, a synchronised orbit is a Bell state, a composite is a drive-confined synchronised orbit (offset-diagonal preparation declared, Prop. 7.6(iii)), and the Subject’s bookkeeping of joint tallies is the rank-$n_An_B$ product ledger (Definition 7.1) — the declared composition rule, its lcm-join alternative visible and rejected, the ledger composing states while the carrier constrains dynamics. Falsifier: $S\neq2\sqrt2$, or network behaviour outside Theorem 7.15 (P3). | R | Prop. 7.2, Def. 7.5 |
| B6p22014 | Collapse is re-metrisation: a registration restricts the Subject’s relational chart to a fibre and nothing else, since distance is decoherence. Falsifier: a post-registration state other than the Lüders restriction, or spontaneous collapse (C20). | R | Rem. 4.5 master: 00:D3 |
| B7p22015 | Measurement settings are relational repositionings of the analyser along the carrier, $u\mapsto \gen^{-j}u$: shifts of the Object offset $\dt$. Falsifier: a setting dependence of the CHSH correlator not expressible as an offset shift. | R | Def. 7.10 |
| B8p22016 | Gravity is an entangling channel by reciprocal synchronisation, the declared interaction identification: the conserved offset turns the gravity paper’s phase synchronisation into the conditional phase, and spread pairs imprint which-branch data on the source (row C21). Falsifier: gravitationally induced entanglement off the Newtonian rate, or force not by full mass (P1); $\eta\neq0$ (C22). | R | § 9, Prop. 9.1, Prop. 9.6 |
| C. Derived: theorems and consequences within this paper | |||
| C1p22017 | Characters are power maps $\psi_k(u)=u^k$, pairwise distinct: the wave function is the cycle read through a winding index. | T | Lem. 3.2; qm.validate 1/1 |
| C2p22018 | Stationary states are the winding modes: the drive’s eigenvalues are distinct and a winding acquires a global phase of weight $k$ per chronon. | T | Prop. 3.3; qm.validate 1/1 |
| C3p22019 | The measurement vectors are a forced orthogonal basis: orthogonality $d\,\delta\delta$, resolution of identity, and Parseval are character theory, and the pointer basis is einselected by the algebra of the frames. | T | Prop. 4.2; qm.validate 1/1 |
| C4p22020 | The selection rule: a pointer channel couples to an Object mode only when their core phases agree, $r\equiv k\pmod d$. | T | Prop. 4.3; qm.validate 1/1 |
| C5p22021 | The Lüders update is projection, $\Pi^2=d\,\Pi$, so an immediately repeated measurement returns the same outcome. | T | Prop. 4.4; qm.validate 1/1 |
| C6p22022 | Conjugation is cycle inversion, forced in each setting: Frobenius on the boost cycle, exponent negation on the phase cycle, complex conjugation on the ledger — each its setting’s only candidate. | T | |
| C7p22023 | Squared amplitudes are coincidence counts (the pair-count identity), realized tallies on $\Z[\It]$ for stationary core-valued states of definite drive eigenvalue; a distinct-eigenvalue superposition registers the integral drive-frequency count; for a pure winding the weights are $d^2[r\equiv k]$. | T | 2/2 |
| C8p22024 | Sorkin nullity: $I_k=0$ for every $k\ge3$, exactly, on every channel and outcome, with $I_2$ generically nonzero. | T | Cor. 5.4; qm.sorkin 1/1 |
| C9p22025 | Reduction: the Carrier-chart amplitude is the mod-$\Omega$ shadow of the ledger ($\zeta\mapsto v$), exact as algebra and silent about magnitude. | T | Prop. 5.5; qm.validate 1/1 |
| C10p22026 | The counting Born rule on sub-horizon states over the universal core $\Qf$: the weight is the unique window lift of its shadow and the probability a framed-rational ratio of coincidence counts, the frequency along the drive completed in finitely many chronons; the two probability strata and their $\Qf$ coincidence; on a single Object the theorem’s weights are uniform over the fibres (Remark 5.8), every non-uniform statistic passing through C11. | T | 1/1 |
| C11p22027 | The engineered-core readout: registered frequencies are framed rationals reading the two-way structural weight through Definition 5.14; two reductions are proved (the conjugate-pair trace tally and the setting-ensemble Parseval tally, Remark 5.16), and the stratum-sampling clause — a fixed-setting protocol samples one stratum of the drive-presented ensemble — is the residual realisation content. | T R | 1/1 |
| C12p22028 | Uniqueness of the pair tally on the stationary core-valued $\Qf$ sector: tally-valued, fibre-additive, drive-invariant, two-way registration functionals form the $d^2c$-realized character cone, the degree itself forced (Lemma 5.17); channel selectivity picks the Born ray. | T | Prop. 5.18; qm.gleason 1/1 |
| C13p22029 | Complex amplitudes are forced: the generic shared core of two framed shells is $\Qf$, so the minimal ledger is $\Z[\It]$; shells of cardinality $\equiv3\pmod4$ (arising from no capacity) give a real-amplitude theory. | T | Prop. 6.1 |
| C14p22030 | The granularity ceiling: the representable coherent-splitting depth is the largest $k$ with $d\,T(k)<\Omega$, $T(k)=2^{k+[k\text{ odd}]}$ the minimal tally norm, and resolution finer than $1/\Omega$ lies outside the derived Born regime. | T | Prop. 5.19; qm.granularity 1/1 |
| C15p22031 | The composite ledger and the conserved offset: synchronised orbits are the Bell states, the $m$-body locked cluster carries the offset as a conserved, drive-confined label (its ensemble diagonality a declared preparation clause). | T | 2/2 master: 00:F2 |
| C16p22032 | Qubits from doublets: the forced readout is $\sigma_x$ through the relation $v^{\,8}=-1$. | T | 1/1 |
| C17p22033 | Exact Tsirelson saturation: the singlet law $E(\Delta)=\cos(\pi\Delta/40)$, $S=2(\zeta_8+\zeta_8^{-1})$, $S^2=8$, the exhaustive $80^3$ sweep never exceeding it; no-signalling and the composite reduction commute. | T | 1/1 |
| C18p22034 | The network table is the complex-quantum table, and the Bell-state measurement is the offset readout. | T | 1/1 |
| C19p22035 | The gravitational channel entangles exactly, $C^2=\sin^2(\varphi/2)$, with the pure-channel complementarity $V^2+C^2=1$. | T | Prop. 9.1; qm.bmv 1/1 |
| C20p22036 | No spontaneous collapse; the dilation floor dephases with an exact revival $V(n)=1$. | T | 1/1 |
| C21p22037 | The coherent-fraction channel: force by full masses, entanglement by coherent fractions; the declared identification is reciprocal synchronisation, and the fully incoherent channel is separable at generic (nondegenerate) geometry. | T R | Prop. 9.6; qm.gravfraction 1/1 master: 00:F3 |
| C22p22038 | The two scaling laws and the exact equivalence-principle null: coherent $m^2$ against incoherent $m$, $\eta=0$. | T | Prop. 9.5; qm.equivalence 1/1 |
| C23p22039 | Inter-Subject consistency: two distinct Subjects reading one Object agree on the shared core $\Qf$ , order-independent joint refinement, the same core character by the selection rule, and order-independence on the shared cell. | T | Prop. 4.6; qm.intersubject 1/1 |
| C24p22040 | Carrier-chart classicality: to the host of a hosted Carrier every observation is total absorption (for the physical Carrier, a limit no reader instantiates); quantumness is the subgroup index $[\PhiO:\core]>1$, and classicality is the divisibility of the observer’s frame — one outcome per fixed channel, with the channel index still carrying the winding information (absorption is not the absence of information transfer). | T | Cor. 8.2; qm.validate 1/1 |
| C25p22041 | The measurement problem dissolved: Kochen–Specker poses no separate threat because values exist only as Subject-relative quotient phases, carried together with the Tsirelson strength $2\sqrt2$. | T R | § 10 |
| C26p22042 | The unequal-cycle composite gate: joint recurrence $T'=\operatorname{lcm}_j(n_j/\gcd(s_j,n_j))$, conserved data the quotient $A/\langle s\rangle$ (unit-winding pair: the gcd cycle, generically $\Qf$), and the counting Born rule verbatim with $T'$ as the recurrence; all orbit-nontrivial characters cancel. | T | Prop. 7.6; qm.composite 1/1 |
| C27p22043 | Quarter-turn transport: the ambient quarter-turn aliases onto an embedded label iff $\kap\equiv\pm\kap_n\pmod n$, the capacity residue mod $4$ the coarsest invariant; the constants web is read per register (Remark 2.2). | T | 1/1 |
| X. What the construction explains: the explanation register | |||
| X1p22044 | The Born rule is a coincidence count, the unique window lift of its carrier shadow, not a postulated quadratic functional — on its stationary domain, where the weights are uniform over the fibres; non-uniform statistics are read through the engineered-core readout (C11). | T | Prop. 5.3, Thm. 5.7, Rem. 5.8 |
| X2p22045 | The complexity of amplitudes is the arithmetic of the shared quarter-turn core, the canonical complex sector $\Z[\It]$; a shell without the internal quarter-turn gives a real-amplitude theory instead. | T | Prop. 6.1 |
| X3p22046 | The preferred basis is the Subject’s own phase anatomy, einselected by the algebra of the frames rather than by a model of the environment. | T | Prop. 4.2 |
| X4p22047 | The dynamical measurement problem dissolves: collapse is the re-metrisation of a relational chart, no disturbance propagates, and distinct Subjects never disagree on what they share. | T | 1/1 |
| X5p22048 | The classical limit has a mechanism, containment, the divisibility of the observer’s frame, exact arithmetic rather than an appeal to a limit. | T | § 8 |
| X6p22049 | Native probability over a finite substrate: the unordered-field obstruction is cleared by keeping counts in the observer’s ledger: a finite-relational provenance theorem for the Born calculus, in which the substrate determines the tally ring, the measurement family, and the readout (calibrated against the counting and cyclotomic precedents in Section 11). | T | § 5 |
| X7p22050 | The Tsirelson boundary is attained as a ring identity, $S=2(\zeta_8+\zeta_8^{-1})=2\sqrt2$, so a relational finite substrate carries full quantum correlation strength, not merely quantum vocabulary. | T | Thm. 7.11; qm.composite 1/1 |
| X8p22051 | Higher-order interference is forbidden exactly: the Sorkin hierarchy is zero with a forbidden neighbourhood, not a small number to be measured down. | T | 1/1 |
| P. Falsifiable predictions: the exposures | |||
| P1p22052 | Gravitationally induced entanglement at exactly the Newtonian rate, $V^2+C^2=1$ on the pure channel: equal force but unequal entanglement — a source gravitates by its full mass while the systematic conditional phase, the calibrated discriminator, is carried by the coherent sectors alone, the fully incoherent channel separable at generic (nondegenerate) geometry. The one dated forward prediction. | E | Rem. 9.2; qm.bmv 1/1 |
| P2p22053 | Third-order interference exactly zero at every accessible scale, any wrap quantised to a multiple of $\Omega$: a single confirmed small $I_3\neq0$ falsifies outright. | E | 1/1 |
| P3p22054 | The Tsirelson value $S=2\sqrt2$ exact and the network behaviour of complex (not real) quantum theory: vacuum dispersion, $S\neq2\sqrt2$, or non-quantum network behaviour each falsify. | E | 2/2 |
| P4p22055 | No vacuum dispersion at any sub-horizon order (the finite double cover accumulates nothing): the gamma-ray-burst time-of-flight bounds leave the framework untouched. | E | Rem. 3.7; qm.dispersion 1/1 |
| P5p22056 | Quantum computation succeeds as standard quantum mechanics prescribes at every accessible depth; the first deviation, if any, is quantised at the unit-core ceiling $k^*=404$ ($202$ for $\sqrt\Omega$), not gradual. | E | Prop. 5.19; qm.granularity 1/1 |
| V. Machine verification | |||
| V1p22057 | The validation package finite-ring-space/src/22-quantum: the seventeen suites as written — qm.validate, qm.sorkin, qm.dispersion, qm.composite, qm.synchronisation, qm.renou, qm.bmv, qm.decoherence, qm.equivalence, qm.granularity, qm.stratum, qm.gravfraction, qm.gleason, qm.emulation, qm.omega, qm.intersubject, qm.transport — run through one registry, a family per suite, its micro-checks the suite’s $187$ labelled checks, each family naming the rows it witnesses (Appendix B the check-level map); the notebook 22-quantum-main.ipynb executes them in the browser and the driver run_all.py writes results.json. | T | Reproducibility; run_all |
| V2p22058 | The discipline, recorded per family as its kind: EXACT — modular integers, Gaussian integers, cyclotomic rings ($\Z[x]/\Phi_n$) and exact rationals, exhaustive where the domain is finite, deterministic (fixed test states; the one random draw, the sampled $\sqrt m$ illustration of qm.equivalence, decides nothing); NUM — floating point as the numeric image of exact references (qm.emulation, agreement to $10^{-12}$). Sixteen families EXACT, one NUM. | T | Reproducibility |
| V3p22059 | The hardware compilations and experiment cards: the $I_3\otimes\mathrm{QFT}_4^\dagger$ ($12$-level) and $I_2\otimes\mathrm{QFT}_8^\dagger$ ($16$-level) unitaries equal the forced bases, the selection rules, the uniform-outcome and three-outcome interference laws and the $\sigma_x$ doublet law at $\pi/40$ hold on them, the gate decomposition H–CS–H–SWAP; the two cards of Appendix C are emitted by the run. | T | App. C; qm.emulation 1/1 |
| Z. Horizon: the residues beyond the bounded observer | |||
| Z1p22060 | The coherence horizon: the Born rule is exact within $\sqrt\Omega$ and a frame artefact beyond it, the same boundary as the programme’s decidability window and the gravity locality horizon $m_P=\sqrt\Omega$. | Ω | Rem. 5.12, [Akhtman 2026] master: 00:B8 |
| Z2p22061 | The committed $\Omega$ anchor and the binding floor: the carrier scale is fixed by the verified Riemann height through $\Omega^{1/4}$, and a single off-line zero below $\Omega^{1/4}$ falsifies from a desk. | Ω | 1/1 |
Nothing matches that filter.
Ledger history
Ledger history. 2026-06-25: the status section with three tables (what the construction explains X1–X8, the predictions P1–P5, the predicate ledger A–C, Z); the review rounds of July–August 2026 added C11, C26, C27 and the strata/gleason/transport/intersubject suites. 2026-09-14 (T26): the three tables merged into one ledger in the corpus format — X and P are blocks of it, V added, every machine-verified row citing the family identifiers of the validation package (finite-ring-space/src/22-quantum), accession keys assigned. No row has been retired.