Manuscript X-G-ST@1 · X-G-ST.tex · section · 3c97567f
The obstruction theorem
Stage 3: variational reciprocity and the positive witness › The obstruction theorem · lines 1598–1611
This transfers the parent obstruction with its actual
quantifiers XG (:obstruction).
It does not exclude a new classical correction that
changes the source map, a weaker assignment of selected
observable symbols, or a separately specified
non-variational quantum prescription.
No statement about numerical cancellation at a chosen nonzero value of is inferred from the formal-series argument.