Skip to content
docs
Arxo ↗

LDC-E1374 — Assertion origin outside the dictionary

For LLMs5 sections

What it means

Section titled “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

Section titled “Example”
Arxo 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

Section titled “Fix”
Arxo 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

Section titled “Engine message”

The engine reports this in its own wording:

Output
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
Section titled “Related”

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

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