Availability Under Stress
Kind: invariant
Record: reasoning:invariant-availability-under-stress
Canonical: Reasoning
The system stays available under stress
Listed in Reasoning records, after Reliability Under Faults and before Consistency Across Components.