LDC-E4111 — A priority between a norm and a literal

What it means

Rules that produce norms and rules that produce plain conclusions settle their conflicts in different places: norms collide over effects, literals over a single claim. A priority edge drawn across that boundary is never consulted on any reasoning path, so it never applies.

The compiler warns and keeps the package green. Remove the edge; if two norms genuinely collide, order those two instead.

Example

Arxo Law

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

entity A;
entity B;
relation p(a: A) kind institutional;
relation q(b: B) kind institutional;
relation declared(a: A, b: B) kind institutional;
relation stopped(b: B) kind institutional;
rule pow defeasible { for a: A; for b: B; scope p(a) and q(b); when q(b); then power Something { holder a; exercise declared(a, b); valid_when q(b); effect stopped(b); }; }
rule lit defeasible { for b: B; when q(b); then stopped(b); }
priority e1: pow > lit reason demo.diagnostics.pow;

Fix

Arxo Law

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

entity A;
entity B;
relation p(a: A) kind institutional;
relation q(b: B) kind institutional;
relation declared(a: A, b: B) kind institutional;
relation stopped(b: B) kind institutional;
rule pow defeasible { for a: A; for b: B; scope p(a) and q(b); when q(b); then power Something { holder a; exercise declared(a, b); valid_when q(b); effect stopped(b); }; }
rule lit defeasible { for b: B; when q(b); then stopped(b); }

Engine message

The engine reports this in its own wording:

Output

example.law:13:10: warning LDC-E4111: priority between provably non-conflicting rules "pow" and "lit" — "pow" derives a NORM, "lit" derives a literal (§192). Norm conflicts are about colliding effects §127–§128, literal conflicts are about a single atom's §111 group; no path consults an edge between them and it never applies

Related

• Priority — how competing rules are ordered.