Landmark XIV-F Paired composition on a proposed excess bundle The clean-fiber-product audit, the excess correction, and the exact F2 stop

We continue XIV-E's unresolved characteristic composition problem without changing the pair, six-branch germ, source, or ambiguity contract. Exactly one route is examined: direct paired composition of the selected conormal fiber product, with the proposed two-dimensional excess identified with the relative transverse directions of XIV-E.

The required geometric hypotheses fail. The two cone equations and the observable attachment diagonal give six regular constraints. On their smooth zero set, the remaining cone equation is a positive quadratic expression in two relative angular directions. Its zero set has two additional base conditions although its first differential vanishes there.

Consequently the selected conormal fiber product is smooth but not clean: its actual tangent space has dimension fifteen, while the linearized matching space has dimension seventeen. The two-dimensional quotient is a tangent defect, not an established clean excess bundle. Moreover, the covector-sum projection has constant rank fourteen with one-dimensional local fibers. Its local image is isotropic, not a sixteen-dimensional Lagrangian submanifold of the cotangent bundle of the common ambient space.

A nondegenerate quadratic form on the defect plane is identified, but it does not repair the failed tangent-space equality or define a symbol integral. No joint symbol, complete remainder estimate, or characteristic prescription is constructed. The ending is Unresolved at F2, within the inherited E1/D2/J2 stop. The result excludes the direct clean-excess-two identification, not every possible paired construction or cancellation of the full sum. J3–J5 and the Ward-defect question remain unopened.

Figure fig:split-XIV-F records one view of the same separation. Figure fig:chain-XIV-F records one view of the same separation. Figure fig:pair-XIV-F records one view of the same separation. Figure fig:gate-XIV-F records one view of the same separation. The drawings add no hypothesis.

Figure fig:scope-XIV-F records that separation. The drawing adds no hypothesis.

and specification correction{ Selected route: direct paired composition on the proposed excess bundle. No other route is attempted.

Correction: the two relative transverse directions are not automatically an excess-two integration fiber. They measure failure of clean tangency for the specified matching problem.

Proved here: the regular six-constraint stage; the exact quadratic remaining constraint; the non-clean conormal matching; the rank-two tangent-defect bundle; and the rank-fourteen covector-sum projection with one-dimensional local fibers.

Ending: Unresolved at F2. No symbol bundle for the complete grouped coefficient is constructed. F3–F5 are not entered as constructions.

The pair, ${\mathfrak{C}}_{\mathrm{part}}$, source coefficients, and inverse $-1$ are unchanged. No ${R_1}^{(1)}$, characteristic subtraction, Ward defect, or sharp-width limit is released.}

This paper refines the inherited stop; it does not declare J2, D2, or E1 discharged. The missing object remains the grouped characteristic contraction of the complete retained six-branch germ.

The statements quoted below are inputs from the supplied manuscripts. Their local equation labels are new. No incidence ledger, predecessor phase theorem, or branch fiber calculation is re-proved.

“A successor receives:

1. the unchanged pair and six-branch germ;

2. the exact regrouping;

3. the complete root formula;

4. the intermediate tested-kernel equality and balanced attachment bound;

5. the two characteristic lifts and their codimensions;

6. the non-clean phase theorem and quadratic defect identity;

7. the unchanged degree, ambiguity, and wavefront requirements;

8. the exact E1 stop.

”

“It receives neither a nonzero full symbol section nor permission to infer one from $Q\lambda$. It receives no ${R_1}^{(1)}$” XIVE.

The cited formulas and geometric statements are copied next.

With

put

and

The exact six-branch identity is

For $F={E_m}^{\mathrm{A}}f$, the last term is

“This identity retains all six branches. It involves no characteristic composition and no regularization.”

“Both the derivative and mass terms are retained” XIVE.

For $G\in {C_c}^{\infty }(Z;{\mathrm{Sym}}^2{T}^{\ast }M)$, the residual-slot pairing gives an attachment kernel $L_G$ satisfying

It equals the tested sum of $K_4,\dots ,K_9$, is compact, and has

“This is an intermediate attachment-kernel bound, not admission of the final quantum coefficient.”

“Nor does testing each fixed $G$ supply the uniform estimates needed to reconstruct a joint characteristic distribution in all four common variables” XIVE.

In

the two characteristic lifts are

The copied codimensions are

Their intersection is transverse.

