Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Tap-Channel Exclusion Without a Global Falsifier: The F_A Handover Instance of the Execution Program

Tomoyuki Uchida

Published Jul 4, 2026• 0 citations
Publisher

Abstract

After an experiment runs, exactly two decisions could still be made by a person: does this outcome exclude the theory's declared region, or did an auxiliary — source, tap, detector, calibration — fail, voiding the run instead; and who is licensed to say so. Any protocol that leaves either decision open after data exist has left a seat for a post-hoc refutation authority — the Global Falsifier, the imagined adjudicator who owns the modus tollens. Paper 44 of this sequence closed its photonic tapped-switch probe F_A at pre-registration-grade design ("the IV gate itself remains future laboratory work"); Paper 48 froze the shared adjudication layer as a handover template, typing everything design-specific as named pre-data slots behind a failable acceptance gate. What stands between that design and a laboratory's first shot is a single object: a completed, gate-passing handover instance. This paper — the forty-ninth in the sequence, centre panel of its Execution Program (Papers 48-50) — builds that object, the reference instance H_A, at the executable level the template promised. Delivered: the delta specification from the cited apparatus class (the Goswami-type photonic quantum switch) to 44's tapped configuration, component by component against the frozen budget rows; the schema completion with field-level primitives for every field, extensions add-only and partition-admissible; the frozen analysis pipeline in algorithmic normal form — IV gate, measured-calibration transfer, estimators, and the leaf router implementing 48's tap rows verbatim, under a language-independent rounding convention so floating-point artifacts cannot flip a frozen boundary direction — with the reference implementation shipped as a hash-anchored code appendix (deposited companion file) behind a declared production-scoring boundary; the concrete exclusion rule list with its veto-impact report and a frozen post-exclusion N rule disposing shortfall, surplus, and stopping at once; the S1-S4 blinding runbook; and the mock-data challenge, executed in three parts — a deterministic core exhaustive over every router branch and both tie directions, an adversarial set generated through a recorded, deposited exchange by a party in the auditor role that did not implement the scoring code, and a public-beacon-seeded bulk for totality and determinism. All three parts pass; the routing tables are generated by executing the shipped implementation and are typed non-evidence in the sentence that reports them. The acceptance gate is then run condition by condition on the deposited pair. One finding is published along the way: 48's coverage condition, read literally, would force every per-design instance to claim all seven leaves; the pre-committed completion evaluates coverage over the design's assigned leaf subset plus the shared non-execution leaf — an annotation to 48, never a retro-edit. The verdict is InstanceStatus_A = reference-complete, with an empty instance gap register: every gate condition passes, and what remains is ownership — acceptance transfers when a laboratory signs, auditor-reproducibly, over the instance plus its re-gated extensions; reference-complete never shortens to accepted, and an immutable core guarantees that no admissible extension can change what a null excludes, who may say so, or how boundary cases route. Displayed at the close is the channel's frozen exclusion content — the carve a future null already names, [1.7e-1, 2.1] at the conservative corner — beside the pre-priced Duhem escape map. Nothing is carved, scored, or measured; no band or feasibility verdict moves; the data paper 49-D stays reserved behind its unlock conditions. What retires is the interpretive seat: refutation content as a public, frozen, executable object — falsifiability without a Falsifier.

DOI
10.5281/zenodo.21185949

Related papers

Recorded-Unrecorded Differentials Without a Global Comparator: The F_B-and-F_C Handover Instance and Capstone of the Execution Program

Tomoyuki Uchida

When two arms of an experiment differ in exactly one respect — here, whether a monitoring record is retained or discarded before retention — three decisions remain after the data arrive: were the arms genuinely comparable, or did an ordinary asymmetry confound the pair; does the measured contrast track the recorded arm in the declared sense; and who may say what the outcome means. Mill's method of difference leaves its central clause — "all other circumstances remaining the same" — to judgment; whoever holds that judgment after data exist is a Global Comparator, the matched-pair authority, and the last post-data seat standing in this sequence's Execution Program (the Experimenter retired at Paper 44, the Statistician at 48, the Falsifier at 49). This paper — the fiftieth in the sequence, capstone of the Execution Program (Papers 48-50) — retires it by construction: it builds the reference handover instance H_D for Paper 44's recorded-unrecorded differential on the circuit-QED co-location envelope, at the executable level, and runs Paper 48's acceptance gate on the deposited pair. Delivered: the delta specification from Paper 42's benchmark environment to 44's design (the monitored-register-as-order-control upgrade, the two-regime protocol, the retention-step toggle, the dummy-write hardware); the schema completion to field-level primitives; the certification pipeline as executable functions — Paper 44's two lambda-blind pre-execution campaigns as the S1 gate whose failure is a typed pre-tree disposition (44's "no bound" pre-commitments, never a leaf), and the in-situ audits conjoined into the certificate whose ~40-order comparator-blindness margin is frozen content, cited and never recomputed; the scoring pipeline completing the one slot 48 assigned to this paper — a Ramsey delay-sweep readout-to-rate map over a declared, exactly-enforced grid with symmetric SPAM normalization, frozen edge cases, no clipping anywhere, a frozen per-arm post-exclusion N rule, the signed contrast, and the leaf router implementing 48's differential rows verbatim, including the anti-tracking route (subtyped for diagnosis, never split for authority); the concrete exclusion rule list with its veto-impact template; the S1-S4 runbook; and the mock-data challenge, executed in three parts — a deterministic core exhaustive over all four dispositions, every frozen edge case, and the production/harness boundary itself; an auditor-generated adversarial set produced through a recorded, hash-deposited exchange by a party that did not implement the scoring code, whose first execution caught a genuine pre-freeze defect, corrected before hash fixation and reported; and a public-beacon-seeded bulk. All three parts pass against hand-derivable or rule-derived expectations; the routing tables are generated by executing the shipped implementation and are typed non-evidence in the sentence that reports them. The gate passes condition by condition under the coverage completion inherited from Paper 49; the verdict is InstanceStatus_D = reference-complete with an empty instance gap register, and the Execution Program closes whole: one template, two instances, every leaf of 44's execution map covered by exactly one instance plus the shared non-execution leaf. Displayed at the close is the channel's frozen comparison content: a certified null already fires the carve and the collapse verdict, together, never separately; a certified tracking contrast already licenses distinctness earned and the first FrameworkForcedShift candidacy — declarable only in the data holder's own successor paper, the single reserved cell that is the Comparator's substantive retirement; everything else is the confounded row. Nothing is measured, carved, or scored; no band or feasibility verdict moves; the data papers stay reserved behind mechanical unlocks; reference-complete never shortens to accepted, and an immutable core guarantees no admissible adoption-time extension can change the margin, the sign convention, the anti-tracking route, or a single claim cell. Comparability has audits, tracking has a router, meaning has a table — nothing is left for an authority to judge.

•Jul 4, 2026•0 citations

Execution Records Without a Global Statistician: The Protocol and Handover Layer of the Gate-VII Execution Package

Tomoyuki Uchida

