Formal Verification / Cost/Complexity
Kind: tension
Record: tension:cost-complexity-formal-verification
Canonical: Schema
"formal-verification" (computation-core layer) is traded against "Cost/Complexity" (computation-core layer) — a principle cannot be scope-separated from a quality, metric, or cost it competes with; resolve by measuring "Cost/Complexity" and choosing an explicit operating point.
Listed in Tensions, after Correctness / Delivery Speed and before Specification-Based Testing / Spec Maintenance.