Markdown for LLMs

Diagnostics

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

# Diagnostics

every engine diagnostic code with its meaning, a failing example, and the fix — each example verified against the engine

## Compiler

### E0 · Syntax

| Code | Meaning |
|---|---|
| [LDC-E0101](/diagnostics/LDC-E0101/) | A character the reader does not accept |
| [LDC-E0102](/diagnostics/LDC-E0102/) | A comment or string left unclosed |
| [LDC-E0103](/diagnostics/LDC-E0103/) | Retired Unicode-slice refusal |
| [LDC-E0104](/diagnostics/LDC-E0104/) | An escape the string does not define |
| [LDC-E0201](/diagnostics/LDC-E0201/) | The sentence stops where the language does not expect it |
| [LDC-E0202](/diagnostics/LDC-E0202/) | A block the file never closes |
| [LDC-E0203](/diagnostics/LDC-E0203/) | A keyword cannot be used as a name |
| [LDC-E0204](/diagnostics/LDC-E0204/) | A let without a written type |
| [LDC-E0205](/diagnostics/LDC-E0205/) | A match arm the slice does not read |
| [LDC-E0206](/diagnostics/LDC-E0206/) | A value the slice does not store |
| [LDC-E0207](/diagnostics/LDC-E0207/) | An underscore outside its one lawful slot |

### E1 · Names, imports and packages

