Markdown for LLMs

LDC-E1333 — Inline deadline-policy block

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

# 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:

```text
$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](/diagnostics/LDC-E1332/) — a policy axis in an unresolvable shape.
- [Time](/constructs/time/) — the legal time a case runs at.