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