The elementary product phase of XIV-E has rank-six auxiliary equations and a codimension-eight critical set. It is neither nondegenerate nor clean.

On the affine transverse slice

the exact identity is

“Equation (eq:copied-quadratic) is a geometric identity, not a scaling degree of a distribution.”

The ending is “Unresolved at E1, within D2/J2” XIVE.

No elementary phase is reconstructed in this paper.

The frozen pair has

and

On $A\times B\times Z$,

The kernels $K_6,K_8,K_9$ are supported on $a=z$.

“The complete mixed germ is therefore a six-branch sum. In particular, neither the coordinate gravitational leg $B_8$ nor the scalar gravitational leg $B_9$ may be omitted.”

The species expression has its inherited mixed factor $i$ and scalar–scalar factor $i/2$. The scalar–scalar channel vanishes only on the retained output-location patch.

For $p^2=0$ and $r=p\otimes k+k\otimes p$,

“The proposition computes only one branch's leading differential numerator. It supplies no sum identity or sum nonvanishing theorem for that complete expression.”

The first unresolved step is D2, within J2 XIVD.

The retained points are

where

and the fixed switch is one near these points.

In the order $(b,a,y)=(x,u,y)$,

This is a smooth codimension-four stratum. For

the differentials have rank two and satisfy

The corresponding oriented conormals have a positive relation.

“Every defined contact change in ${\mathfrak{C}}_{\mathrm{part}}$ for this graph restricts to zero on $V$.”

The first unresolved gate is J2 XIVC.

The neighborhoods $A,B,Y$ have disjoint closures, $\overline{Z}\subset A$, and $B\times A\times Y\subset V$. Their role is kernel localization, not deletion of the characteristic stratum.

The supplied XIII-C inventory contains eleven branches and 48 labelled double cross-contraction matchings. The partial ambiguity class is ${\mathfrak{C}}_{\mathrm{part}}$, with ${\mathfrak{C}}_{\mathrm{tot}}\subseteq {\mathfrak{C}}_{\mathrm{part}}$. The temporal parallel kinetic primitive has scaling degree eight in collision codimension four, with normal contact order at most four.

“The next extension attempt must supply:

1. a joint prescription across the noncoincident characteristic configurations, or a proved cancellation of those configurations in the complete selected pair;

2. uniform transverse scaling and wavefront estimates for the three-vertex and four-vertex collision strata and their intersections;

3. compatible extensions with the permitted partial contacts, rather than only isolated primitive extensions;

4. the full output wavefront estimate after proper pushforward.

” The complete coefficient remains Unresolved XIIIC.

The admitted selected tree datum is

The convention is

On strictly ordered full functional supports, its values are zero or $(i/\hslash )[\mathcal{O},{\mathcal{V}}_g{]}_{{\star }_H}$.

“This proves the relevant support control without proving the singular joint distribution. Properness cannot repair an undefined distribution product, and an extension theorem cannot be substituted for properness” XIIIB.

The slot identity gives

The first response is

where

The response roots satisfy

The completion kernels are admitted tree kernels XIIE.

For $q(\rho )=\eta +\rho \gamma$, the fixed unintegrated cubic representative is

The curvature convention is

The actual source is

Here $C_2$ is the quadratic coefficient of

and

The source is density weighted before variation, at cubic order only XIIC.

No coefficient of ${\mathcal{J}}_{\mathrm{D}}^{\prime }[G]h$ is discarded. In particular, the fact that the retained three points lie above the ramp does not authorize setting source coefficients at unspecified internal vertices to zero.

XIII-E's common-frequency family is a recorded attempt, not a characteristic convergence theorem XIIIE. XIV-A and XIV-B's classical master and relative-complex statements are not analytic inputs.

XIII-A, XIII-D, and XII-F supply evaluation and classical boundaries only. The value $-8I$ is not a normalization. XII-A and XI-B's carrier and inverse normalization are already frozen through the quoted analytic handoffs; no new claim from those papers is used.

Use

The slab, all switches, and $\epsilon >0$ remain fixed. The carrier is

The frozen lines satisfy

and metric–scalar blocks vanish.

The interaction remains

The full observable retains the scalar-sourced slot once:

The target is the retained grouped mixed coefficient

The species factor is unchanged. The cross-line difference stays grouped; no separate mixed $H$–${G_{\mathrm{act}}}^{\mathrm{A}}$ product is declared to exist.

The following endings are fixed before the new calculation:

