LDC-E1314 — Case input is not program

For LLMs5 sections

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

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

entity Applicant;
case Demo {
}

Fix

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:

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

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

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