LDC-E1373 — Source link outside the dictionary

What it means

A source annotation records how a declaration relates to its source: it formalizes it, quotes it, interprets it, and so on. Its named attributes are limited to relation, coverage, and quote. Unknown attribute names and relation/coverage values outside their closed dictionaries are refused at the annotation, including declarations nested in an interpretation. Valid attributes are preserved in typed anchor nodes; a misspelled name must not silently disappear during lowering. Quote shape and inclusion are checked separately by E5208.

The repair is to use one of the listed relations. The annotation describes the link; it must speak the language the tooling reads.

Example

Arxo Law

language "law.core" version "0.2";
package demo.diagnostics version "0.1.0";
namespace "urn:law:demo:diagnostics";

@source(relation = "bogus")
entity A;

Fix

Arxo Law

language "law.core" version "0.2";
package demo.diagnostics version "0.1.0";
namespace "urn:law:demo:diagnostics";

@source(relation = "formalizes")
entity A;

Engine message

The engine reports this in its own wording:

Output

example.law:5:1: error LDC-E1373: @source: relation = "bogus" — value outside the §33 dictionary (allowed: formalizes, interprets, quotes, paraphrases, derives_from, applies, limits, invalidates, distinguishes); a link attribute is not lowered into CLIR (errata E-0183), and a typo is otherwise caught by nothing

Related

• Sources — anchoring declarations to their sources.