# Formal Verification / Cost/Complexity

> "formal-verification" (computation-core layer) is traded against "Cost/Complexity" (computation-core layer) — a principle cannot be scope-separated from a quality, metric, or cost it competes with; resolve by measuring "Cost/Complexity" and choosing an explicit operating point.

Record: `tension:cost-complexity-formal-verification`
Kind: tension
Canonical: https://banes-lab.com/ontology/schema#tension-cost-complexity-formal-verification

## tensions-with

- [Formal Verification](https://banes-lab.com/records/arch/formal-verification.md)
- [Cost/Complexity](https://banes-lab.com/records/lex/cost-complexity.md)