Correct Interactions
Kind: invariant
Record: reasoning:invariant-correct-interactions
Canonical: Reasoning
Interactions between components are correct
Listed in Reasoning records, after Valid State Transitions and before Valid Interfaces and Contracts.