Markdown for LLMs

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

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

# 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

```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

```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:

```text
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](/constructs/priority/) — how competing rules are ordered.