W0017: budget_ok

W0017 budget_ok — a memory budget that holds (a note).

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

The rule

When a cell declares a memory budget in its scale section (memory: "256Mi") and the static analysis can bound the cell's peak memory, soma check prints a note such as "✓ budget holds for cell 'Summarizer' while its slots stay within their assumed sizes: peak ≤ 26.48 MiB ≤ declared 256.00 MiB", with a breakdown. The bound assumes each slot stays within its [capacity(N)], [max_key_bytes(N)] and [max_value_bytes(N)] annotations (or default sizes), and the note says these are not enforced at run time. It is informational: nothing needs fixing.

When you see it

soma check prints a memory budget that holds as a note ("✓ budget holds for cell '…' while its slots stay within their assumed sizes: peak ≤ … ≤ declared …"), 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 W0017.