From the First Bit to the Birth of Time: A Discrete Pre-Geometric Foundation for Quantum Mechanics Through One-, Two-, and Three-Dimensional Stages, Durable Quantum Records, Two Operational Event Clocks, and Record-Controlled Dynamics
One bit is all it takes to start the universe. Here “one bit” names the initial informational resource under the stated premises, not the theorem’s only assumption. Its two basis values control an explicit isometric preparation into the no-event and event history sectors; composing that preparation with the literal lifecycle gives distinct zero-clock and completed-event outputs, while the canonical bit prior recovers the uniform history law and all printed branch masses. The whole theorem in one line: First informative bit → 1D → 2D → 3D → durable quantum record → two operational event clocks → record-controlled dynamics. This work realizes that complete sequence as one exact theorem, with every stage finite, explicitly typed, and joined to the next. A first informative distinction acquires a one-dimensional relational home; finite events create filled two- and three-dimensional structure; the completed event leaves a persistent completion signal telling WHEN a later operation is eligible and a durable record of WHAT occurred; retained event order produces two noninterchangeable operational clocks, and the durable record controls a later quantum operation whose output statistics depend measurably on that record. The central new result is the exact end-to-end closure of this sequence as one normalized full-history lifecycle across explicitly joined finite carriers, with every firing and nonfiring history retained. To our knowledge, this is the first explicit finite theorem to close that complete conjunction while retaining both event and no-event histories in one normalized lifecycle across explicitly joined finite carriers. Established mathematical tools certify the interfaces; they do not supply the joined lifecycle proved here. Finite GNS canonically represents the commutative event laws; the labelled noncommutative carrier and full finite effect structure are selected inputs, and the Born-trace and CPTP forms follow from the stated consistency hypotheses on that selected base. Under the complete displayed base every lifecycle map is constructed exactly; whether the pre-activation formation equations alone uniquely force the router, fine writer/hold activation, fresh-row preparation, and comparator is a separate upstream parent-forcing problem and is not used by the completed construction. Every implemented map is exhibited, and the archived executable verification suite passes in ordinary and optimized execution and rejects all registered fault-injection controls. The theorem requires no external clock, singular initial datum, continuum-spacetime limiting procedure, postselection, discarded history, or selected-branch renormalization. The dated primary-source search protocol, version pins, screening ledger, and complete-conjunction matrix are archived in `evidence/COMPLETE_CONJUNCTION_LITERATURE_SEARCH_RECEIPT.json`. SI calibration, continuum spacetime, gravity, quantum field theory, and cosmology begin at later layers.
One bit is all it takes to start the universe. Here “one bit” names the initial informational resource under the stated premises, not the theorem’s only assumption. Its two basis values control an explicit isometric preparation into the no-event and event history sectors; composing that preparation with the literal lifecycle gives distinct zero-clock and completed-event outputs, while the canonical bit prior recovers the uniform history law and all printed branch masses. The whole theorem in one line: First informative bit → 1D → 2D → 3D → durable quantum record → two operational event clocks → record-controlled dynamics. This work realizes that complete sequence as one exact theorem, with every stage finite, explicitly typed, and joined to the next. A first informative distinction acquires a one-dimensional relational home; finite events create filled two- and three-dimensional structure; the completed event leaves a persistent completion signal telling WHEN a later operation is eligible and a durable record of WHAT occurred; retained event order produces two noninterchangeable operational clocks, and the durable record controls a later quantum operation whose output statistics depend measurably on that record. The central new result is the exact end-to-end closure of this sequence as one normalized full-history lifecycle across explicitly joined finite carriers, with every firing and nonfiring history retained. To our knowledge, this is the first explicit finite theorem to close that complete conjunction while retaining both event and no-event histories in one normalized lifecycle across explicitly joined finite carriers. Established mathematical tools certify the interfaces; they do not supply the joined lifecycle proved here. Finite GNS canonically represents the commutative event laws; the labelled noncommutative carrier and full finite effect structure are selected inputs, and the Born-trace and CPTP forms follow from the stated consistency hypotheses on that selected base. Under the complete displayed base every lifecycle map is constructed exactly; whether the pre-activation formation equations alone uniquely force the router, fine writer/hold activation, fresh-row preparation, and comparator is a separate upstream parent-forcing problem and is not used by the completed construction. Every implemented map is exhibited, and the archived executable verification suite passes in ordinary and optimized execution and rejects all registered fault-injection controls. The theorem requires no external clock, singular initial datum, continuum-spacetime limiting procedure, postselection, discarded history, or selected-branch renormalization. The dated primary-source search protocol, version pins, screening ledger, and complete-conjunction matrix are archived in evidence/COMPLETE_CONJUNCTION_LITERATURE_SEARCH_RECEIPT.json. SI calibration, continuum spacetime, gravity, quantum field theory, and cosmology begin at later layers.
A classical record can survive a quantum event, be read without demolition, and change later quantum dynamics. This work gives, under the displayed premises for each stage, a self-contained finite proof of the constructive chain from the first informative bit through one-, two-, and three-dimensional formation to an accessible 24-address classical fact, durable quantum-nondemolition record, operational clocks, and record-controlled quantum dynamics. The conjunction of finite formation, readable memory, native and noncommuting control, and a closed conditional regional solution is established here. The bridge maps are mathematically distinct, but their physical composition is conditional on those stage premises—including the adopted formation allocation and regional composition inputs—and on the parent event firing; the regional continuation uses the preserved completion statistic rather than the full fine address/facet record. An exact seven-branch Kraus intertwiner covers coherent inputs across 16,807 five-event histories, six physical lineages, and the complete no-event complement. The retained fine record controls a native repeat/comparison channel with hit probability eleven twenty-fifths, nonzero mutual information, and exact source-address independence, plus a noncommuting three-qubit response. A persistent occurrence projector autonomously enables a later instrument while preserving all admitted archive blocks. Worked continuations include an eight-write resource cycle, a record-preserving 16-cell consumer, and exact predictive compression. The conditional Fast-Time/Timescape continuation supplies an exact clock map, a closed scalar Buchert solution, an infinite connected shell-free Darmois collar family, and a positive-energy LRS completion family. Its approximately 88.2718196824 percent Hubble mismatch is a dependency-separated conditional kinematic diagnostic using an explicitly adopted measured matter fraction and derived radiation fiducial, with no dataset split or fitted parameter. It is not, by itself, an independent observational validation. No historical first claim or exhaustive classification is asserted; within the regional continuation, unique physical-member and optical-law selection remains open. Within those boundaries, the constructions establish a full-history bridge from the first distinction to durable fact, operational time, later quantum control, and an explicit closed conditional regional continuation.
This monograph develops the Shadow Theory quantum measurement programme through two distinct physical constitutions, connecting source dynamics to actual events, Born-rule measurement statistics, material records and subsequent measurements. The pilot-medium construction combines canonical current production, conservative packet export, independently prepared deterministic gas contacts, finite recombination and carrier-population tracking. Under its stated assumptions, the complete ordinary tagged path converges in total variation to the minimal Bell process in unchanged physical time. An autonomous finite-clock construction supplies faithful first-pass records, retained resources and noncommuting continuation. The separate massive-configuration construction adopts Bohmian guidance and complete initial quantum equilibrium. It supplies explicit material detectors, archives, reset operations and autonomous control, with separate bounds for retained outputs and historical record fidelity. The volume integrates proofs, counterexamples and the programme’s detector, preparation and protection results. It presents conditional internal completions within declared premises, rather than a derivation of those premises from source/readout incompleteness. The pilot result is a controlled effective limit; the massive result is a separate operational completion. This preprint is offered for independent scrutiny.
We reconstruct nonrelativistic quantum mechanics from exactly three physical axioms: microscopic ontic definiteness and finite localization, physical reality of the spacetime-vacuum substrate, and persistent causal source–response coupling. The single-run physical state is a finite topological core, its actual causal history, the substrate state, its sector, and the associated historical disturbance. A wave function is not identified with that ontic tuple. It is a ray in a Hilbert representation of admissible preparations and response amplitudes; a density operator is a statistical or reduced representation; and a record is a stable macroscopic event. The logical construction is acyclic. Finite-energy sector spaces and their continuous symmetry representations lead, under explicit representation conditions, to a complex Hilbert direct sum. A closed semibounded quadratic form defines the Hamiltonian and its self-adjoint realization. The standard Schrödinger action, unitary propagation, probability current, spectral observables, uncertainty relations, composite-system tensor products, spin representations, exchange sectors, instruments, and completely positive open dynamics then follow on their declared domains. Gleason-type reasoning fixes the Born form only after additivity, noncontextuality, continuity, and preparation–detector calibration are stated. Those operational conditions are not hidden physical axioms. The distribution of unresolved ontic initial data that realizes quantum equilibrium remains a realization certificate, not a theorem of topology alone. The Heisenberg representation is derived as a controlled transport of observables after Hilbert space and the self-adjoint generator have been constructed. Strongly continuous time translation, two-parameter nonautonomous propagation, common-domain Heisenberg equations, spectral matrix mechanics, regular Weyl relations, open-system adjoints, and instrument effects are connected by one certificate. Schrödinger and Heisenberg predictions are proved equivalent for one-time and finite instrument records, while finite-core, historical, truncation, domain, and detector errors remain separately bounded. Three frozen matrix benchmarks verify low-energy oscillator truncation and its state-weighted CCR defect, second-order unitary convergence for a driven doublet, Schrödinger–Heisenberg equality for a sequential instrument, finite auxiliary-history truncation, and quadratic leakage scaling for a conditional Dirac–Pauli interface. Independent reproduction, including the extended-precision audit, is closed for the frozen packet; physical coefficient calibration remains open. The next interface connects an owner-resolved Dirac–Pauli Hamiltonian to spin records through a Ward-compatible vertex, a causal passive history kernel, an independently audited doublet projection, SPAM-aware forward probabilities, nuisance-profiled identifiability, and a noncompensatory coefficient-to-record error theorem. The DPHC identifiability coordinate is executed on a frozen synthetic response family. A single-scale design is rank deficient, whereas an eighteen-setting frequency–gradient–order–time design has full profiled rank, controlled conditioning, near-nominal finite-sample coverage, and a calibrated held-out statistic. A robust twenty-setting design raises the worst registered information eigenvalue by 20.12%. A ten-parameter nonlinear audit exhibits an exact radiative–detector equivalence curve. An independent dark record breaks that symmetry and restores full local rank. Continuous-set robustness, validated global exclusion, and independent implementation are executed, while physical response identification and empirical calibration remain open. Measurement is treated as a dynamics of system, apparatus, environment, and actual history. Unitary premeasurement and decoherence select robust record sectors but do not by themselves select one record. The three-axiom ontology supplies one actual branch history, while a measurable response map from the complete initial state and instrument to the final record supplies the missing dynamical content. Bell correlations require contextual and nonfactorizable ontic response while parameter independence and operational no-signalling are retained; no controllable superluminal channel is introduced. Historical response produces causal non-Markov Hamiltonians and memory-kernel master equations. Their normalization, positivity, complete positivity, and energy ledger are derived from a unitary enlarged realization whenever such a dilation exists. Finite-core form factors and causal memory yield explicit departures from point-core Markov quantum mechanics. Standard quantum mechanics is recovered as the unresolved-core, sector-fixed, quantum-equilibrium, short-memory limit. Quantum field theory is retained as a successful local, spectral, and asymptotic calculus, but field operators, Fock vectors, and vacuum functionals remain effective representations until a noncircular map from finite carriers and their complete causal histories has been certified. The manuscript proves a sequence of previously open analytic, mathematical, measurement, topological, statistical, and computational obligations on explicitly declared domains. These include non-Markov diffusion, graph-norm stability, distorted-wave and pole variation, finite passive-memory realization, Fisher-information identifiability, detector pushforwards, unique-record basins, Born-representation bounds, measurement independence, topology–Dirac charge conjugation, Stern–Gerlach records, action-scale matching, rank-two spin projection, Finkelstein–Rubinstein topology, Clifford reconstruction, and parent-to-record realization maps. Eighteen groups of numerical obligations are executed on frozen reference models. They cover spectral and scattering calculations, oscillator and two-level dynamics, Schrödinger–Heisenberg equivalence, finite-history truncation, Dirac–Pauli and Foldy–Wouthuysen reduction, gauge covariance, interference, Bell and GHZ correlations, open-system memory, Stern–Gerlach records, identifiability, global searches, topological invariants, path products, semiclassical limits, partial-wave optical closure, the relativistic/QFT interface, and conservative-parent two-level dynamics. Every environment explicitly typed as a computational obligation now has an executed frozen-model certificate; empirical identification and separately typed experimental inputs remain open. The present manuscript differs so substantially from the earlier version in scope, logical architecture, proofs, and executable certificates that it is issued as a new upload rather than as a minor revision. Because the subject is both foundational and technically consequential, readers professionally engaged in quantum foundations, mathematical physics, quantum measurement, or related fields are encouraged to consult both versions: the earlier version preserves the developmental route, whereas the present version gives the substantially expanded and reorganized reconstruction. ## Keywords Axiomatic quantum mechanics; finite particle histories; retarded Green functions; Schrödinger equation; Dirac equation; Born rule; topological spin; quantum measurement; non-Markovian dynamics; classical limit.
A durable quantum record, the location of its coherence, and a uniquely actual outcome are different physical questions. We study their separation in a supplied finite-dimensional quantum theory. An explicit, time-independent apparatus couples a system–detector encoding to a controller, a distinct archive, and a finite returning source. A conditional energy penalty suppresses release of the original record without deleting its return coupling. An invariant reduction and a one-sided spectral-gap estimate yield a certified interval with archive occupation above 0.98438, controller-latched occupation above 0.99161, and filled-but-unlatched weight below 2.402 × 10^-7 in one stated design. The same record statistics admit different source-label overlaps and hence different coherence on a specified retained boundary. A conserved product of complementary exchanges accesses that coherence when the finite source is included. Given a calibrated multiregister reader, its finite-duration response separates the coherent apparatus from an independently added archive-gated reduction law, with the added process left active during readout. A conservative example retains a response gap above 0.01717 after separately stipulated one-percent error allowances. The contribution is the finite construction and its quantitative retention, access, and readout interfaces. Quantum carriers, Hamiltonian couplings, trace readout, source preparation, and the reader are supplied; local reader synthesis, empirical calibration, absolute rate selection, and unique-event actualization are not established. Paper code: CFQR-P1 (Complementarity-First Quantum Records — Paper 1). The associated bundle contains the technical supplement, editable LaTeX, numerical checking programs and rational certificates, and selected Lean sources with returned build and axiom-audit evidence. The 39 supporting declarations are partially formalized; eleven recorded type excerpts contain printing elisions. This is not end-to-end formalization, external human peer review, an experimental detection of fundamental collapse, or a derivation of unique-event actualization. Author-owned manuscripts, documentation and mathematical data are CC BY 4.0; author-owned software is MIT, subject to the bundle’s licence map and third-party notices.
A finitist, relational axiomatization of physics: quantum theory and a relativity sector derived from four axioms about group-valued relations and closure. Contributions to the foundations of quantum mechanics (Born rule derivation, quantum reconstruction, local tomography, complex field selection), the emergence of time and causal structure in discrete networks, discrete Noether theorems, lattice gauge structure, and the Schrödinger equation derived by two independent routes. Every claim is graded in a Claim Ledger; every numerical claim is machine-verified with archived scripts; negative results are reported at full strength. What this paper does The universe is taken to be constituted by relations rather than objects. Stable relations form closures (self-consistent cycles) whose holonomies carry the physical content. Four axioms — primacy of relations (group-valued, edge-borne), closure stability, chirality from order, and observation as bidirectional group exchange — yield, at explicitly graded and conditional levels: Quantum sector Exchange-completeness theorems for finite label groups: abelian at all cycle ranks; non-abelian on the single cycle (Wilson readouts plus class-sum convolutions generate the full matrix algebra); the multi-cycle non-abelian case on the operational-equivalence quotient, with the obstruction completely characterized via class-preserving outer automorphisms — and the quotient's necessity now stratified by the source of word blindness (see New in Version 24.0). The Born rule, proved for finite abelian networks from a strictly weaker relational readout premise (statistics of realizable effects depend only on relational content); non-contextuality has this single source; additivity is basis-relative and declared as such. The Schrödinger equation by two routes of unequal premise grade, maintained side by side: a spectral route — the action operator is a weighted Cayley-graph Laplacian in the Pontryagin dual basis, the derived Gibbs state's unique canonical (modular) flow yields the Schrödinger equation with Hamiltonian equal to the action operator, no continuum limit, zero conjectures consumed, the single non-theorem step one flagged identification; and a Madelung route — physical and mechanism-rich (probability density derived from constraint gaps), valid exactly on the domain of the pseudo-continuity conjecture, with its full premise bill stated (continuity equation, Wallstrom circulation condition, m, V). A dedicated comparison subsection gives the line-by-line premise accounting and the machine-measured agreement region. Complex field selection: ℂ selected over ℝ and ℍ within the GPT comparison class in the covered sectors, with a second independent route from chirality (Frobenius–Schur dichotomy, quaternionic double exclusion); "uniquely selected" expressly not claimed. Positivity as pairing: all five in-text positive-semidefiniteness theorems traced to one mechanism (M = B†B with native factor); the Kraus form and complete positivity derived rather than assumed. The Noether sector on Noether's two theorems exactly: Noether I recovered on the holonomy action (compact Lie realization); Noether II identified as present (Bianchi as horn-filling, Schläfli as its Regge form); selection rules recovered for finite groups; the GNS bridge proved non-vacuously on the full exchange algebra; the sole potential extension — conservation as the kernel of exchange — isolated as a registered conjecture, consumed nowhere. A local–global representation theorem: six generative quantities (closure invariant, flux quantization, Weyl phase, non-abelian Stokes, orientation visibility, terminal normalization) are evaluations of cohomology classes against closed chains — one syntax, six exact machine probes. The gatekeeper no-go theorems registered and discharged: Kochen–Specker (the framework posits no global valuation — outcomes are resolutions of constraint gaps, and basis-relative additivity blocks state-independent variants), Pusey–Barrett–Rudolph (the statistical envelope is over resolutions yet to happen, not values already held; machine witness: identical configuration ensembles with opposite relative phase have opposite statistics), Wallstrom (registered as an explicit input, structurally discharged in the finite-abelian sector), Hegerfeldt (the Lieb–Robinson exponential tail identified as the only claimable front form for the continuum limit), Frauchiger–Renner (cross-agent certainty transfer presupposes kernel-free record transport, exactly what exchange-incompleteness excludes), and no-cloning (inherited in the covered sectors); Conway–Kochen and Colbeck–Renner noted as concordant. Relativity sector Time from finite capacity plus genuine randomness: the staging theorem (Θ(d) dependency depth, unbounded chains via the Moore bound; the quantitative failure law conditionalized on measure-level independence with exact minimal witnesses); the temporal quantum defined combinatorially, no Hamiltonian input. The speed of light grounded in an exact discrete dependency cone (combinatorial, no quantum input), the Lieb–Robinson bound consumed at cross-check grade only; a boost no-go theorem reducing Lorentz invariance to named statistical conditions, with the Collins fine-tuning objection recorded as a gate. The trace-descent theorem group: the growth-history measure forced onto the Mazurkiewicz trace quotient; chain reflection positivity at every depth with completely explicit spectrum. An equation sector of nine verification families (Schrödinger, Dirac, Maxwell/U(1), canonical commutator, Yang–Mills SU(2), Regge calculus, Klein–Gordon, Noether loop, Cartan curvature), where every machine-precision claim is the shadow of a proved backbone lemma — including the factor ½ of H = ½L + V, identified as the Wilson Fourier coefficient fixed by the action theorem. Four experimentally testable predictions, including a discriminating flat-versus-sigmoid visibility protocol. The Standard Model gauge group, ħ, and G remain open, with attack routes registered. How to read Three entry paths are marked in the document. Path A (derivational core): axioms → group structure → Noether sector → least action → Born rule → positivity. Path B (physical mechanisms): constraint propagation → time as determination → wave function as gap envelope → fields. Path C (scope and limits): the Claim Ledger, then Discussion and Open Problems — for the reader who wants to know what is claimed and what is not before reading anything else. The Claim Ledger is the single authoritative register of claim status; wherever body text sounds stronger, the Ledger governs. New in Version 24.0 (Version 23.0 is the immediately preceding public release; this version supersedes the internal V12–V15 and V17–V19 series, whose numbers are not used externally.) Version 24.0 resolves the structure of the multi-cycle non-abelian obstruction — the sector's longest-standing open front — following an external research exchange with three rounds of independent re-verification (fourteen core figures, three commutant instruments implemented independently, exact integer arithmetic on the obstruction side) and two rounds of counter-review that corrected one quantifier on each side: A dichotomy of the multi-cycle obstruction (new remark). Word blindness on multi-cycle networks has two identified sources, jointly covering every tested case, with opposite behaviour as cycle rank grows. Type I (global; graded): a class-preserving outer automorphism yields a commutant element by an argument free of cycle-rank reference; its non-triviality holds at theorem grade for b₁ ≥ d(G) via generating tuples, is monotone in b₁, and the threshold is measured at b_σ = 2 on the tested Wall group (at b₁ = 1 the permutation is the identity — no universal claim is made, and the existence of groups with threshold above 2 is registered open). Type II (local; measured): Out_c trivial but fusion fails on a proper subgroup, the blind pairs sitting in non-generating sectors — the same mechanism that defeats Wilson generation; this blindness heals: on every verified group (A₄, SL(2,3), A₄×ℤ₂) the full commutant collapses to trivial at b₁ = 3 by exact computation on two independently implemented instruments, although word readouts remain blind — the shift primitives separate, above a threshold, and the natural explanation (tuples becoming generating) is refuted by the persistence of blind blocks. Three boundaries at full strength: no exhaustiveness proof (a third source is not excluded); no general healing theorem (the verified groups all heal at 3, cause unidentified); the verified Type II sample is narrow. The quotient proposition restated in stratified form. The operational-equivalence quotient's necessity is now part of the proposition's own statement, in three strata: necessary where Out_c ≠ 1 at every b₁ ≥ b_σ(G), with b_σ ≤ d(G) at theorem grade; one-dimensional at b₁ = 2 on the fusion-type groups (verified cases); trivial at b₁ ≥ 3 on every verified fusion-type group and at every tested b₁ for word-separation-complete groups (a fourteen-group scan of orders ≤ 31 found no third source). Pre-registered validation preceded the restatement: a stratification-exhaustiveness scan (pass), a new-witness search (no new witness in range, downgrade clause applied as pre-registered), and a zero-conflict audit of the three strata against all archived data. The residual open problem is now precisely located. What remains of multi-cycle completeness: the rare Out_c ≠ 1 groups (54 in the exhaustive range through order 96) above their measured thresholds, the low-b₁ fusion stratum, a general healing theorem, and whether a threshold above 2 occurs. The multiplicity-freeness conjecture's mechanism sentence is corrected with the two regimes stated separately (at b₁ = 2 the shifts do not separate — the blind-pair transposition commutes with every primitive, integer-exact — and reduce the commutant to
The Geometric Block Universe is a single completed geometric structure - a compact curved space carrying fields - in which every history compatible with the laws is present, together with the records that observers hold within it. Nothing in the block evolves. What an observer calls time is a relational ordering of records by internal coordinates, with a geometric direction, the logarithm of total volume, serving as the clock; where that clock stalls, a second clock built from accumulated volume carries the ordering through. Records are stable, mutually exclusive cells of a finite record space, the harmonics of low degree on a three-sphere, and an observer is a body that writes and reads such records. Three things that ordinary quantum mechanics must postulate are absent from this picture. There is no collapse: a measurement selects nothing, because every compatible outcome is already realised and a definite result is definite only relative to the observer's own record. There is no splitting of universes: the histories are labelled components of one structure, the number of them is not a primitive quantity, and nothing multiplies when a record is written. And there is no fundamental probability: the block contains only counts of qualified observer occurrences, and what an observer experiences as chance is self-location - the fraction of its own occurrences that carry a given record. Probability is an emergent appearance, not an ingredient. This paper shows that the quantum weights follow from counting. An earlier rigidity theorem of the programme showed that a positive linear incidence functional invariant under full-carrier heat resolution is proportional to volume, so that normalised incidence equals an inherited geometric density; the Born form of that density was an input, and this paper removes it. Three statements about counting- that the count of occurrences in a set of record points is the integral of a density depending on the amplitude at the point, that one attempt counts one, and that a non-interacting reader's counts cannot depend on a distant preparation, force the density to be the squared amplitude, with presence, unit counting, affinity and Born proportions for every sharp reader as consequences rather than assumptions. The Born weight is the conserved charge of the phase symmetry of each record, exact for the recorder the theory already contains, and its push-forward over states is the uniform reference distribution that earlier readers haad to be given by hand. The affine structure that makes counts quadratic is not free either: it is the positive first-order structure of the clock direction, derived for a clock that is a symmetry, and it survives the de Sitter trajectory the geometry selects with a bounce mixing 1/sinh²(πν) that is the same for every record mode. The recorder is realised on the canonical records of the five-rung carrier as a complete observer: it writes exactly distinguishable records at discrete pointer displacements, samples its pointer at the rate set by the evaluation overlap spectrum, and returns the branch weight with no threshold, no reference population and no preparation law; where the two records are not exactly distinguishable, the deviation from Born proportions is bounded and second order in their overlap. What remains assumed is stated once: that counting is local on the record manifold, that an attempt counts one, the selection of the record space, the standing of the recorder, and the identification of occurrence fraction with first-person credence. An unconditional derivation is not claimed. One consequence differs from quantum mechanics with continuous pointers and is recorded as a candidate signature: a recorded two-branch superposition decoheres, as a function of the write duration, with exact nulls, a partial revival of 21/91 at half the pointer period, full recurrence when the fibre closes, and a residual average coherence of 9/91.