| Code | Meaning |
|---|---|
| [LDC-E1101](/diagnostics/LDC-E1101/) | Package name segment outside the canonical syntax |
| [LDC-E1102](/diagnostics/LDC-E1102/) | A package cannot import itself |
| [LDC-E1103](/diagnostics/LDC-E1103/) | The same package imported twice |
| [LDC-E1104](/diagnostics/LDC-E1104/) | Import without a presented dependency |
| [LDC-E1105](/diagnostics/LDC-E1105/) | Unresolved qualified reference |
| [LDC-E1106](/diagnostics/LDC-E1106/) | Transitive import outside the lock |
| [LDC-E1107](/diagnostics/LDC-E1107/) | StableId claimed by two packages |
| [LDC-E1108](/diagnostics/LDC-E1108/) | Files disagreeing about the package |
| [LDC-E1109](/diagnostics/LDC-E1109/) | Manifest diverging from the header |
| [LDC-E1110](/diagnostics/LDC-E1110/) | Standard-library import with the wrong version |
| [LDC-E1111](/diagnostics/LDC-E1111/) | Manifest dependency without an import |
| [LDC-E1112](/diagnostics/LDC-E1112/) | Two versions of one package in a world |
| [LDC-E1113](/diagnostics/LDC-E1113/) | A package cannot claim a standard-library name |
| [LDC-E1114](/diagnostics/LDC-E1114/) | Unknown standard-library package |
| [LDC-E1116](/diagnostics/LDC-E1116/) | Undeclared cross-file reference |
| [LDC-E1117](/diagnostics/LDC-E1117/) | Reserved diagnostic code |
| [LDC-E1118](/diagnostics/LDC-E1118/) | Reserved diagnostic code |
| [LDC-E1201](/diagnostics/LDC-E1201/) | Name already declared in this package |
| [LDC-E1205](/diagnostics/LDC-E1205/) | Counterfactual with the wrong shape |
| [LDC-E1206](/diagnostics/LDC-E1206/) | Context profile extension cycle |
| [LDC-E1207](/diagnostics/LDC-E1207/) | Context profile field set twice |
| [LDC-E1208](/diagnostics/LDC-E1208/) | Evidence block has the wrong shape |
| [LDC-E1209](/diagnostics/LDC-E1209/) | Support points at unknown evidence |
| [LDC-E1301](/diagnostics/LDC-E1301/) | Missing namespace header |
| [LDC-E1302](/diagnostics/LDC-E1302/) | Contrary unless-then under a norm head |
| [LDC-E1303](/diagnostics/LDC-E1303/) | Defeater without head |
| [LDC-E1304](/diagnostics/LDC-E1304/) | Relation key names an undeclared parameter |
| [LDC-E1305](/diagnostics/LDC-E1305/) | Required-field and lowering errors |
| [LDC-E1306](/diagnostics/LDC-E1306/) | Integer literal outside the 64-bit range |
| [LDC-E1307](/diagnostics/LDC-E1307/) | Reference missing its resolution axis |
| [LDC-E1308](/diagnostics/LDC-E1308/) | Noncanonical defeater spelling |
| [LDC-E1309](/diagnostics/LDC-E1309/) | Fiction over an empirical relation |
| [LDC-E1311](/diagnostics/LDC-E1311/) | Procedure without exactly one initial state |
| [LDC-E1312](/diagnostics/LDC-E1312/) | Transition to an undeclared state |
| [LDC-E1313](/diagnostics/LDC-E1313/) | Transition out of a terminal state |
| [LDC-E1314](/diagnostics/LDC-E1314/) | Case input is not program |
| [LDC-E1315](/diagnostics/LDC-E1315/) | No case to lower |
| [LDC-E1316](/diagnostics/LDC-E1316/) | A test that asserts nothing |
| [LDC-E1317](/diagnostics/LDC-E1317/) | Free variable in a comprehension |
| [LDC-E1318](/diagnostics/LDC-E1318/) | Priority over an out-of-scope rule |
| [LDC-E1319](/diagnostics/LDC-E1319/) | Expectation outside the vocabulary |
| [LDC-E1320](/diagnostics/LDC-E1320/) | Case import without a version |
| [LDC-E1321](/diagnostics/LDC-E1321/) | Declaration the compiler does not lower |
| [LDC-E1322](/diagnostics/LDC-E1322/) | Free variable in a definition body |
| [LDC-E1324](/diagnostics/LDC-E1324/) | Rational entry must be canonical |
| [LDC-E1325](/diagnostics/LDC-E1325/) | Computable term in a ground position |
| [LDC-E1326](/diagnostics/LDC-E1326/) | Map over a non-enum domain |
| [LDC-E1327](/diagnostics/LDC-E1327/) | Fact group from an unpresented dependency |
| [LDC-E1329](/diagnostics/LDC-E1329/) | Duplicate clause in a rule block |
| [LDC-E1330](/diagnostics/LDC-E1330/) | Bare name is not a term |
| [LDC-E1331](/diagnostics/LDC-E1331/) | Duplicate anonymous assert |
| [LDC-E1332](/diagnostics/LDC-E1332/) | Malformed policy axis in a case |
| [LDC-E1333](/diagnostics/LDC-E1333/) | Inline deadline-policy block |
| [LDC-E1334](/diagnostics/LDC-E1334/) | Term duration in a wrong unit |
| [LDC-E1335](/diagnostics/LDC-E1335/) | Repeated expansion definition |
| [LDC-E1336](/diagnostics/LDC-E1336/) | Expansion reference resolves nothing |
| [LDC-E1337](/diagnostics/LDC-E1337/) | Instance breaks the expansion contract |
| [LDC-E1338](/diagnostics/LDC-E1338/) | Instance name already declared |
| [LDC-E1339](/diagnostics/LDC-E1339/) | Instance without a label |
| [LDC-E1340](/diagnostics/LDC-E1340/) | Expansion alias without a pin |
| [LDC-E1341](/diagnostics/LDC-E1341/) | Expansion list over budget |
| [LDC-E1342](/diagnostics/LDC-E1342/) | Priority role the definition never exports |
| [LDC-E1343](/diagnostics/LDC-E1343/) | Event constructor misses required fields |
| [LDC-E1344](/diagnostics/LDC-E1344/) | Transition on a non-event name |
| [LDC-E1345](/diagnostics/LDC-E1345/) | Parallel state with one region |
| [LDC-E1346](/diagnostics/LDC-E1346/) | Recurring schedule that never advances |
| [LDC-E1347](/diagnostics/LDC-E1347/) | Transition carrier of a non-event type |
| [LDC-E1348](/diagnostics/LDC-E1348/) | Transition guard reads above the fold |
| [LDC-E1349](/diagnostics/LDC-E1349/) | Completed names no instance |
| [LDC-E1350](/diagnostics/LDC-E1350/) | Two binders for one activation |
| [LDC-E1351](/diagnostics/LDC-E1351/) | Automaton member name taken twice |
| [LDC-E1352](/diagnostics/LDC-E1352/) | Label with no bearer |
| [LDC-E1353](/diagnostics/LDC-E1353/) | Bad evaluation mode |
| [LDC-E1354](/diagnostics/LDC-E1354/) | Question with no registered case |
| [LDC-E1355](/diagnostics/LDC-E1355/) | Case-package root outside its composition |
| [LDC-E1356](/diagnostics/LDC-E1356/) | Question without an identifier |
| [LDC-E1357](/diagnostics/LDC-E1357/) | Foreign policy of the wrong kind |
| [LDC-E1358](/diagnostics/LDC-E1358/) | Ask world escapes the lock closure |
| [LDC-E1359](/diagnostics/LDC-E1359/) | Ask profile version mismatch |
| [LDC-E1360](/diagnostics/LDC-E1360/) | Snapshot content collision in composition |
| [LDC-E1361](/diagnostics/LDC-E1361/) | Same case twice in a composite |
| [LDC-E1362](/diagnostics/LDC-E1362/) | Case use without a snapshot |
| [LDC-E1363](/diagnostics/LDC-E1363/) | Snapshot in a test file |
| [LDC-E1364](/diagnostics/LDC-E1364/) | Export of an unknown record |
| [LDC-E1365](/diagnostics/LDC-E1365/) | Reserved diagnostic code |
| [LDC-E1366](/diagnostics/LDC-E1366/) | Import outside the profile boundary |
| [LDC-E1367](/diagnostics/LDC-E1367/) | Profile that never materialized |
| [LDC-E1368](/diagnostics/LDC-E1368/) | Assertions contradicting a key |
| [LDC-E1372](/diagnostics/LDC-E1372/) | Explicit ID differs from the derived ID |
| [LDC-E1373](/diagnostics/LDC-E1373/) | Source link outside the dictionary |
| [LDC-E1374](/diagnostics/LDC-E1374/) | Assertion origin outside the dictionary |
| [LDC-E1375](/diagnostics/LDC-E1375/) | Test case without a cases registry |
| [LDC-E1376](/diagnostics/LDC-E1376/) | Test case name not registered |
| [LDC-E1377](/diagnostics/LDC-E1377/) | Test extending a referenced case |
| [LDC-E1378](/diagnostics/LDC-E1378/) | Entity name assigned twice |
| [LDC-E1379](/diagnostics/LDC-E1379/) | Source-model metadata outside the lowering slice |
| [LDC-E1380](/diagnostics/LDC-E1380/) | Presented dependency not declared by an import |
| [LDC-E1401](/diagnostics/LDC-E1401/) | Language version is withdrawn |
| [LDC-E1402](/diagnostics/LDC-E1402/) | Requirement on an unknown feature |
| [LDC-E1403](/diagnostics/LDC-E1403/) | Requirement on a reserved feature |

