This theoretical and computational preprint integrates standard QND measurement and posterior-martingale results with finite-confidence decisions and physically retained observer records. Under a declared quantum instrument and its standard outcome probabilities, the posterior is a bounded martingale on an increasing observation filtration. A precise sufficient identification condition yields asymptotic terminal weights; a binary Gaussian benchmark gives exact mean stopping times, finite-threshold latch probabilities, and a controlled population-transfer bias bound. Version 2.3 is the first public release. It distinguishes accumulated observations from lossy current memory; assumed Born/instrument probabilities from derived consistency results; expected entropy from pathwise ambiguity; continuous confidence endpoints from discrete overshoot and unresolved runs; and Kramers first escape from endpoint readout error. It also clarifies the conditional D18/D19 persistence-selector interface and the separate D1092 finite-resource ledger, with direct attribution to established QND convergence and filtering literature. The companion archive includes the editable manuscript, PDF, equation sources, a fixed validation protocol, executable independent checks, numerical results, a revision ledger, and unchanged historical inputs. Historical simulation summaries are explicitly distinguished from new executions; some older executable sources were unavailable. The new audit includes exact finite-kernel and stopped-posterior checks, Gaussian likelihood-mixture calculations, five neutral and four population-transfer boundary-value cases, and retention/accounting controls. All examples are analytic or synthetic. No laboratory measurements, independent Born-rule derivation, measurement-problem solution, universal physical selector, or new empirical anchor are claimed.
This theoretical and computational preprint integrates standard QND measurement and posterior-martingale results with finite-confidence decisions and physically retained observer records. Under a declared quantum instrument and its standard outcome probabilities, the posterior is a bounded martingale on an increasing observation filtration. A precise sufficient identification condition yields asymptotic terminal weights; a binary Gaussian benchmark gives exact mean stopping times, finite-threshold latch probabilities, and a controlled population-transfer bias bound. Version 2.3 is the first public release. It distinguishes accumulated observations from lossy current memory; assumed Born/instrument probabilities from derived consistency results; expected entropy from pathwise ambiguity; continuous confidence endpoints from discrete overshoot and unresolved runs; and Kramers first escape from endpoint readout error. It also clarifies the conditional D18/D19 persistence-selector interface and the separate D1092 finite-resource ledger, with direct attribution to established QND convergence and filtering literature. The companion archive includes the editable manuscript, PDF, equation sources, a fixed validation protocol, executable independent checks, numerical results, a revision ledger, and unchanged historical inputs. Historical simulation summaries are explicitly distinguished from new executions; some older executable sources were unavailable. The new audit includes exact finite-kernel and stopped-posterior checks, Gaussian likelihood-mixture calculations, five neutral and four population-transfer boundary-value cases, and retention/accounting controls. All examples are analytic or synthetic. No laboratory measurements, independent Born-rule derivation, measurement-problem solution, universal physical selector, or new empirical anchor are claimed.
Physical Sources, Finite Detectors, Persistent Records, and Actual Events This paper develops a unified account of quantum measurement under the Admissibility and Standing Constraint (AASC) framework, connecting constructed physical sources, quantum instruments, material amplification, finite record retention, event probabilities, and the actuality of measurement outcomes. The paper distinguishes three separate objects: a complete quantum instrument containing all outcome operations, including unresolved and failed outcomes; a material record carried by a physical system whose acquisition and retention can be analyzed; an actual history describing which occurrences belong to one original experimental run. A complete instrument and a persistent material record can be constructed without assuming that linear quantum dynamics alone selects one globally definite original-run history. Conversely, the admission of an actual event does not by itself determine its probability law or conditional quantum state. The physical construction contains two complementary measurement targets: a regulated interacting gauge–Higgs–fermion source with its full source Hamiltonian retained during finite receiver pulses; an explicitly parameterized six-mode cosine circuit with source and pump interfaces, losses, distinguishable outputs, a two-polarization intrinsic-spin receiver, and a finite energy-resolving thermal amplifier. The material-registration chain includes source-code loading, driven conversion, output registration, pump-displacement removal, transfer to an intrinsic material spin, finite Gibbs-collision amplification, endpoint reading, and quiet record retention. Electronic display labels, material flags, missed counts, dark displays, blanks, and unreadable outcomes remain distinct and are retained in the joint error ledger. The paper establishes: informative bounded receivers on an interacting quantum source; finite-pulse calibration with the complete source Hamiltonian retained; a complete monitored detector model; finite preparation and amplification bounds; coherent composition of instruments and records; adaptive record composition; local-instrument compatibility; calibrated affine probability uniqueness; sharp coherent calibration limits; sequential probability laws and compatible conditional states; explicit actual-history requirements. A finite Fourier residual certificate bounds the complete monitored detector instrument over its full 35.587ms interval by 0.063241 in restricted diamond norm. Exact interval arithmetic gives seeded amplifier endpoint fidelity greater than 0.9999235242 after 1,024 finite collisions, together with an explicit conditional survival bound for a subsequent 100ms quiet hold. The probability analysis shows that positivity, density-operator dependence, affinity under classical mixtures, and calibration fix the trace probability rule for the declared readout. Approximate sector calibration alone permits coherent deviations of order the square root of the calibration error; stronger linear bounds require additional structure. The paper’s central measurement-theoretic conclusion is deliberately separated from its successful detector construction. A complete instrument admits an exclusive-history completion, but linear quantum dynamics alone does not select one such history. Source-specific preparation, reader analysis, and a bounded counting-law completion supply the additional physical input required to select an actual history. The resulting framework substantially develops the material and probabilistic parts of quantum measurement while isolating apparatus errors, actual-history law, and event-selection assumptions as explicit obligations. The work does not claim to solve every interpretation of the measurement problem, derive a universal collapse law, establish unrestricted detector accuracy, or identify a finite calibration certificate with an experimental calibration. Principal contributions A unified source-to-detector account of quantum measurement. Constructed interacting quantum sources with finite receivers. Six-mode cosine-circuit detector realization. Material registration and finite amplification chain. Two-polarization intrinsic-spin receiver. Finite thermal collision and endpoint-reading model. Full-duration restricted diamond-norm detector bound. Interval-certified amplifier fidelity. Conditional quiet-hold survival bound. Retention of blanks, wrong, unreadable, and missed outcomes. Calibrated affine probability uniqueness. Sequential instruments and compatible conditional states. Explicit separation of complete instruments, material records, and actual histories. Source-specific conditions for actual-event selection. Complete physical error and assumption ledger.
We construct a source-matched reference calibration for distinguishing the coherent law h = 0 from the specified added generator h = J/25 in a finite quantum-record model. A complete-carrier transfer bound connects an accessible reference contrast to a delayed target contrast while retaining the original drift and actual law. On reference coverage and measured admission, restricting both hypotheses by the same observed reference band yields a directed target-set separation of at least 0.0071230619 whenever both compatible classes are nonempty. Rival worlds may have different admitted nuisance parameters. The constants are uniform over independently known finite lengths m >= 65, with tag 65, access prefix 1:32 and target deadline 25.02/J. Finite reference preparation and work/source reset satisfy the declared response budgets. Reset acts on the actual joint input and consumed supply, with the retained reference R exactly inert. It does not assign a universal reduced channel to correlated supplies. Under almost-sure conditional resource and supply bounds, the comparison extends to history-dependent acquisition. A prespecified rule, including abstention below the calibration threshold, has each-law unconditional wrong-declaration probability at most 2 exp(-6) + exp(-85/16) < 0.01. This is neither a posterior probability nor an error bound conditional on admission. The statistical step uses standard bounded-martingale concentration. Global target states and specified auxiliary supplies remain resources. Reset requires additional globally conditioned controls and has very large finite costs. The result is a conditional theorem for the two declared laws; it does not establish practical implementation or a unique diagnosis of fundamental collapse. A supporting Lean 4 companion contains 85 theorem declarations and 30 supporting definitions across Calibration, Operations and Risk. It provides checked scalar, sufficient-bound, resource-arithmetic and finite-history risk consequences under explicit premises. The companion has an executed Linux preflight and accepted returned macOS compilation, named-type and transitive-axiom evidence. The quantum constructions and conditional moment, filtration, tower and tail derivations remain written proofs or external premises; this is not an end-to-end formalization of the physical theorem chain. The original checked companion targeted author v0.4 and is carried forward unchanged, with its scope and execution chronology preserved.
A physical identification requires a domain of experiments, a realization, and an observation that distinguishes competing mechanisms. We construct these for the δ framework. Within finite causal quantum experiments, computable Choi data are equivalent to finite arithmetic programs producing valid instrument approximations at every requested accuracy. A separate pointer reader preserves the quantum posterior and supports adaptive composition. For the native two-atom census, the actual join update and common-mode retention select golden scaling and a signed contraction. Coherent return selects its minimal conserving completion; an independently calibrated spectral band then selects its constant interaction. A bright-mode construction and a stable short-time calibration procedure supply an explicit realization and uncertainty budget; measured duration and frequency supply the dimensional units. We derive a general endpoint identity between stored record energy and comparison imbalance, and distinguish the monotone fresh-record trajectory from coherent recurrence. The logical-to-physical bridge also has a sharp boundary: an explicit instance of the proposed completion generator has no effective value-reflecting physical reader or numerical comparison receipt. Sequence completion requires precisely the corresponding halting-oracle resource, not an unexplained scalar cost. This obstructs operational completion while leaving purely proof-language transport distinct. Native implementations of identical logical strength nevertheless carry different physical receipts. Joint covariance and the exact endpoint law state the valid relationship between those quantities. Finally, calibrated return and three-outcome tests distinguish the relevant phase and recording alternatives, with quantitative error bounds. First public preprint release, version 1.0. The files include the PDF and the main TeX file. AI-use disclosure: AI assistance was used for source analysis, mathematical exploration, manuscript drafting and revision, diagram preparation, and computational verification support. GPT-6 Astra reviews assessed arguments, scope, readability, and schematics. These were internal model reviews, not external peer review. Jonathan Washburn is the sole listed author and is responsible for the released manuscript.
The Bare Binary Biconditional selected 1/2 as the unique exchange-invariant law on a bare binary alternative and connected independent repetitions of that law to half-frequency and Lebesgue measure. This paper develops the separate dynamic question that originally motivated the biconditional and the present research series: in what precise sense can an accumulating observation record approach a definite binary outcome? A self-contained classical result is given first. Let Θ ∈ {0,1} have the symmetric prior, let observations be conditionally independent with strictly positive and distinguishable likelihoods, and let 𝑞𝑛 = 𝑃(Θ = 1 ∣ 𝑌1,…,𝑌𝑛). Then (𝑞𝑛) is a bounded martingale beginning at 1/2, and identifiability, not martingale convergence alone, gives 𝑞𝑛 → 1{Θ=1} almost surely. Its two endpoints therefore have equal probability. A binary-probe specialization places the observation record itself in {0,1}ℕ; a Gaussian model is retained as a continuous-observation comparison. Repeated independent runs, rather than the dependent observations within one run, produce the fair binary endpoint record connected to [1]. Bauer and Bernard’s repeated quantum non-demolition measurement theorem supplies a bounded quantum counterpart: pointer weights are martingales; under their nondegeneracy condition they converge to pointer-state endpoints; the endpoint probabilities are the initial pointer weights; and relative entropy governs the asymptotic decay of losing weights. Their theorem does not choose 1/2. This paper imports that starting value only under the explicit bare symmetric premise of [1]. Reproducible classical simulations illustrate finite-depth posterior behavior and information-rate scaling without simulating quantum dynamics or treating finite posteriors as completed limits. The remaining claim that observation gives physical significance to this convergence structure is stated separately as the author’s quantum convergence conjecture. Note clarifying this paper’s conclusion: “Particle-like” refers here to a definite observation outcome. In the repeated-QND setting analyzed, the quantum wave-function measurement model mathematically predicts convergence to a definite, particle-like observation outcome. The phrase “not evidence that the object has ceased to be a wave” means only that a particle-like observation is consistent with how the quantum wave function predicts the system should behave upon measurement. This clarification does not deny wave-function collapse or address wave or particle behavior outside the observation process discussed.
We develop the observer function as a context-dependent process connecting continuous preparations to distinguishable records. The central mathematical result remains conditional: separated asymptotically stable outcomes produce a discrete basin quotient on the regular domain, while finite registration requires additional preparation and settling conditions. We extend that foundation with an integrated switched receiver whose preparation probabilities, fidelity, sufficient registration time, and disturbance margin follow from one specified law. A thermal version derives the outcome kernel and finite-horizon retention probabilities from an overdamped diffusion. Acceptance sensitivity and a declared predictive test expose the dependence on readout resolution and preparation. This integrated error budget belongs to one maintained-source receiver class; it does not validate a universal observer law. The detailed state space remains continuous. Scope. We establish conditional mathematical mechanisms and one physically interpretable receiver class. The binary source target is declared in advance. The calculations do not constitute experimental validation, a derivation of fundamental quantization, a quantum measurement theory, or a universal law of consciousness. Candidate definitions complete structures left open in the source manuscripts. Standard mathematical results and methods are organized into explicit proofs and reproducible model calculations; they are not claimed as new mathematical discoveries. The contribution is a conditional construction and its quantitative limits within that declared model. Universal physical scope and a fundamental-continuum ontology remain research hypotheses. In simple terms, the paper asks: How can a continuous system produce clear, discrete records (like “this” versus “that”) without the underlying state itself becoming discrete? It treats observation as a process that starts with a continuous preparation (a starting condition that can vary smoothly) and ends with a distinguishable record. The main mathematical claim is conditional and limited: - If a dynamical system has a few well-separated, asymptotically stable outcomes (think of two valleys a ball can roll into and stay in), then the continuous state space can be divided into open basins that lead to those different outcomes. The *labels* of those basins form a discrete structure (a discrete quotient), even though every individual trajectory stays continuous and the full state never jumps. - Getting a usable record in finite time, and knowing how reliable it is, requires extra conditions: the preparation has to be good enough, the system has to settle fast enough, and you need margins against disturbances. Attraction alone is not enough. The paper then builds one concrete example of this a “switched receiver.” Imagine a simple overdamped device (like a particle in a double-well potential) that is temporarily coupled to a source (the thing being observed), then disconnected so it can settle. From a single specified law the paper derives: the probabilities that a random preparation ends up correct, wrong, or still unresolved by a deadline, a sufficient time and disturbance margin that guarantees correct registration for every allowed preparation (in the deterministic, bounded-forcing case), and, when thermal noise is added, an outcome probability kernel plus retention probabilities over finite horizons. It shows where weaker claims fail. For example, two states that both get the same accepted label can still respond very differently to a later probe, so the label alone is not always a sufficient description. A wider acceptance window improves the numbers, but only because you relaxed the criterion, not because the dynamics improved. And there are simple counterexamples where a discrete label persists without the system settling to an attracting equilibrium. It does not derive fundamental quantization, a general quantum measurement theory, a universal observer law, or anything about consciousness. The detailed state remains continuous. The results hold inside one declared model class (a maintained-source cubic receiver). Extending them to freely evolving sources, higher dimensions, or other physical systems requires new derivations. Universality stays a research hypothesis. In short: the paper supplies a precise, limited mathematical mechanism by which continuous dynamics can generate discrete records under stated conditions, works out the numbers for one realistic receiver class (including noise and retention), and carefully lists what remains open. It is a conditional construction with quantitative limits, not a universal derivation. Explainer video Watch on YouTube (Roots of Reality): https://youtu.be/HJ9AYugKj_0 The video, its thumbnail and description are included in this record.
STATUS (18 October 2026). The physics programme that motivated this work was concluded in October 2026 and its claim of a unified derivation withdrawn. The results in this paper do not depend on that programme and stand as stated. Can an exact account of recorded events also determine what happens next? We examine this question in a finite quantum model with 48 preparations and an apparatus with ten distinguishable outcomes. Two reversible evolution rules reproduce exactly the same first-use specification but predict different results when the apparatus is used again. A separate example fixes one evolution rule: two possible histories then have identical counts of reads, commits and service events, yet different probabilities for the next outcome. Counts alone are therefore insufficient for prediction in this model. What remains visible depends on the observation. At eight preparations, even the complete individual-read distributions agree between the two rules, while correlations between the reads distinguish them. We classify two explicitly specified families of observations and determine exact ranges for the simpler family, showing both how distinctions are lost and how they can survive. The results separate event accounting, the choice of evolution, retained memory and the conversion of records into measured responses. They are conditional finite-model results, not a derivation of a physical dynamics or a measured coupling. The contribution is a set of exact counterexamples and classifications, rather than new principles of quantum theory. Exact computations and explicit proofs identify the additional response, weighting and sampling choices that a predictive physical interpretation must supply. Version 0.2 incorporates corrections following an author-requested preprint review. The deposit supplies the PDF, editable LaTeX with three TikZ figures, bibliography, exact fixture data for 96 two-read processes over 48 preparations, and a portable Python/SymPy verifier. The revised verifier passes 2,926 exact assertions. These are conditional finite-model results; no physical law, bridge, weighting or sampling measure is selected. The unchanged historical audit sources are available in a separately linked companion archive. Frozen audit sources and INT99 result dossier: https://doi.org/10.5281/zenodo.22541080.