W0010: cost_proven

W0010 cost_proven — a cost bound that is proven (a note).

A warning of soma check, the checker of the Soma programming language (soma explain W0010).

The rule

When a cell declares cost { tokens: N } and every think() call it can make has a literal max_tokens cap and runs a known number of times, soma check proves the bound and prints a note such as "✓ cost: 'tokens' bound proven — peak 500 reply tokens (the max_tokens caps) ≤ declared 500". The bound covers reply tokens only; prompt tokens are capped separately with set_budget. This is good news, not a fault: nothing needs fixing.

When you see it

soma check prints a proven cost bound as a note ("✓ cost: 'tokens' bound proven — peak 500 reply tokens …"), and notes carry no code: the human output has no = code: line and the --json "notes" entries have only "level" and "message". So no output of soma check ever shows W0010.