### E2 · Types and units

| Code | Meaning |
|---|---|
| [LDC-E2101](/diagnostics/LDC-E2101/) | A type name that resolves nowhere |
| [LDC-E2102](/diagnostics/LDC-E2102/) | A predicate with no declaration |
| [LDC-E2103](/diagnostics/LDC-E2103/) | Wrong argument count for a predicate |
| [LDC-E2104](/diagnostics/LDC-E2104/) | An argument of the wrong type |
| [LDC-E2105](/diagnostics/LDC-E2105/) | A call to an undeclared function |
| [LDC-E2106](/diagnostics/LDC-E2106/) | A match that misses an enum case |
| [LDC-E2107](/diagnostics/LDC-E2107/) | An unreachable branch after a wildcard |
| [LDC-E2108](/diagnostics/LDC-E2108/) | Operands of incompatible kinds |
| [LDC-E2109](/diagnostics/LDC-E2109/) | A proposition where a value is required |
| [LDC-E2110](/diagnostics/LDC-E2110/) | A recursive function with no termination proof |
| [LDC-E2111](/diagnostics/LDC-E2111/) | A constant whose value has the wrong kind |
| [LDC-E2112](/diagnostics/LDC-E2112/) | A refinement inside a variant case field |
| [LDC-E2113](/diagnostics/LDC-E2113/) | An external snapshot function missing required items |
| [LDC-E2114](/diagnostics/LDC-E2114/) | A closure whose domain arity differs |
| [LDC-E2115](/diagnostics/LDC-E2115/) | An undeclared name in an interval bound |
| [LDC-E2116](/diagnostics/LDC-E2116/) | Wrong argument count for a standard function |
| [LDC-E2117](/diagnostics/LDC-E2117/) | A text pattern outside the supported grammar |
| [LDC-E2118](/diagnostics/LDC-E2118/) | A parameter on a type that takes none |
| [LDC-E2119](/diagnostics/LDC-E2119/) | An empty-collection fallback of the wrong kind |
| [LDC-E2120](/diagnostics/LDC-E2120/) | An aggregate argument the shape does not allow |
| [LDC-E2121](/diagnostics/LDC-E2121/) | A wrong parameter count on a parametric type |
| [LDC-E2122](/diagnostics/LDC-E2122/) | A comparison across two different enumerations |
| [LDC-E2140](/diagnostics/LDC-E2140/) | Named arguments that do not match the signature |
| [LDC-E2141](/diagnostics/LDC-E2141/) | A variants cell of the wrong type |
| [LDC-E2142](/diagnostics/LDC-E2142/) | A priority edge that settles nothing |
| [LDC-E2401](/diagnostics/LDC-E2401/) | A computability promise the body contradicts |
| [LDC-E2402](/diagnostics/LDC-E2402/) | An unknown computability class in the annotation |
| [LDC-E2403](/diagnostics/LDC-E2403/) | A function whose purity is not proved |
| [LDC-E2701](/diagnostics/LDC-E2701/) | A precedent pointing at a missing dictionary |
| [LDC-E2702](/diagnostics/LDC-E2702/) | A factor claimed by both sides |
| [LDC-E2703](/diagnostics/LDC-E2703/) | A precedent without an outcome |
| [LDC-E2704](/diagnostics/LDC-E2704/) | A precedent with no date |

