Manuscript X-F@1 · X-F.tex · section · f35cc129
Release and the three endings
Release and the three endings · lines 345–366
Three endings are available:
Constructed. The gauge, the response, and all trees are named, admitted, and the all-tree observable transforms correctly on the frozen algebra through .
Proved obstructed. The all-tree identity acquires a nonzero defect at , or a tree kernel leaves the declared algebra.
Unresolved. A tree is unnamed or its admission is not proved.
The ending reached is (1). The defect of X-E is shown to be a truncation defect of the one-tree observable in the flat gauge, not a field-content obstruction.
A missing object is recorded as missing, not as a no-go. Nothing in this manuscript depends on a state for the graviton.