Gate K: restricted sharp separation and kernel evaluation

The test direction $k=\square H$ is off shell. Equation (eq:compactinverse) is an identity for the fixed Cauchy inverse on compact zero-data tests, not an equation-of-motion restriction on configurations.