### E3 · Time and context

| Code | Meaning |
|---|---|
| [LDC-E3101](/diagnostics/LDC-E3101/) | A fact recorded before it was observed |

### E4 · Rules and defeasibility

| Code | Meaning |
|---|---|
| [LDC-E4101](/diagnostics/LDC-E4101/) | A rule head with an unbound variable |
| [LDC-E4102](/diagnostics/LDC-E4102/) | A dependency cycle the strata cannot order |
| [LDC-E4103](/diagnostics/LDC-E4103/) | A strict rule reading a defeasible conclusion |
| [LDC-E4104](/diagnostics/LDC-E4104/) | A priority cycle between rules |
| [LDC-E4105](/diagnostics/LDC-E4105/) | A priority over a strict rule |
| [LDC-E4106](/diagnostics/LDC-E4106/) | A duplicated priority edge |
| [LDC-E4107](/diagnostics/LDC-E4107/) | A priority between rules that can never conflict |
| [LDC-E4108](/diagnostics/LDC-E4108/) | A priority naming a rule that does not exist |
| [LDC-E4109](/diagnostics/LDC-E4109/) | An interval that ends before it starts |
| [LDC-E4110](/diagnostics/LDC-E4110/) | An exception on a strict rule |
| [LDC-E4111](/diagnostics/LDC-E4111/) | A priority between a norm and a literal |
| [LDC-E4112](/diagnostics/LDC-E4112/) | A defeater with no defeasible target |
| [LDC-E4120](/diagnostics/LDC-E4120/) | A round rule reading a future round |
| [LDC-E4122](/diagnostics/LDC-E4122/) | A stage whose round range is empty |
| [LDC-E4125](/diagnostics/LDC-E4125/) | A closure over a round-dependent relation |
| [LDC-E4701](/diagnostics/LDC-E4701/) | An acceptance rule reading outside the policy |
| [LDC-E4702](/diagnostics/LDC-E4702/) | A non-strict rule in the acceptance phase |
| [LDC-E4703](/diagnostics/LDC-E4703/) | A rule deriving a protected predicate |
| [LDC-E4704](/diagnostics/LDC-E4704/) | A closure over a protected predicate |
| [LDC-E4705](/diagnostics/LDC-E4705/) | A malformed evidence policy declaration |

### E5 · Sources and provenance

