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