docs← Back to article

Markdown for LLMs

LDC-E1354 — Question with no registered case

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

Download this articlePlain text ↗
# LDC-E1354 — Question with no registered case

## What it means

A question runs against a case, and cases are registered in the
package manifest — each with a name and the file that declares it.
When the manifest registers no case at all, there is nothing to run
the question against: the query names a question, but the package
names no situation. The engine refuses before doing anything else.

The repair is to register the case: a manifest entry with its name
and path, plus the file that declares it. A question needs a
situation; registration is how the package provides one.

## Example

```run
{"argv": ["ask", "$ROOT", "--query-id", "Q", "--query", "evaluate truth(sunny());"], "files": {"law.toml": "[package]\nname = \"demo.diagnostics\"\nversion = \"0.1.0\"\nlanguage = \"0.2\"\nnamespace = \"urn:law:demo:diagnostics\"\n"}, "expect": "LDC-E1354"}
```

## Fix

```run
{"argv": ["ask", "$ROOT", "--query-id", "Q", "--query", "evaluate truth(sunny());"], "files": {"law.toml": "[package]\nname = \"demo.diagnostics\"\nversion = \"0.1.0\"\nlanguage = \"0.2\"\nnamespace = \"urn:law:demo:diagnostics\"\n\n[[cases]]\nname = \"Solo\"\npath = \"solo.lawcase\"\n", "package.law": "language \"law.core\" version \"0.2\";\npackage demo.diagnostics version \"0.1.0\";\nnamespace \"urn:law:demo:diagnostics\";\n", "solo.lawcase": "language \"law.core\" version \"0.2\";\npackage demo.diagnostics version \"0.1.0\";\nnamespace \"urn:law:demo:diagnostics\";\n\nrelation sunny() kind institutional;\n\ncase Solo {\n    context {\n        legal_time @2026-08-26;\n    }\n}\n", "law.lock": "{\n  \"dependencyEdges\": [],\n  \"languageSemantics\": \"law.core/0.2.0\",\n  \"lockVersion\": \"0.1\",\n  \"packages\": [],\n  \"resolutionHash\": \"sha256:be03238a8c67b8f0879522d90b0750732ba05663f96df91cea6118d0a84076b1\",\n  \"root\": {\n    \"contentHash\": \"sha256:f6ee452b5a1b1ea60601c67b78a639066f8bda6b184f379b80749633c387331f\",\n    \"name\": \"demo.diagnostics\",\n    \"namespace\": \"urn:law:demo:diagnostics\",\n    \"version\": \"0.1.0\"\n  }\n}\n"}, "expect": null}
```

## Engine message

The engine reports this in its own wording:

```text
{"error":{"code":"LDC-E1354","message":"no case is registered in the package ([[cases]])"}}
```

## Related

- [LDC-E1315](/diagnostics/LDC-E1315/) — lowering a file that declares no case.
- [LDC-E1362](/diagnostics/LDC-E1362/) — a case use with no declared snapshot.