Manuscript XIV-C@1 · XIV-C.tex · section · a34d13df

J4: the contact and gluing obligation is not reached

The J2 verdict and the unentered downstream gates › J4: the contact and gluing obligation is not reached · lines 1273–1293

Back to manuscript

The primitive contacts copied in J1 remain available on their established domains. A joint construction would have to multiply them by their singular spectators, impose the inherited subgraph normalizations, and prove agreement on every overlap.

No overlap agreement follows from the finite bound . No contact is selected after seeing the characteristic diagnostic to force a desired value.

Strict full-support ordering prevents an interaction attachment from coinciding with an observable attachment. Thus permitted collision contacts must leave those ordered regions unchanged, as copied from XIII-C. They must also leave the tree coefficient unchanged because they start at in the time-ordered product. These remain normalization requirements, not a completed gluing proof. J4 is not opened.