# Property-Based Testing / Shrinking/Debug Complexity

> "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.

Record: `tension:property-based-testing-shrinking-debug-complexity`
Kind: tension
Canonical: https://banes-lab.com/ontology/schema#tension-property-based-testing-shrinking-debug-complexity

## tensions-with

- [Property-Based Testing](https://banes-lab.com/records/arch/property-based-testing.md)
- [Shrinking/Debug Complexity](https://banes-lab.com/records/lex/shrinking-debug-complexity.md)