Manuscript IV@1 · IV.tex · section · 351cb2d7

Record and control

Cutoff ledger: Model 1 › Record and control · lines 3522–3539

The two states have the same scalar coherent factor. Their oscillator covariances agree and their means differ by $(Δ Q, Δ Π_{0}) = (1, 0)$ . The fixed detector satisfies $d_{*} \geq d_{0} > 0$ . For the fixed calibration of Theorem thm:model1,

∣Δ p_{ε} ∣ \geq c_{1} - e_{ε}, e_{ε} \to 0.

At $λ = 0$ , the generator acts on the scalar factor alone, so equality of the probabilities is exact.

No graviton-sector removal, sourced Einstein constraint, or coupled reduced symplectic-form identification appears in this theorem.

Displayed formulas in this passage

unlabeled · line 3529
$∣Δ p_{ε} ∣ \geq c_{1} - e_{ε}, e_{ε} \to 0.$