Manuscript X-F-ST@1 · X-F-ST.tex · section · e71f03ef

Debugging and quantifier audit

Debugging and quantifier audit · lines 2773–2815

Back to manuscript

Using the X-E-ST witness to decide the flat-gauge residual & They are different functionals. The residual class remains open here.

Claiming the one-tree defect obstructs every completion & The mixed tree cancels that truncation defect on the background-gauge source sheet.

Inferring a common Hadamard orientation from & The orientation of both blocks is declared explicitly. A matrix sign does not reverse a wavefront.

Equating a chosen Wick matrix with a physical state & No positive physical graviton state is selected.

Promoting smooth multiplication to subtraction & It does not define missing products or counterterms.

Promoting a finite evaluation table to field acquisition & The values or enclosures are supplied inputs.

Returning measured clock names as quantum outputs & The complete instrument consumes those names.

Reading several labels as the actual time of one event & Distinct event-time calibration permits one positive label; histories require a separate map.

Equating scheduled ancestry with the whole metric past & Only certified causal containment is proved.

Calling reference-preserving transport generated entanglement & The route preserves pre-existing correlations.

Treating a source file as a registry certificate & No installation, compilation, or tests are asserted.

Nearby in this section