We present the foundational layer of a research program that derives quantum-mechanical, relativistic, and thermodynamic structure from a single ontology: a ledger of sealed records. The ledger is governed by three axioms: R, laws are laws of whole sealed histories; S, no distinction without a record; and C, couplings are fixed by self-consistency under refinement. The program builds on the stochastic-quantum correspondence of Barandes' indivisible processes, replacing configuration trajectories by committed records as the primitive. The main results, each at stated scope and with machine-verified receipts, are as follows. First, the Born layer: record weights compose through square roots, and tame-class reconstruction recovers the Weyl algebra and the Schrodinger representation, via Stone-von Neumann, from record towers, with ladder operators, selection rules, and exact continuum targets approached at machine precision. Second, Lorentz signature: the commitment structure of records forces a Lorentzian (1,d) split with derived orientation classes. The spatial dimension d = 3 is selected by a minimality principle graded as input in the text, not derived. The operational identification lapse = local clock rate is verified to 3.7 x 10^{-8} in curved record geometries as a model-internal consistency receipt, with first 3+1-dimensional cosmological checks presented qualitatively and no cosmological number claimed in this batch. Third, the arrow of time: reflection positivity is a theorem for eventless sectors with finite primitive Markov presentations, the entropy-production functional is the path-measure relative entropy sigma = D(P_AB || P_BA), the classical identity of stochastic thermodynamics in record-pair form, and the presentation hypothesis is sharp. An explicit reversible, valid, finite-rank process, the "record clock", fails reflection positivity, separating record laws from general reversible processes. Fourth, thermality: horizon temperature T = kappa / 2 pi is recovered in exact lattice constructions, presented in full in the companion horizon paper and cited here only as a consistency credential. We state precisely what is axiom, what is theorem, what is named identification, and what is imported mathematics; the full dependency audit is part of the paper. We also delimit the program's frontier: the tame class, the regularity stratum of the emergent continuum, and continuous sector families.
We present the foundational layer of a research program that derives quantum-mechanical, relativistic, and thermodynamic structure from a single ontology: a ledger of sealed records. The ledger is governed by three axioms: R, laws are laws of whole sealed histories; S, no distinction without a record; and C, couplings are fixed by self-consistency under refinement. The program builds on the stochastic-quantum correspondence of Barandes' indivisible processes, replacing configuration trajectories by committed records as the primitive. The main results, each at stated scope and with machine-verified receipts, are as follows. First, the Born layer: record weights compose through square roots, and tame-class reconstruction recovers the Weyl algebra and the Schrodinger representation, via Stone-von Neumann, from record towers, with ladder operators, selection rules, and exact continuum targets approached at machine precision. Second, Lorentz signature: the commitment structure of records forces a Lorentzian (1,d) split with derived orientation classes. The spatial dimension d = 3 is selected by a minimality principle graded as input in the text, not derived. The operational identification lapse = local clock rate is verified to 3.7 x 10^{-8} in curved record geometries as a model-internal consistency receipt, with first 3+1-dimensional cosmological checks presented qualitatively and no cosmological number claimed in this batch. Third, the arrow of time: reflection positivity is a theorem for eventless sectors with finite primitive Markov presentations, the entropy-production functional is the path-measure relative entropy sigma = D(P_AB || P_BA), the classical identity of stochastic thermodynamics in record-pair form, and the presentation hypothesis is sharp. An explicit reversible, valid, finite-rank process, the "record clock", fails reflection positivity, separating record laws from general reversible processes. Fourth, thermality: horizon temperature T = kappa / 2 pi is recovered in exact lattice constructions, presented in full in the companion horizon paper and cited here only as a consistency credential. We state precisely what is axiom, what is theorem, what is named identification, and what is imported mathematics; the full dependency audit is part of the paper. We also delimit the program's frontier: the tame class, the regularity stratum of the emergent continuum, and continuous sector families.
Within the sealed-records program developed in Part I, we derive the structures of particle statistics and gauge theory as outputs rather than inputs. The results hold at stated scope and are accompanied by machine receipts. First, univalence superselection is derived within the stated record class: the silence of the relative sign is established by exhaustive verification within that class, so the term "derived" carries exactly that scope. The silent-seam axiom then excludes superpositions across the double cover, making the (-1)^F grading central. Second, spin quantization, 2m in Z, follows from the (1,3) signature together with the belt-trick identification, with record anyons confined to genuinely two-dimensional screens. Third, under the named framed-transport premise, namely that exchange is transport of the fiber with its frame, sealed positivity on the exchange collar forces the exchange phase (-1)^{2m}: wrong-statistics sectors carry strictly negative weights, and Pauli exclusion appears as an exact zero. Fourth, parastatistics is excluded at pair-exchange level: the transport commutant on V tensor V is exactly span{1, P}, and the +/-1 options are excluded by the ledger. The full n-strand Doplicher-Haag-Roberts parastatistics question is explicitly scoped. Fifth, the internal symmetry group of the fiber is reconstructed as the commutant of record exchange. Once the ledger forces the statistics, classical Schur-Weyl duality, imported with no novelty claim, delivers the full unitary group of the fiber: U(3) for three-strand fibers, with an implementation check 165 = 165 and the determinant slot included, and U(2) for the weak fiber, with checks 10 = 10 and 20 = 20. This is in the direction of Doplicher-Roberts reconstruction: group as output of statistics. What is delivered here is the global symmetry group; promotion to a local gauge symmetry with connection and dynamics is an additional step, graded as input where Part III uses it. Color receipts include exact Pauli exclusion for color, ||A_4|| = 0, and uniqueness of the baryon singlet. We state the paper's two named premises, framed transport and collar presentability, and the scope of each result. The matter-content selection built on these structures, together with its falsifiable consequences, appears in Part III.
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
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.
This paper develops a reconstruction of probability that does not begin by assuming a probability space, a probability simplex, or the Born rule. Instead, it asks a prior foundational question: under what physical and mathematical conditions are a set of alternatives entitled to carry positive, additive probabilities at all? The construction begins with lawful histories, future interfaces, and retained records. It distinguishes coherent alternatives from exclusive empirical events, preventing multiple interfering routes from being mistaken for separate probabilistic outcomes. A future-sufficient quotient identifies distinctions that no admitted future test can detect, while a record-qualification step determines when alternatives have become genuine empirical events. Dagger-compatible comparison and positive record factorization then produce a positive comparison kernel, from which normalized event probabilities arise only after the relevant record sectors are certified as exclusive. The framework is extended beyond individual measurements. Compatible finite record refinements generate a global probability measure under explicit realizability conditions; stochastic kernels provide a compositional calculus for carrying probabilistic information through unresolved future structure; and locally classical measurement contexts are assembled into a single positive state on a generally non-Boolean effect structure. This allows globally coherent probability to exist even when no context-independent deterministic assignment of outcomes exists. On a reflection-positive Hilbert-space branch, admissible future contexts are represented by positive effects and positive normalized states by density operators. The Born state-effect law then appears as the finite-dimensional representation of a probability structure that has already been earned through record qualification, positivity, exclusivity, refinement, and contextual consistency rather than introduced as a primitive postulate. The paper also separates two mechanisms that are often conflated: quadratic Born-type weighting arises from dagger self-comparison, whereas equal probabilities for symmetric alternatives arise from symmetry of the outcome structure. A further state-effect bridge analysis classifies residual coordinate freedom and identifies an exceptional rank-two adjugate transformation with Lorentzian signature, which is removed when positive self-dual identification is required. The central interpretation is that probability can function as a lawful form of global completion: it can carry future-relevant law through unresolved structure even when deterministic uniqueness is unavailable. The paper does not derive a mechanism selecting one actual outcome and does not claim that every physical sector satisfies the stated hypotheses. Instead, it provides an explicit dependency-controlled architecture connecting lawful completion, reflection positivity, event qualification, contextuality, stochastic continuation, Hilbert reconstruction, and the Born rule.
Problem What must a physical record preserve to reveal temporal direction, measure duration, and support a calibrated experiment? This two-volume mathematical working paper distinguishes causal order, clock readings, and forward–reverse evidence, and studies their joint realization under one history law. Principal results Relative-entropy disintegration identifies evidence lost through observation. Graph potentials characterize sufficient current sensors by the absence of affinity on unobserved cycles; paired histories extend the criterion to silent events and indistinguishable reaction channels. Anonymous records, finite memory, and stopped decisions are treated explicitly. Compensated currents control clock calibration under shared environmental dynamics. A preparation-and-work identity bounds directional records and terminal organization together. Exact elimination retains hidden memory, while inverse and energy margins control response. A moving-sector comparison bounds the complete quantum apparatus record, including interactions, leakage, and transport; a spectral gap gives an explicit operating-time estimate. Analytical constructions and counterexamples cover graph–matter selection, ring and torus persistence, localized field clocks and receivers, and source-correlated records. A kinetic parent combines a selected ring, an inertial field, and a finite reversible receiver. Preparation frontiers separate information cost from attainable initial laws of a fixed dynamics. Methods, scope, and open questions The proofs use conditioning, path potentials, martingale compensation, generating functions, and stable operator comparison. The project includes editable sources, bibliography, 47 reproducible finite verification programs, provenance, and a separate corrections report. The results concern specified model classes and conditional external inputs. Selected spatial geometry is not a derived Lorentzian spacetime; the joint ring receiver uses supplied capture materials and diffusive transport. A common microscopic derivation of Lorentzian geometry, apparatus formation, two distinct proper-time clocks, constrained gravitational response, and typical directional preparation remains open.
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.