Sharp signalling speed

This proposition certifies separation of complete propagated interfaces, not merely separation of the original name labels. For syntactic subcomputations with the corresponding ownership interfaces, it supplies the geometric disjointness needed to apply the selected calculus's disjoint-support results.