Paper 44 of this sequence closed its U3 construction program at readiness: two budgeted experimental designs — a photonic tapped-switch probe and a circuit-QED recorded-versus-unrecorded differential — and an execution map, a pre-registered decision tree assigning every future measured outcome its pre-committed consequence, with scoring left "by whoever holds the data." Paper 47 then closed the theory-side debt ledger, leaving the executed-measurement route as the corpus's only live route to a framework-forced world-side shift. What 44 did not freeze is the layer between data-in-hand and leaf-adjudicated: shot schemas, exclusion policy, blinding order, stopping rule, claim authority. That unfrozen layer is where a post-data analysis authority could still sit — the researcher degrees of freedom and forking paths of the methodological literature, answered in precision physics by blind analysis and pre-registration. This paper — the forty-eighth in the sequence, opening panel of its Execution Program (Papers 48-50) — freezes exactly that layer, before any laboratory exists, as the template of a handover package executable and adjudicable by strangers: every analysis decision the package will ever need is either frozen here or typed as a named pre-data slot behind a failable acceptance gate, so that once a design-specific instance is accepted, no one — including the author, who operates no laboratory and has made that fact load-bearing — retains a seat from which a future outcome could be re-interpreted. Four document-level layers are delivered. Record layer: field-level shot schemas for both designs, with every field and every raw source typed into an audit or scoring partition; an add-only extension rule; ledger, provenance, and dataset-role conventions; and an exclusion grammar under which every excluded run is a first-class recorded event and every exclusion predicate is outcome-unread by construction. Statistics layer: the estimators, the null-carving formula, a leaf-decision normal form (frozen statistics, thresholds, tie rules per leaf), and the stopping rule, inherited verbatim from Papers 43/44 with the arithmetic re-checked; and a four-stage blinding architecture ending in a scoring stage at which everything is readable and nothing is choosable. Authority layer: a claim-authority table over the map's seven leaves and four post-data speaking roles — the data holder scores; the series designer holds no scoring cell; the decisive leaf is licensed only to the data holder's own successor paper — plus the handover normal form H with a seven-condition acceptance gate, a data-existence certificate with a public deposit obligation, a mock-data challenge typed as non-evidence, and pre-committed unlock conditions for the reserved data papers 49-D/50-D. Verdict layer: a six-check closure audit (leaf coverage; arithmetic consistency; partition admissibility; blinding soundness; exclusion soundness; authority totality), each check mechanical against the delivered artifacts, with the pre-committed either-way verdict ProtocolStatus in {closed, gapped} scoring template closure — an executable package exists per design only as an accepted H-instance. The audit is run and every check passes: closed at the template layer, quarantine register empty. Papers 49 (tap-channel exclusion protocol) and 50 (recorded-unrecorded differential protocol) are unlocked to instantiate H per design; only the unlock-conditioned data papers 49-D/50-D will ever score a datum. The retired authority is the Global Statistician — post-data analytic discretion personified: its authority reading is retired by construction (no analysis decision has a post-data seat left to occupy, the per-design property conferred by each accepted H-instance), its innocence reading by the imported methodological record, and its substantive face — one uniquely correct inference framework — is declined, not refuted. Nothing world-side moves: no datum is scored, no band or floor shifts, the feasibility verdicts stay 44's, U3Status is restated not re-scored; if no laboratory ever executes, the program rests where 44 left it — undecided, with an implementable and now administrable discriminant — a complete record, not a failure.

•Jul 4, 2026•0 citations

A Gate-VII Tabletop Signature Without a Global Experimenter: The Design-and-Feasibility Panel That Hands the U3 Question to the Laboratory

Tomoyuki Uchida

This paper is the forty-fourth in a sequence developing an interpretive framework that redescribes physical reality as a causally consistent history of information updates rather than as a collection of independently existing objects. It is the closing panel of the twelfth grouping — the U3 construction program — and its genre was fixed by Paper 43's closure before its first sentence: a design-and-feasibility paper for new configurations, barred from re-interpreting existing proposals, executing no measurement, scoring no datum, and moving no band. Paper 43's verdict (iii-c) — a surviving, laboratory-reachable-in-part window with reachable sub-window [1.7e-1, 2.1] at the conservative probe corner — unlocked this panel as a conditional discriminant-and-design unlock, not a claim that the generic-CQ collapse branch was avoided. What this paper supplies is the readiness layer: everything short of the measurement itself, arranged so that whichever outcome the world someday returns is already a typed verdict. Three feasibility verdicts are computed, each by a criterion declared before the computation, each with a named failure branch carrying a pre-committed publishable consequence. F_A — the photonic probe (flagship): Paper 43's symmetric dual-rail tapped-switch circuit is completed to pre-registration grade — a six-row confound budget with every row closing at its declared floor, an executable lambda-blind instrument-validity protocol at a declared tap ramp, the statistics/systematics split displayed (statistics never bind; every binding floor is a systematic), and a pre-committed outcome map on which a null carves a named region of the band while an excess is held un-interpreted pending the differential. F_A closes as a pre-registration-grade design — explicitly not an execution pass: every systematic either closes algebraically or carries an executable pass/fail gate whose failure branch is pre-committed, and the instrument-validity gate remains future laboratory work. F_B — the circuit-QED co-location envelope: the Paper 42 benchmark environment with one structural upgrade no existing device is claimed to instantiate — the monitored register is the order-control register — scored against five host-envelope criteria under a two-regime protocol (a validity regime that certifies the controlled-order resource, and a monitored regime in which the measured destruction rate of that resource is itself the observable). F_B is established as a design at declared floors, explicitly not a device claim, and the environment carries the named status-audit instruments (sector-exhibition, Clausius-defect protocol, co-location gravimetry option), specified and never executed. F_C — the recorded-versus-unrecorded differential at execution readiness: the declared toggle is the retention-step toggle — the entire analog chain runs identically in both arms; only persistent retention of the during-window monitoring stream differs, with both arms' rates estimated from identically-retained end-of-sequence readout, and the unrecorded arm's zero-export status fixed a priori at architecture level (transient buffer dwell time far below the retention floor, no persistent branch, effective redundancy below threshold — audited before the arm is admitted, with audit failure failing the verdict rather than mislabeling the arm). The comparator-blindness certificate is computed in the comparator class's own normal form to pass with about forty orders of magnitude of margin: the sole physical difference between arms — branch-correlated persistent-memory writes at meters — induces ~1e-36 per second of comparator contrast against an audit floor of ~1e4 per second, robust to twenty orders of transcription generosity. Ordinary write systematics are closed by an equalized dummy-write/dummy-load protocol, and the declared rate-matching floor closes from its own five-row decomposed budget; at that floor the discriminable sub-band covers the entire reachable window even at the conservative certified fraction. F_C is implementable. The realized corner of the pre-declared verdict architecture is (P_exec, D_disc) = (yes, yes): a band-motion-capable probe design exists, and the distinctness discriminant exists. The lasting artifact is the execution map: the single pre-registered decision tree from every feasibility verdict and every possible future measured outcome to its Paper-43 pre-committed consequence — null: carve; certified contrast tracking the recorded arm: distinctness earned and the first FrameworkForcedShift candidate; certificate failure in situ: confounded row, nothing carved, collapse at the audit frontier. The title's "Gate-VII signature" is typed exactly and nowhere exceeded: it names the designed observable pair whose executed measurement could first move the force axes of U3Status off pending — the paper claims no crossing, no measurement, no confirmation, no probability. The retired authority is the Global Experimenter: the assumption that empirical adjudication of an adopted dynamics requires a privileged, external certifying authority. Its methodological face is retired with the levels typed — world-level results come only from executed measurement, program-level results from pre-committed design, and nothing further is needed; its substantive face is declined, not refuted. The retirement is enforced by the subject matter itself: the probe's heralded detection records are certified export events — the very quantity that sources the predicted excess — so any apparatus that measures the kernel is made of what the kernel rates, and no experimenter stands outside the physics even in principle. U3Status is restated, not re-scored; Gate VII is claimed by nobody; the twelfth grouping ends with every branch disposed and the program handed to the laboratory.

•Jul 3, 2026•0 citations

APF Paper 14 — Quantum Mechanics from Beginning to End

Ethan Brooke

