# Shrinking/Debug Complexity

> The degree to which reducing a failing generated case to a minimal example adds debugging complexity.

Record: `lexicon:shrinking-debug-complexity`
Kind: quality-attribute
Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-shrinking-debug-complexity

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Runtime Adaptivity](https://banes-lab.com/records/lexicon/runtime-adaptivity.md) and before [Spec Maintenance](https://banes-lab.com/records/lexicon/spec-maintenance.md).

## Category

- [Correctness / Determinism / Verification](https://banes-lab.com/records/lexicon-category/correctness-determinism-verification.md)

## In tension with

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

## Linked from

- [Correctness / Determinism / Verification](https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md)
- [The resolutions](https://banes-lab.com/ontology/schema/the-resolutions.md)