Diagnostics

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

Find a diagnostic

Compiler

E0 · Syntax

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

E1 · Names, imports and packages

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

E2 · Types and units

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

E3 · Time and context

Code	Meaning
LDC-E3101	A fact recorded before it was observed

E4 · Rules and defeasibility

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

E5 · Sources and provenance

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

E8 · Layers and surfaces

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

W · Warnings

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

Package manager

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

Queries

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

Evaluation statuses

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