Canonical preprint manuscript. Paper 1 of 12 in Series A of the Theory of Difference / Information Update Physics (ToD/IUP) Foundational Physics Program. This paper develops a minimal structural account of physical difference as a prerequisite for physical articulation. It does not treat difference as a substance, field, force, metric, bit, measurement act, or consciousness. Instead, it formalizes physical difference through admissible consequence maps, output equivalence relations, induced physical indistinguishability, a difference separator, and the quotient state domain Σ = S/∼C. The main claim is a necessity claim, not a sufficiency claim: non-zero, consequence-surviving difference is required for physical multiplicity, nontrivial update, registration, measurement, quotient-invariant observables, and first-layer physical structure. A zero-difference domain, relative to a specified admissible consequence family, collapses to a singleton quotient and is physically silent at the first layer. This record is released as a canonical preprint manuscript for archival preservation, citation, and scholarly feedback.
Canonical preprint manuscript. Paper 1 of 12 in Series A of the Theory of Difference / Information Update Physics (ToD/IUP) Foundational Physics Program. This paper develops a minimal structural account of physical difference as a prerequisite for physical articulation. It does not treat difference as a substance, field, force, metric, bit, measurement act, or consciousness. Instead, it formalizes physical difference through admissible consequence maps, output equivalence relations, induced physical indistinguishability, a difference separator, and the quotient state domain Σ = S/∼C. The main claim is a necessity claim, not a sufficiency claim: non-zero, consequence-surviving difference is required for physical multiplicity, nontrivial update, registration, measurement, quotient-invariant observables, and first-layer physical structure. A zero-difference domain, relative to a specified admissible consequence family, collapses to a singleton quotient and is physically silent at the first layer. This record is released as a canonical preprint manuscript for archival preservation, citation, and scholarly feedback.
Abstract This paper proposes a minimal formal criterion for physical entity. It does not attempt to derive quantum mechanics, general relativity, quantum gravity, or any empirical prediction. Its aim is narrower: to ask what formal conditions must be satisfied before a structure may be treated as a physical entity at all. The starting point is the principle of stable distinguishability: a physical theory is possible only where distinctions can be made and re-identified under admissible change. From this requirement, the paper develops a constraint-primacy framework in which no particle, field, spacetime point, state, measurement, or observable is assumed as primitive. The formal layer consists of tokens, admissibility, and a closure operator defined on the full power set of tokens. Identity is reconstructed as closure-equivalence. Boundary is defined non-spatially as first-entry dependency, and core is defined non-circularly as a closed non-boundary substructure. A physical entity is then defined as a boundary-stable closure-core equivalence class: a closed admissible structure whose core closure-identity is preserved under relevant boundary-mediated extensions. The paper uses familiar mathematical tools, including closure, equivalence, isomorphism, and invariance; its proposed contribution is not those tools themselves, but the ontological criterion they support.
Primitive Ontology for META Physics This paper establishes the primitive ontological vocabulary of META Physics (M.E.T.A.: Multi-dimensional Emergence Theory of Actuality). The central claim is that the most primitive categorial pair is substance (that which is) and property (the essential determinacy of a substance). From this pair, five additional layers — relation, mechanism, state, observable, and report — yield a seven-layer architecture that prevents category confusion between ORIGIN-level structure and FACT-level report. Mass is classified as a manifested value, fermions as structured states of primitive substances (with bearers), and bosons as non-substance (without bearers). The paper engages with Bell's beables/observables distinction, the primitive ontology programme (Allori, Maudlin, Esfeld), Aristotle's substance/accident framework, and Quine's ontological criterion. This is a standalone ontological companion to the META Physics preprint series [PP-00] through [PP-09], all of which are available on Zenodo with individual DOIs. Key concepts: Primitive pair (substance + property), seven-layer architecture, non-collapse principle, substance vs non-substance distinction, FACT/ORIGIN separation. 22 pages. 16 references. Zero free parameters throughout the META Physics programme.
From Distinction to Quantum Structure Compiling Physical Geometry from the Change Axiom Chain Driven by Dean Kulik July 2026 Abstract We present a foundational axiom chain that compiles physical geometry from a single primitive: distinction exists. Beginning with C0 (distinction) and C1 (every distinction admits lawful continuation), we derive — without importing spatial geometry, coordinates, time, or quantum mechanics as primitives — the necessity of a linear state space, a complex inner product, Hilbert completion, self-adjoint observables, and the structure of a probability measure on observable subspaces. We further derive the unique free-field Lagrangian consistent with the axiom constraints, the gauge principle as a structural consequence of independent classification, and the quantization bridge connecting the classical field to operator algebras. The central result is the Division Algebra Theorem (candidate): among the three finite-dimensional division algebras admitted by Frobenius’s theorem, only the complex numbers simultaneously satisfy the continuation independence requirement (C1a) and the dual-encoding requirement of C5. The paper maintains a strict five-category epistemic discipline — primitive, definition, compiled theorem, candidate theorem, empirical calibration — throughout, ensuring every claim carries its exact epistemic status. 1. Introduction: The Foundational Inversion Standard physical theory begins with space. Objects occupy locations in a pre-existing spatial manifold; motion is defined relative to that manifold; forces act within it. Newton’s mechanics, Einstein’s general relativity, and the Standard Model of particle physics all share this architecture at the foundational level: a stage is assumed, and the physics plays out on it. The program presented here inverts this order. We propose that space, time, geometry, and quantum structure are not primitives but derived objects — outputs of a more fundamental algebraic structure built from the minimal concept of distinguishable change. The chain begins: rather than: This is not merely a philosophical reordering. It is a concrete research program with specific mathematical obligations at each step: each layer must be derived from the previous layers without importing external structure, and every claim must be categorized by its epistemic status. The framework is falsifiable — if any compiled theorem fails its formal derivation, either the derivation or one of the primitives must be revised. 1.1 Motivation: SHA-256 as Physical Evidence The SHA-256 hash function provides an unexpected but precise illustration of the C1-first claim. SHA-256 is field-balanced in both axes: • Horizontal (input → output): Bit content redistributes across the compression function. The total information content of the input is preserved in the digest — different shape, identical content. The mapping is a redistribution, not a creation. • Vertical (round → round): The carry palindrome property holds: KL divergence between forward and backward carry distributions equals zero. The AHRC (Algebraic Hash Round Consistency) result shows to machine epsilon across all 64 rounds. The geometry is self-balancing at every step. Neither property was engineered into SHA-256. The designers specified diffusion targets; the field obeyed the redistribution constraint underneath and the two-axis conservation emerged. This is the claim of the axiom chain in concrete form: the transition algebra runs without an observer, and we arrive afterward to read what it did. SHA-256 does not choose to balance. It cannot not balance. Law 3 — redistribution conserves total — runs underneath every hash computation invisibly, and we measure it as a mathematical law about SHA-256. The chain argues this is the universal situation: what we call physical law is the transition algebra’s self-accounting, read from inside by instruments that are themselves running the same algebra. 1.2 Program Overview This paper establishes: 1. The primitive constraint set (Section 2) 2. Definitions required for precision (Section 3) 3. Compiled theorems through the free-field Lagrangian (Sections 4–6) 4. The internal symmetry and gauge principle (Section 7) 5. The quantization bridge — six elements of the Quantum Kinematics Theorem (Section 8) 6. The Division Algebra Theorem — the central new argument of this paper (Section 9) 7. Candidate theorems and open problems with proof strategies (Section 10) 8. Full dependency graph (Section 11) 1.3 Epistemic Categories Throughout this paper, every claim is labeled with one of five categories: Label Meaning [P] Primitive — assumed, irreducible [D] Definition — terminology, requires no proof [C] Compiled theorem — formally derived from prior P/D/C entries [T] Candidate theorem — strong evidence, formal proof incomplete [E] Empirical calibration — requires measurement, not deduction This discipline has a structural consequence: if a [C] theorem fails, either the derivation contains an error or one of the primitives must be revised. If a [T] theorem fails, the program survives intact — that conjecture was incorrect, and the framework needs refinement at that node only. If an [E] calibration disagrees with experiment, the structural theory may remain correct while the mapping to physical units requires revision. 2. The Primitive Constraints We assume the following as irreducible primitives. They are not derived from anything else in the framework. Their justification is that each is genuinely minimal — no proper subset generates the others. [P] C0 — Distinction Exists At least two states exist that are not identical. This is the logical precondition for any other constraint. C1 cannot operate on a single undifferentiated object. C0 is the one irreducible prior: something must be distinguishable from something else. Without C0, the entire chain has no content. [P] C1 — Every Distinction Admits Lawful Continuation Every state in the system must admit at least one transition to a successor state. This is the change axiom. No state is a dead end. No distinction terminates. The system cannot freeze, because freezing would require a state with no admissible successor — and that state would constitute a privileged terminal configuration, which is ruled out by C1 itself. Every local rule must be well-defined on every admissible state: this immediately excludes absorbing dead states from the dynamics. [P] C1a — Independence Preservation Independent distinctions remain independently continuable. This is stronger than C1. It says not only that every state continues, but that the continuation of one distinction cannot be blocked or modified by the simultaneous continuation of an independent distinction. Two systems that are independent at time must continue to be independently continuable. This axiom is what forces linearity (see Section 4) and what later eliminates quaternionic algebras (see Section 9). [P] C2 — Continuation Preserves Reachable History Every continuation preserves the set of states reachable from any prior state in the history. Nothing in the past is erased. The execution history — the accumulated record of all prior transitions — remains reachable. This is not a claim about memory in any computational sense; it is a structural requirement that the transition graph not delete nodes from the accessible state space. C2 forces completeness of the state space (Section 4) and the one-directionality of the ordering relation (Section 5). [P] L3 — Redistribution Conserves Total Every lawful continuation redistributes the total content of the field without changing that total. The field never gains content; it never loses content. Every transformation is a redistribution — a shift in the configuration of a fixed total. This is the deepest form of the conservation principle. It does not assume conservation of energy, momentum, or charge; it says something more primitive: the field’s total is an invariant of continuation. Those physical conservation laws are derived from L3 operating in specific geometric contexts. [P] L4 — Redistribution Is Local Redistribution propagates through local adjacency. Content cannot shift from location A to location B without occupying every intermediate location. This is the locality axiom. It follows from C2 applied to intermediate locations: if content jumps from A to B without passing through the intervening field, every intermediate location is denied its C2-guaranteed reachable history. The inheritance constraint — every new location must inherit all primitives — makes this inadmissible. L4 is therefore arguably compilable from C2, but we list it as a primitive for clarity because it plays an independent role throughout the chain. [P] C5 — The Observable Event Primitive An observable event is the minimum continuation that simultaneously propagates (extends through at least one L4 step) and leaves a distinguishable residue. C5 defines the minimum unit of observation. Three constraints are built into it: • Propagation (C1 minimum): the event must extend. A continuation that fails to propagate is not a continuation. • Residue (C0 requirement): the event must leave a mark distinguishable from prior state. Without residue, C0 is not satisfied at the event level — nothing registered. • Simultaneity: propagation and residue are not sequential. They coexist in the same elementary event. This simultaneity requirement is the key structural feature of C5. It will force complex amplitudes (Section 9) and the uncertainty principle (Section 8). 3. Definitions Definitions introduce terminology. They do not require proof; they establish the language
A Kernel-Role Determinacy Theorem for Record Fixation, Fixed-Domain Quotients, and Boundary-Trace Normal Form This paper specializes the AASC kernel to the construction and use of quantum measurement records. Its central question is not initially how outcomes are produced, whether a wavefunction collapses, or which interpretation of quantum theory is correct. It asks what must be fixed for a measurement record to function as the same determinate physical and evidential object across retention, prospective use, deliberation, comparison, and report. For any non-degenerate determinate physical object, state, carrier, transformation, record, comparison, or endpoint, the paper takes the governing kernel to be: NDObj(x) ⇒ K(x) = (Adm, Stand, Ref, Irr). Admissibility, standing, reference, and irreversibility are therefore treated as necessary role conditions of determinate record use, not as an optional interpretive overlay added to an otherwise complete physical description. Measurement-record determinacy The manuscript constructs a fixed-domain measurement-record target in which a record must preserve: reference to the same construction token; standing-bearing evidential eligibility; admissible reuse; original act-time qualification; lawful redescription; retained and prospective record use; deliberative and comparative use; reportability and downstream inheritance. The resulting assignment space is quotiented by equivalence of standing-bearing measurement-record content. A rival quotient claiming exactly the same content collapses to the canonical measurement-record quotient. Representational differences that preserve the complete role content are treated as skin; differences affecting record identity, evidential ordering, admissibility, continuation, or downstream use remain physically relevant. Physically non-selective quantum regimes The paper then studies a physically non-selective quantum regime containing unitary branching, entanglement, decoherence, branch-local records, and stable local reports. The central result is conditional and target-specific: The bare unitary-entangling-decohering package can support multiple stable branch-local records without supplying a unique standing evidential record for the fixed construction-relative target. This is not a claim that branch-local records are unreal, unstable, or physically useless. It is a distinction between: physical occurrence of branch-local record structures; local branch-relative reportability; evidential role fixation for a record reused as the same standing object across the measurement practice. The paper shows that non-selective structures may agree on branch weights, density content, decoherence, correlations, instrument sums, channel closure, effect weights, projector orthogonality, and repeatability without selecting one fine record as the standing evidential record. Fixed-domain quotient and fixation commutation The theorem ladder establishes: fixed-domain assignment-space forcing; exact quotient construction for standing-bearing record content; same-scope equivalence collapse; fixation commutation under admissible transformation; inheritance of the original qualification requirement; persistence-bearing reuse; asymmetry exhaustion; anti-weakening; selector exhaustion. If evidential ordering varies across admissible assignments while the target requires one fixed-domain ordering, the ordering is not defined on that scope merely because numerical values or branch-local reports happen to coincide. The paper therefore treats measurement-record fixation as prior to the theory-level evidential reuse that depends on it. Boundary-trace normal form After internal and provenance/indexical routes have been exhausted, the residual same-domain route is a singleton stable boundary trace. Such a trace is not collapse dynamics, hidden-variable selection, or a new physical mechanism. It is an admissibility-preserving role anchor that can fix a record-bearing assignment only when its channel, incidence, transport law, original authority, and singleton-positive condition are independently warranted. The result distinguishes: sound partial selection from complete role fixation; unique trace value from unique original occupant; class-valued record fixation from raw-token fixation; later discovery of an original qualification from retroactive repair; physical record occurrence from standing evidential identity. Finite quantum specialization The paper occupies the abstract structure with an explicit finite two-branch quantum measurement domain containing: two outcomes; two fine records and one merged record; denominator-two branch weights; a balanced integer-amplitude state; density-table realization; selective and non-selective instrument maps; environment-record maps; projective branch maps; complementary effects; zero-product projectors; repeatability operations. On the declared balanced witness, amplitude weights, density weights, branch-map traces, effect weights, pointer records, instrument records, environment records, and channel records agree on the same branch architecture. Selective surfaces preserve the fine-record distinction. Non-selective surfaces agree only on the merged record. The fine records therefore remain separated, while the declared non-selective surfaces supply no singleton fine-record selector. The finite selector-boundary theorem eliminates the disjunction of candidate hidden selectors across the state, instrument, environment, channel, effect, and repeatability surfaces. The resulting diagnosis is precise: the missing structure is admissible fine-record role fixation, not further branch production, weighting, decoherence, stabilization, or repeatability. Scope and non-claims The manuscript establishes a finite, conditional, manuscript-facing theorem. It does not claim: to derive Hilbert-space quantum mechanics; to derive general POVM theory; to derive full projection-valued-measure theory; to reconstruct the full operator algebra; to provide a general Kraus representation theorem; to reconstruct complete positivity; to derive the continuum Born rule; to derive universal physical decoherence theory; to introduce a new collapse dynamics; to prove that no physical collapse process occurs in nature; to prove physical branch selection; to establish interpretive truth; to classify every possible physical measurement mechanism. The absence of a hidden selector on the declared finite non-selective surfaces is therefore not a theorem that no physical collapse or selection process can occur elsewhere. It is the finite theorem that those declared surfaces do not themselves supply the required fine-record selector. Relation to quantum interpretations The result does not deny the practical success of quantum theory, decoherence, branch-relative reporting, instrumental updates, or decision-theoretic methods. A practice aimed only at prediction, branch-local reporting, or instrumental updating may be a different target from the construction-relative record use studied here. If a theory claims to underwrite retained, prospective, deliberative, and evidential reuse of the same record-bearing construction token, it must preserve the relevant kernel roles and admit a standing-bearing fixation regime. Bare Everettian dynamics, without additional dynamics, ontological privileging, or admissible restriction to one constructional class, supplies no fine-record selector on the declared target. A strategy that preserves non-selective physics while restricting admissible record-fixation assignments belongs to a restriction-to-one-constructional-class route. Instrumentalist and QBist strategies instead reduce or redirect the target explanatory burden. Role in the AASC programme This paper provides the record-fixation layer of the AASC Quantum Determinacy Pair. Its companion Bell-scope work addresses the compatibility and no-signaling side of quantum witness determinacy. Together, the pair treats quantum records and witnesses as kernel-governed standing structures rather than as automatically determinate physical occurrences. The paper’s principal contribution is to identify the first failure point in a physically non-selective measurement regime: The initial problem is not necessarily the production of branch-local outcomes. It is the admissible fixation of the record role through which outcomes are retained, reported, remembered, compared, and used as evidence. The public Lean 4 formalization is synchronized with the finite measurement-boundary release v0.9.1 and provides the finite artifact for the declared effect, projector, compatibility, closed-stack, boundary-certificate, and audit layers. Keywords AASC; measurement problem; quantum measurement; measurement-record fixation; physically non-selective regimes; Everettian non-selection; record-role determinacy; fixed-domain quotient; standing equivalence; boundary-trace fixation; selector exhaustion; decoherence; branch-local records; admissibility and irreversibility; Lean 4 formalization
This volume develops a foundational perspective in which difference is treated as the minimal descriptive and generative principle underlying physical theory. Rather than postulating spacetime, particles, or dynamical laws as primitives, the collected works show how physical structure and quantum mechanics emerge naturally from relational difference itself. Difference is not introduced as a physical quantity, but as the irreducible condition that makes distinction, structure, and description possible. The volume consists of three papers that progressively build this perspective: beginning with the formulation of difference as a primitive descriptive element, advancing to the emergence of quantum mechanics from difference, and culminating in a unified foundational view of physics grounded in relational structure. These works form the conceptual groundwork underlying the FSPS framework, focusing on intuition, logical necessity, and structural coherence rather than axiomatic formalism or modification of existing physical laws. No new equations or empirical assumptions are introduced. The aim is to clarify why the mathematical and conceptual structures already used in physics take the form they do, by tracing them back to difference as a first principle.
Realized Physics Arc — Paper VII Particles as Localized Persistence ClassesThe Minimal Object Role of Particle Identity under Field-Carrier Mediation By Amos Jay Maley This manuscript is the seventh paper in the Realized Physics Arc, deriving the minimal persistence-class role underlying particle identity from the previously established framework of realized persistence, standing-localization, continuation-neighborhood domains, quotient comparison carriers, bounded perturbation transport, and field-carrier mediation. The paper proves that particle identity cannot be grounded by: primitive objecthood, point occupancy, trajectory labels, field labels, hidden cores, measurement records, or bookkeeping names alone. A particle instead emerges as a stable localized persistence class of carrier-mediated configurations preserved under admissible continuation. The central result is the Particle Persistence-Class Theorem: (ΦD, BoundTransD, CD, LCDD)∧StableLocD∧IdRetD⇒∃ΠD(\Phi_D,\; \mathrm{BoundTrans}_D,\; C_D,\; \mathrm{LCD}_D) \wedge \mathrm{StableLoc}_D \wedge \mathrm{IdRet}_D \Rightarrow \exists \Pi_D(ΦD,BoundTransD,CD,LCDD)∧StableLocD∧IdRetD⇒∃ΠD equivalently, ParticleRoleD≡ΠD=[κU]≡Π\mathrm{ParticleRole}_D \equiv \Pi_D = [\kappa_U]_{\equiv \Pi}ParticleRoleD≡ΠD=[κU]≡Π where particle-role equivalence preserves: standing signature, boundary/classification witness, transport/restoration profile, quotient comparison class, identity-memory, boundary trace, and transport role. The manuscript develops: localized carrier configurations, standing signatures, boundary/classification witnesses, transport/restoration profiles, particle-role equivalence, stable localization, and persistence-class identity. A central structural claim of the paper is that particle identity first enters physics not as primitive substance or point occupancy, but as the stable equivalence class of localized carrier-mediated persistence under admissible transport, restoration, and comparison. The induced localized carrier configuration is: κU=(U, ΦD(U), σU, χU, βU)\kappa_U = (U,\; \Phi_D(U),\; \sigma_U,\; \chi_U,\; \beta_U)κU=(U,ΦD(U),σU,χU,βU) where: UUU is a local continuation domain, ΦD(U)\Phi_D(U)ΦD(U) is the carrier profile, σU\sigma_UσU is the standing signature, χU\chi_UχU is the boundary/classification witness, and βU\beta_UβU is the transport/restoration profile. The manuscript proves that: primitive object identity fails, point occupancy collapses, trajectory labels are only skin, field labels are insufficient, hidden cores violate admissibility discipline, and record-only identity is downstream rather than foundational. The analysis further establishes: stable localization requirements, persistence-class equivalence structure, transport-stable identity preservation, localized multiplicity conditions, and interaction-sensitive class preservation. A major consequence of the paper is that later particle formalisms — including: Standard Model particle species, gauge representations, quantum states, Fock-space excitations, scattering descriptions, and detector records — are interpreted as later formal enrichments of a more primitive persistence-class role already forced by field-carrier mediation and bounded perturbation transport. The manuscript remains fully compatible with: quantum field theory, Standard Model classification, gauge theory, algebraic quantum field theory, nonclassical entanglement structure, and quantum particle descriptions, while explicitly rejecting reduction of particle identity to Bell-local hidden variables, primitive corpuscles, or path-only ontology. As the seventh theorem in the Realized Physics Arc, the paper establishes the earliest admissible particle-facing structure from which later reconstructions of gauge classification, quantum statistics, scattering theory, particle species, and detector phenomenology can proceed: particles first enter realized physics as stable localized persistence classes within the field-carrier regime rather than as primitive objects or labels. This paper is downstream of: Minimal Conditions for Admissible Construction The Structure of Admissibility