The first-missing-gate rule

H2 is a prerequisite, not a label that may be passed by recording an existing tree kernel. If its required internal amplitude theorem is missing, the paper stops there. H3 cannot be declared reached by renaming that same gap.

No characteristic prescription is opened. There is no retry of the factorwise product of XIV-G.