Reliability Under Faults
Kind: invariant
Record: reasoning:invariant-reliability-under-faults
Canonical: Reasoning
The system stays reliable under faults
Listed in Reasoning records, after Controlled Memory Usage and before Availability Under Stress.