LDC-E1333 — Inline deadline-policy block

What it means

Deadline policies used to be written inline inside the case context; that shape is retired. Policies are now declared once at the package level under a name, and every case that needs one passes the name. An inline block in the context position matches the old grammar the current language no longer accepts, so the compiler stops and points at the declaration form that replaced it.

The repair is to lift the block into a package-level deadline-policy declaration and reference it by name from the case. One declaration serves every case; no case carries its own copy.

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        deadline_policy {\n            start next_day;\n        }\n    }\n}\n"}, "expect": "LDC-E1333"}

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"}, "expect": null}

Engine message

The engine reports this in its own wording:

Output

$ROOT/case.law:10:9: error LDC-E1333: inline `deadline_policy { … }` is removed in 0.2; declare `deadline policy Name { … }` and pass `deadline_policy Name;`

Related

• LDC-E1332 — a policy axis in an unresolvable shape.
• Time — the legal time a case runs at.