The actual quantum target

Let $H$ and $H_T$ be the fixed species-valued Hadamard and time-ordered bidistributions of the selected free carrier. The source convention is

Their complete species normalizations and graded signs are inherited inputs. The even mixed sector considered here is $\gamma \varphi$.

For $W\subset M_a\times M_b\times M_z\times M_y$, define the grouped cross-line data

with the indicated shared-variable pullbacks performed only on their proved domains.

The source-selected interaction is

The formal retained target is

The contraction includes the specified vertex derivatives, fiber coefficients, and output operations. The difference remains grouped; no mixed $H$–$G_{\mathrm{act}}$ expansion is declared defined across the characteristic locus.

Let $U_{\mathrm{can}}$ be the open domain on which the relevant product and pullback wavefront criteria are satisfied. Let $N\subset W$ be the selected closed characteristic locus. For the independent interface results, $N$ is an explicitly declared closed input set. The excerpts name the inherited $N={\tilde{\mathcal{N}}}_{\mathrm{att}}$, but do not give its complete defining chart and incidence equations. We therefore do not identify it with the complement of $U_{\mathrm{can}}$, nor claim to have recomputed its codimension.

The supplied releases report:

1. XIV-H: exact internal kernels and charts, but the uniform transition amplitude unresolved at H2;

2. XIV-I: that named internal amplitude constructed at I2, with both placements and lower-degree remainder; the full grouped characteristic map unresolved at I3;

3. XIV-J: a supported-sector reference off its characteristic locus and a conditional coefficient-extension interface; the full map unresolved at J2;

4. XV-B: abstract descent and relative-lifting theorems, but the inherited full map still unresolved at its B1 continuation.

These are source records CheungXIVH,CheungXIVI,CheungXIVJ,CheungXVB. The H2 amplitude gap is historical after I2. The missing operation is not reclassified as an absent internal tree distribution.