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:

Output

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

Related

• LDC-E1315 — lowering a file that declares no case.
• LDC-E1362 — a case use with no declared snapshot.