| Code | Meaning |
|---|---|
| [LDC-E5101](/diagnostics/LDC-E5101/) | An edition pointing at a missing source |
| [LDC-E5102](/diagnostics/LDC-E5102/) | A fragment pointing at a missing edition |
| [LDC-E5103](/diagnostics/LDC-E5103/) | A source anchor with no package address |
| [LDC-E5201](/diagnostics/LDC-E5201/) | A fragment text that fails its pinned hash |
| [LDC-E5202](/diagnostics/LDC-E5202/) | A fragment text missing from the pinned bytes |
| [LDC-E5203](/diagnostics/LDC-E5203/) | Non-string content hash on a fragment |
| [LDC-E5204](/diagnostics/LDC-E5204/) | Pinned publication bytes are unreadable |
| [LDC-E5205](/diagnostics/LDC-E5205/) | Pinned edition needs a fragment hash |
| [LDC-E5206](/diagnostics/LDC-E5206/) | Hash claim without local bytes |
| [LDC-E5207](/diagnostics/LDC-E5207/) | Pinning without a declared status |
| [LDC-E5208](/diagnostics/LDC-E5208/) | Anchor quote missing from the fragment text |
| [LDC-E5209](/diagnostics/LDC-E5209/) | Ambiguous source text hash |
| [LDC-E5301](/diagnostics/LDC-E5301/) | Amendment touches a protected fragment |
| [LDC-E5302](/diagnostics/LDC-E5302/) | Contradictory edition lifecycle |
| [LDC-E5303](/diagnostics/LDC-E5303/) | Enactment basis is not declared |
| [LDC-E5304](/diagnostics/LDC-E5304/) | Enactment basis does not resolve |
| [LDC-E5305](/diagnostics/LDC-E5305/) | Authorizing power not in force |
| [LDC-E5306](/diagnostics/LDC-E5306/) | Publisher differs from the power holder |
| [LDC-E5307](/diagnostics/LDC-E5307/) | Act subject exceeds the power |
| [LDC-E5308](/diagnostics/LDC-E5308/) | Timeless edition cannot carry lifecycle dates |
| [LDC-E5401](/diagnostics/LDC-E5401/) | Computed consolidation differs from the declared edition |
| [LDC-E5402](/diagnostics/LDC-E5402/) | Operation target missing from the base edition |
| [LDC-E5403](/diagnostics/LDC-E5403/) | Two operations collide at one effective moment |
| [LDC-E5404](/diagnostics/LDC-E5404/) | Revision edge points at no declared edition |
| [LDC-E5405](/diagnostics/LDC-E5405/) | Reference left dangling by the amendment |

### E8 · Layers and surfaces

| Code | Meaning |
|---|---|
| [LDC-E8101](/diagnostics/LDC-E8101/) | Construct above the declared layer |
| [LDC-E8102](/diagnostics/LDC-E8102/) | Dependency above the package layer |
| [LDC-E8201](/diagnostics/LDC-E8201/) | Verbalization gap in the template pack |
| [LDC-E8202](/diagnostics/LDC-E8202/) | Stale approval after a template edit |
| [LDC-E8203](/diagnostics/LDC-E8203/) | Unknown or repeated label slot |
| [LDC-E8204](/diagnostics/LDC-E8204/) | Predicate template placeholder is not a name |
| [LDC-E8205](/diagnostics/LDC-E8205/) | Placeholder names no relation parameter |
| [LDC-E8206](/diagnostics/LDC-E8206/) | Parameter missing from the predicate template |
| [LDC-E8207](/diagnostics/LDC-E8207/) | Template outside a relation label |
| [LDC-E8208](/diagnostics/LDC-E8208/) | Second template in one label |
| [LDC-E8301](/diagnostics/LDC-E8301/) | Overlapping rows under hit unique |
| [LDC-E8302](/diagnostics/LDC-E8302/) | Decision table does not cover the universe |
| [LDC-E8303](/diagnostics/LDC-E8303/) | Overlapping rows disagree under hit any |
| [LDC-E8304](/diagnostics/LDC-E8304/) | Decision shape the engine does not support |
| [LDC-E8306](/diagnostics/LDC-E8306/) | Column type without a value universe |
| [LDC-E8701](/diagnostics/LDC-E8701/) | Parameter value intervals overlap |
| [LDC-E8702](/diagnostics/LDC-E8702/) | Parameter value type mismatch |
| [LDC-E8703](/diagnostics/LDC-E8703/) | Parameter row outside its coverage |
| [LDC-E8704](/diagnostics/LDC-E8704/) | Pinned resource diverges from the lock |
| [LDC-E8705](/diagnostics/LDC-E8705/) | Boundary does not match granularity |

