LDC-E1324 — Rational entry must be canonical

For LLMs5 sections

What it means

Assertions state ground facts: every argument must already be a value, and rational numbers have exactly one written shape — positive denominator, fully reduced. A fraction that could be reduced further is not that shape, and the compiler stops at the assertion instead of storing a value that matches nothing.

The repair is to reduce the fraction: write the canonical pair the message names. A canonical entry folds into its value form and matches as stated.

Example

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

relation ratio(v: Rational) kind institutional;
assert ratio(2/4);

Fix

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

relation ratio(v: Rational) kind institutional;
assert ratio(1/2);

Engine message

The engine reports this in its own wording:

example.law:6:1: error LDC-E1324: Rational entry in a ground position must be canonical (§168.1, canon E-0005): 2 / 4 is reducible, canonical form is 1 / 2

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

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