Preconditions / Permissive APIs
Kind: tension
Record: tension:permissive-apis-preconditions
Canonical: Schema
"preconditions" (contracts-core layer) is traded against "Permissive APIs" (contracts-core layer) — a principle cannot be scope-separated from a quality, metric, or cost it competes with; resolve by measuring "Permissive APIs" and choosing an explicit operating point.
Listed in Tensions, after Semantic Contracts / Cross-Domain Translation and before Postconditions / Runtime Cost.