Fail Secure / Availability
Kind: tension
Record: tension:availability-fail-secure
Canonical: Schema
"fail-secure" (correctness-core layer) is traded against "Availability" (correctness-core layer) — a principle cannot be scope-separated from a quality, metric, or cost it competes with; resolve by measuring "Availability" and choosing an explicit operating point.
Listed in Tensions, after Fail Safe / Availability and before Graceful Degradation / Consistency / Feature Completeness.