Markdown for LLMs

LDC-E1209 — Support points at unknown evidence

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

# LDC-E1209 — Support points at unknown evidence

## 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

```law
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

```law
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:

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

## Related

- [LDC-E1208](/diagnostics/LDC-E1208/) — the shape rules for the evidence itself.
- [Facts and evidence](/constructs/facts-and-evidence/) — what case input may carry.