LDC-E1378 — Entity name assigned twice

What it means

A case can attach display labels to an entity: one name per language and status. Two labels with the same language and status but different text assign the entity two different names in the same seat — the case calls it one thing and another. The compiler stops at the block: a name assigned twice is no name the reader can trust.

The repair is to keep one label per language and status. Translations into other languages, or other statuses, are separate seats; the same seat holds exactly one text.

Example

run

{"argv": ["lower-case", "$ROOT/case.law"], "files": {"case.law": "language \"law.core\" version \"0.2\";\npackage demo.diagnostics version \"0.1.0\";\nnamespace \"urn:law:demo:diagnostics\";\n\nentity A;\n\ncase Solo {\n    context {\n        legal_time @2026-08-26;\n    }\n\n    entity_labels \"urn:law:demo:diagnostics#e1\" {\n        label ru official \"claim one\";\n        label ru official \"claim two\";\n    }\n}\n"}, "expect": "LDC-E1378"}

Fix

run

{"argv": ["lower-case", "$ROOT/case.law"], "files": {"case.law": "language \"law.core\" version \"0.2\";\npackage demo.diagnostics version \"0.1.0\";\nnamespace \"urn:law:demo:diagnostics\";\n\nentity A;\n\ncase Solo {\n    context {\n        legal_time @2026-08-26;\n    }\n\n    entity_labels \"urn:law:demo:diagnostics#e1\" {\n        label ru official \"claim one\";\n    }\n}\n"}, "expect": null}

Engine message

The engine reports this in its own wording:

Output

$ROOT/case.law:12:5: error LDC-E1378: entity_labels "urn:law:demo:diagnostics#e1": two labels of language ru and status official differ in text or forms — one name is assigned twice (§168.6, DECISION-0394)

Related

• LDC-E1315 — lowering a file that declares no case.