Static Analysis / False Positives
Kind: tension
Record: tension:false-positives-static-analysis
Canonical: Schema
"static-analysis" (computation-core layer) is traded against "False Positives" (structural-core layer) — a principle cannot be scope-separated from a quality, metric, or cost it competes with; resolve by measuring "False Positives" and choosing an explicit operating point.
Listed in Tensions, after Property-Based Testing / Shrinking/Debug Complexity and before Testability / Encapsulation Extremes.