1. Constructed: a common representation of the complete coefficient with a joint principal-symbol section and a remainder controlling every omitted term, yielding the required cancellation; or one named prescription with its ambient space, reference domain, degree, normalization, ambiguity, and wavefront theorem.

2. Proved obstructed: a demonstrated incompatibility excludes every map in a class specified before the test.

3. Unresolved: the common representation, symbol, remainder, or prescription theorem is missing.

These endings apply to (eq:target), not to the success or failure of an individual geometric shortcut.

For the cancellation ending, disappearance of a leading section must be accompanied by the control actually needed for the remaining grouped distribution. Merely lowering a formal order does not define a product that was undefined.

XIV-E's list is retained:

1. the relevant canonical or characteristic relation in the chosen ambient space;

2. the amplitude orders and the common symbol bundle;

3. the maps accounting for additional internal vertices in $K_5,K_8,K_9$;

4. the observable attachment diagonal and its derivatives;

5. the complete tensor coefficients and the prescribed grouping of the cross-line difference;

6. a remainder estimate that controls every term not represented by the proposed leading section.

Inherited wavefront inclusions do not supply these data.

There is no cutoff of ${\mathcal{N}}^{\circ }$, no restoring limit, and no promotion of $Q\lambda$ to a joint symbol.

The proposed construction is to form the fiber product of the three selected conormal relations and the attachment relation, then reduce it by the copied linear dependence. Its intended excess-two directions are the two components of $\alpha v-\beta w$.

This is a new intrinsic fiber-product audit. It does not reconstruct XIV-E's elementary phase or assert that the rejected phase has become clean.

The construction examined here uses the original common ambient space $W$ and the selected conormal incidences. Before a symbol is assigned, it requires:

1. a clean matching fiber product;

2. a constant-rank reduction to a stated cotangent relation;

3. identification of genuine integration fibers and their dimension;

4. the Lagrangian or paired-Lagrangian geometry required by the proposed calculus;

5. admissible internal compositions for $K_5,K_8,K_9$ and the complete grouped amplitudes.

No new base constraints, resolved ambient space, or additional amplitude-cancellation theorem is silently supplied.

A paired-distribution framework is not obtained merely by naming an excess. The selected route must establish its particular geometric matching before a paired symbol theorem can be used. The Melrose–Uhlmann framework is the intended comparison, not an extension theorem whose hypotheses are assumed MU.

The following remain named but unentered:

1. a common joint-symbol calculus working directly from (eq:regroup) and the conormal relation without constructing a common phase;

2. a continuation of XIII-E's common-frequency family, requiring a new characteristic convergence theorem.

If the selected route fails its geometric test, the paper stops. It does not switch to either alternative.

For smooth maps $f_i:L_i\to W$, a matching fiber product is clean when it is a smooth manifold and its tangent space is exactly the space of tangent tuples with equal images under the differentials $\mathrm{d}{f}_i$.

For canonical composition, clean matching and the appropriate projection hypotheses precede the symbol integral. The clean composition excess is the dimension of the local fibers of that projection, not an arbitrary difference between two rank counts GS (Section 4.1)Wunsch (Section 9).

The test below is precisely this tangent-space test. No clean-composition theorem is applied unless it passes.

All new matching calculations take place in

with coordinate order $(a,b,z,y)$.

The three loci remain distinct:

No three-vertex degree or codimension is substituted for a common-kernel degree or codimension.

We work on the already retained chronological neighborhood

Write

Define the six-constraint stage and the full incidence set by

By the copied zero-locus result,

Near the retained point, $S_6$ is a smooth codimension-six submanifold of $W$. It has the local parameterization

On this manifold,

Consequently $N$ is the angular diagonal ${\mathbf{n}}_1={\mathbf{n}}_2$ in $S_6$, with $\beta =\alpha +\delta$.

Proof. The differentials $\mathrm{d}{q}_1,\mathrm{d}{q}_2$ are independent at the retained points. The four components of $\mathrm{d}(a-z)$ are independent of them because the cone equations have no $z$ component. Thus the six equations define a smooth codimension-six manifold.

The chronology and null equations uniquely write the two successive nonzero future null segments as $\alpha (1,{\mathbf{n}}_1)$ and $\delta (1,{\mathbf{n}}_2)$. Their time components and normalized spatial directions give a smooth inverse to (eq:Sparameter), so this is a local parameterization.

The sum of the two null segments has Minkowski square

