Manuscript Em03-B@2 · Em03-B-v2.tex · section · c1a0977d
Scope, evidence, and the three levels of the claim
Scope, evidence, and the three levels of the claim · lines 175–261
The architecture is
Here is a memory oscillator, is a finite binary register, and contains raw words, decoded values, and declared failures.
Three levels are kept separate.
{}1.15
| Level | Evidence supplied | Permitted conclusion |
|---|---|---|
| Mathematical interface | Channels, normal finite-mode states, adjoints, and record identities | The B0–B3 interface |
| Specified apparatus model | Capture dynamics, preparations, extraction pulses, noise instruments, and derived budgets | Model-level B4–B5 realization |
| Physical realization | Local coupling, effective-model justification, calibrated parameters, and implementation evidence | Not established here |
The capture port is a one-dimensional Markov input–output model. It is not identified with a local detector coupled to the massless scalar on Schwarzschild. In particular, its two-sided temporal envelope includes auxiliary degrees of freedom that are not negative-energy modes of that scalar field.
Our model uses explicitly available number-selective control Hamiltonians. This is a declared control set, not a claim that a dispersive oscillator–qubit laboratory automatically implements those Hamiltonians. General oscillator-control constructions Krastanov do not supply a compiler or a leakage certificate for the pulses constructed below.
Local system–probe measurement theory requires a separate spacetime coupling and an induced-observable identification FewsterVerch. No theorem below supplies that missing correspondence.
boundary. The arguments are analytical. Compilation, formal verification, numerical pulse optimization, parameter calibration, and laboratory execution are not asserted. “Certified” means that the displayed implications have stated hypotheses and mathematical proofs.
and distances. We use , , and
A channel on trace-class operators is understood as the predual of a normal completely positive unital map when its input is infinite dimensional. All operational comparisons retain finite spectators and arbitrary finite-dimensional external references. The mathematical identities also hold for normal extensions to separable reference spaces.
status. Em03-A and Landmark I are used through the supplied text Em03A,LandmarkI. Their proofs and registry status are not independently verified here. Other internal manuscript names are not formal premises of the apparatus construction.
Displayed formulas in this passage
unlabeled · line 179
unlabeled · line 243