Quantum records may be well encoded upstream yet fail to support downstream inference when routing, decoder resources, memory, or comparison channels are restricted. We analyze finite routed quantum-record networks using task-specific Bayes risk. Three exact results provide the constructive core. First, a single Bell-coded pair supplied as the same complete input to GLOBAL and finite-round LOCC-late decoders yields the risk gap qμ/2, where q is pair-delivery probability and μ retained coherence; memory policy determines whether this access is preserved. Second, fixing local binary experiments with error rates 0.20 and 0.30, we determine the entire compatible joint-risk interval [0.15, 0.20] and an attaining decoder with minimax risk 0.20 that does not know the coupling. Third, a binary sufficient-statistic delivery law is attained by a three-record majority compression with nonzero raw risk, yielding a tight physical reconstruction defect. A generated-outcome model gives an exact receiver-availability boundary, while four reduced-description witnesses and continuity bounds delineate when source, state/resource, local-coupling, or clock/memory information is insufficient. The results distinguish record formation, receiver use, memory retention, and task-adequate comparison within standard finite quantum processes. Author manuscript, preprint version 1.0. This manuscript is not a peer-reviewed journal publication. A separate technical Supplement provides complete model definitions, proofs, channel specifications and numerical details. Reproducibility materials are available separately as Software release 1.3 on OSF: https://doi.org/10.17605/OSF.IO/5TDRB. The preprint and reproducibility record are separate, linked scholarly outputs.
Quantum records may be well encoded upstream yet fail to support downstream inference when routing, decoder resources, memory, or comparison channels are restricted. We analyze finite routed quantum-record networks using task-specific Bayes risk. Three exact results provide the constructive core. First, a single Bell-coded pair supplied as the same complete input to GLOBAL and finite-round LOCC-late decoders yields the risk gap qμ/2, where q is pair-delivery probability and μ retained coherence; memory policy determines whether this access is preserved. Second, fixing local binary experiments with error rates 0.20 and 0.30, we determine the entire compatible joint-risk interval [0.15, 0.20] and an attaining decoder with minimax risk 0.20 that does not know the coupling. Third, a binary sufficient-statistic delivery law is attained by a three-record majority compression with nonzero raw risk, yielding a tight physical reconstruction defect. A generated-outcome model gives an exact receiver-availability boundary, while four reduced-description witnesses and continuity bounds delineate when source, state/resource, local-coupling, or clock/memory information is insufficient. The results distinguish record formation, receiver use, memory retention, and task-adequate comparison within standard finite quantum processes. Author manuscript, preprint version 1.0. This manuscript is not a peer-reviewed journal publication. A separate technical Supplement provides complete model definitions, proofs, channel specifications and numerical details. Reproducibility materials are available separately as Software release 1.3 on OSF: https://doi.org/10.17605/OSF.IO/5TDRB. The preprint and reproducibility record are separate, linked scholarly outputs.
How much internal quantum memory is needed to reproduce a stationary stochastic process, and how does reducing that memory change the environmental resources required when output records are retained? This paper establishes exact quantum-source constructions and resource bounds under explicitly specified readout and retained-output conditions. A general completion theorem identifies the minimum Hilbert-space dimension for stationary triple data in the orthogonal-current-symbol source class: it equals the sum of the complex positive-semidefinite ranks of the middle-symbol slices. An attaining construction reproduces the entire canonical stationary order-two process. For the delayed trine process, the minimum classical hidden Markov model requires nine states at every non-independent parameter value. Quantum instruments reproduce the same complete output law using four-dimensional memory throughout the parameter range, with four dimensions proved necessary in a certified low-noise regime and three dimensions both sufficient and necessary on an explicit high-noise interval. The paper then separates reusable memory dimension from environmental dilation cost. On the certified high-noise interval, the exact one-step Pareto frontier consists of a three-dimensional source with recorded-channel Choi rank nine and a four-dimensional source with rank three. Here, Choi rank measures the minimum initially pure environmental remainder dimension for the channel retaining both the emitted classical symbol and final quantum memory. A separate mixed-support qutrit construction at noise parameter 0.99 improves complete-history costs and gives upper bounds close to universal lower bounds. These results show why optimizing a single step need not optimize a retained multi-step history. The analysis also distinguishes complete channels, fixed-input states and archive-only outputs, and demonstrates how access to a retained reference can distinguish generators with identical passive output statistics. Full-word proofs, algebraic complete-positivity certificates, a technical companion and reproducibility materials accompany the results. The exact intermediate memory boundary and complete-history optimum remain open. All results use standard quantum probabilities and apply to the stated operational resource models; they do not establish total hardware, energy or thermodynamic minima.
A durable quantum record, the location of its coherence, and a uniquely actual outcome are different physical questions. We study their separation in a supplied finite-dimensional quantum theory. An explicit, time-independent apparatus couples a system–detector encoding to a controller, a distinct archive, and a finite returning source. A conditional energy penalty suppresses release of the original record without deleting its return coupling. An invariant reduction and a one-sided spectral-gap estimate yield a certified interval with archive occupation above 0.98438, controller-latched occupation above 0.99161, and filled-but-unlatched weight below 2.402 × 10^-7 in one stated design. The same record statistics admit different source-label overlaps and hence different coherence on a specified retained boundary. A conserved product of complementary exchanges accesses that coherence when the finite source is included. Given a calibrated multiregister reader, its finite-duration response separates the coherent apparatus from an independently added archive-gated reduction law, with the added process left active during readout. A conservative example retains a response gap above 0.01717 after separately stipulated one-percent error allowances. The contribution is the finite construction and its quantitative retention, access, and readout interfaces. Quantum carriers, Hamiltonian couplings, trace readout, source preparation, and the reader are supplied; local reader synthesis, empirical calibration, absolute rate selection, and unique-event actualization are not established. Paper code: CFQR-P1 (Complementarity-First Quantum Records — Paper 1). The associated bundle contains the technical supplement, editable LaTeX, numerical checking programs and rational certificates, and selected Lean sources with returned build and axiom-audit evidence. The 39 supporting declarations are partially formalized; eleven recorded type excerpts contain printing elisions. This is not end-to-end formalization, external human peer review, an experimental detection of fundamental collapse, or a derivation of unique-event actualization. Author-owned manuscripts, documentation and mathematical data are CC BY 4.0; author-owned software is MIT, subject to the bundle’s licence map and third-party notices.
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.
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.
Recoverability of quantum coherence is formulated as a family of success-constrained operational frontiers indexed by a state, channel, or multi-time process, a task, an interface, and an exact- or minimum-success convention. The framework separates state ceilings from experimentally reachable performance and distinguishes restrictions due to control, time, uncertainty, environmental records, memory, and inaccessible channel structure. The manuscript develops a typed simulation preorder on complete response families, a compiler-relative closure order, and a directed response deficiency on success-tagged behaviors. It gives exact static trace-norm ceilings, success-frontier geometry, explicit memory and record benchmarks, primal-dual finite-experiment separation programs, and reference-assisted channel-lineage witnesses. “Shadow activation” denotes the interface-relative exposure of a pre-existing process distinction under an enriched tester interface; it is not proposed as a new microscopic law. Version 1.0 follows a claim-by-claim bibliography and content audit. It is a separate work, conceptually derived in part from the earlier Italian criterion DOI 10.5281/zenodo.21333992, but it is neither a translation nor a new version of that record. This is a theoretical preprint and has not been peer reviewed.