It is zero exactly when their unit spatial directions agree.

At $N$, the differential of $q_R{|}_{S_6}$ vanishes, but its zero set has codimension two in $S_6$.

In particular, the copied linear dependence of cone conormals does not permit the equation $q_R=0$ to be deleted while retaining the same base incidence.

Proof. Equation (eq:qR-on-S) is a positive quadratic expression in the relative angular variables. Its first derivative vanishes on the angular diagonal. That diagonal has codimension two in $S^2\times S^2$.

Deleting $q_R=0$ leaves all of $S_6$, of dimension ten, rather than $N$, of dimension eight.

This is the central distinction in the proposed route: the “six constrained directions” stage exists, but the remaining two directions are additional base conditions imposed quadratically. They are not freely varying integration parameters of the full matching manifold.

The four selected conormal incidences are

Here $w$ denotes a point of $W$, not the transverse displacement in (eq:copied-quadratic). The symbol ${\kappa }_{\mu }$ in this section is an attachment covector coordinate, not the interaction coupling.

The zero attachment covector is included to accommodate the copied product-test selection. The conclusions below also hold on the punctured part $\kappa \ne 0$; they do not depend on including zero in that factor.

Each cone hypersurface is smooth near the retained points: its separation vector is nonzero, so its defining differential is nonzero. The attachment conormal is likewise a smooth bundle. We therefore have smooth individual geometric relations before their matching is examined.

Let

In the common incidence coordinates,

This parameterization names the set. It does not establish clean matching or a distributional product.

The fiber product (eq:fiberproduct) is a smooth manifold of dimension fifteen. Its linearized matching space has dimension seventeen at every retained point. Hence the matching is not clean.

Proof. The copied smoothness and codimension of $N={\tilde{\mathcal{N}}}_{\mathrm{att}}$ give

A tangent vector to the product of the four separate conormal relations satisfies linearized base matching precisely when its common base component $u\in T_{w}W$ obeys

The seven frequency variations are unrestricted in this linearized base matching.

Define

The copied cone rank is two. The four attachment differentials are independent of the cone differentials, so the full differential has rank six. Therefore

The linearized matching space has dimension $10+7=17$.

The actual tangent space is $T_{w}N\times T_{\theta }\Theta$, of dimension $8+7=15$. It is strictly smaller than the linearized matching space. This violates the tangent-space equality in the definition of clean matching.

This is an intrinsic matching calculation for the proposed relations, not another phase test. No amplitude or principal symbol has been written.

Let

At a point of $N$, write a base variation as

For a four-vector $\xi$, denote by ${\xi }_{\perp }$ the component of its spatial part in ${\mathbf{n}}^{\perp }$.

The quotient

has dimension two. It is identified with ${\mathbf{n}}^{\perp }$ by

Locally over $N$, these quotients form a smooth rank-two bundle. They are not established clean-composition fibers.

Proof. A vector belongs to ${{\mathcal{T}}_{\mathrm{lin}}}_w$ exactly when

The third cone equation follows from the copied linear relation.

The last two equations allow the decompositions

The tangent vectors to $N$ are precisely those with

for one $\delta \mathbf{n}\in {\mathbf{n}}^{\perp }$. Thus

The map is onto: for any $d_{\perp }\in {\mathbf{n}}^{\perp }$, choose $v=d_{\perp }/\alpha$ and $w=0$.

Its coefficients vary smoothly along $N$, its rank is two, and both ${\mathcal{T}}_{\mathrm{lin}}$ and $TN$ have constant ranks. The quotient is consequently a smooth local bundle.

The two components in (eq:defectmap) are exactly the relative transverse components appearing in XIV-E. Their meaning is now identified: they are linearized matching directions which are not tangents to actual matched configurations.

The copied quadratic expression induces the negative-definite form

on ${{\mathcal{D}}_{\tan }}_w$. Its Hessian is

under the Euclidean identification with ${\mathbf{n}}^{\perp }$.

On compact tangential sets inside $0<\alpha <\beta$, its nondegeneracy is uniform.

On the regular manifold $S_6$, the Hessian of $q_R$ in the relative angular directions is positive definite.

Proof. The copied expression (eq:copied-quadratic) depends on $v,w$ only through $d_{\perp }=\alpha v-\beta w$. Its kernel is the common angular tangent direction, so it descends to the quotient identified in Proposition prop:defect. Differentiation gives the displayed Hessian.