### W · Warnings

| Code | Meaning |
|---|---|
| [LDC-W1105](/diagnostics/LDC-W1105/) | A cross-package link the resolver never described |
| [LDC-W1115](/diagnostics/LDC-W1115/) | A declaration shadowing a prelude type |
| [LDC-W1116](/diagnostics/LDC-W1116/) | Reserved warning |
| [LDC-W1301](/diagnostics/LDC-W1301/) | A public declaration without labels or anchors |
| [LDC-W2101](/diagnostics/LDC-W2101/) | A bare name the dependencies could supply |
| [LDC-W2150](/diagnostics/LDC-W2150/) | Conditional branches of different kinds in a typed slot |
| [LDC-W2151](/diagnostics/LDC-W2151/) | Literal amounts with different currencies or units in one operation |
| [LDC-W2152](/diagnostics/LDC-W2152/) | Function result type does not fit the destination |
| [LDC-W2404](/diagnostics/LDC-W2404/) | Unchecked computability expectation |
| [LDC-W2705](/diagnostics/LDC-W2705/) | Two precedents pulling one case both ways |
| [LDC-W4113](/diagnostics/LDC-W4113/) | More reading combinations than the checker enumerates |
| [LDC-W4114](/diagnostics/LDC-W4114/) | Defeasible rule reads a position status it never sees |
| [LDC-W5301](/diagnostics/LDC-W5301/) | A holder named by office, not by name |
| [LDC-W5302](/diagnostics/LDC-W5302/) | A power that declares no subject |
| [LDC-W5303](/diagnostics/LDC-W5303/) | A parent with no pinned edition at the adoption date |
| [LDC-W5304](/diagnostics/LDC-W5304/) | A subject from another package's dictionary |
| [LDC-W8305](/diagnostics/LDC-W8305/) | A table row no input can reach |

## Package manager

| Code | Meaning |
|---|---|
| [LPK-E0101](/diagnostics/LPK-E0101/) | invalid command arguments |
| [LPK-E0102](/diagnostics/LPK-E0102/) | version range instead of an exact version |
| [LPK-E0103](/diagnostics/LPK-E0103/) | --offline on a registry-reading command |
| [LPK-E0201](/diagnostics/LPK-E0201/) | No law.toml |
| [LPK-E0202](/diagnostics/LPK-E0202/) | no law.toml |
| [LPK-E0203](/diagnostics/LPK-E0203/) | lock does not cover the manifest, or an entry lacks registryId |
| [LPK-E0204](/diagnostics/LPK-E0204/) | import edit in .law is ambiguous |
| [LPK-E0301](/diagnostics/LPK-E0301/) | registry not configured |
| [LPK-E0302](/diagnostics/LPK-E0302/) | registryId at the address is wrong |
| [LPK-E0303](/diagnostics/LPK-E0303/) | registry of unsupported layout or without index |
| [LPK-E0304](/diagnostics/LPK-E0304/) | registry unreachable or wrong response |
| [LPK-E0305](/diagnostics/LPK-E0305/) | package has no requested version in the registry |
| [LPK-E0401](/diagnostics/LPK-E0401/) | version or byte conflict in the closure |
| [LPK-E0402](/diagnostics/LPK-E0402/) | release without exact dependencies (descriptor 0.1) |
| [LPK-E0403](/diagnostics/LPK-E0403/) | package semantics line differs from the root |
| [LPK-E0404](/diagnostics/LPK-E0404/) | version change via add |
| [LPK-E0405](/diagnostics/LPK-E0405/) | a foreign pin would move, or pinned bytes diverged |
| [LPK-E0501](/diagnostics/LPK-E0501/) | unfinished transaction |
| [LPK-E0502](/diagnostics/LPK-E0502/) | another law operation is editing the project |
| [LPK-E0503](/diagnostics/LPK-E0503/) | file changed between read and write |
| [LPK-E0504](/diagnostics/LPK-E0504/) | local deps/ bytes diverged from the lock (LDC-E1104) |
| [LPK-E0601](/diagnostics/LPK-E0601/) | version already published with different bytes |
| [LPK-E0602](/diagnostics/LPK-E0602/) | directory neither empty nor a registry |
| [LPK-E0603](/diagnostics/LPK-E0603/) | this registry never published the dependency |
| [LPK-E0604](/diagnostics/LPK-E0604/) | pack artifact damaged or incomplete |
| [LPK-E0605](/diagnostics/LPK-E0605/) | pack: project not ready for release |
| [LPK-E0701](/diagnostics/LPK-E0701/) | replay set empty, lost, or not found |
| [LPK-E0702](/diagnostics/LPK-E0702/) | candidate refused on a set element |
| [LPK-E0801](/diagnostics/LPK-E0801/) | fact already proposed |
| [LPK-E0802](/diagnostics/LPK-E0802/) | proposal transition not allowed |
| [LPK-E0803](/diagnostics/LPK-E0803/) | proposal source outside the project or malformed |
| [LPK-E0804](/diagnostics/LPK-E0804/) | fact cannot be safely printed into .lawcase |
| [LPK-E0805](/diagnostics/LPK-E0805/) | proposal history or case damaged |
| [LPK-E0806](/diagnostics/LPK-E0806/) | document or evidence name already taken |

