Manuscript X-I-ST@1 · X-I-ST.tex · section · 9745fd40
A nonzero evaluated coefficient
The finite lift and its explicit next residual › A nonzero evaluated coefficient · lines 1325–1335
Positivity here means positivity of the specified real coefficient of , not of an odd functional.
The result disproves exact master closure of this specified polynomial lift. It does not exclude every higher-order completion: adding a fourth-order term changes the fourth-order residual.