Module physical_closure 

Cardinality rules for compositional physical endpoints.

A physical endpoint has two independent slots: one constitutive Relation owner and one conserving Connection membership. A Component definition may export either slot unfilled; a closed Model must fill both. Scalar connection compatibility is handled separately in scalar_connection.

Structs

PhysicalEndpointSlots

The two independently composable slots of one physical endpoint.

Enums

PhysicalClosureViolation

Violation of the physical-endpoint cardinality rules.

PhysicalSlot

Whether one physical-endpoint slot has been filled.