## Queries

| Code | Meaning |
|---|---|
| [LDC-Q0001](/diagnostics/LDC-Q0001/) | The query has a character the language does not allow |
| [LDC-Q0002](/diagnostics/LDC-Q0002/) | The query is missing a clause the language requires |
| [LDC-Q0004](/diagnostics/LDC-Q0004/) | A named query needs a parameter value |
| [LDC-Q0005](/diagnostics/LDC-Q0005/) | A parameter value uses characters outside the allowed set |
| [LDC-Q0006](/diagnostics/LDC-Q0006/) | A named query is not in the catalog |
| [LDC-Q0101](/diagnostics/LDC-Q0101/) | Ordering comparisons are not part of the query language |
| [LDC-Q1000](/diagnostics/LDC-Q1000/) | The schema declares no node kinds |
| [LDC-Q1001](/diagnostics/LDC-Q1001/) | The snapshot holds a node kind the schema never declared |
| [LDC-Q1002](/diagnostics/LDC-Q1002/) | The snapshot document names no package |
| [LDC-Q1003](/diagnostics/LDC-Q1003/) | The snapshot nodes field is not a list |
| [LDC-Q1004](/diagnostics/LDC-Q1004/) | A snapshot node carries no identifier |
| [LDC-Q1005](/diagnostics/LDC-Q1005/) | The snapshot bytes cannot be read as a document |
| [LDC-Q1006](/diagnostics/LDC-Q1006/) | Loading the snapshot lost or duplicated nodes |
| [LDC-Q2001](/diagnostics/LDC-Q2001/) | The query reads a relation the snapshot does not have |
| [LDC-Q2002](/diagnostics/LDC-Q2002/) | The query reads from a computation that was never declared |
| [LDC-Q2003](/diagnostics/LDC-Q2003/) | A computed document field is not a list of rows |
| [LDC-Q2004](/diagnostics/LDC-Q2004/) | An expression kind the evaluator does not know |
| [LDC-Q2005](/diagnostics/LDC-Q2005/) | The expression names a variable the query never bound |
| [LDC-Q2006](/diagnostics/LDC-Q2006/) | The expression reads a field of a value that has none |
| [LDC-Q2007](/diagnostics/LDC-Q2007/) | The row has no field under that name |
| [LDC-Q2008](/diagnostics/LDC-Q2008/) | The query calls a function the language does not define |
| [LDC-Q2009](/diagnostics/LDC-Q2009/) | A helper is called with the wrong number of arguments |
| [LDC-Q2010](/diagnostics/LDC-Q2010/) | The label reader takes one or two arguments, not three |
| [LDC-Q3001](/diagnostics/LDC-Q3001/) | A package computation needs an explicit row cap |
| [LDC-Q3002](/diagnostics/LDC-Q3002/) | A case file cannot be read for a package computation |
| [LDC-Q3003](/diagnostics/LDC-Q3003/) | The computation engine name is unknown |
| [LDC-Q3004](/diagnostics/LDC-Q3004/) | No built query binary is available to the host |
| [LDC-Q3005](/diagnostics/LDC-Q3005/) | A delegated package evaluation exited nonzero |
| [LDC-Q3006](/diagnostics/LDC-Q3006/) | A delegated package evaluation returned no data |
| [LDC-Q3007](/diagnostics/LDC-Q3007/) | The questioned package is not in the snapshot |
| [LDC-Q3008](/diagnostics/LDC-Q3008/) | Produced rows were cut to the stated cap |
| [LDC-Q4001](/diagnostics/LDC-Q4001/) | A question over a package needs its binder up front |
| [LDC-Q4002](/diagnostics/LDC-Q4002/) | A condition is not a well-formed atom |
| [LDC-Q4003](/diagnostics/LDC-Q4003/) | A pending decision marker belongs in the conditions only |
| [LDC-Q4004](/diagnostics/LDC-Q4004/) | The predicate is not declared by the target package |
| [LDC-Q4005](/diagnostics/LDC-Q4005/) | The predicate is applied to the wrong number of arguments |
| [LDC-Q4006](/diagnostics/LDC-Q4006/) | An argument names nothing the question introduced |
| [LDC-Q4007](/diagnostics/LDC-Q4007/) | The binder names a kind the package does not declare |
| [LDC-Q4009](/diagnostics/LDC-Q4009/) | The attached case must be a quoted file path |
| [LDC-Q4010](/diagnostics/LDC-Q4010/) | The question body holds a clause the language does not know |
| [LDC-Q4011](/diagnostics/LDC-Q4011/) | A question over a package needs conditions and a return list |
| [LDC-Q4012](/diagnostics/LDC-Q4012/) | The attached case file cannot be read |
| [LDC-Q4013](/diagnostics/LDC-Q4013/) | A delegated question-over-package run failed |
| [LDC-Q4014](/diagnostics/LDC-Q4014/) | Two evaluations of one question disagreed |
| [LDC-Q4015](/diagnostics/LDC-Q4015/) | An overriding case is not a well-formed object |

