LDC-E1327 — Fact group from an unpresented dependency

What it means

A foreign fact group materializes bytewise from the resolve context: the compiler copies the producer’s nodes — identifiers, package, and provenance intact — into the local package. When the named dependency was never presented, there are no bytes to copy, and an empty materialization would silently invent facts. The compiler stops at the group line instead.

The repair is to present the dependency with its fact groups, and reach only for groups the context actually carries. A group nobody presented is either a missing dependency or a misspelled name — the fix declares which.

Example

Arxo Law

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

import dep.shapes version "0.1.0";

facts dep.other::Things;

entity A;

imports

[{"package": {"name": "dep.shapes", "version": "0.1.0", "namespace": "urn:law:dep:shapes", "semanticHash": "sha256:0"}, "contentHash": "sha256:0", "factGroups": {"Things": [{"id": "urn:law:dep:shapes#T1", "kind": "assert", "package": "urn:law:dep:shapes"}]}}]

Fix

Arxo Law

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

import dep.shapes version "0.1.0";

facts dep.shapes::Things;

entity A;

Engine message

The engine reports this in its own wording:

Output

example.law:7:18: error LDC-E1327: fact group dep.other::Things: dependency "dep.other" is not presented by the resolve context (§23) — there is nothing to materialize

Related

• LDC-E1104 — an import the resolve context never presents.
• Facts and evidence — asserting what holds.