# LDC-E1367 — Profile that never materialized

## What it means

A package can run under a named profile: a versioned artifact that
shapes resolution, pinned like any other dependency. The manifest
names the profile, and the profile artifact must be materialized
under the package before anything resolves. When the manifest claims
a profile nobody materialized, there is no ground to verify the
world against — so the engine stops before coverage, before the
boundary, before imports.

The repair is to materialize the profile the manifest names, or to
drop the profile section. A named profile with no artifact is a claim
the package cannot cash.

## Example

```run
{"argv": ["ask", "$ROOT", "--query-id", "Q", "--query", "evaluate truth(sunny());"], "files": {"law.toml": "[package]\nname = \"demo.diagnostics\"\nversion = \"0.1.0\"\nlanguage = \"0.2\"\nnamespace = \"urn:law:demo:diagnostics\"\n\n[profile]\nid = \"demo.prof\"\nversion = \"0.1.0\"\n\n[[cases]]\nname = \"Solo\"\npath = \"solo.lawcase\"\n", "package.law": "language \"law.core\" version \"0.2\";\npackage demo.diagnostics version \"0.1.0\";\nnamespace \"urn:law:demo:diagnostics\";\n", "solo.lawcase": "language \"law.core\" version \"0.2\";\npackage demo.diagnostics version \"0.1.0\";\nnamespace \"urn:law:demo:diagnostics\";\n\nrelation sunny() kind institutional;\n\ncase Solo {\n    context {\n        legal_time @2026-08-26;\n    }\n}\n", "law.lock": "{\n  \"dependencyEdges\": [],\n  \"languageSemantics\": \"law.core/0.2.0\",\n  \"lockVersion\": \"0.1\",\n  \"packages\": [],\n  \"resolutionHash\": \"sha256:be03238a8c67b8f0879522d90b0750732ba05663f96df91cea6118d0a84076b1\",\n  \"root\": {\n    \"contentHash\": \"sha256:f6ee452b5a1b1ea60601c67b78a639066f8bda6b184f379b80749633c387331f\",\n    \"name\": \"demo.diagnostics\",\n    \"namespace\": \"urn:law:demo:diagnostics\",\n    \"version\": \"0.1.0\"\n  }\n}\n"}, "expect": "LDC-E1367"}
```

## Fix

```run
{"argv": ["ask", "$ROOT", "--query-id", "Q", "--query", "evaluate truth(sunny());"], "files": {"law.toml": "[package]\nname = \"demo.diagnostics\"\nversion = \"0.1.0\"\nlanguage = \"0.2\"\nnamespace = \"urn:law:demo:diagnostics\"\n\n[[cases]]\nname = \"Solo\"\npath = \"solo.lawcase\"\n", "package.law": "language \"law.core\" version \"0.2\";\npackage demo.diagnostics version \"0.1.0\";\nnamespace \"urn:law:demo:diagnostics\";\n", "solo.lawcase": "language \"law.core\" version \"0.2\";\npackage demo.diagnostics version \"0.1.0\";\nnamespace \"urn:law:demo:diagnostics\";\n\nrelation sunny() kind institutional;\n\ncase Solo {\n    context {\n        legal_time @2026-08-26;\n    }\n}\n", "law.lock": "{\n  \"dependencyEdges\": [],\n  \"languageSemantics\": \"law.core/0.2.0\",\n  \"lockVersion\": \"0.1\",\n  \"packages\": [],\n  \"resolutionHash\": \"sha256:be03238a8c67b8f0879522d90b0750732ba05663f96df91cea6118d0a84076b1\",\n  \"root\": {\n    \"contentHash\": \"sha256:f6ee452b5a1b1ea60601c67b78a639066f8bda6b184f379b80749633c387331f\",\n    \"name\": \"demo.diagnostics\",\n    \"namespace\": \"urn:law:demo:diagnostics\",\n    \"version\": \"0.1.0\"\n  }\n}\n"}, "expect": null}
```

## Engine message

The engine reports this in its own wording:

```text
{"error":{"code":"LDC-E1367","message":"profile demo.prof/0.1.0 not materialized: deps/profiles/demo.prof/0.1.0/profile.json missing (§11)"}}
```

## Related

- [LDC-E1354](/diagnostics/LDC-E1354/) — a question with no registered case.
- [LDC-E1104](/diagnostics/LDC-E1104/) — an import the resolve context never presents.