LDC-E1301 — Missing namespace header

What it means

Three headers open every file: the language line, the package line, and the namespace the identifiers resolve into. Without the namespace the compiler has nothing to bind identifiers to, so lowering cannot start and the check stops at the top of the file.

The repair is one line: declare the namespace the package owns. The namespace stays fixed for the life of the package — renaming it moves every identifier the package ever minted.

Example

Arxo Law

language "law.core" version "0.2";
package demo.diagnostics version "0.1.0";

entity Applicant;

Fix

Arxo Law

language "law.core" version "0.2";
package demo.diagnostics version "0.1.0";
namespace "urn:law:demo:diagnostics";

entity Applicant;

Engine message

The engine reports this in its own wording:

Output

example.law:1:1: error LDC-E1301: namespace is required for lowering (§14: StableId is bound to namespace)

Related

• Vocabulary — how names are declared and which positions take them.