Manuscript XIX-B@1 · XIX-B.tex · section · b5670709
What the comparison does not construct
Equation-space discipline and unchanged obligations › What the comparison does not construct · lines 1425–1463
XVI-A's three retarded-slot wavefront obligations remain outside this calculation CheungXVIA. The paper constructs neither their kernels nor their products. A changed smooth source or coordinate field does not by itself determine a changed compact free-shell class.
No theorem of XVI-E, XVI-F, or XVI-G is used.
In particular, the cited sentence
is not supplied here as a theorem
of XVI-D. The inherited clause in item (6) of XVI-D's
:response-package remains conditional, and
:legs is not discharged
CheungXVID.
The exclusions established in XIX-A remain exclusions from this comparison XIXA. Em02-E's lapse, X-A's regulator ramp, and the VIII incidence parameter are not substitute coordinate data. This does not call the inflaton clock a non-clock: XIX-A's named non-clock was the prescribed ramp.
The supplied Family 271 record remains documentary; its Lean scope names 271-04 only. VI is not 271-04. Family 282's free Ward action and Family 069's finite Ward defect are not classical coordinate Cauchy data CatalogueRecord.
The reported scoped two-point result of XVI-Q is not a coordinate
identification CheungXVIQ. Its scope is not enlarged here.
In particular, the separately recorded
.1 = NOT_CLOSED status outside that scope is unchanged.
No inherited quantum-admission exit is opened. XVI-N and Route B are not discharged CheungXVIIIA,CheungXVIN,CheungXVB. No quantum coefficient is admitted.