On a compact subset of $0<\alpha <\beta$, the positive denominator has positive lower and finite upper bounds. The Hessian eigenvalues are therefore bounded away from zero in absolute value.

For the last assertion, differentiate (eq:qR-on-S) twice at ${\mathbf{n}}_1={\mathbf{n}}_2$: for tangent angular variations,

It is positive definite on the two relative angular components and zero on the common angular tangent.

A nondegenerate quadratic form on these base-transverse directions does not make them fibers of ${\mathcal{F}}_{\mathrm{match}}\to \Gamma$ for a canonical relation $\Gamma$. They are absent from $T{\mathcal{F}}_{\mathrm{match}}$, not excess directions inside it.

A construction that integrates or resolves these base directions would have to specify a different representation, the map back to $W$, the amplitudes, and the resulting distributional theorem. None follows from the Hessian calculation. Such a construction is not silently substituted for the direct route.

Define the geometric map

This is a sum of cotangent vectors. It is not an oscillatory phase or a principal-symbol definition.

The map $J$ has constant rank fourteen on the retained matching manifold. Its local fibers have dimension one.

Its local image is an isotropic fourteen-dimensional immersed submanifold of $T^{\ast }W$, contained in $N^{\ast }N$ with the zero section allowed. It is not a Lagrangian submanifold of $T^{\ast }W$.

Accordingly, neither the rank-two tangent defect nor the fibers of $J$ justify the specification's clean-excess-two claim.

Proof. For fixed $w\in N$, the differential of $J$ in the seven frequency variables has image

of dimension six.

The base projection of $J$ is the identity on $N$. Its differential maps the eight base tangent directions injectively onto $T_{w}N$ in the base component of $T(T^{\ast }W)$. These directions are independent of the six purely vertical image directions. Thus

The rank is constant.

A vector in $\ker \mathrm{d}J$ must have zero base component. The attachment frequency variation must then be zero, because its $z$ component cannot be canceled by cone covectors. The remaining kernel is the one-dimensional cone-frequency relation

The constant-rank theorem gives one-dimensional local fibers.

Every covector in (eq:sum-map) annihilates $T_{w}N$. Hence the image lies in the conormal bundle of $N$. Let ${\lambda }_{\mathrm{can}}$ be the tautological one-form on $T^{\ast }W$. For every tangent vector to ${\mathcal{F}}_{\mathrm{match}}$, its base component belongs to $T_{w}N$, so

Differentiating gives $J^{\ast }\mathrm{d}{\lambda }_{\mathrm{can}}=0$. Since $J$ has constant rank, its local image is isotropic.

A Lagrangian submanifold of $T^{\ast }W$ has dimension $\dim W=16$. The image has dimension fourteen, so it is not Lagrangian.

The constant-rank requirement passes for this map, but the clean-matching requirement already fails. Passing one requirement does not imply the others.

The relation (eq:conormal-relation) yields a one-dimensional frequency kernel. It does not eliminate the two quadratic base conditions of Corollary cor:notredundant.

None of the numbers in this table is an assigned transverse scaling degree of (eq:target).

Smooth coordinate changes in the individual conormal parameterizations preserve the failure of clean matching.

Adding $k$ freely varying auxiliary parameters adds $k$ to both the actual and linearized matching dimensions. Deleting $k$ freely varying vertical parameters in a local product quotient subtracts $k$ from both dimensions. The two-dimensional tangent discrepancy persists.

In particular, a local quotient by the one-dimensional frequency redundancy in Theorem thm:projection does not convert this matching into a clean one.

Proof. A smooth reparameterization carries both the actual tangent space and the linearized matching space isomorphically to their new descriptions. Their equality or inequality is therefore invariant.

For a free auxiliary factor, both spaces acquire its full tangent space as a direct summand. For a local product quotient by free vertical parameters, both lose the same vertical summand. Their dimension difference remains two.

The frequency kernel in Theorem thm:projection is one-dimensional and vertical. In a local quotient chart, the two dimensions become fourteen and sixteen, respectively, and are still unequal.

The lemma does not rule out a resolved or otherwise different representation. It rules out curing the stated defect merely by relabeling or deleting redundant frequency parameters.

The kernels $K_5,K_8,K_9$ already exist as tree-kernel pushforwards. Using them in a paired-symbol calculus would also require their own canonical relations, clean internal matching, symbol orders, and uniform remainder estimates.

