Valid Interfaces and Contracts
Kind: invariant
Record: reasoning:invariant-valid-interfaces-and-contracts
Canonical: Reasoning
Interfaces and contracts are valid
Listed in Reasoning records, after Correct Interactions and before Acceptable Execution Time.