Manuscript X-F-ST@1 · X-F-ST.tex · section · e71f03ef
Debugging and quantifier audit
Debugging and quantifier audit · lines 2773–2815
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.