LDC-E1325 — Computable term in a ground position

For LLMs5 sections

What it means

Assertions state ground facts: every argument must already be a value, never a computation. An arithmetic expression, a conditional, a call, or any other computable shape in an argument would be stored as syntax and silently drop out of value matching, so the compiler stops at the assertion instead.

The repair is to compute first and state the result: write the value the term would produce. A ground argument matches exactly as stated.

Example

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

relation sized(n: Integer) kind institutional;
assert sized(1+2);

Fix

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

relation sized(n: Integer) kind institutional;
assert sized(3);

Engine message

The engine reports this in its own wording:

example.law:6:1: error LDC-E1325: computable term (binary) in an argument ground position — outside the §168.1 slice: it would be stored syntactically and silently drop out of value matching

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

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