Markdown for LLMs

LDC-E1314 — Case input is not program

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

# LDC-E1314 — Case input is not program

## What it means

Cases, tests, evidence blocks, and context profiles are computation
input, not program: they ride the evaluation but lower into no node.
The compiler notes each such block with an informational warning — a
marker of where the program ends and its input begins, not a refusal.

There is nothing to repair in the usual sense: the warning confirms
the block travels as input. If the block was meant to state law, move
its content into a rule, a fact, or another norm-bearing declaration.

## Example

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

entity Applicant;
case Demo {
}
```

## Fix

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

entity Applicant;
```

## Engine message

The engine reports this in its own wording:

```text
example.law:6:6: warning LDC-E1314: case `Demo` is not part of the package program: the §168 case body is computation input, not a norm; no CLIR node is generated
```

## Related

- [Facts and evidence](/constructs/facts-and-evidence/) — what case input may carry.
- [LDC-E1208](/diagnostics/LDC-E1208/) — the shape rules for evidence inside a case.