Realized Physics Arc — Paper II Standing Localization and the Origin of Physical LocalityA Bounded-Locus Theorem for Standing-Bearing Persistence By Amos Jay Maley This manuscript is the second paper in the Realized Physics Arc, deriving the structural origin of locality from the non-vacuous realized-persistence floor established in Paper I. The paper proves that realized standing-bearing persistence cannot remain global, diffuse, trace-only, hidden, or unbounded once standing-relevant perturbation and lawful restoration are admitted. Persisting consequence under disturbance requires a bounded continuation-sensitive locus through which perturbation burden, restoration, identity-memory, retained standing, and failure are jointly evaluated. The central theorem is the Standing Localization Theorem: RealPersD∧RestConD ⇒ [BD]≡Bound≠∅\mathrm{RealPers}_D \wedge \mathrm{RestCon}_D \;\Rightarrow\; [B_D]_{\equiv \mathrm{Bound}} \neq \varnothingRealPersD∧RestConD⇒[BD]≡Bound=∅ establishing that realized persistence with restorative continuation constraints induces a nonempty bounded standing-localization equivalence class. The paper develops locality at the role level before the introduction of: metric distance, topology, spacetime regions, field support, particle occupancy, causal structure, or propagation laws. Instead, locality first appears as: bounded standing-localization, perturbation-burden assignment, restoration locality, identity-memory preservation, quotient-stable persistence, and bounded restorative continuation structure. The manuscript proves that: global standing, diffuse standing, trace-only continuation, hidden localization reservoirs, default representatives, external selectors, and identity-reset restoration cannot preserve realized same-domain persistence under perturbation and lawful restoration. The analysis develops: standing-relevant perturbation, restoration capacity, restorative continuation constraints, bounded identity loci, standing-localization equivalence, boundary-trace fixation, and localization normal form. A central structural conclusion of the paper is that locality enters physics before geometry. Metric and topological locality are treated as later formal specializations of a more primitive role requirement: standing-bearing persistence under perturbation cannot be evaluated without bounded continuation-sensitive localization. The paper remains explicitly compatible with: algebraic locality, operational locality, quantum entanglement, Bell-type nonlocal correlations, generalized probabilistic reconstructions, and non-factorizing tensor structure, while distinguishing bounded standing-localization from local hidden-variable factorization. The manuscript also introduces a finite witness model demonstrating that perturbation, restoration, and fail-closed standing cannot remain well-defined once restoration targets become globally diffuse or reconstruction-indeterminate. As the second theorem in the Realized Physics Arc, the paper establishes the minimal structural role from which later reconstructions of neighborhood structure, metricity, finite propagation, field carriers, particle identity, and spacetime organization can proceed: locality first enters as bounded standing-bearing restoration structure rather than as primitive geometry. This paper is downstream of: Minimal Conditions for Admissible Construction The Structure of Admissibility
Realized Physics Arc — Paper II Standing Localization and the Origin of Physical LocalityA Bounded-Locus Theorem for Standing-Bearing Persistence By Amos Jay Maley This manuscript is the second paper in the Realized Physics Arc, deriving the structural origin of locality from the non-vacuous realized-persistence floor established in Paper I. The paper proves that realized standing-bearing persistence cannot remain global, diffuse, trace-only, hidden, or unbounded once standing-relevant perturbation and lawful restoration are admitted. Persisting consequence under disturbance requires a bounded continuation-sensitive locus through which perturbation burden, restoration, identity-memory, retained standing, and failure are jointly evaluated. The central theorem is the Standing Localization Theorem: RealPersD∧RestConD ⇒ [BD]≡Bound≠∅\mathrm{RealPers}_D \wedge \mathrm{RestCon}D ;\Rightarrow; [B_D]{\equiv \mathrm{Bound}} \neq \varnothingRealPersD∧RestConD⇒[BD]≡Bound=∅ establishing that realized persistence with restorative continuation constraints induces a nonempty bounded standing-localization equivalence class. The paper develops locality at the role level before the introduction of: metric distance, topology, spacetime regions, field support, particle occupancy, causal structure, or propagation laws. Instead, locality first appears as: bounded standing-localization, perturbation-burden assignment, restoration locality, identity-memory preservation, quotient-stable persistence, and bounded restorative continuation structure. The manuscript proves that: global standing, diffuse standing, trace-only continuation, hidden localization reservoirs, default representatives, external selectors, and identity-reset restoration cannot preserve realized same-domain persistence under perturbation and lawful restoration. The analysis develops: standing-relevant perturbation, restoration capacity, restorative continuation constraints, bounded identity loci, standing-localization equivalence, boundary-trace fixation, and localization normal form. A central structural conclusion of the paper is that locality enters physics before geometry. Metric and topological locality are treated as later formal specializations of a more primitive role requirement: standing-bearing persistence under perturbation cannot be evaluated without bounded continuation-sensitive localization. The paper remains explicitly compatible with: algebraic locality, operational locality, quantum entanglement, Bell-type nonlocal correlations, generalized probabilistic reconstructions, and non-factorizing tensor structure, while distinguishing bounded standing-localization from local hidden-variable factorization. The manuscript also introduces a finite witness model demonstrating that perturbation, restoration, and fail-closed standing cannot remain well-defined once restoration targets become globally diffuse or reconstruction-indeterminate. As the second theorem in the Realized Physics Arc, the paper establishes the minimal structural role from which later reconstructions of neighborhood structure, metricity, finite propagation, field carriers, particle identity, and spacetime organization can proceed: locality first enters as bounded standing-bearing restoration structure rather than as primitive geometry. This paper is downstream of: Minimal Conditions for Admissible Construction The Structure of Admissibility
This manuscript develops a mechanism-neutral structural theory of finite recurrent stability for closed descriptions of a universe. A closed system cannot rely on an external clock, observer, memory, origin label, or cycle counter to explain its own persistence. Beginning, ending, recurrence, and cycle number count as internal structure only when they are recoverable through relations admitted within the system itself. Persistent structured identity is defined as recoverable relational distinction rather than exact sameness, retained naming, or externally recognized continuity. The paper separates contraction, correction, carry-through, recurrence, collapse, and emergence as distinct recoverability conditions. Finite recurrent stability is classified by the structural condition S_min ≤ R_stab(Ξ, Γ, B_cond, P_stress, M_carry) ≤ S_max, together with the declared identity, correction, transformation, boundary, containment, comparison, recurrence, and carry-through conditions. The expression is classificatory, not a physical observable, evolution equation, or dynamical law. Collapse and emergence are treated as distinct exits from the same finite-stability architecture. Collapse requires lower-bound recoverability failure together with failure of the admitted correction and carry-through conditions. Emergence requires upper-bound containment failure together with loss of the prior containment relation and satisfaction of a declared boundary-readability condition. Neither threshold inequality alone establishes a physical collapse, physical emergence, or cosmological event. The paper develops a structural-horizon taxonomy covering collapse, emergence, external access, and cycle distinction. These horizons classify transitions in recoverability, containment, accessibility, readability, or recurrence-index distinction. They are not assumed to be physical surfaces, metric boundaries, event horizons, or cosmological objects. Recurrence need not imply exact repetition. Boundary-equivalent recurrence may preserve a declared boundary relation, π(Ξ(τ_max)) = π(Ξ(τ_0)), while the complete internal states remain unequal. This permits recurrent governing structure without requiring identical histories. Cycle-index indistinguishability arises when no admitted internal relation recovers an absolute cycle index. Beginning-index nonrecoverability arises when no admitted internal relation recovers firstness. Neither result proves that no beginning, ending, absolute ordering, or distinct history exists. The manuscript also defines weak oscillatory form as bounded recurrent correction, declared relational recurrence, and carry-through of recoverable structure without presupposing physical waves, frequency, propagation, energy transport, or temporal periodicity. It concludes with a realization-burden architecture separating structural classification from carrier selection, interface preservation, mechanism specification, mechanism operation, physical realization, theory-specific realization, and empirical validation. The paper therefore does not propose a physical stability operator or cosmological mechanism. It identifies the structural conditions and additional burdens that any later realization theory must satisfy. Version 2 revision note Version 2 is a substantial reconstruction rather than a minor editorial update. The derivational route was rebuilt and rechecked in full, with revised definitions, dependency ordering, governing conditions, failure conditions, and claim-scope boundaries. The manuscript was then rewritten throughout in new prose to reflect the reconstructed argument. Major changes include the formalization of finite recurrent stability through the revised RstabR_{\mathrm{stab}}Rstab framework; sharper separation of contraction, correction, carry-through, collapse, and emergence; a revised structural-horizon taxonomy; clearer treatment of boundary-equivalent recurrence, cycle-index indistinguishability, and beginning-index nonrecoverability; a more precise definition of weak oscillatory form; and an expanded realization-burden architecture separating structural classification from mechanisms, physical realization, theory-specific interpretation, and empirical validation. The revision also adds stronger nonpromotion controls, appendix-based claim and condition ledgers, and clearer limits on what the structural results do and do not establish. The central research program remains mechanism-neutral, but the argument, notation, scope discipline, and presentation have all been substantially revised.
A Kernel-Role Determinacy Theorem for Bell-Witness Fixation, No-Signaling, and Tensor-Level Compatibility This manuscript develops a fixed-domain AASC analysis of Bell-nonlocal quantum entanglement as a theorem of reusable witness determinacy. It does not introduce hidden variables, modify quantum mechanics, derive Hilbert-space formalism from below, or propose a new signaling mechanism. Instead, it asks a prior structural question: once a Bell-type operational family is used as the same non-degenerate witness across settings, lawful transformations, retained records, comparison, and later classification, what admissible same-domain standing form is forced? The governing claim is that AASC is not an optional interpretive overlay on physics. Once an operational Bell family is asserted as a determinate reusable witness, admissibility, standing, reference, and irreversibility are already active as minimal necessity conditions of same-witness objecthood. Target instantiation therefore carries governance occupancy: an alleged determinate Bell witness with no admissible governance realization is not an empty alternative, but a refusal or retyping of the target. The manuscript defines finite operational Bell objects with explicit setting carriers, outcome families, channel/interface data, standing-token valuations, continuation and report/reuse structure, comparison profiles, and act-time status. It then defines object-indexed query sorts, dependent response families, exactly recoverable operational simulations, lawful Bell groupoids, six governance-effect functors, and target-active extensional governance equivalence. The result is a typed interface in which arbitrary native formalisms can be compared by their target-bearing governance effects rather than by their internal syntax. The central Bell-specific theorem states that every same-target candidate-admissible Bell-governance construction is forced component by component into the certified boundary-compatible standing form on the complete target-active practice. Candidate admissibility does not assume the canonical form at the outset. Instead, target occupancy, lawful transport, standing-flow exclusion, compatibility certification, coordinate-deviation exhaustion, and componentwise closure force exact target-bearing realization and governance equivalence to the canonical representative CP∗C^{*}_{P}CP∗. The target-induced governance quotient therefore has exactly one element. The Bell carrier is treated as a compatible empirical model on a finite measurement cover. Bell-local completion is identified with the existence of a global section, and Bell nonlocality is the obstruction to such a section. The manuscript separates operational marginal invariance, absence of controllable communication, and exclusion of same-domain standing transport. No-signaling is therefore preserved without retyping Bell nonlocality as superluminal communication, metric transport, distant repair, or hidden standing transfer. The finite-dimensional quantum specialization uses the standard bipartite tensor-product and local-POVM carrier. Every separable realization in that carrier is Bell-local; therefore, if the fixed Bell-nonlocal empirical model has such a finite-dimensional quantum realization, every realizing state in that carrier is entangled. Post-quantum Bell-nonlocal no-signaling models remain within the general witness theorem but outside the quantum-entanglement corollary. The accompanying Lean 4 development, release v0.8.0, directly verifies the finite Bell-side witness carrier: denominator-32 vector/Born weights, structural no-signaling, CHSH numerator 808080, all sixteen deterministic local extrema, finite denominator-32 Bell-local-envelope exclusion, and conditional endpoint routing. Its direct witness certificate is vectorBorn_flagship_spine, and its deepest released endpoint is reasonableDeepestFiniteEntanglement_spine. The manuscript-level typed governance interface, empirical lawful groupoid, compatibility equivalence, coordinate-deviation exhaustion, completed role collapse, candidate-to-canonical derivation, and finite-dimensional quantum specialization are not attributed to the released Lean layer. This paper is the Bell-witness member of the paired AASC quantum determinacy arc. The record-side manuscript, Admissible Record Construction in Physically Non-Selective Quantum Regimes, fixes when local physical record occurrences stand as the same evidential record objects. The present manuscript fixes when the Bell operational family sampled by such records stands as the same reusable witness. The paired endpoint is therefore: record-role fixation+Bell-witness compatibility.\text{record-role fixation} + \text{Bell-witness compatibility}.record-role fixation+Bell-witness compatibility. The manuscript is classificatory and eliminative rather than mechanistic. It does not claim that AASC generates the Bell probabilities or supplies a hidden physical influence. Its claim is that reusable Bell-witness determinacy strongly constrains how Bell-nonlocal correlations may be coherently classified on a fixed domain: not as independently complete local states later connected by a mechanism, not as Bell-local hidden-variable value assignments, not as superluminal signaling, and not as same-act repair, but as boundary-level compatibility carried by one standing-preserving Bell witness.
This paper is Part II of The Pre-Emergence Origin of Probability trilogy. Part I develops the structural requirements for finite recurrent stability before spacetime. Part II asks when persistent boundary-readable structure can support numerical probability. Part III examines what probability-status remains after boundary loss, before numerical weighting, and under what narrower conditions Born-form weighting may follow. The paper analyzes how probability-measure status may arise within a closed deterministic description rather than being assumed as a primitive numerical rule. A closed description cannot appeal to an external observer, hidden weighting convention, retained label, post-outcome selection, or independently supplied probability measure to explain its own probability assignments. Numerical probability must instead be supported by structures and relations admitted within the described system. The analysis begins with the requirements for persistent structured identity. Persistent identity is treated as recoverable cross-state relational distinction rather than exact sameness, repeated naming, scalar aggregation, or externally preserved memory. Within the tested structural registry, persistent refinable identity requires ordered dependence, a sufficient stabilization architecture, distributed relational structure, recurrence, bounded recoverability, and noncollapse of the distinctions being preserved. Bounded recurrent relational correction is classified as weak oscillatory form in a deliberately structural sense. The classification does not establish a physical wave, sinusoidal motion, exact periodicity, frequency, propagation, dynamics, mechanism operation, or physical carrier. It identifies a recurrent recoverability architecture that a later realization would have to preserve. The paper then develops the transition from persistent structure to boundary observability. Representation-sensitive bulk descriptions may depend on phase origin, refinement history, decomposition, internal labels, subpart identity, or other distinctions that do not survive admissible boundary readout. Under admissible-observable indistinguishability, boundary-readable observables factor through an emergence-boundary quotient that preserves only the distinctions carried by the admitted observable family and surviving the declared transport relation. The boundary quotient does not itself provide probability. It supplies a local architecture of boundary-readable alternatives and permits the admission of candidate nonnegative contribution scalars. Neither the alternative carrier nor a candidate scalar establishes scalar uniqueness, scalar closure, additivity, measure realization, normalization, or probability interpretation. Numerical probability-measure status becomes available only under a narrower cumulative condition package. The package requires an exact finite carrier, a finite positive event measure, a normalized scalar component on the same carrier, exact scalar-measure compatibility, one-scalar factorization of every admitted weight-bearing map, exclusion of independent weight-bearing invariants, pre-outcome assignment, absence of an external weighting source, and a declared scalar-only predictive regime. Additivity, commensurability, regularity, positive scale, finite nonzero total, and normalization remain separately controlled conditions within that route. Under those conditions, normalized scalar weights may receive conditional probability-measure status inside the declared local regime. This is not an unconditional derivation of probability from determinism. The result does not establish unrestricted probability, universal scalar representation, a global probability law, objective chance, stochastic dynamics, collapse, measurement theory, physical realization, or a final physical theory. Within the trilogy, Part II therefore supplies the middle structural layer: persistent recurrent structuretoboundary-readable alternativestocandidate scalar contenttoconditional numerical probability-measure status. Part III begins from a different question. It examines what remains when a boundary-readable description loses the ability to guarantee which admissible alternative obtains, before any numerical scalarization is supplied. Part II provides the scalar, measure, normalization, compatibility, and realization-burden architecture inherited by that later analysis, but it does not pre-establish the boundary-loss results of Part III. ### Revision note This revision is a substantial reconstruction and trilogy integration rather than a minor editorial update. The derivational architecture, definitions, condition packages, failure boundaries, dependency order, and claim-scope controls have been revised throughout. The manuscript has also been rewritten in new prose to present the argument as Part II of The Pre-Emergence Origin of Probability trilogy. Major changes include a clearer separation of persistent identity, ordered dependence, stabilization, distributed relational recurrence, weak oscillatory form, boundary observability, candidate scalar status, scalar closure, measure realization, normalization, and conditional probability-measure status. The emergence-boundary quotient and transport-survival architecture have been clarified, and the numerical-probability result has been narrowed to an expressly declared scalar-only predictive regime satisfying the complete carrier, measure, compatibility, factorization, pre-outcome, and independent-invariant exclusion conditions. The revision also strengthens the distinction between candidate weights, normalized weights, conditional measures, and probability interpretation. It adds more precise failure localization, preserves the distinction between conditioned failure and universal impossibility, and expands the realization-burden architecture separating mechanism satisfaction, physical scalar selection, boundary enforcement, branch generation, refinement implementation, physical realization, theory-specific realization, empirical validation, and final physical-theory status. The paper is now explicitly positioned between Part I, which establishes the structural requirements for finite recurrent stability before spacetime, and Part III, which develops boundary-unresolved and pre-numerical probability-status after recoverability loss. The central research program remains mechanism-neutral. No physical mechanism, collapse process, specific realization theory, unrestricted probability law, or empirical validation is claimed.
Modern physics provides empirically complete and highly successful descriptions of local dynamics. General relativity specifies the causal evolution of spacetime geometry, and quantum mechanics specifies the unitary evolution of states. Despite this success, both frameworks leave implicit a foundational question: when a dynamically admissible configuration can be regarded as physically realized as part of a coherent world. This work introduces a minimal, non-dynamical realization criterion that formally closes this gap. Physical realization is defined as a global, temporally organized admissibility condition constrained by relativistic causality. The criterion does not modify any local equations of motion, introduce new forces, fields, particles, or degrees of freedom, nor alter the mathematical structure of existing theories. Instead, it identifies realization as an organizational condition required for dynamical solutions to become physically instantiated. A minimal causal bound T = L / c is shown to follow directly from relativistic causal structure, implying a finite organizational time for global coherence across a spatial extent L. The associated inverse scale Ω = c / L is clarified as a structural constant rather than a dynamical frequency: it has no oscillatory interpretation, carries no energy, and does not represent a physical process. Its role is purely limiting—it marks the minimal global temporal orientation required for realization to persist. Within this framework, classical gravitational optics, delayed global geometric organization, and quantum outcome realization arise as direct consequences of the same realization criterion. The contribution of this work is exclusively structural: it makes explicit a condition already implicit in successful physical theories and provides a formal closure without extending or revising their dynamics. This paper concludes a broader research program on temporal realization, gravitational organization, and global coherence by isolating realization as a necessary condition for physics to describe a world at all.
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
The Origin of Probability: A Complete Derivation in Three Parts is the collected edition of a three-part theoretical investigation into the structural origin of probability within a deterministic closed-description framework. The work asks a deliberately narrow but foundational question: under what conditions can a system whose underlying description remains deterministic acquire a lawful probability-bearing description without inserting primitive randomness, probabilistic axioms, or the Born rule at the beginning of the construction? The trilogy develops that question cumulatively. Each part establishes a distinct layer of the argument, and later results depend on structures and limitations established earlier. The collected edition therefore preserves the full dependency order rather than treating the three papers as independent essays. It also includes a narrative overview and terminology guide intended to make the architecture of the complete derivation easier to follow. Part I, Finite Recurrent Stability Before Spacetime: Collapse, Emergence, Horizons, and Recurrence as Recoverability Boundaries, develops the realization-neutral structural foundation. It begins from persistent relational distinction and recoverability rather than assuming spacetime, metric distance, clock time, energy, probability, or quantum measurement. Within a declared finite-stability regime it distinguishes contraction, correction, carry-through, collapse, emergence, recurrence, cycle structure, and horizon-like boundaries by their effects on recoverable relational structure. Collapse and emergence appear as distinct lower- and upper-bound failures of one finite recurrent-stability architecture. Weak oscillatory form is subsequently obtained only at structural scope, without promoting recurrence into a physical wave, temporal oscillation, or cosmological mechanism. Part II, Stability, Boundary Observability, and Emergent Probability in Deterministic Systems, develops the transition from deterministic structural dynamics to probability-bearing description. Its central problem is not whether deterministic evolution can simply be renamed probabilistic, but whether loss of recoverability at an admissible boundary can support a lawful reduced description of unresolved alternatives. The paper therefore separates Boundary Loss from probability itself and distinguishes quotient formation, reduced observability, scalar closure, finite measure, normalization, and predictive interpretation as separate derivational burdens. A normalized set of branch weights is not treated as probability merely because it sums to one. Probability status is admitted only after the additional structural and interpretive conditions required for predictive use have been isolated. Part III, Boundary Loss and the Born Rule: The Origin of Probability, carries the construction into a bounded physical realization framework. Boundary Loss supplies unresolved alternatives but does not itself supply numerical probability. The derivation therefore proceeds through source-grounded scalar residues, finite positive total measure, normalization, local predictive admission, and independent source-state and event bridges into Hilbert-space representation. A minimum compatibility condition is then isolated, explicitly adopted at the appropriate stage, and applied separately. At the resulting local source-linked scope, the construction reaches the exact Born form p_i = ⟨J(Ψ), P_i J(Ψ)⟩ = ||P_i J(Ψ)||². The significance of the trilogy lies as much in the separation of these stages as in the terminal equation. Boundary Loss is not equated with probability. Scalarization is not assumed to be probability. Normalization is not treated as sufficient for probability. Hilbert-space representation is not allowed to retroactively supply the earlier structural derivation. Compatibility required for the final Born-form application is distinguished from structures already derived. The dependency chain is therefore designed so that later mathematical convenience cannot be silently imported backward as an earlier premise. Across the three parts, the argument develops the following bounded sequence: ordered dependence → recoverable distinction → finite recurrent stability → collapse/emergence boundary structure → boundary observability → Boundary Loss → unresolved alternatives → scalar closure → finite measure → normalization → predictive probability → Hilbert-space source and event bridges → minimum compatibility → exact local source-linked Born form. The collected edition is intended to function as the canonical integrated research record for this derivation. It contains the trilogy overview followed by Part I Version 4, Part II Version 3, and Part III Version 2. Internal bookmarks and navigation link the overview directly to the title page of each constituent work, while the individual papers remain separately citable publications with their own persistent identifiers. Constituent works: Part I: Finite Recurrent Stability Before Spacetime: Collapse, Emergence, Horizons, and Recurrence as Recoverability BoundariesDOI: 10.5281/zenodo.19966230 Part II: Stability, Boundary Observability, and Emergent Probability in Deterministic SystemsDOI: 10.5281/zenodo.19966289 Part III: Boundary Loss and the Born Rule: The Origin of ProbabilityDOI: 10.5281/zenodo.20102172 Taken as a whole, the trilogy proposes a disciplined route from recoverability and deterministic boundary structure to probability and, at its final declared scope, to the Born form. Its central methodological requirement is that every transition be earned at the layer where it is used, with unresolved burdens, adopted conditions, nonclaims, and realization boundaries kept explicit rather than compressed into the final result.