# Reliability Under Faults

> The system stays reliable under faults

Record: `reason:invariant-reliability-under-faults`
Kind: invariant
Canonical: https://banes-lab.com/ontology/reasoning#reason-invariant-reliability-under-faults

## surfaces

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

## referenced-by

- [Reliability Correctness](https://banes-lab.com/records/reason/test-surface-reliability-correctness.md)