Markdown for LLMs

LDC-E4702 — A non-strict rule in the acceptance phase

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

# LDC-E4702 — A non-strict rule in the acceptance phase

## What it means

The acceptance phase runs only the strict fragment: every rule on the
phase list must be strict. A defeasible rule, a default, or a defeater
among them cannot execute there, and the compiler refuses the rule at
the policy.

Make the rule strict, or take it off the phase list.

## Example

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

entity Thing;
relation paid(t: Thing) kind empirical;
relation ev_edge(edge: Text, doc: Text, link: Text) kind empirical;
relation accepted_support(edge: Text) kind institutional;
rule Judge defeasible { for edge: Text; for doc: Text; when ev_edge(edge, doc, "supports"); then accepted_support(edge); }
evidence policy EvpV1 {
profile "law.core.evidence-policy/0.1";
accepts accepted_support;
protects paid;
input edge ev_edge;
rule Judge;
}
```

## Fix

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

entity Thing;
relation paid(t: Thing) kind empirical;
relation ev_edge(edge: Text, doc: Text, link: Text) kind empirical;
relation accepted_support(edge: Text) kind institutional;
rule Judge strict { for edge: Text; for doc: Text; when ev_edge(edge, doc, "supports"); then accepted_support(edge); }
evidence policy EvpV1 {
profile "law.core.evidence-policy/0.1";
accepts accepted_support;
protects paid;
input edge ev_edge;
rule Judge;
}
```

## Engine message

The engine reports this in its own wording:

```text
example.law:10:1: error LDC-E4702: evidence policy urn:law:demo:diagnostics#EvpV1: rule urn:law:demo:diagnostics#Judge is not strict — the acceptance phase executes only the strict §103 fragment (§78.2.5)
```

## Related

- [Facts and evidence](/constructs/facts-and-evidence/) — what an assertion carries.