disconnected_from
disconnected_from
RCC-8 DC: two regions share no points at all. Minted as its own directly-glossed microframe rather than derived from absence, so it stays cheaply testable in a simulation step (schema_dynamics.md ยง5, redesign_proposal.md ยง10.1).
Frame Elements
Domain
Domain
Domain
Range
Range
Range