This paper tells the quantum-mechanical account of Admissibility Physics in one place, from the first declared fact to the last committed record. From a single finite-capacity axiom (A1) plus one declared occupancy fact, the story runs through the Δ calculus that prices jointness (Δ = ε(J − R), derived, with two fences: Δ is not an information functional, and Δ > 0 is not a quantum criterion); the separable / irreducibly-joint fork, decided by an exact Boole-polytope feasibility test; the Boolean-defender bridge that forces noncommutativity where the global Boolean section fails; the gate pipeline that earns complex Hilbert space and the finite Born trace rule as endpoint theorems rather than postulates; the correlation ladder from product states to Tsirelson, with a native family ceiling 2√2·102/103 carried at honest reading grade with a live falsifier; resolution as a class transition, with the free/spend/permanent triad proved as a composition of banked theorems and measurement, decoherence, the Page curve, and the Diósi–Penrose scale as four worked instances of one mechanism; and the arrow of time as the one-way ratchet of the admissibility floor — confinement, the second law, and the quantum as one axis read at graded strengths. Every load-bearing step is anchored to a named, machine-verified check function in the APF theorem bank; the grade of each step is stated where the step is made; and everything the story does not claim is stated in one place. The Technical Supplement (deposited alongside and linked from this record) is self-contained for this paper: every definition, proof, and grade the story rests on, in one document, with a worked end-to-end instance and a reproducibility appendix pinning the theorem bank to a public repository and an archived release. About the series. Admissibility Physics is a structural realist reconstruction program built on a single commitment: any bounded region of the world can hold only finitely many distinctions. A principle of least enforcement cost then selects, among all the ways those distinctions might be arranged, the configurations a finite world can sustain. From this the content of physics is reconstructed rather than postulated: the Standard Model's gauge group and matter content, the Hilbert-space and Born-rule architecture of quantum mechanics, the geometry and field equations of general relativity, the four laws of thermodynamics, and the large-scale budget of cosmology emerge as different readings of one finite-capacity ledger. The unification is quantitative as well as conceptual: the framework's dimensionless constants appear not as free parameters but as counts read off that ledger — among them the dark-energy fraction ΩΛ = 42/61 and the weak mixing angle sin2θW = 3/13 — fixed, in the strongest cases, to within current measurement. The core derivation runs Papers 0–11; the extension papers carry the individual sectors. Each paper's main text and Technical Supplement is deposited separately; every quantitative claim traces to a named, executable check in the public theorem bank (over 3,800 bank-registered theorems, 48 quantitative predictions); and each result is carried at an explicit, graded level of confidence — from analytically forced to structurally grounded — with the measurements that would refute it named. Admissibility Physics is offered as a candidate, not a finished theory. If the program holds, the laws of physics could not have been otherwise: they are what a finite world permits. Website: admissibilityphysics.com. Engine and theorem bank: https://github.com/Ethan-Brooke/APF-Engine. Full series and latest deposits: Zenodo community admissibility_physics. The Engine — Admissibility Physics: An Executable Constraint Framework and Constants Map — DOI 10.5281/zenodo.18529115. Paper 0 — What Physics Permits: A Constraint-First Framework for Physics — DOI 10.5281/zenodo.18439523 Paper 1 — The Enforceability of Distinction — DOI 10.5281/zenodo.18439200 Paper 2 — Finite Admissibility and the Failure of Global Description — DOI 10.5281/zenodo.18439274 Paper 3 — Entropy, Time, and Accumulated Cost — DOI 10.5281/zenodo.18439363 Paper 4 — Admissibility Constraints and Structural Saturation — DOI 10.5281/zenodo.18439397 Paper 5 — Quantum Structure from Finite Enforceability — DOI 10.5281/zenodo.18439433 Paper 6 — Dynamics and Geometry as Optimal Admissible Reallocation — DOI 10.5281/zenodo.18439445 Paper 7 — A Minimal Quantum of Action from Finite Admissibility — DOI 10.5281/zenodo.18439513 Paper 8 — The Admissibility-Capacity Ledger — DOI 10.5281/zenodo.19721384 Paper 9 — The Geometric Substrate as Cost Structure of Comparison Continuations — DOI 10.5281/zenodo.20041675 Paper 10 — The Calculus of Finite Continuability — DOI 10.5281/zenodo.20041680 Paper 11 — Forced Universality from Capacity-Bounded Admissibility — DOI 10.5281/zenodo.20684198 Paper 12 — The Gauge Sector of Admissibility Physics — DOI 10.5281/zenodo.21212521 Paper 13 — The Minimal Admissibility Core — DOI 10.5281/zenodo.18361446 Paper 14 — The Quantum Story — DOI 10.5281/zenodo.21212188 Paper 16 — Markov Breakdown and the Hard Problems — DOI 10.5281/zenodo.20684207 Paper 18 — The Electroweak Sector as a Capacity Equilibrium — DOI 10.5281/zenodo.20684209 Paper 19 — Large-Angle CMB Suppression as a Finite-Continuability Constraint — DOI 10.5281/zenodo.21199218 Paper 20 — The Enforcement Crystal — DOI 10.5281/zenodo.18531732 Paper 23 — Magnetically Dark Winding-Class Quantum Processors — DOI 10.5281/zenodo.21199220 Paper 24 — The Recruitment-Radius Extension — Foundations — DOI 10.5281/zenodo.20684211 Paper 25 — The Recruitment-Radius Extension: Applications — DOI 10.5281/zenodo.21199222 Paper 28 — Absolute Mass Scales from Electroweak Capacity Saturation — DOI 10.5281/zenodo.20684215 Paper 29 — Plaquette Representation Dominance and Confinement — DOI 10.5281/zenodo.20684218 Paper 30 — A Tube Mechanism for the Lattice Mass Gap — DOI 10.5281/zenodo.20684220 Paper 31 — Osterwalder–Schrader Structure of Lattice Yang–Mills — DOI 10.5281/zenodo.20684222 Paper 32 — Quark Anchors as APF Trace Masses — DOI 10.5281/zenodo.21199226 Paper 33 — Trace-to-Scheme Export Architecture — DOI 10.5281/zenodo.20684224 Paper 35 — The Dark Sector as a Two-Role Capacity Decomposition — DOI 10.5281/zenodo.20684228 Paper 36 — The Missing Floor — DOI 10.5281/zenodo.21199228 Paper 37 — Collapse as Realignment — DOI 10.5281/zenodo.21199231 Paper 38 — Unification as Ledger — DOI 10.5281/zenodo.21199233 Paper 39 — Coherent Phase Regimes in the APF Interface Engine — DOI 10.5281/zenodo.21199235 Paper 40 — The Thermodynamics of Finite Distinction (Between Symmetry and the Void) — DOI 10.5281/zenodo.20684235 Paper 41 — The Horizon as a Continuation Ledger — DOI 10.5281/zenodo.20684241 Paper 42 — The Weak Mixing Angle Is Not Free — DOI 10.5281/zenodo.20684245 Paper 43 — The Neutrino Sector — DOI 10.5281/zenodo.21194191 Paper 44 — What a Finite Theory Owes the Continuum — DOI 10.5281/zenodo.21195874 Paper 45 — What the Vacuum Can Keep — DOI 10.5281/zenodo.21194195 Paper 46 — The Strong CP Angle Is Not Free — DOI 10.5281/zenodo.21194197 Paper 47 — The Confinement Antecedent Is Not Forced — DOI 10.5281/zenodo.21194199 Paper 48 — The Light-Bending Weight Is Not Free — DOI 10.5281/zenodo.21199627 Technical Supplements cross-link to their main paper via isSupplementTo and to the engine via isDocumentedBy. Concept DOIs above resolve to the latest version.

•Jul 5, 2026•0 citations

Order-Classicalization Without a Global Sequencer: The Kernel's First Prediction and Its Exclusion Audit

Tomoyuki Uchida

This paper is the forty-third in a sequence developing an interpretive framework that redescribes physical reality as a causally consistent history of information updates rather than as a collection of independently existing objects. It is the prediction-and-exclusion panel of the twelfth grouping — the U3 construction program — and it adopts nothing, spends nothing, and tunes nothing: Paper 41 adopted the common record-history kernel P_ker at the claim level L3-A and computed its admissible space; Paper 42 executed the recovery conditions and spent the grouping's single calibration, freezing the normalized kernel — the decoherence coefficient confined to the gate-truncated band Lambda_cal = [5e-5, 2.1] (architecture-level record-chain variant [5e-5, 2.1e-1]), the diffusion coefficient carried as a per-class prediction band, the order coefficient computed from operator overlap, the eligibility thresholds fixed at adoption. Every number in this paper is a consequence of the normalized kernel plus declared audit inputs. The paper computes the program's first genuine prediction bands, both defined as excesses over the full standard model. For any controlled-order process (quantum-switch class) with audited certified-export count N_exp coupling to the order register during coherence, the order coherence obeys -ln(V/V_std) = kappa_W lambda_dec N_exp, with V_std computed first (including the standard which-order record-formation decoherence Paper 34 already identifies) and the overlap coefficient computed exactly for the declared symmetric dual-rail tapped-switch configuration (orthogonal detector modes give kappa_W = 1, and V_std(t) = V_0(1-t) is derived for the actual circuit). The export-correlated geometry-noise band is delivered with its dimensional map and shown to sit roughly sixteen orders below any plausible force-noise floor — suppressed, computed and stated early; the order channel carries the panel. Three verdicts follow, each by a rule fixed before any data were consulted. The exclusion audit (one-dataset-one-role: the Paper 42 calibration dataset is barred) finds every existing class either export-vacuous or — the one export-non-vacuous sibling row, Sears et al. 2012 — bound-non-yielding, because the source states no quantitative residual and the declared transcription discipline forbids manufacturing one: nothing is carved, the surviving set equals the whole band, and this pre-declared fallback outcome is published as such. The empirical-distinctness decision (the generic-CQ collapse branch Paper 41 deferred here), evaluated pointwise over the band against the whole admissible universal-mass-density-CQ comparator class, returns undecided-with-a-specified-discriminant: no performed audit decides it in either direction, and the band's upper sub-band carries a specified, feasible, not-yet-performed differential audit — identical monitored devices with the output chain recorded versus unrecorded at fixed total decay, on which every admissible comparator predicts zero contrast and the kernel does not — with the decision rule for its execution pre-committed (contrast: distinctness earned; null across the discriminable sub-band: that region carved and the collapse verdict fires). The reachability trichotomy: the binding design inequality of any co-designed export channel is lambda_dec times the probe's certified fraction >= 4 deltaV / V_0 (derived for the declared circuit at its optimal tap), and on the supported photonic-switch platform class (Procopio 2015; Rubino 2017; Goswami 2018) the declared floors reach lambda_dec >~ 1.7e-1 at the conservative probe corner (4.7e-2 at the best declared corner): the verdict is (iii-c) — a surviving, partially reachable window — and Paper 44 is unlocked as a design-and-feasibility paper, inheriting the probe specification, the confound budget, and the differential-audit protocol. The retired authority is the Global Sequencer in its dynamical face — the assumption that definite before-and-after must be imposed by a dedicated universal classicalizing agency rather than generated at a computable, testable rate by ordinary record export; its retirement is conditional on P_ker and says so. "Not excluded" is never read as "confirmed"; no gate is crossed; no U3 is claimed — even the surviving window is a window, not a crossing.

