Finite mathematical checks, constructor executions and physical measurements answer different questions. The programme has no promoted physical identification.
Full-input image and nonlinear terms enter an exact budget.16 constructor controls pass; twelve physical witness categories remain missing. Physical Promotion0.
Read theorem and proposed calibration specification →57 constructor software controls verify bindings, exact arithmetic and rejection gates. The unsigned tail proposal requires independent review; the historical candidate remains HOLD. Physical Promotion 0.
Read receipt contract and limits →Timing and quadrature/error requirements connect digital complex samples to a conditional leakage bound. Exact synthetic RMS checks pass; outside-model evidence remains open. Physical promotion0.
Read theorem, certificate and synthetic fixture →An exact Gram bound covers the declared ±5 mHz/10 ppb uncertainty family. A near-collision counterexample exposes RMS-only limits. Physical source and monitor evidence remain open; promotion0.
Read robust theorem and exact certificate →An unexecuted reference-chain protocol, twelve blank receipts and a conditional finite-mode theorem expose the remaining measurement requirements. All physical evidence stays open; physical promotion0.
Read protocol, theorem and blank receipts →A fail-closed packet checker passes 27 software controls. The circuit candidate remains on HOLD with unresolved apparatus binding and missing source/calibration records. Physical promotion0.
Read schema, controls and circuit disposition →A full-state theorem couples spectral leakage and input uncertainty. The declared requirements pass conditionally; noise, gain, timing and baseline evidence remain open. Physical promotion0.
Read theorem, frontier and requirements →The unchanged kernel has exact-rational continuous-band bounds under explicit source and input-error premises. A 600 Hz unit tone is a certified failure. No empirical calibration or physical promotion.
Read theorem, requirements and exact certificate →A conditional theorem bounds quadrature error using source variation and input uncertainty. The fixed window uses measured samples only, passes2/6 synthetic cases and leaves the empirical0/891 result intact. Physical promotion0.
Read theorem, transfer response and limits →Four methods and six known signals expose boundary and omitted-band limits. No method passes every case; the empirical 0/891 gate remains unchanged. Physical promotion 0.
Read benchmark and conditional error bounds →891 circuit channel-records round-trip numerically, but none passes the frozen narrow-band phase gate. The failed threshold is preserved. Physical promotion 0.
Read contract and all record diagnostics →Four experimental releases are scoped against the support/phase/energy contract. The circuit diagnostic illustrates V² frequency doubling; all 27 newer Rydberg CSV members are inventoried. No action anchor or QPB1 score is admitted. Physical promotion 0.
Read dataset gates and provenance →An explicit rescaling leaves apparatus data unchanged while changing native action. Independent support calibration and the readout’s primitive-period ratio are required. Exact conditional theorem and finite error interval; physical promotion 0.
Read theorem and same-carrier measurement requirements →Within a specified monomial same-carrier map, independent native energy and time anchors determine action; length and time alone do not. Eighteen typed equations and 2,952 anchor configurations pass scoped checks. QPB1 stays quarantined; EXIT-03 HOLD; physical promotion 0.
Read theorem and measurement entry requirements →Byte-identical archived copies establish custody and the full row count. An O13 dimensional equality defect is flagged. QPB1’s ηA=2/1 remains a quarantined conditional prediction. EXIT-03 and physical identification stay open.
Read recovery, correction and remaining gates →The scaled canonical theorem gives ordinary flux–charge pairs the required opposite matter brackets and reciprocal gauge dynamics. Sixty-four exact checks pass. CD-1 specifies one instrumented four-link diamond, independent coupling witnesses, known-source injection and two analytically discriminating fault controls.
Engineering gates are proposed and require actual calibration and non-constructor review. Physical promotion 0.
Read theorem and closed-diamond test →Explicit physical port commands, a finite-cover theorem and an exact short-window uncertainty allocation separate the nominal law from two specified faults near model time 1/100. Controller input age has its own bound, separate from readout spacing.
Six-page theorem manuscript; exact constructor checks. Apparatus bounds OPEN, independent review pending, physical promotion 0.
Read the certificate and apparatus-return requirements →The theorem budgets sample age, input and command error, actuator lag, preload and range. The illustrative total residual is exactly 145267/16000000, below 1/100, preserving the prior short-window fault gaps. Nine exact controls and an inherited-budget replay pass.
Actual components, identification and calibration remain OPEN; independent review pending; physical promotion 0.
Read the theorem and instrument requirements →The exact LC identity and a filtered-readout theorem prevent treating slower acquisition as a free remedy. A revised input/command allocation passes the prior Gauss budget, while hardware admission remains HOLD. Ten exact controls and inherited-budget replays pass.
Four-page theorem and preliminary supplier audit; identification plan OPEN; independent review pending; physical promotion 0.
Read theorem, audit and identification requirements →Preparation-specific bounds reduce target sensitivity to 4 and speed to 8/5. The proposed controller admits 8/575<t₀≤1/48 seconds; the example t₀=1/60 gives residual 0.00962. A named component route is screened with explicit leakage, noise, timing and actuator gates.
Five-page theorem; exact symbolic checks and twelve arithmetic controls pass. Hardware HOLD; independent review pending; physical promotion 0.
Read the proof and component-return requirements →Exact algebra or a scoped proof on a specified carrier, metric and source convention.
A frozen numerical or exact record with input hashes, tolerances and failure controls.
A non-constructor return bound to the exact claim or package, with its independence and scope.
A calibrated map, units, uncertainty, baseline and a frozen independent acceptance rule.
The CRL-2 source proposal is preserved as a proposal. Publishing this hierarchy does not enact it or promote a scientific status.
| Programme | What the current record supports | What remains open |
|---|---|---|
| Source, events and refinement | Conditional finite mechanisms, exact compatibility and nonselection results | Native source selection, preparation and a physical time/observable map |
| Observation and estimation | Finite observability results and constructor certificates on declared records | Attributable external replay, uniform guarantees where claimed and physical metrology; review HOLD preserved |
| Action and stability | Declared action, scoped stability results and conditional preparation/error budgets | Realization and records meeting the complete experiment contract |
| Parity transport | Finite selected sector, typed transport identities and prospective numeric admission | Non-constructor review of the new contract, original attributable approval/raw output gaps and physical parity |
A rank-one rotor–matter circuit emulator was selected for development. The published LC device is a partial benchmark: its oscillator links and chain do not implement the full UD Hamiltonian and required diamonds.
No audited dataset supplies every preparation, energy and source-work gate. The next proposed component experiment is a closed-diamond test with a calibrated measurement contract.
The historical parity record reports 12 in-scope passes and six failing controls from external-AI replication, with the permanent rider transport consistency, not dynamical discovery. Receipt linkage and the full ruling document are recovered; named or signed original approval and the raw-output commitment remain unresolved.
This is a source-recorded internal transport result. It is not independent-human review or a laboratory measurement, and the new prospective contract does not retroactively revise the old scores.