# Postconditions / Runtime Cost

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

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

## tensions-with

- [Postconditions](https://banes-lab.com/records/arch/postconditions.md)
- [Runtime Cost](https://banes-lab.com/records/lex/runtime-cost.md)