Markdown for LLMs

LDC-W2404 — Unchecked computability expectation

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# LDC-W2404 — Unchecked computability expectation

The lower-bound analysis checks relation, function and rule declarations.
An annotation on another subject warns. Expectations for
`PARTIAL_MISSING_INPUT`, `CONFLICTED`, `UNSTRATIFIED_NON_EXECUTABLE`, or
`INTERPRETATION_DEPENDENT` also warn: this analysis cannot verify them.
The annotation remains accepted; this warning is not a computability certificate.
Unknown class names are E2402 errors. A proven dependency above the declared
bound is an E2401 error, including transitive external opaque dependencies.

See SPEC [§47.5](https://github.com/arxohq/law/blob/master/spec/SPEC.ru/08-part-viii-type-system.ru.md#475-computability-classification).