Manuscript XIV-F@1 · XIV-F.tex · section · bae5a40b
F3 and F4: symbol and remainder not constructed
F3 and F4: symbol and remainder not constructed · lines 1444–1496
F3 is not entered as a construction. The common symbol bundle of (eq:target) has not been supplied.
The regrouped pieces retain the following exact status:
| Piece | Copied result | Still missing |
|---|---|---|
| The coefficient after the exact explicit cancellation | Common microlocal order and symbol of the remaining term. | |
| One divergence of the complete tensor | Internal relations, composition orders, and the grouped divergence symbol. | |
| inside that tensor | The branch identity | A symbol of the full sum, not merely that numerator. |
| The full advanced root (eq:root) | Composed symbol with the scalar line, including the mass contribution and its remainder. |
The disappearance of an explicit test derivative in a smooth-slot identity does not assign a lower microlocal order. Likewise, the quadratic defect is geometry, not a distributional degree.
F4 is not entered. A complete remainder estimate would have to control:
lower-order terms in every numerical line;
the two relative transverse directions;
derivatives on the observable attachment diagonal;
the internal compositions in ;
all terms retained in the complete source and root.
Neither a vanishing joint section with adequate remainder control nor a nonzero joint section on a named open relation is asserted.