# Consistency Across Components

> Components stay consistent with each other

Record: `reasoning:invariant-consistency-across-components`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-invariant-consistency-across-components

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Availability Under Stress](https://banes-lab.com/records/reasoning/invariant-availability-under-stress.md) and before [Required Determinism](https://banes-lab.com/records/reasoning/invariant-deterministic-behavior-where-required.md).

## Surfaces

- [consistency-correctness](https://banes-lab.com/records/reasoning/test-surface-consistency-correctness.md)

## Linked from

- [The test surfaces](https://banes-lab.com/ontology/reasoning/the-test-surfaces.md)
