LDC-E1364 — Export of an unknown record

What it means

Exporting a case selects records by identifier: the named assertions leave the case as a snapshot others can compose. A name that matches no record in the case selects nothing — a typo, or a record from a different case. The exporter stops and lists what the case actually holds rather than writing an empty snapshot.

The repair is to name a record the case contains. Anonymous assertions cannot be exported either: without an explicit identifier a record does not survive re-lowering, so only named records travel.

Example

run

{"argv": ["export-case", "$ROOT", "--case", "Solo", "--record", "Ghost", "--out", "$ROOT/out"], "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": "LDC-E1364"}

Fix

run

{"argv": ["export-case", "$ROOT", "--case", "Solo", "--record", "r1", "--out", "$ROOT/out"], "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    assert \"r1\": sunny() {\n        origin case_input;\n    }\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-E1364","message":"record Ghost not found in the case; exportable: none (§168.5)"}}

Related

• LDC-E1362 — a case use with no declared snapshot.
• Facts and evidence — asserting what holds.