Markdown for LLMs

LDC-E1374 — Assertion origin outside the dictionary

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

# LDC-E1374 — Assertion origin outside the dictionary

## What it means

Every asserted fact carries an origin: where it came from — case
input, a source, a snapshot, a derivation. The origins list is closed,
because the engine accepts a fact into support only through a known
provenance. An origin outside the dictionary leaves the fact
unacceptable: support can neither hold it nor reject it for a
reason. The compiler stops at the unknown origin.

The repair is to use one of the listed origins. A fact without a
recognized provenance is indistinguishable from no fact at all.

## Example

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

relation p(x: Text) kind institutional;
assert "a0": p("x") {
    origin bogus;
}
```

## Fix

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

relation p(x: Text) kind institutional;
assert "a0": p("x") {
    origin case_input;
}
```

## Engine message

The engine reports this in its own wording:

```text
example.law:7:12: error LDC-E1374: assert: origin "bogus" is outside the §73 dictionary (allowed: case_input, source_asserted, external_snapshot, derived, adjudicated, assumed_for_simulation); the engine does not accept such a fact into support
```

## Related

- [Facts and evidence](/constructs/facts-and-evidence/) — asserting what holds.
- [LDC-E1368](/diagnostics/LDC-E1368/) — assertions contradicting a key.