λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript X-A-conv-ST@1 · X-A-conv-ST.tex · section · 8ca47088

Four distinctions governing the proof

Question, sources, and the Enter interface discipline › Four distinctions governing the proof · lines 225–243

Back to manuscript

The following distinctions remain binding throughout:

  1. Existence and smoothness of a classical coefficient do not prove its gauge invariance.

  2. A change of coordinates transporting a frozen regulator is not active covariance of that regulator.

  3. A supplied finite report is not acquisition of an unknown continuum functional.

  4. Equality of classical outcome laws is weaker than equality of complete instruments with residual systems and references.

Relational-observable and perturbative-gravity frameworks provide context, but do not prove covariance of this particular switched convolution prescription BFR.