Verification / Cost

Kind: tension

Record: tension:cost-verification

Canonical: Schema

"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.

Listed in Tensions, after Validation / Iteration Speed and before Portability / Platform Optimization.

In tension with

Mechanism

Linked from