Markdown for LLMs

LDC-E1379 — Source-model metadata outside the lowering slice

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

# LDC-E1379 — Source-model metadata outside the lowering slice

This warning identifies an open metadata field on a source-model declaration
or amendment operation that is accepted by the grammar but not emitted into
CLIR. The message names the declaration and field. It does not apply to
unsupported executable semantics or to an invalid value of a known operation
field: those stop compilation. Severity is always warning.

For example, `source S { kind statute; note "extra"; }` keeps the source node
and warns that `note` was skipped. Use a field in the documented lowering
slice when the value must reach CLIR. E1302 remains the error for a contrary
exception under a norm head.