No hidden vertex is set equal to $u_0$, $y_0$, or $x_0$. The present F2 audit requires none of those unproved internal symbol identifications.

Since the proposed final matching has failed its necessary clean test, this paper does not attempt those internal symbol constructions. The existence of the tree kernels is retained; a new symbol theorem for their composition is not inferred from it.

For the selected route of Definition def:route:

1. the six regular base constraints are available;

2. the full selected conormal matching is not clean;

3. the rank-two transverse object is a tangent-defect bundle;

4. the covector-sum projection has one-dimensional, not two-dimensional, local fibers;

5. the stated projected image is not a Lagrangian relation on the named ambient space.

Therefore the direct application of a clean excess-two composition formula to this fiber product is not justified. The selected route stops at F2.

Proof. Proposition prop:regular gives (i). Theorem thm:nonclean gives (ii). Proposition prop:defect gives (iii). Theorem thm:projection gives (iv) and (v). The required clean and Lagrangian hypotheses of the direct route are consequently absent. Lemma lem:persistence shows that the proposed frequency reduction does not remove the failed tangent equality.

The theorem excludes the direct identification of this matching with a clean excess-two construction. It does not exclude every Melrose–Uhlmann-type representation, every resolved composition, or every characteristic prescription.

Nor does it prove that the complete six-branch coefficient has a nonzero singular amplitude on this incidence. Such a conclusion would require the full symbol and remainder analysis, which has not been performed.

No class of all characteristic prescriptions has been proved incompatible. The legal ending for the grouped target is therefore Unresolved, not Proved obstructed.

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:

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:

1. lower-order terms in every numerical line;

2. the two relative transverse directions;

3. derivatives on the observable attachment diagonal;

4. the internal compositions in $K_5,K_8,K_9$;

5. 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.

The geometric exclusion in Theorem thm:route proves neither cancellation nor failure of cancellation of the grouped six-branch coefficient.

Proof. The theorem concerns the clean matching and reduction hypotheses of one selected geometric construction. It assigns no joint amplitude or principal-symbol section to (eq:target). It supplies no estimate for terms remaining after a proposed leading cancellation.

The copied $Q\lambda$ identity concerns $B_6$ alone, and the copied regrouping is a smooth-slot identity. Neither replaces those missing amplitude and remainder data.

No nonzero full joint section has been established. Accordingly, F5 is not entered as a prescription construction. The following is a copied interface, not a map.

A future prescription must name:

1. its ambient graph or common-kernel space;

2. a reference distribution on a proved domain;

3. the exact characteristic locus $N$ across which it extends;

4. agreement with the reference and grouped frozen prescription;

5. a finite uniform transverse degree in stated coordinates;

6. a closed conic wavefront bound retaining off-$N$ singularities;

7. a normalization selecting one map, or a uniqueness theorem under the proved hypotheses.

The three loci ${\mathcal{N}}^{\circ }$, ${\overline{\mathcal{N}}}_{\mathrm{att}}$, and ${\tilde{\mathcal{N}}}_{\mathrm{att}}$ cannot be mixed in one degree or ambiguity statement.

The canonical product is known only on the inherited microlocally admissible domain $U_{\mathrm{can}}$. No identification

is asserted. Naming separate line distributions does not prove a reference joint distribution on that complement.

The copied wavefront requirement remains:

is a prospective bound requiring its own hypotheses. A bound by $N^{\ast }N$ alone would erase every nonsmooth off-$N$ reference point.

For a genuine codimension-four extension problem with degree at least four, smooth tangential multiples of ${\delta }^{(4)}(r)$ remain possible under the copied degree and full-conormal allowances unless a normalization or uniqueness theorem removes them. On the retained collision-free neighborhood, a nonzero such change is not a member of ${\mathfrak{C}}_{\mathrm{part}}$.

The codimension-eight common attachment intersection requires its own extension-stage analysis. No actual degree is assigned here.

Brunetti–Fredenhagen and Dang are recorded extension frameworks BF,Dang. No extension theorem from them is applied: the requisite reference distribution and uniform estimates have not been constructed.

XIII-E's frequency family is not imported as this prescription. No cutoff-and-restore limit, characteristic finite part, or new ambiguity class is introduced.

J3 opens only for a distribution supplied by a successful cancellation or prescription construction. None has been supplied.

