Remark

If (G1)–(G8) were supplied, the pair $(V_{1,g},V_{1,g})$ with quantum $h$ would meet a product of two-point kernels at identified endpoints; the scalar version of that boundary is Theorem thm:nonextension(ii). This is a pointer to where the analysis would begin, not a prediction of its outcome.