Manuscript XIV-G@1 · XIV-G.tex · section · 791c6644
G3 and G4: no joint section and no remainder theorem
G3 and G4: no joint section and no remainder theorem · lines 1576–1635
G3 is not entered as a construction. The individual symbols above do not populate a symbol bundle for (eq:target).
The complete regrouped pieces retain the following status:
| Piece | Copied result | Missing joint data |
|---|---|---|
| The complete first-derivative coefficient after the exact explicit cancellation | Order and symbol of the remaining term in a common characteristic calculus. | |
| One divergence of the full tensor | Internal relations, composed divergence order, and common amplitude. | |
| inside that tensor | The diagnostic | A section of the complete sum; the diagnostic is not such a section. |
| The complete advanced root (eq:B9root) | Its scalar-line composition, including the derivative and mass contributions. |
A loss of an explicit test derivative is not an assigned microlocal order improvement. A vanishing numerator in one presentation would have to be recorded with its remaining terms; it would not delete a branch.
G4 is not entered. Its remainder theorem would have to control:
lower-order terms of every numerical line;
contributions from the internal vertices of ;
derivatives of the attachment diagonal;
the two relative transverse directions identified by the copied defect;
every retained source and root term.
The tangent defect is a geometric constraint, not an integration fiber or a characteristic scaling degree.
Neither a zero joint section with adequate remainder control nor a nonzero full section on a named open relation is asserted.