Skip to content
docs
Arxo ↗

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

For LLMs

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.

Documentation for Arxo. Writings — blog.arxo.io.

Anonymous visit counts on stats.arxo.io, no cookies.