W0005: unverifiable_promise

W0005 unverifiable_promise — a descriptive promise the compiler cannot check.

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

The rule

A promise in a face written as free text (promise "answers in under two seconds") is something the compiler cannot check, so soma check treats it as documentation and prints a note saying so. It does not fail the check. If the promise matters, express it as something the compiler does check, such as a memory invariant, a face requires / ensures clause, a cost bound or a soma.toml verify property.

When you see it

soma check prints this diagnostic as a note ("note: promise on 'Summarizer' is documentation (not machine-verifiable): …"), 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 W0005.