Theorem: Exact H2 verdict

The following internal data have been constructed:

1. the untested regular source incidence;

2. exact kernel maps for $K_8$ and $K_9$, with regular conormal amplitudes on the retained separated-endpoint patch;

3. exact tensor-product pullback formulas for both $K_5$ placements;

4. their regular separated-cone and noncharacteristic-diagonal symbol charts;

5. the clean diagonal/flow-out intersection and the failure of a single ordinary Lagrangian identification there.

A uniform internal amplitude construction across the $K_5$ characteristic-diagonal transition has not been supplied. Hence the complete H2 internal-symbol requirement is Unresolved.

The first missing gate is H2, within G2/F2/E1/D2/J2. H3 is not entered as a characteristic representation construction.

Proof. Proposition prop:sourceincidence proves (i). Proposition prop:K8exact, Corollary cor:K8order, and Proposition prop:K9 prove (ii). Proposition prop:K5exact proves (iii). Propositions prop:K5flow and prop:K5diag prove (iv). Proposition prop:branching proves (v).

None of these results constructs the uniform amplitude map across the identified internal transition. An exact distributional pullback formula is not the required symbol-map theorem. The stated first-missing-gate rule therefore places the stop at H2.