Protocol Compliance

Kind: invariant

Record: reasoning:invariant-protocol-compliance

Canonical: Reasoning

Communication complies with its protocol

Listed in Reasoning records, after Security Boundaries and before Configuration Validity.

Surfaces

• protocol-correctness

Linked from

• The test surfaces