The parallel-line degree eight is a collision degree. It is not a degree along ${\mathcal{N}}^{\circ }$, ${\overline{\mathcal{N}}}_{\mathrm{att}}$, or ${\tilde{\mathcal{N}}}_{\mathrm{att}}$, and the Hessian calculation in Proposition prop:quadratic does not change that distinction.

J4 remains closed. No joint characteristic distribution has been glued to singular spectators or compatible partial contacts.

J5 remains closed. Properness is support control for an existing distribution, not a definition of the missing grouped composition or its output wavefront set.

No ${R_1}^{(1)}$ is released. The admitted tree datum is not substituted for it.

No $s_{\mathrm{ext}}$, $s_{\Psi }$, or $s_0$ is applied to the absent quantum coefficient. No binary Ward defect is formed. The classical breaking density and the value $-8I$ neither define nor normalize this graph.

No new gravitational interaction vertex, restriction quotient, state, numerical loop value, characteristic contact, triangle residue, or sharp-width limit is introduced.

For the frozen retained instance:

1. the six regular constraints define $S_6$, and the remaining cone equation is the exact quadratic expression (eq:qR-on-S);

2. the specified conormal fiber product is smooth of dimension fifteen but has a seventeen-dimensional linearized matching space;

3. the resulting tangent-defect quotient is a smooth rank-two bundle identified by (eq:defectmap);

4. its geometric quadratic form is nondegenerate, but the covector-sum projection has one-dimensional local fibers and a fourteen-dimensional isotropic image;

5. these results do not construct a common symbol, complete remainder estimate, or characteristic prescription for (eq:target).

The complete grouped target has the ending Unresolved at F2, within the inherited E1/D2/J2 stop.

No universal characteristic-extension obstruction, admitted ${R_1}^{(1)}$, or Ward defect is asserted.

Proof. Proposition prop:regular and Corollary cor:notredundant prove (i). Theorem thm:nonclean proves (ii). Proposition prop:defect proves (iii). Proposition prop:quadratic and Theorem thm:projection prove (iv).

Theorem thm:route identifies the failed direct construction hypothesis. Proposition prop:noverdict separates it from cancellation of the complete coefficient. Sections sec:F3F4 and sec:F5 record the absent symbol, remainder, and prescription. Under the fixed release criteria, the ending is Unresolved.

The proposed excess is no longer an unexplained rank count. The regular part of the incidence, its quadratic final constraint, its actual tangent defect, and its frequency redundancy have been distinguished.

The smoothness of the matching set and the constant rank of its projection are not enough for clean composition. The tangent-space equality fails, and the stated image does not provide the required Lagrangian geometry.

This diagnoses one direct construction without reopening the copied elementary phase failure. It does not solve the characteristic distribution problem.

A successor receives:

1. the unchanged XIV-E package and grouped target;

2. the selected route and the precise correction to its excess-two wording;

3. the regular manifold $S_6$ and exact formula $q_R=\alpha \delta |{\mathbf{n}}_1-{\mathbf{n}}_2{|}^2$ on it;

4. the non-clean intrinsic conormal matching theorem;

5. the rank-two tangent-defect bundle and its quadratic form;

6. the rank-fourteen projection and one-dimensional frequency fibers;

7. the persistence of the tangent discrepancy under smooth frequency reparameterization;

8. the exact F2 stop, with no symbol or prescription released.

A genuinely different paired or resolved construction must state its new representation and prove its own matching, amplitude, and mapping theorems. It cannot be obtained by calling the tangent defect an excess.

The two other routes remain unentered. The successor receives no failure-of-cancellation theorem and no permission to infer one from $Q\lambda$. It receives no ${R_1}^{(1)}$.

A quadratic normal defect is not an established clean integration fiber. A geometric relation is not a joint symbol. A collision contact is not a characteristic prescription. An undefined quantum coefficient is not an anomaly.

correction. The production specification identified the two relative transverse directions with clean excess two before checking clean matching. This identification is replaced by the proved rank-two tangent-defect statement. The frozen pair, propagators, source, and ambiguity class are not changed.

scope. Only XIV-E, XIV-D, XIV-C, XIII-C, XIII-B, XII-E, and XII-C are analytic manuscript inputs. Their quoted handoffs retain their predecessor scope. Recorded classical boundaries and the prior regulator attempt are not product, phase, or subtraction data.

calculus. Definitions of clean matching and composition excess are used to test the stated geometric construction. No clean-composition, paired-distribution, stationary-phase, or extension theorem is invoked with unchecked hypotheses. The new results are the displayed intrinsic geometric proofs.

