Exact release and first stop

release and first stop{ Constructed here: the untested source incidence; exact internal kernel formulas for $K_5,K_8,K_9$; regular conormal representations for $K_8,K_9$; and regular symbol charts and transition geometry for the two $K_5$ placements.

Not constructed: a uniform internal amplitude theorem for the $K_5$ characteristic-diagonal transition. Its defined tensor-product kernel is not promoted to such a theorem.

First stop: Unresolved at H2. Declaring H2 complete and then reporting the same missing theorem at H3 would misstate the dependency.

The clean intersection proved below is not called a non-clean matching. It is not the tangent defect of XIV-F.

No common characteristic representation, joint section, transverse degree, prescription, ${R_1}^{(1)}$, or Ward defect is released.}