•Jul 3, 2026•0 citations

APF Paper 14 — Quantum Mechanics from Beginning to End — Technical Supplement

Ethan Brooke

This is the Technical Supplement — the proof-dense companion and the canonical formal record for the paper's claims. The main paper argues; the supplement proves. Every load-bearing claim traces to a named check function in the APF verification engine, and the supplement is the document a referee should audit first. The supplement is self-contained for Paper 14: every definition, proof, and grade the paper rests on appears in this one document — the substrate primitives and the marginal admissibility floor, proved; the locality and cost-uniqueness lemmas; the Δ calculus with both fences' witnesses written out; the Boolean-defender bridge with its five certified physical hypotheses and the 3-4-5 worked witness computed on the page; the gate pipeline with a gate-by-axiom comparison to the operational-reconstruction literature (Hardy; Chiribella–D'Ariano–Perinotti; Masanes–Müller; Barnum–Wilce; Spekkens; Abramsky–Brandenburger); the native correlation family constructed explicitly, rung by rung; the resolution triad set against standard thermodynamics (Landauer, erasure, environment-assisted recovery); a consolidated readings register listing every claim below [P] with its falsifier and status; a glossary mapping the framework's vocabulary onto standard quantum-information terms; and a worked end-to-end instance — device to interrogation normal form to exact feasibility certificate to priced ledger, with every tolerance explicit. A reproducibility appendix pins every claim to the APF theorem bank at a named GitHub commit and the archived Engine release (DOI 10.5281/zenodo.18529115); the certificates reproduce deterministically in exact rational arithmetic. About the series. Admissibility Physics is a structural realist reconstruction program built on a single commitment: any bounded region of the world can hold only finitely many distinctions. A principle of least enforcement cost then selects, among all the ways those distinctions might be arranged, the configurations a finite world can sustain. From this the content of physics is reconstructed rather than postulated: the Standard Model's gauge group and matter content, the Hilbert-space and Born-rule architecture of quantum mechanics, the geometry and field equations of general relativity, the four laws of thermodynamics, and the large-scale budget of cosmology emerge as different readings of one finite-capacity ledger. The unification is quantitative as well as conceptual: the framework's dimensionless constants appear not as free parameters but as counts read off that ledger — among them the dark-energy fraction ΩΛ = 42/61 and the weak mixing angle sin2θW = 3/13 — fixed, in the strongest cases, to within current measurement. The core derivation runs Papers 0–11; the extension papers carry the individual sectors. Each paper's main text and Technical Supplement is deposited separately; every quantitative claim traces to a named, executable check in the public theorem bank (over 3,800 bank-registered theorems, 48 quantitative predictions); and each result is carried at an explicit, graded level of confidence — from analytically forced to structurally grounded — with the measurements that would refute it named. Admissibility Physics is offered as a candidate, not a finished theory. If the program holds, the laws of physics could not have been otherwise: they are what a finite world permits. Website: admissibilityphysics.com. Engine and theorem bank: https://github.com/Ethan-Brooke/APF-Engine. Full series and latest deposits: Zenodo community admissibility_physics. The Engine — Admissibility Physics: An Executable Constraint Framework and Constants Map — DOI 10.5281/zenodo.18529115. Paper 0 — What Physics Permits: A Constraint-First Framework for Physics — DOI 10.5281/zenodo.18439523 Paper 1 — The Enforceability of Distinction — DOI 10.5281/zenodo.18439200 Paper 2 — Finite Admissibility and the Failure of Global Description — DOI 10.5281/zenodo.18439274 Paper 3 — Entropy, Time, and Accumulated Cost — DOI 10.5281/zenodo.18439363 Paper 4 — Admissibility Constraints and Structural Saturation — DOI 10.5281/zenodo.18439397 Paper 5 — Quantum Structure from Finite Enforceability — DOI 10.5281/zenodo.18439433 Paper 6 — Dynamics and Geometry as Optimal Admissible Reallocation — DOI 10.5281/zenodo.18439445 Paper 7 — A Minimal Quantum of Action from Finite Admissibility — DOI 10.5281/zenodo.18439513 Paper 8 — The Admissibility-Capacity Ledger — DOI 10.5281/zenodo.19721384 Paper 9 — The Geometric Substrate as Cost Structure of Comparison Continuations — DOI 10.5281/zenodo.20041675 Paper 10 — The Calculus of Finite Continuability — DOI 10.5281/zenodo.20041680 Paper 11 — Forced Universality from Capacity-Bounded Admissibility — DOI 10.5281/zenodo.20684198 Paper 12 — The Gauge Sector of Admissibility Physics — DOI 10.5281/zenodo.21212521 Paper 13 — The Minimal Admissibility Core — DOI 10.5281/zenodo.18361446 Paper 14 — The Quantum Story — DOI 10.5281/zenodo.21212188 Paper 16 — Markov Breakdown and the Hard Problems — DOI 10.5281/zenodo.20684207 Paper 18 — The Electroweak Sector as a Capacity Equilibrium — DOI 10.5281/zenodo.20684209 Paper 19 — Large-Angle CMB Suppression as a Finite-Continuability Constraint — DOI 10.5281/zenodo.21199218 Paper 20 — The Enforcement Crystal — DOI 10.5281/zenodo.18531732 Paper 23 — Magnetically Dark Winding-Class Quantum Processors — DOI 10.5281/zenodo.21199220 Paper 24 — The Recruitment-Radius Extension — Foundations — DOI 10.5281/zenodo.20684211 Paper 25 — The Recruitment-Radius Extension: Applications — DOI 10.5281/zenodo.21199222 Paper 28 — Absolute Mass Scales from Electroweak Capacity Saturation — DOI 10.5281/zenodo.20684215 Paper 29 — Plaquette Representation Dominance and Confinement — DOI 10.5281/zenodo.20684218 Paper 30 — A Tube Mechanism for the Lattice Mass Gap — DOI 10.5281/zenodo.20684220 Paper 31 — Osterwalder–Schrader Structure of Lattice Yang–Mills — DOI 10.5281/zenodo.20684222 Paper 32 — Quark Anchors as APF Trace Masses — DOI 10.5281/zenodo.21199226 Paper 33 — Trace-to-Scheme Export Architecture — DOI 10.5281/zenodo.20684224 Paper 35 — The Dark Sector as a Two-Role Capacity Decomposition — DOI 10.5281/zenodo.20684228 Paper 36 — The Missing Floor — DOI 10.5281/zenodo.21199228 Paper 37 — Collapse as Realignment — DOI 10.5281/zenodo.21199231 Paper 38 — Unification as Ledger — DOI 10.5281/zenodo.21199233 Paper 39 — Coherent Phase Regimes in the APF Interface Engine — DOI 10.5281/zenodo.21199235 Paper 40 — The Thermodynamics of Finite Distinction (Between Symmetry and the Void) — DOI 10.5281/zenodo.20684235 Paper 41 — The Horizon as a Continuation Ledger — DOI 10.5281/zenodo.20684241 Paper 42 — The Weak Mixing Angle Is Not Free — DOI 10.5281/zenodo.20684245 Paper 43 — The Neutrino Sector — DOI 10.5281/zenodo.21194191 Paper 44 — What a Finite Theory Owes the Continuum — DOI 10.5281/zenodo.21195874 Paper 45 — What the Vacuum Can Keep — DOI 10.5281/zenodo.21194195 Paper 46 — The Strong CP Angle Is Not Free — DOI 10.5281/zenodo.21194197 Paper 47 — The Confinement Antecedent Is Not Forced — DOI 10.5281/zenodo.21194199 Paper 48 — The Light-Bending Weight Is Not Free — DOI 10.5281/zenodo.21199627 Technical Supplements cross-link to their main paper via isSupplementTo and to the engine via isDocumentedBy. Concept DOIs above resolve to the latest version.

•Jul 5, 2026•0 citations
After an experiment runs, exactly two decisions could still be made by a person: does this outcome exclude the theory's declared region, or did an auxiliary — source, tap, detector, calibration — fail, voiding the run instead; and who is licensed to say so. Any protocol that leaves either decision open after data exist has left a seat for a post-hoc refutation authority — the Global Falsifier, the imagined adjudicator who owns the modus tollens. Paper 44 of this sequence closed its photonic tapped-switch probe F_A at pre-registration-grade design ("the IV gate itself remains future laboratory work"); Paper 48 froze the shared adjudication layer as a handover template, typing everything design-specific as named pre-data slots behind a failable acceptance gate. What stands between that design and a laboratory's first shot is a single object: a completed, gate-passing handover instance. This paper — the forty-ninth in the sequence, centre panel of its Execution Program (Papers 48-50) — builds that object, the reference instance H_A, at the executable level the template promised. Delivered: the delta specification from the cited apparatus class (the Goswami-type photonic quantum switch) to 44's tapped configuration, component by component against the frozen budget rows; the schema completion with field-level primitives for every field, extensions add-only and partition-admissible; the frozen analysis pipeline in algorithmic normal form — IV gate, measured-calibration transfer, estimators, and the leaf router implementing 48's tap rows verbatim, under a language-independent rounding convention so floating-point artifacts cannot flip a frozen boundary direction — with the reference implementation shipped as a hash-anchored code appendix (deposited companion file) behind a declared production-scoring boundary; the concrete exclusion rule list with its veto-impact report and a frozen post-exclusion N rule disposing shortfall, surplus, and stopping at once; the S1-S4 blinding runbook; and the mock-data challenge, executed in three parts — a deterministic core exhaustive over every router branch and both tie directions, an adversarial set generated through a recorded, deposited exchange by a party in the auditor role that did not implement the scoring code, and a public-beacon-seeded bulk for totality and determinism. All three parts pass; the routing tables are generated by executing the shipped implementation and are typed non-evidence in the sentence that reports them. The acceptance gate is then run condition by condition on the deposited pair. One finding is published along the way: 48's coverage condition, read literally, would force every per-design instance to claim all seven leaves; the pre-committed completion evaluates coverage over the design's assigned leaf subset plus the shared non-execution leaf — an annotation to 48, never a retro-edit. The verdict is InstanceStatus_A = reference-complete, with an empty instance gap register: every gate condition passes, and what remains is ownership — acceptance transfers when a laboratory signs, auditor-reproducibly, over the instance plus its re-gated extensions; reference-complete never shortens to accepted, and an immutable core guarantees that no admissible extension can change what a null excludes, who may say so, or how boundary cases route. Displayed at the close is the channel's frozen exclusion content — the carve a future null already names, [1.7e-1, 2.1] at the conservative corner — beside the pre-priced Duhem escape map. Nothing is carved, scored, or measured; no band or feasibility verdict moves; the data paper 49-D stays reserved behind its unlock conditions. What retires is the interpretive seat: refutation content as a public, frozen, executable object — falsifiability without a Falsifier.
When two arms of an experiment differ in exactly one respect — here, whether a monitoring record is retained or discarded before retention — three decisions remain after the data arrive: were the arms genuinely comparable, or did an ordinary asymmetry confound the pair; does the measured contrast track the recorded arm in the declared sense; and who may say what the outcome means. Mill's method of difference leaves its central clause — "all other circumstances remaining the same" — to judgment; whoever holds that judgment after data exist is a Global Comparator, the matched-pair authority, and the last post-data seat standing in this sequence's Execution Program (the Experimenter retired at Paper 44, the Statistician at 48, the Falsifier at 49). This paper — the fiftieth in the sequence, capstone of the Execution Program (Papers 48-50) — retires it by construction: it builds the reference handover instance H_D for Paper 44's recorded-unrecorded differential on the circuit-QED co-location envelope, at the executable level, and runs Paper 48's acceptance gate on the deposited pair. Delivered: the delta specification from Paper 42's benchmark environment to 44's design (the monitored-register-as-order-control upgrade, the two-regime protocol, the retention-step toggle, the dummy-write hardware); the schema completion to field-level primitives; the certification pipeline as executable functions — Paper 44's two lambda-blind pre-execution campaigns as the S1 gate whose failure is a typed pre-tree disposition (44's "no bound" pre-commitments, never a leaf), and the in-situ audits conjoined into the certificate whose ~40-order comparator-blindness margin is frozen content, cited and never recomputed; the scoring pipeline completing the one slot 48 assigned to this paper — a Ramsey delay-sweep readout-to-rate map over a declared, exactly-enforced grid with symmetric SPAM normalization, frozen edge cases, no clipping anywhere, a frozen per-arm post-exclusion N rule, the signed contrast, and the leaf router implementing 48's differential rows verbatim, including the anti-tracking route (subtyped for diagnosis, never split for authority); the concrete exclusion rule list with its veto-impact template; the S1-S4 runbook; and the mock-data challenge, executed in three parts — a deterministic core exhaustive over all four dispositions, every frozen edge case, and the production/harness boundary itself; an auditor-generated adversarial set produced through a recorded, hash-deposited exchange by a party that did not implement the scoring code, whose first execution caught a genuine pre-freeze defect, corrected before hash fixation and reported; and a public-beacon-seeded bulk. All three parts pass against hand-derivable or rule-derived expectations; the routing tables are generated by executing the shipped implementation and are typed non-evidence in the sentence that reports them. The gate passes condition by condition under the coverage completion inherited from Paper 49; the verdict is InstanceStatus_D = reference-complete with an empty instance gap register, and the Execution Program closes whole: one template, two instances, every leaf of 44's execution map covered by exactly one instance plus the shared non-execution leaf. Displayed at the close is the channel's frozen comparison content: a certified null already fires the carve and the collapse verdict, together, never separately; a certified tracking contrast already licenses distinctness earned and the first FrameworkForcedShift candidacy — declarable only in the data holder's own successor paper, the single reserved cell that is the Comparator's substantive retirement; everything else is the confounded row. Nothing is measured, carved, or scored; no band or feasibility verdict moves; the data papers stay reserved behind mechanical unlocks; reference-complete never shortens to accepted, and an immutable core guarantees no admissible adoption-time extension can change the margin, the sign convention, the anti-tracking route, or a single claim cell. Comparability has audits, tracking has a router, meaning has a table — nothing is left for an authority to judge.
Paper 44 of this sequence closed its U3 construction program at readiness: two budgeted experimental designs — a photonic tapped-switch probe and a circuit-QED recorded-versus-unrecorded differential — and an execution map, a pre-registered decision tree assigning every future measured outcome its pre-committed consequence, with scoring left "by whoever holds the data." Paper 47 then closed the theory-side debt ledger, leaving the executed-measurement route as the corpus's only live route to a framework-forced world-side shift. What 44 did not freeze is the layer between data-in-hand and leaf-adjudicated: shot schemas, exclusion policy, blinding order, stopping rule, claim authority. That unfrozen layer is where a post-data analysis authority could still sit — the researcher degrees of freedom and forking paths of the methodological literature, answered in precision physics by blind analysis and pre-registration. This paper — the forty-eighth in the sequence, opening panel of its Execution Program (Papers 48-50) — freezes exactly that layer, before any laboratory exists, as the template of a handover package executable and adjudicable by strangers: every analysis decision the package will ever need is either frozen here or typed as a named pre-data slot behind a failable acceptance gate, so that once a design-specific instance is accepted, no one — including the author, who operates no laboratory and has made that fact load-bearing — retains a seat from which a future outcome could be re-interpreted. Four document-level layers are delivered. Record layer: field-level shot schemas for both designs, with every field and every raw source typed into an audit or scoring partition; an add-only extension rule; ledger, provenance, and dataset-role conventions; and an exclusion grammar under which every excluded run is a first-class recorded event and every exclusion predicate is outcome-unread by construction. Statistics layer: the estimators, the null-carving formula, a leaf-decision normal form (frozen statistics, thresholds, tie rules per leaf), and the stopping rule, inherited verbatim from Papers 43/44 with the arithmetic re-checked; and a four-stage blinding architecture ending in a scoring stage at which everything is readable and nothing is choosable. Authority layer: a claim-authority table over the map's seven leaves and four post-data speaking roles — the data holder scores; the series designer holds no scoring cell; the decisive leaf is licensed only to the data holder's own successor paper — plus the handover normal form H with a seven-condition acceptance gate, a data-existence certificate with a public deposit obligation, a mock-data challenge typed as non-evidence, and pre-committed unlock conditions for the reserved data papers 49-D/50-D. Verdict layer: a six-check closure audit (leaf coverage; arithmetic consistency; partition admissibility; blinding soundness; exclusion soundness; authority totality), each check mechanical against the delivered artifacts, with the pre-committed either-way verdict ProtocolStatus in {closed, gapped} scoring template closure — an executable package exists per design only as an accepted H-instance. The audit is run and every check passes: closed at the template layer, quarantine register empty. Papers 49 (tap-channel exclusion protocol) and 50 (recorded-unrecorded differential protocol) are unlocked to instantiate H per design; only the unlock-conditioned data papers 49-D/50-D will ever score a datum. The retired authority is the Global Statistician — post-data analytic discretion personified: its authority reading is retired by construction (no analysis decision has a post-data seat left to occupy, the per-design property conferred by each accepted H-instance), its innocence reading by the imported methodological record, and its substantive face — one uniquely correct inference framework — is declined, not refuted. Nothing world-side moves: no datum is scored, no band or floor shifts, the feasibility verdicts stay 44's, U3Status is restated not re-scored; if no laboratory ever executes, the program rests where 44 left it — undecided, with an implementable and now administrable discriminant — a complete record, not a failure.
This paper is the forty-fourth in a sequence developing an interpretive framework that redescribes physical reality as a causally consistent history of information updates rather than as a collection of independently existing objects. It is the closing panel of the twelfth grouping — the U3 construction program — and its genre was fixed by Paper 43's closure before its first sentence: a design-and-feasibility paper for new configurations, barred from re-interpreting existing proposals, executing no measurement, scoring no datum, and moving no band. Paper 43's verdict (iii-c) — a surviving, laboratory-reachable-in-part window with reachable sub-window [1.7e-1, 2.1] at the conservative probe corner — unlocked this panel as a conditional discriminant-and-design unlock, not a claim that the generic-CQ collapse branch was avoided. What this paper supplies is the readiness layer: everything short of the measurement itself, arranged so that whichever outcome the world someday returns is already a typed verdict. Three feasibility verdicts are computed, each by a criterion declared before the computation, each with a named failure branch carrying a pre-committed publishable consequence. F_A — the photonic probe (flagship): Paper 43's symmetric dual-rail tapped-switch circuit is completed to pre-registration grade — a six-row confound budget with every row closing at its declared floor, an executable lambda-blind instrument-validity protocol at a declared tap ramp, the statistics/systematics split displayed (statistics never bind; every binding floor is a systematic), and a pre-committed outcome map on which a null carves a named region of the band while an excess is held un-interpreted pending the differential. F_A closes as a pre-registration-grade design — explicitly not an execution pass: every systematic either closes algebraically or carries an executable pass/fail gate whose failure branch is pre-committed, and the instrument-validity gate remains future laboratory work. F_B — the circuit-QED co-location envelope: the Paper 42 benchmark environment with one structural upgrade no existing device is claimed to instantiate — the monitored register is the order-control register — scored against five host-envelope criteria under a two-regime protocol (a validity regime that certifies the controlled-order resource, and a monitored regime in which the measured destruction rate of that resource is itself the observable). F_B is established as a design at declared floors, explicitly not a device claim, and the environment carries the named status-audit instruments (sector-exhibition, Clausius-defect protocol, co-location gravimetry option), specified and never executed. F_C — the recorded-versus-unrecorded differential at execution readiness: the declared toggle is the retention-step toggle — the entire analog chain runs identically in both arms; only persistent retention of the during-window monitoring stream differs, with both arms' rates estimated from identically-retained end-of-sequence readout, and the unrecorded arm's zero-export status fixed a priori at architecture level (transient buffer dwell time far below the retention floor, no persistent branch, effective redundancy below threshold — audited before the arm is admitted, with audit failure failing the verdict rather than mislabeling the arm). The comparator-blindness certificate is computed in the comparator class's own normal form to pass with about forty orders of magnitude of margin: the sole physical difference between arms — branch-correlated persistent-memory writes at meters — induces ~1e-36 per second of comparator contrast against an audit floor of ~1e4 per second, robust to twenty orders of transcription generosity. Ordinary write systematics are closed by an equalized dummy-write/dummy-load protocol, and the declared rate-matching floor closes from its own five-row decomposed budget; at that floor the discriminable sub-band covers the entire reachable window even at the conservative certified fraction. F_C is implementable. The realized corner of the pre-declared verdict architecture is (P_exec, D_disc) = (yes, yes): a band-motion-capable probe design exists, and the distinctness discriminant exists. The lasting artifact is the execution map: the single pre-registered decision tree from every feasibility verdict and every possible future measured outcome to its Paper-43 pre-committed consequence — null: carve; certified contrast tracking the recorded arm: distinctness earned and the first FrameworkForcedShift candidate; certificate failure in situ: confounded row, nothing carved, collapse at the audit frontier. The title's "Gate-VII signature" is typed exactly and nowhere exceeded: it names the designed observable pair whose executed measurement could first move the force axes of U3Status off pending — the paper claims no crossing, no measurement, no confirmation, no probability. The retired authority is the Global Experimenter: the assumption that empirical adjudication of an adopted dynamics requires a privileged, external certifying authority. Its methodological face is retired with the levels typed — world-level results come only from executed measurement, program-level results from pre-committed design, and nothing further is needed; its substantive face is declined, not refuted. The retirement is enforced by the subject matter itself: the probe's heralded detection records are certified export events — the very quantity that sources the predicted excess — so any apparatus that measures the kernel is made of what the kernel rates, and no experimenter stands outside the physics even in principle. U3Status is restated, not re-scored; Gate VII is claimed by nobody; the twelfth grouping ends with every branch disposed and the program handed to the laboratory.
This paper tells the quantum-mechanical account of Admissibility Physics in one place, from the first declared fact to the last committed record. From a single finite-capacity axiom (A1) plus one declared occupancy fact, the story runs through the Δ calculus that prices jointness (Δ = ε(J − R), derived, with two fences: Δ is not an information functional, and Δ > 0 is not a quantum criterion); the separable / irreducibly-joint fork, decided by an exact Boole-polytope feasibility test; the Boolean-defender bridge that forces noncommutativity where the global Boolean section fails; the gate pipeline that earns complex Hilbert space and the finite Born trace rule as endpoint theorems rather than postulates; the correlation ladder from product states to Tsirelson, with a native family ceiling 2√2·102/103 carried at honest reading grade with a live falsifier; resolution as a class transition, with the free/spend/permanent triad proved as a composition of banked theorems and measurement, decoherence, the Page curve, and the Diósi–Penrose scale as four worked instances of one mechanism; and the arrow of time as the one-way ratchet of the admissibility floor — confinement, the second law, and the quantum as one axis read at graded strengths. Every load-bearing step is anchored to a named, machine-verified check function in the APF theorem bank; the grade of each step is stated where the step is made; and everything the story does not claim is stated in one place. The Technical Supplement (deposited alongside and linked from this record) is self-contained for this paper: every definition, proof, and grade the story rests on, in one document, with a worked end-to-end instance and a reproducibility appendix pinning the theorem bank to a public repository and an archived release. About the series. Admissibility Physics is a structural realist reconstruction program built on a single commitment: any bounded region of the world can hold only finitely many distinctions. A principle of least enforcement cost then selects, among all the ways those distinctions might be arranged, the configurations a finite world can sustain. From this the content of physics is reconstructed rather than postulated: the Standard Model's gauge group and matter content, the Hilbert-space and Born-rule architecture of quantum mechanics, the geometry and field equations of general relativity, the four laws of thermodynamics, and the large-scale budget of cosmology emerge as different readings of one finite-capacity ledger. The unification is quantitative as well as conceptual: the framework's dimensionless constants appear not as free parameters but as counts read off that ledger — among them the dark-energy fraction ΩΛ = 42/61 and the weak mixing angle sin2θW = 3/13 — fixed, in the strongest cases, to within current measurement. The core derivation runs Papers 0–11; the extension papers carry the individual sectors. Each paper's main text and Technical Supplement is deposited separately; every quantitative claim traces to a named, executable check in the public theorem bank (over 3,800 bank-registered theorems, 48 quantitative predictions); and each result is carried at an explicit, graded level of confidence — from analytically forced to structurally grounded — with the measurements that would refute it named. Admissibility Physics is offered as a candidate, not a finished theory. If the program holds, the laws of physics could not have been otherwise: they are what a finite world permits. Website: admissibilityphysics.com. Engine and theorem bank: https://github.com/Ethan-Brooke/APF-Engine. Full series and latest deposits: Zenodo community admissibility_physics. The Engine — Admissibility Physics: An Executable Constraint Framework and Constants Map — DOI 10.5281/zenodo.18529115. Paper 0 — What Physics Permits: A Constraint-First Framework for Physics — DOI 10.5281/zenodo.18439523 Paper 1 — The Enforceability of Distinction — DOI 10.5281/zenodo.18439200 Paper 2 — Finite Admissibility and the Failure of Global Description — DOI 10.5281/zenodo.18439274 Paper 3 — Entropy, Time, and Accumulated Cost — DOI 10.5281/zenodo.18439363 Paper 4 — Admissibility Constraints and Structural Saturation — DOI 10.5281/zenodo.18439397 Paper 5 — Quantum Structure from Finite Enforceability — DOI 10.5281/zenodo.18439433 Paper 6 — Dynamics and Geometry as Optimal Admissible Reallocation — DOI 10.5281/zenodo.18439445 Paper 7 — A Minimal Quantum of Action from Finite Admissibility — DOI 10.5281/zenodo.18439513 Paper 8 — The Admissibility-Capacity Ledger — DOI 10.5281/zenodo.19721384 Paper 9 — The Geometric Substrate as Cost Structure of Comparison Continuations — DOI 10.5281/zenodo.20041675 Paper 10 — The Calculus of Finite Continuability — DOI 10.5281/zenodo.20041680 Paper 11 — Forced Universality from Capacity-Bounded Admissibility — DOI 10.5281/zenodo.20684198 Paper 12 — The Gauge Sector of Admissibility Physics — DOI 10.5281/zenodo.21212521 Paper 13 — The Minimal Admissibility Core — DOI 10.5281/zenodo.18361446 Paper 14 — The Quantum Story — DOI 10.5281/zenodo.21212188 Paper 16 — Markov Breakdown and the Hard Problems — DOI 10.5281/zenodo.20684207 Paper 18 — The Electroweak Sector as a Capacity Equilibrium — DOI 10.5281/zenodo.20684209 Paper 19 — Large-Angle CMB Suppression as a Finite-Continuability Constraint — DOI 10.5281/zenodo.21199218 Paper 20 — The Enforcement Crystal — DOI 10.5281/zenodo.18531732 Paper 23 — Magnetically Dark Winding-Class Quantum Processors — DOI 10.5281/zenodo.21199220 Paper 24 — The Recruitment-Radius Extension — Foundations — DOI 10.5281/zenodo.20684211 Paper 25 — The Recruitment-Radius Extension: Applications — DOI 10.5281/zenodo.21199222 Paper 28 — Absolute Mass Scales from Electroweak Capacity Saturation — DOI 10.5281/zenodo.20684215 Paper 29 — Plaquette Representation Dominance and Confinement — DOI 10.5281/zenodo.20684218 Paper 30 — A Tube Mechanism for the Lattice Mass Gap — DOI 10.5281/zenodo.20684220 Paper 31 — Osterwalder–Schrader Structure of Lattice Yang–Mills — DOI 10.5281/zenodo.20684222 Paper 32 — Quark Anchors as APF Trace Masses — DOI 10.5281/zenodo.21199226 Paper 33 — Trace-to-Scheme Export Architecture — DOI 10.5281/zenodo.20684224 Paper 35 — The Dark Sector as a Two-Role Capacity Decomposition — DOI 10.5281/zenodo.20684228 Paper 36 — The Missing Floor — DOI 10.5281/zenodo.21199228 Paper 37 — Collapse as Realignment — DOI 10.5281/zenodo.21199231 Paper 38 — Unification as Ledger — DOI 10.5281/zenodo.21199233 Paper 39 — Coherent Phase Regimes in the APF Interface Engine — DOI 10.5281/zenodo.21199235 Paper 40 — The Thermodynamics of Finite Distinction (Between Symmetry and the Void) — DOI 10.5281/zenodo.20684235 Paper 41 — The Horizon as a Continuation Ledger — DOI 10.5281/zenodo.20684241 Paper 42 — The Weak Mixing Angle Is Not Free — DOI 10.5281/zenodo.20684245 Paper 43 — The Neutrino Sector — DOI 10.5281/zenodo.21194191 Paper 44 — What a Finite Theory Owes the Continuum — DOI 10.5281/zenodo.21195874 Paper 45 — What the Vacuum Can Keep — DOI 10.5281/zenodo.21194195 Paper 46 — The Strong CP Angle Is Not Free — DOI 10.5281/zenodo.21194197 Paper 47 — The Confinement Antecedent Is Not Forced — DOI 10.5281/zenodo.21194199 Paper 48 — The Light-Bending Weight Is Not Free — DOI 10.5281/zenodo.21199627 Technical Supplements cross-link to their main paper via isSupplementTo and to the engine via isDocumentedBy. Concept DOIs above resolve to the latest version.
This paper is the forty-third in a sequence developing an interpretive framework that redescribes physical reality as a causally consistent history of information updates rather than as a collection of independently existing objects. It is the prediction-and-exclusion panel of the twelfth grouping — the U3 construction program — and it adopts nothing, spends nothing, and tunes nothing: Paper 41 adopted the common record-history kernel P_ker at the claim level L3-A and computed its admissible space; Paper 42 executed the recovery conditions and spent the grouping's single calibration, freezing the normalized kernel — the decoherence coefficient confined to the gate-truncated band Lambda_cal = [5e-5, 2.1] (architecture-level record-chain variant [5e-5, 2.1e-1]), the diffusion coefficient carried as a per-class prediction band, the order coefficient computed from operator overlap, the eligibility thresholds fixed at adoption. Every number in this paper is a consequence of the normalized kernel plus declared audit inputs. The paper computes the program's first genuine prediction bands, both defined as excesses over the full standard model. For any controlled-order process (quantum-switch class) with audited certified-export count N_exp coupling to the order register during coherence, the order coherence obeys -ln(V/V_std) = kappa_W lambda_dec N_exp, with V_std computed first (including the standard which-order record-formation decoherence Paper 34 already identifies) and the overlap coefficient computed exactly for the declared symmetric dual-rail tapped-switch configuration (orthogonal detector modes give kappa_W = 1, and V_std(t) = V_0(1-t) is derived for the actual circuit). The export-correlated geometry-noise band is delivered with its dimensional map and shown to sit roughly sixteen orders below any plausible force-noise floor — suppressed, computed and stated early; the order channel carries the panel. Three verdicts follow, each by a rule fixed before any data were consulted. The exclusion audit (one-dataset-one-role: the Paper 42 calibration dataset is barred) finds every existing class either export-vacuous or — the one export-non-vacuous sibling row, Sears et al. 2012 — bound-non-yielding, because the source states no quantitative residual and the declared transcription discipline forbids manufacturing one: nothing is carved, the surviving set equals the whole band, and this pre-declared fallback outcome is published as such. The empirical-distinctness decision (the generic-CQ collapse branch Paper 41 deferred here), evaluated pointwise over the band against the whole admissible universal-mass-density-CQ comparator class, returns undecided-with-a-specified-discriminant: no performed audit decides it in either direction, and the band's upper sub-band carries a specified, feasible, not-yet-performed differential audit — identical monitored devices with the output chain recorded versus unrecorded at fixed total decay, on which every admissible comparator predicts zero contrast and the kernel does not — with the decision rule for its execution pre-committed (contrast: distinctness earned; null across the discriminable sub-band: that region carved and the collapse verdict fires). The reachability trichotomy: the binding design inequality of any co-designed export channel is lambda_dec times the probe's certified fraction >= 4 deltaV / V_0 (derived for the declared circuit at its optimal tap), and on the supported photonic-switch platform class (Procopio 2015; Rubino 2017; Goswami 2018) the declared floors reach lambda_dec >~ 1.7e-1 at the conservative probe corner (4.7e-2 at the best declared corner): the verdict is (iii-c) — a surviving, partially reachable window — and Paper 44 is unlocked as a design-and-feasibility paper, inheriting the probe specification, the confound budget, and the differential-audit protocol. The retired authority is the Global Sequencer in its dynamical face — the assumption that definite before-and-after must be imposed by a dedicated universal classicalizing agency rather than generated at a computable, testable rate by ordinary record export; its retirement is conditional on P_ker and says so. "Not excluded" is never read as "confirmed"; no gate is crossed; no U3 is claimed — even the surviving window is a window, not a crossing.
This is the Technical Supplement — the proof-dense companion and the canonical formal record for the paper's claims. The main paper argues; the supplement proves. Every load-bearing claim traces to a named check function in the APF verification engine, and the supplement is the document a referee should audit first. The supplement is self-contained for Paper 14: every definition, proof, and grade the paper rests on appears in this one document — the substrate primitives and the marginal admissibility floor, proved; the locality and cost-uniqueness lemmas; the Δ calculus with both fences' witnesses written out; the Boolean-defender bridge with its five certified physical hypotheses and the 3-4-5 worked witness computed on the page; the gate pipeline with a gate-by-axiom comparison to the operational-reconstruction literature (Hardy; Chiribella–D'Ariano–Perinotti; Masanes–Müller; Barnum–Wilce; Spekkens; Abramsky–Brandenburger); the native correlation family constructed explicitly, rung by rung; the resolution triad set against standard thermodynamics (Landauer, erasure, environment-assisted recovery); a consolidated readings register listing every claim below [P] with its falsifier and status; a glossary mapping the framework's vocabulary onto standard quantum-information terms; and a worked end-to-end instance — device to interrogation normal form to exact feasibility certificate to priced ledger, with every tolerance explicit. A reproducibility appendix pins every claim to the APF theorem bank at a named GitHub commit and the archived Engine release (DOI 10.5281/zenodo.18529115); the certificates reproduce deterministically in exact rational arithmetic. About the series. Admissibility Physics is a structural realist reconstruction program built on a single commitment: any bounded region of the world can hold only finitely many distinctions. A principle of least enforcement cost then selects, among all the ways those distinctions might be arranged, the configurations a finite world can sustain. From this the content of physics is reconstructed rather than postulated: the Standard Model's gauge group and matter content, the Hilbert-space and Born-rule architecture of quantum mechanics, the geometry and field equations of general relativity, the four laws of thermodynamics, and the large-scale budget of cosmology emerge as different readings of one finite-capacity ledger. The unification is quantitative as well as conceptual: the framework's dimensionless constants appear not as free parameters but as counts read off that ledger — among them the dark-energy fraction ΩΛ = 42/61 and the weak mixing angle sin2θW = 3/13 — fixed, in the strongest cases, to within current measurement. The core derivation runs Papers 0–11; the extension papers carry the individual sectors. Each paper's main text and Technical Supplement is deposited separately; every quantitative claim traces to a named, executable check in the public theorem bank (over 3,800 bank-registered theorems, 48 quantitative predictions); and each result is carried at an explicit, graded level of confidence — from analytically forced to structurally grounded — with the measurements that would refute it named. Admissibility Physics is offered as a candidate, not a finished theory. If the program holds, the laws of physics could not have been otherwise: they are what a finite world permits. Website: admissibilityphysics.com. Engine and theorem bank: https://github.com/Ethan-Brooke/APF-Engine. Full series and latest deposits: Zenodo community admissibility_physics. The Engine — Admissibility Physics: An Executable Constraint Framework and Constants Map — DOI 10.5281/zenodo.18529115. Paper 0 — What Physics Permits: A Constraint-First Framework for Physics — DOI 10.5281/zenodo.18439523 Paper 1 — The Enforceability of Distinction — DOI 10.5281/zenodo.18439200 Paper 2 — Finite Admissibility and the Failure of Global Description — DOI 10.5281/zenodo.18439274 Paper 3 — Entropy, Time, and Accumulated Cost — DOI 10.5281/zenodo.18439363 Paper 4 — Admissibility Constraints and Structural Saturation — DOI 10.5281/zenodo.18439397 Paper 5 — Quantum Structure from Finite Enforceability — DOI 10.5281/zenodo.18439433 Paper 6 — Dynamics and Geometry as Optimal Admissible Reallocation — DOI 10.5281/zenodo.18439445 Paper 7 — A Minimal Quantum of Action from Finite Admissibility — DOI 10.5281/zenodo.18439513 Paper 8 — The Admissibility-Capacity Ledger — DOI 10.5281/zenodo.19721384 Paper 9 — The Geometric Substrate as Cost Structure of Comparison Continuations — DOI 10.5281/zenodo.20041675 Paper 10 — The Calculus of Finite Continuability — DOI 10.5281/zenodo.20041680 Paper 11 — Forced Universality from Capacity-Bounded Admissibility — DOI 10.5281/zenodo.20684198 Paper 12 — The Gauge Sector of Admissibility Physics — DOI 10.5281/zenodo.21212521 Paper 13 — The Minimal Admissibility Core — DOI 10.5281/zenodo.18361446 Paper 14 — The Quantum Story — DOI 10.5281/zenodo.21212188 Paper 16 — Markov Breakdown and the Hard Problems — DOI 10.5281/zenodo.20684207 Paper 18 — The Electroweak Sector as a Capacity Equilibrium — DOI 10.5281/zenodo.20684209 Paper 19 — Large-Angle CMB Suppression as a Finite-Continuability Constraint — DOI 10.5281/zenodo.21199218 Paper 20 — The Enforcement Crystal — DOI 10.5281/zenodo.18531732 Paper 23 — Magnetically Dark Winding-Class Quantum Processors — DOI 10.5281/zenodo.21199220 Paper 24 — The Recruitment-Radius Extension — Foundations — DOI 10.5281/zenodo.20684211 Paper 25 — The Recruitment-Radius Extension: Applications — DOI 10.5281/zenodo.21199222 Paper 28 — Absolute Mass Scales from Electroweak Capacity Saturation — DOI 10.5281/zenodo.20684215 Paper 29 — Plaquette Representation Dominance and Confinement — DOI 10.5281/zenodo.20684218 Paper 30 — A Tube Mechanism for the Lattice Mass Gap — DOI 10.5281/zenodo.20684220 Paper 31 — Osterwalder–Schrader Structure of Lattice Yang–Mills — DOI 10.5281/zenodo.20684222 Paper 32 — Quark Anchors as APF Trace Masses — DOI 10.5281/zenodo.21199226 Paper 33 — Trace-to-Scheme Export Architecture — DOI 10.5281/zenodo.20684224 Paper 35 — The Dark Sector as a Two-Role Capacity Decomposition — DOI 10.5281/zenodo.20684228 Paper 36 — The Missing Floor — DOI 10.5281/zenodo.21199228 Paper 37 — Collapse as Realignment — DOI 10.5281/zenodo.21199231 Paper 38 — Unification as Ledger — DOI 10.5281/zenodo.21199233 Paper 39 — Coherent Phase Regimes in the APF Interface Engine — DOI 10.5281/zenodo.21199235 Paper 40 — The Thermodynamics of Finite Distinction (Between Symmetry and the Void) — DOI 10.5281/zenodo.20684235 Paper 41 — The Horizon as a Continuation Ledger — DOI 10.5281/zenodo.20684241 Paper 42 — The Weak Mixing Angle Is Not Free — DOI 10.5281/zenodo.20684245 Paper 43 — The Neutrino Sector — DOI 10.5281/zenodo.21194191 Paper 44 — What a Finite Theory Owes the Continuum — DOI 10.5281/zenodo.21195874 Paper 45 — What the Vacuum Can Keep — DOI 10.5281/zenodo.21194195 Paper 46 — The Strong CP Angle Is Not Free — DOI 10.5281/zenodo.21194197 Paper 47 — The Confinement Antecedent Is Not Forced — DOI 10.5281/zenodo.21194199 Paper 48 — The Light-Bending Weight Is Not Free — DOI 10.5281/zenodo.21199627 Technical Supplements cross-link to their main paper via isSupplementTo and to the engine via isDocumentedBy. Concept DOIs above resolve to the latest version.