The first-missing-gate rule

first-missing-gate rule{ A reference for $K_6+K_8+K_9$ is not the joint map for $K_4+\cdots +K_9$.

A finite normal-jet formula away from $N$ is not a coefficient extension across $N$.

A conditional extension interface is not a prescription.

The first missing gate remains J2.}