# Verification / Cost

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

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

## tensions-with

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