Manuscript XIX-A@1 · XIX-A.tex · section · e30d8062

First refusal: the harmonic relational scalar is not the lapse

First refusal: the harmonic relational scalar is not the lapse · lines 763–776

The example is a logical counterexample, not a model of the Em02-E quantum family. It justifies keeping the following statement as a lemma-level separation:

VI’s classical descent is not Em02-E’s regulator-removal theorem.

The supplied VI record leaves its quantum certificate RG-open; the supplied Em02-E record leaves its quantum audit incomplete CheungVI,CheungEm02E. Neither status is changed here.

Displayed formulas in this passage

unlabeled · line 768
$VI’s classical descent is not Em02-E’s regulator-removal theorem.$

Nearby in this section

lemma: Lemma: Scalar–lapse separation
remark: Remark: Quantifier of the witness
lemma: Lemma: Classical descent is not regulator removal