LDC-E1209 — Support points at unknown evidence

For LLMs5 sections

What it means

A support link ties one case item to evidence from the same case: the named evidence must be declared in that case, and the link word must come from the closed support dictionary. A link that cites evidence the case never declares — or uses a link word outside the dictionary — stops the compiler at the link.

The repair is to declare the missing evidence in the case, or to point the link at evidence that is already there. The passing file below keeps the package the case belongs to.

Example

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

entity Applicant;
relation listed(p: Applicant) kind institutional;
case Demo {
    support Ghost supports listed(x);
}

Fix

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

entity Applicant;

Engine message

The engine reports this in its own wording:

example.law:8:13: error LDC-E1209: case "Demo": support references undeclared local evidence "Ghost" (§61)

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

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