Manuscript XVI-M@1 · XVI-M.tex · proposition · 7346c909
Proposition: Completion obstruction inside the selected formal/ χ -plateau image
M.5 Counterterm-functionals ledger · lines 1503–1509
XVI-M@1#prop:completion
Under Gate V: the formal and -plateau variational images have for (Theorem thm:M4). The double-plateau Euler tensors of and have total degree , hence cannot lie in those images. Therefore the plateau matchings do not complete inside the already-stated selected formal/-plateau image. Any enlarged ansatz (retained switch/preparation derivatives, or additional diagrams) is a new domain, not a completion established by M.4.