Module physical_closure 

Cardinality algebra for compositional physical endpoints.

A physical endpoint has two independent semantic slots: one constitutive Relation owner and one conserving Connection membership. Component definitions may export either slot unfilled; a closed Model must fill both. This contract deliberately says nothing about scalar connection compatibility, which is owned by scalar_connection.

Structs

PhysicalEndpointSlots

The two independently composable slots of one physical endpoint.

Enums

PhysicalClosureViolation

Failure to preserve the physical-endpoint cardinality invariant.

PhysicalSlot

Whether one physical-endpoint slot has been filled.