of exclusion. The exclusion concerns direct clean-excess-two composition of the specified unrepaired fiber product. It is not a universal obstruction to every paired representation or characteristic prescription, and it does not prove nonvanishing of the complete six-branch amplitude.

scope. The differentiated source is the actual density-weighted Euler source. No layer coefficient or lower-order term is set to zero, and no hidden internal vertex is identified with a retained external point.

scope. No characteristic distribution, renormalized quantum coefficient, Ward defect, interacting differential, state, numerical loop value, or sharp-width limit is constructed.

. No successful pdflatex execution, proof-assistant verification, independently executed symbolic computation, independent referee review, or journal acceptance is asserted. The mathematical release consists of the displayed proofs and the explicit unresolved composition gate.

XIVE

N. Cheung, Landmark XIV-E: Joint symbol of the six-branch retained germ, or one named characteristic prescription. Supplied manuscript XIV-E.tex. Immediate predecessor: exact regrouping, root, tested kernels, characteristic lifts, elementary phase exclusion, quadratic defect, and E1 stop.

XIVD

N. Cheung, Landmark XIV-D: Cancellation or prescription on the retained noncoincident characteristic stratum. Supplied manuscript XIV-D.tex. Frozen pair, species split, six-branch germ, branch-level fiber identity, and D2 stop.

XIVC

N. Cheung, Landmark XIV-C: The joint two-line extension of one selected binary pair: noncoincident characteristic configurations, transverse estimates, and the output wavefront gate. Supplied manuscript XIV-C.tex. Retained characteristic geometry, rank relation, positive conormals, contact rigidity, and J2 stop.

XIIIC

N. Cheung, Landmark XIII-C: The joint two-line extension of one selected binary pair, on the unchanged carrier. Supplied manuscript XIII-C.tex. Inventory, partial-diagonal ambiguity class, primitive extensions, and four successor obligations.

XIIIB

N. Cheung, Landmark XIII-B: One binary causal datum for the displayed coefficient, on the unchanged carrier. Supplied manuscript XIII-B.tex. Tree datum, retarded convention, ordered values, and properness boundary.

XIIE

N. Cheung, Landmark XII-E: Assembly of the second-order relational coefficient after admission of the density-weighted cubic insertion. Supplied manuscript XII-E.tex. Completion formulas, slot sign, response roots, and admitted tree kernels.

XIIC

N. Cheung, Landmark XII-C: One declared cubic weighting: actual Euler source, changed Noether identity, and the coupled-jet question. Supplied manuscript XII-C.tex. Fixed unintegrated cubic representative and actual source.

XIIIE

N. Cheung, Landmark XIII-E: One joint off-collision prescription for the selected binary pair, or its obstruction in the frozen partial-diagonal class. Supplied manuscript XIII-E.tex. Recorded common-frequency attempt only; no characteristic limit is imported.

MU

R. B. Melrose and G. A. Uhlmann, “Lagrangian intersection and the Cauchy problem,” Communications on Pure and Applied Mathematics 32 (1979), 483–519. Paired/intersecting Lagrangian framework; no theorem is applied to the non-clean matching here.

GS

V. Guillemin and S. Sternberg, Semi-classical analysis. Author manuscript. Sections 4.1 and 8.13: clean matching of canonical relations and clean Fourier-integral composition.

Wunsch

J. Wunsch, Microlocal analysis and evolution equations: Lecture notes from the 2008 CMI/ETH Summer School, arXiv:0812.3181. Sections 8–9: Lagrangian distributions, symbols, clean intersections, and composition excess.

Hormander

L. Hörmander, The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, second edition, Springer, 1990; The Analysis of Linear Partial Differential Operators IV: Fourier Integral Operators, Springer, 1985. Distributional wavefront calculus and Fourier-integral composition framework; no unchecked product theorem is invoked.

BF

R. Brunetti and K. Fredenhagen, “Microlocal analysis and interacting quantum field theories: Renormalization on physical backgrounds,” Communications in Mathematical Physics 208 (2000), 623–661, arXiv:math-ph/9903028. Section 6: recorded submanifold extension framework, not applied to the missing characteristic distribution.

Dang

N. V. Dang, “The extension of distributions on manifolds, a microlocal approach,” Annales Henri Poincaré 17 (2016), 819–859, arXiv:1412.2808. Recorded extension wavefront and ambiguity framework; no characteristic extension is imported.