Full branch content and the characteristic locus

There is no supplied identification reducing the relevant characteristic coefficient locus to a single point. Accordingly, Theorem thm:pointcorrection is not applied to this graph. The general closed-set estimate interface is the applicable abstract starting point. Any use of Theorem thm:jetextension must also verify that the chosen $N_U$ is relatively closed in its chart.