A Selection-Rule Calculus for Finite Record Physics: static predicates, monitored recovery instruments, and physics-bearing environment records

David Elliman

Published Jul 11, 2026• 0 citations

Abstract

STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. Its Koide inventory holds as a count, not as a physical phase [G97]. Selection rules are usually treated as allowed/forbidden labels. In a finite record-bearing substrate that is not enough: a static predicate can define a codespace, but it writes no environment record, carries no phase, produces no entropy, and cannot generate a measurable response. A selection rule becomes physics-bearing only when implemented as a monitored recovery instrument with syndrome bits, a recovery map, and a Stinespring environment. This paper formulates the resulting selection-rule calculus. The central theorem is a register-access rule: a monitored constraint can generate records only in the registers its syndrome and recovery actually read — so a colour rule cannot supply a generation phase, a sterile repair cannot generate a generation covariance, and a chirality lock cannot repair a colour-counting deficit. The worked example is the Dynamic-R1 mechanism: the forbidden fourth-generation corner G0G1=11 as an active recovery boundary; Hasse-edge environment records giving the covariance block KR1=BBT; the closed oriented cochain as the Majorana/CP sign carrier; and the CP-even Koide contact inventory (e,ν,d,u)=(2,3,3,2)/(9,9,27,27). The same calculus explicitly forbids using this closure to rescue the baryogenesis magnitude η=(3/14)α04: the numerator 3 remains an ideal-code count, not a physical B−L source count. The contribution is both constructive and disciplinary: monitored selection rules can become new physics, but only in the registers they actually monitor. All claims are backed by executable gates in the programme repository.

DOI: 10.5281/zenodo.21307992

Related papers

Pointer States Are Not Enough: Physical Monitor Selection in a Finite Quantum Register

David Elliman

STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. A candidate pointer basis, an algebra generated by available microscopic operations, and the pointer structure of a physically selected open-system channel are different objects. This technical report exhibits that distinction in an exact eight-qubit register on the eight triangular faces of a bond-centred oblate square bipyramid. Full polarity-resolved J/K support individuates 32 of 48 valid labels, whereas the banked elementary J-only event individuates 22. Both algebras retain an exact generation-00 noiseless-isospin multiplicity on the same fixed domain. A further finite no-go shows that coherent evolution, address-only records, and polarity-resolved records can share the same 224 exit edges while acting differently on coherence. Transition support therefore does not determine the exported record. The report does not claim a selected physical monitor or experimental realisation. It identifies four missing microscopic clauses and three discriminating experiments. The deposit includes the paper sources, five executable verification gates, their machine-readable reports, and a manifest.

Aug 18, 20260 citations

Algebra Before Bit: A Computer Scientist's Account of a Finite Record Universe

David Elliman

STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. Imagine inspecting a quantum experiment through a programmer's console: what must be stored, what changes when a detector is read, and what can its records tell us? This is a representation, not a hypothesis: nothing here says the universe is a simulation, and nothing here depends on it being one. We examine a proposed physical model built from interacting groups of quantum bits and rules for producing readable measurement records; this is the finite record framework discussed here. The physicist John Archibald Wheeler's phrase "it from bit" asked whether physical reality could be understood through recorded answers to questions. Our systems description asks what structures and operations must exist before such an answer can be produced. Beginning with plain-language explanations of qubits, superposition and entanglement, the paper connects quantum states to data structures, interactions to typed rules, and measurement to state changes and record writes. A small executable example makes these connections tangible. It also exposes the practical research questions: how much memory is required, what repeated use retains, and which physical rules still have to be supplied. Version 0.3. An accessible systems account for readers with an undergraduate mathematical background. Includes a quantum primer, six main diagrams, two appendices, a worked structured-analysis specification, and an executable Bell-pair example. The accompanying archive contains the LaTeX sources, bibliography, Python examples, verification scripts, source bindings and reference checks. The examples distinguish standard quantum calculations from the open physical inputs of the proposed finite record model. They do not constitute a complete universe simulator. The source package supports 441 portable paper checks and 2,372 systems checks over 180 supported outcome branches; authentication against the frozen repository sources raises the paper-check count to 503.

Sep 7, 20260 citations

The Born Rule as a Closed Record Pair: Measurement, Objectivity, and the Arrow of Time in a Quantum-Error-Correcting Substrate

David Elliman

STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. NOTE ON SCOPE (18 October 2026). Where this paper says that the Standard Model's matter content, charges or gauge structure are derived from, forced by or emerge from the eight-bit error-correcting cell, read encoded in or assigned to. The finite results themselves stand: the code, its constraints and the anomaly arithmetic are exact. But two things are premises of the framework, not consequences: the identification of codewords with particles, and the choice of the eight-bit [8,4,4] cell. In particular, the step from read/write balance to a single CSS code is not derived [R22]. The author's October 2026 review of the programme concluded that the framework's Standard-Model content is assigned rather than derived. No observation currently distinguishes the framework's account from the Standard Model itself. This revised note argues that, within the accepted complex quantum-error-correcting record substrate, the quadratic Born form arises from linear record writing, orthogonality of record sectors, and isometric normalization before any probability measure is introduced. Conditional uniqueness is treated separately through Gleason-type and refinement-stable record-sector routes. The 30 August 2026 additivity-audit revision cites Jiaxuan Zhang's analysis of five Born-rule derivations (arXiv:2603.06211) and makes the premise accounting explicit: a Gleason frame function includes orthogonal additivity, while Marko Lela's route begins with a non-negative extensive valuation on disjoint continuation bundles. The closed-record-pair route assumes neither measure-level object, but establishes the quadratic form rather than a standalone uniqueness theorem. The resulting open frontier is to obtain both form and uniqueness without importing measure-level additivity. The paper also records the minimal [8,4,4] record cell and the bare monitored service rate alpha_0 = 1/137, while retaining the deeper reconstruction question as open.

Jun 20, 20260 citations

Records and Responses: Dressing-blind theorems for monitored quantum instruments

David Elliman

STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. Records and Responses: Dressing-blind theorems for monitored quantum instruments. New records/responses instrument-theory paper; local LaTeX build, rendered PDF check, and records_responses_instrument_theorems.py certificate passed under py13_7.

Jul 4, 20261 citation

The Ledger Is Not Enough: Counts, Memory and Observable Content in a Finite Record Framework

David Elliman

STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. Can an exact account of recorded events also determine what happens next? We examine this question in a finite quantum model with 48 preparations and an apparatus with ten distinguishable outcomes. Two reversible evolution rules reproduce exactly the same first-use specification but predict different results when the apparatus is used again. A separate example fixes one evolution rule: two possible histories then have identical counts of reads, commits and service events, yet different probabilities for the next outcome. Counts alone are therefore insufficient for prediction in this model. What remains visible depends on the observation. At eight preparations, even the complete individual-read distributions agree between the two rules, while correlations between the reads distinguish them. We classify two explicitly specified families of observations and determine exact ranges for the simpler family, showing both how distinctions are lost and how they can survive. The results separate event accounting, the choice of evolution, retained memory and the conversion of records into measured responses. They are conditional finite-model results, not a derivation of a physical dynamics or a measured coupling. The contribution is a set of exact counterexamples and classifications, rather than new principles of quantum theory. Exact computations and explicit proofs identify the additional response, weighting and sampling choices that a predictive physical interpretation must supply. Version 0.2 incorporates corrections following an author-requested preprint review. The deposit supplies the PDF, editable LaTeX with three TikZ figures, bibliography, exact fixture data for 96 two-read processes over 48 preparations, and a portable Python/SymPy verifier. The revised verifier passes 2,926 exact assertions. These are conditional finite-model results; no physical law, bridge, weighting or sampling measure is selected. The unchanged historical audit sources are available in a separately linked companion archive. Frozen audit sources and INT99 result dossier: https://doi.org/10.5281/zenodo.22541080.

Sep 6, 20260 citations

When Does a Quantum Transition Become a Record? Instruments, export, and cadence in finite quantum dynamics

David Elliman

STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. A finite transition grammar does not by itself determine a measurement record. This report separates six layers: transition support, effects, instruments, environmental export, invocation cadence, and autonomous dissipative dynamics. Exact finite witnesses show which implications fail and what additional microscopic information would be required. The eight-register example comes explicitly from the author's finite-QEC substrate research programme. The cited framework papers motivate the construction but are not premises of the theorems; service-clock, cosmological, and gravitational interpretations are recorded as non-claims. The deposit includes the PDF, LaTeX source, bibliography, standard-library verifier, and machine-readable JSON and CSV verification reports.

Aug 29, 20260 citations

STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. Imagine inspecting a quantum experiment through a programmer's console: what must be stored, what changes when a detector is read, and what can its records tell us? This is a representation, not a hypothesis: nothing here says the universe is a simulation, and nothing here depends on it being one. We examine a proposed physical model built from interacting groups of quantum bits and rules for producing readable measurement records; this is the finite record framework discussed here. The physicist John Archibald Wheeler's phrase "it from bit" asked whether physical reality could be understood through recorded answers to questions. Our systems description asks what structures and operations must exist before such an answer can be produced. Beginning with plain-language explanations of qubits, superposition and entanglement, the paper connects quantum states to data structures, interactions to typed rules, and measurement to state changes and record writes. A small executable example makes these connections tangible. It also exposes the practical research questions: how much memory is required, what repeated use retains, and which physical rules still have to be supplied. Version 0.3. An accessible systems account for readers with an undergraduate mathematical background. Includes a quantum primer, six main diagrams, two appendices, a worked structured-analysis specification, and an executable Bell-pair example. The accompanying archive contains the LaTeX sources, bibliography, Python examples, verification scripts, source bindings and reference checks. The examples distinguish standard quantum calculations from the open physical inputs of the proposed finite record model. They do not constitute a complete universe simulator. The source package supports 441 portable paper checks and 2,372 systems checks over 180 supported outcome branches; authentication against the frozen repository sources raises the paper-check count to 503.

STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. NOTE ON SCOPE (18 October 2026). Where this paper says that the Standard Model's matter content, charges or gauge structure are derived from, forced by or emerge from the eight-bit error-correcting cell, read encoded in or assigned to. The finite results themselves stand: the code, its constraints and the anomaly arithmetic are exact. But two things are premises of the framework, not consequences: the identification of codewords with particles, and the choice of the eight-bit [8,4,4] cell. In particular, the step from read/write balance to a single CSS code is not derived [R22]. The author's October 2026 review of the programme concluded that the framework's Standard-Model content is assigned rather than derived. No observation currently distinguishes the framework's account from the Standard Model itself. This revised note argues that, within the accepted complex quantum-error-correcting record substrate, the quadratic Born form arises from linear record writing, orthogonality of record sectors, and isometric normalization before any probability measure is introduced. Conditional uniqueness is treated separately through Gleason-type and refinement-stable record-sector routes. The 30 August 2026 additivity-audit revision cites Jiaxuan Zhang's analysis of five Born-rule derivations (arXiv:2603.06211) and makes the premise accounting explicit: a Gleason frame function includes orthogonal additivity, while Marko Lela's route begins with a non-negative extensive valuation on disjoint continuation bundles. The closed-record-pair route assumes neither measure-level object, but establishes the quadratic form rather than a standalone uniqueness theorem. The resulting open frontier is to obtain both form and uniqueness without importing measure-level additivity. The paper also records the minimal [8,4,4] record cell and the bare monitored service rate alpha_0 = 1/137, while retaining the deeper reconstruction question as open.

STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. Can an exact account of recorded events also determine what happens next? We examine this question in a finite quantum model with 48 preparations and an apparatus with ten distinguishable outcomes. Two reversible evolution rules reproduce exactly the same first-use specification but predict different results when the apparatus is used again. A separate example fixes one evolution rule: two possible histories then have identical counts of reads, commits and service events, yet different probabilities for the next outcome. Counts alone are therefore insufficient for prediction in this model. What remains visible depends on the observation. At eight preparations, even the complete individual-read distributions agree between the two rules, while correlations between the reads distinguish them. We classify two explicitly specified families of observations and determine exact ranges for the simpler family, showing both how distinctions are lost and how they can survive. The results separate event accounting, the choice of evolution, retained memory and the conversion of records into measured responses. They are conditional finite-model results, not a derivation of a physical dynamics or a measured coupling. The contribution is a set of exact counterexamples and classifications, rather than new principles of quantum theory. Exact computations and explicit proofs identify the additional response, weighting and sampling choices that a predictive physical interpretation must supply. Version 0.2 incorporates corrections following an author-requested preprint review. The deposit supplies the PDF, editable LaTeX with three TikZ figures, bibliography, exact fixture data for 96 two-read processes over 48 preparations, and a portable Python/SymPy verifier. The revised verifier passes 2,926 exact assertions. These are conditional finite-model results; no physical law, bridge, weighting or sampling measure is selected. The unchanged historical audit sources are available in a separately linked companion archive. Frozen audit sources and INT99 result dossier: https://doi.org/10.5281/zenodo.22541080.