This paper is Paper 003 in the Anaxiomatic Mechanics / pq-Spacetime stack. It develops the Born Ledger: the probability scalarization of Binary Mechanics. Paper 002 derived finite polarized graph histories and the primitive finite amplitude law. In that construction, amplitudes are not assigned to instantaneous graph states, vertices, or hidden local phase registers. Instead, they arise as finite sums of Z4-weighted admissible histories grouped into coarse record classes. The present paper begins from that result and asks what probability ledger is forced once record-disjoint coarse alternatives are required to receive stable nonnegative weights. The central result is a no-fence scalarization theorem: the only admissible nonnegative scalarization of a finite complex record amplitude is its squared modulus. When normalized over an exhaustive record-disjoint partition, this yields the Born-type probability rule. The derivation does not assume Hilbert space, a wavefunction, a measurement postulate, a continuum path integral, primitive probability, or primitive branch selection. Interference appears before probability as cancellation inside finite history amplitudes, and probability appears only as the record-level scalarization of those amplitudes. No fine history is primitively deleted or selected; the ledger assigns weights to record-disjoint coarse alternatives generated from the full admissible finite history structure. The paper therefore supplies the Born-weighting step in the Binary Mechanics construction: finite graph histories first, finite amplitudes second, record ledgers third, normalized probabilities last.
This paper is Paper 003 in the Anaxiomatic Mechanics / pq-Spacetime stack. It develops the Born Ledger: the probability scalarization of Binary Mechanics. Paper 002 derived finite polarized graph histories and the primitive finite amplitude law. In that construction, amplitudes are not assigned to instantaneous graph states, vertices, or hidden local phase registers. Instead, they arise as finite sums of Z4-weighted admissible histories grouped into coarse record classes. The present paper begins from that result and asks what probability ledger is forced once record-disjoint coarse alternatives are required to receive stable nonnegative weights. The central result is a no-fence scalarization theorem: the only admissible nonnegative scalarization of a finite complex record amplitude is its squared modulus. When normalized over an exhaustive record-disjoint partition, this yields the Born-type probability rule. The derivation does not assume Hilbert space, a wavefunction, a measurement postulate, a continuum path integral, primitive probability, or primitive branch selection. Interference appears before probability as cancellation inside finite history amplitudes, and probability appears only as the record-level scalarization of those amplitudes. No fine history is primitively deleted or selected; the ledger assigns weights to record-disjoint coarse alternatives generated from the full admissible finite history structure. The paper therefore supplies the Born-weighting step in the Binary Mechanics construction: finite graph histories first, finite amplitudes second, record ledgers third, normalized probabilities last.
This paper is Paper 004 in the Anaxiomatic Mechanics / pq-Spacetime stack. It develops the Hilbert-space representation layer of Binary Mechanics from the mature finite graph-history formulation established in Paper 002 and the probability scalarization developed in Paper 003. The central claim is that Hilbert space is not a primitive arena inserted at the foundation. Instead, it arises as the minimal effective representation of finite Binary Mechanics amplitude data. A realized Binary Mechanics state is a resolved finite polarized graph. From that graph, the theory generates admissible finite future-history families. These histories carry phase structure through their update sequence, and coarse-grained alternatives receive finite complex amplitudes by summing the contributions of all admissible histories in the corresponding class. Once Paper 003 supplies the no-fence scalarization of finite complex record amplitude into squared-modulus record weights, the standard finite-dimensional complex Hilbert-space structure becomes the natural ledger for the resulting amplitude distribution. Basis states represent distinguishable coarse completion channels, linear superposition records unresolved admissible history content, the inner product records the squared-modulus weight structure, and norm-preserving transformations represent closed changes of effective description. The paper emphasizes that Hilbert space is therefore a reconstruction layer, not a substrate ontology. The underlying ontology remains the finite resolved graph and its admissible history fan. Hilbert space appears because it is the compact and faithful representation of the amplitude ledger generated by Binary Mechanics itself. The paper also clarifies how tensor products, entanglement, unitary structure, and continuum quantum descriptions are to be understood as later effective layers built from finite graph-history mechanics rather than assumed at the start. This work continues the staged reconstruction program of Anaxiomatic Mechanics and pq-spacetime by showing how ordinary quantum representation theory begins to emerge from finite graph histories, phase-bearing admissible futures, and no-fence probability scalarization.
This paper is Paper 002 in the Anaxiomatic Mechanics / pq-Spacetime stack. It develops Binary Mechanics as the local dynamical layer generated by the eight-form kernel derived from the unresolved axiom-space construction of Anaxiomatic Mechanics. The paper shows how the no-fence and no-knob constraints force a single-bit admissibility criterion for elementary local continuations. Under this criterion, the localized eight-form kernel closes uniquely into a four-class cyclic structure represented by Z4. This Z4 residue is not introduced as a Hilbert-space postulate or as an additional phase register. Instead, it is the bookkeeping of admissible contrast traversal. The central ontology of Binary Mechanics is a finite resolved polarized graph whose vertices are pq-bits, or primitive quantum bits. A pq-bit is not a Hilbert-space qubit; it is a pre-Hilbert local contrast unit prior to amplitudes, basis choice, normalization, tensor products, and measurement structure. Realized exterior graph states contain no hidden local phase labels. Phase enters only through admissible finite histories generated from a resolved graph. The paper also clarifies local polarity-resolution. Elementary substitutions may temporarily expose raw local graph presentations, but the exterior ontology and successor fan live in resolved graph space. Adjacent same-polarity pq-bits coalesce into a single resolved pq-bit, so Binary Mechanics is not unconstrained graph growth. The finite amplitude law sums over admissible finite histories of resolved successors, with the Z4 residue induced by the underlying substitution structure. The result is a finite graph-history amplitude calculus: definite resolved graph states, admissible one-bit local updates, finite future-history trees, and Z4-weighted amplitude sums over coarse history classes. The paper does not yet assume Hilbert space, the Born rule, particles, fields, continuum spacetime, or general relativity. Those are left as later reconstruction problems. Its purpose is to establish the substrate-level mechanics on which the later pq-Spacetime construction is built.
This is Paper 157 in the Anaxiomatic Mechanics / pq-Spacetime stack. It develops a finite structural account of quantum measurement based on boundary-supported record formation, decoherence, and global admissible-history closure. In pq-spacetime, measurement is not a fundamental collapse process. A system, apparatus, environment, and observer become incorporated into an enlarged β-boundary whose dynamics stabilize distinguishable record channels. Environmental coupling suppresses accessible interference between incompatible records, while each observer continuation inherits a definite local outcome through its embedding in one stable β-record ledger. The paper distinguishes this branch-local definiteness from the global structure of the theory. The finite amplitude law and No-Fence Principle do not permit admissible history sectors to be deleted by an additional measurement rule. The global metaobject therefore remains closed over the complete admissible-history structure even though individual observers occupy definite record continuations. Collapse is consequently recovered only as an effective conditional update of local access rather than as an ontological destruction of alternatives. The analysis connects measurement directly to the earlier pq-spacetime treatments of entanglement, decoherence, and black-hole information. In each case, reduced access to part of the admissible-history structure can produce locally mixed or effectively classical descriptions without implying destruction of the globally closed state. Born weights are inherited from the prior no-fence scalarization result rather than introduced as an independent measurement postulate. The Measurement Ledger Theorem summarizes the result: quantum measurement is the formation of stable branch-local β-record ledgers through boundary enlargement; consciousness is not a measurement mechanism; primitive collapse and hidden selectors are unnecessary; pointer states correspond to dynamically stable record channels; and the globally admissible history structure remains closed throughout the measurement process. The resulting picture identifies classicality with persistent, redundant record stability rather than with a separate classical ontology. Definite experimental outcomes and globally closed quantum evolution are therefore treated as complementary aspects of the same finite pq-spacetime dynamics.
We derive the quadratic Born rule in a finite-dimensional Ledger quantum framework. Reciprocal closure is represented by an additive, multiplicative involution on complex scalars that fixes the reals and assigns nonnegative support to closed branches, uniquely selecting complex conjugation. Closure-flat publicization is a positive, additive, unital map on nonnegative scalars and is therefore the identity without assuming continuity. Finite orthogonal committed-record decompositions consequently acquire quadratic weights after exhaustive normalization. Isometric dilation extends the result to arbitrary finite instruments, while purification yields the type-I trace rule. The derivation remains conditional on complex linear kinematics, committed-record structure, and the interpretation of normalized public weights as probabilities. Continuum and general von Neumann-algebraic extensions require additional structure.
This is Paper 006 in the Anaxiomatic Mechanics / pq-Spacetime stack. It develops the emergence of effective operators and norm-preserving dynamics within the Anaxiomatic Mechanics / pq-Spacetime stack. Starting from finite binary-mechanical graph histories and their amplitude structure, it shows how boundary-resolution maps induce effective linear operators between distinguishable completion channels. Linearity is not assumed as a primitive quantum rule; it follows from the additivity of finite history amplitudes before probabilities are assigned. The paper then distinguishes closed boundary maps from open, conditioned, or coarse-grained maps. A closed boundary map carries admissible fine-history support forward without creation, deletion, duplication, selection, or loss. In the effective Hilbert representation, this closed support-preserving transfer appears as an isometry, and when the initial and final effective spaces have equal finite dimension, as a unitary map. Open or conditioned descriptions instead give nonunitary effective operations. The result provides the operator-theoretic bridge in the finite pq-spacetime construction: finite graph histories give amplitudes; amplitudes give Born-type weights; Hilbert representation gives state space; tensor-product structure gives composite records; and closed boundary maps give effective norm-preserving dynamics. Operators, projections, isometries, unitaries, and open-system maps are therefore not inserted as primitive assumptions, but arise as representation-level consequences of finite boundary-resolution structure.
Archival record. This paper predates the current MOF–SRT–FDC–PFC framework and is retained for historical and priority purposes. Its subject matter has been revised, absorbed, or superseded by the current framework papers. ------------------------------------------------------------------------------------------------------------------------------------ This short theoretical note formulates a bridge between Relative Determination, the Minimal Ontological Foundation (MOF), Finite Distinguishability Closure (FDC), and Phase-Flow Coherence (PFC). The central claim is that probability need not be introduced as primitive global randomness. Instead, when a globally non-random structural realization is read through a finite internal ledger, multiple globally distinct realizations may be mapped to a single internal ledger state. If a later readout partitions this unresolved bundle into possible outcomes, the internal ledger is forced to represent the partition by normalized relative weights. The note first defines a ledger-relative probability representation using a finite ledger map from a structural closure domain to internal ledger states. It then shows that the domain is not a hidden-variable catalogue or an absolute classical value ledger, but a structural closure domain compatible with the relative-determination viewpoint. The second part specializes the abstract ledger-compatible measure to the PFC phase-bundle setting. Under phase invariance, orthogonal-sector additivity, non-negativity, and finite ledger closure, a functional-equation argument shows that the minimal admissible phase-bundle measure is proportional to the squared complex amplitude. This yields the Born-type weight as a specialization of ledger-relative probability. The paper does not claim that all physical probabilities are derived, nor that randomness is fundamental at the global level. Its purpose is to record a structural bridge: finite internal distinguishability forces probability representation, and PFC supplies the phase-measure specialization leading to Born-type weights.