The named inherited domain

This is a named-domain convention. It does not supply a new list of products beyond the source's grouped target, reconstructed retained sum, cross-line distribution, and specified vertex operations. It does not extend the domain by declaring every collision-free configuration admissible.

XIII-C's graphwise ${\mathcal{U}}_{\Gamma }$ is described by its complete line-wavefront sum condition. The source explicitly does not identify it with the complement of the collision diagonals. This patch also does not identify the collection of those graphwise open sets with $O$ without an inherited graph-to-common-space statement.

A domain can be defined rigorously without one particular complement equation. For example, a complete inventory of proved products and their precise admissibility sets can define it. The refusal below therefore does not mean that an eventual F0 pass is impossible. It means that this proposed shortcut is unavailable.