Reasoning

Consistency Across Components

Kind: invariant

Record: reasoning:invariant-consistency-across-components

Canonical: Reasoning

Components stay consistent with each other

Listed in Reasoning records, after Availability Under Stress and before Required Determinism.

Surfaces

  • consistency-correctness

Linked from

  • The test surfaces