## Evaluation statuses

| Code | Meaning |
|---|---|
| [COMPUTED](/diagnostics/COMPUTED/) | The question was answered from the rules |
| [CONFLICTED_INPUTS](/diagnostics/CONFLICTED_INPUTS/) | Accepted inputs contradict each other |
| [EXTERNAL_UNAVAILABLE](/diagnostics/EXTERNAL_UNAVAILABLE/) | An outside dataset the question needs is not pinned |
| [INTERPRETATION_REQUIRED](/diagnostics/INTERPRETATION_REQUIRED/) | The text can be read two ways and none is chosen |
| [MISSING_INPUT](/diagnostics/MISSING_INPUT/) | The engine needs an input the case did not supply |
| [MISSING_POLICY](/diagnostics/MISSING_POLICY/) | The case selects no rule for the count |
| [NON_EXECUTABLE](/diagnostics/NON_EXECUTABLE/) | The question calls something with no executable meaning |
| [PRIORITY_CONFLICT](/diagnostics/PRIORITY_CONFLICT/) | Two ranking rules point at each other |
| [REQUIRES_JUDGMENT](/diagnostics/REQUIRES_JUDGMENT/) | Only a named authority can settle this point |
| [RESOURCE_LIMIT](/diagnostics/RESOURCE_LIMIT/) | A semantic budget ran out |
| [RUNTIME_ERROR](/diagnostics/RUNTIME_ERROR/) | A computation step fails on good values |
| [SOURCE_RESOLUTION_FAILED](/diagnostics/SOURCE_RESOLUTION_FAILED/) | No edition of the source applies |
| [TYPE_ERROR](/diagnostics/TYPE_ERROR/) | Values of incompatible kinds meet in one computation |
| [UNRESOLVED_NORMATIVE_CONFLICT](/diagnostics/UNRESOLVED_NORMATIVE_CONFLICT/) | Two norms collide and neither yields |