@astrale-os/kernel-dsl 0.2.0-beta.5 → 0.2.0-beta.6

package/dist/v1/language/value/profile/meta-schema.js

@@ -0,0 +1,20 @@
+import { diagnostic } from '../../validation/diagnostic.js';
+import validateMetaSchema from './meta-schema.compiled.js';
+const validate = validateMetaSchema;
+/** Validate untrusted value-schema structure with the pinned generated meta-schema validator. */
+export function validateValueSchemaMetaSchema(schema, pointer) {
+    try {
+        if (validate(schema))
+            return [];
+        return (validate.errors ?? []).map((error) => diagnostic('VS_META_SCHEMA', `${pointer}${error.instancePath}`, `Astrale V1 value-schema meta-schema rejected the schema: ${error.message ?? error.keyword}.`));
+    }
+    catch (error) {
+        return [
+            diagnostic('VS_META_SCHEMA', pointer, `Astrale V1 value-schema meta-schema validation failed closed: ${errorMessage(error)}.`),
+        ];
+    }
+}
+function errorMessage(error) {
+    return error instanceof Error ? error.message : String(error);
+}
+//# sourceMappingURL=meta-schema.js.map

package/dist/v1/language/value/profile/meta-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"meta-schema.js","sourceRoot":"","sources":["../../../../../v1/language/value/profile/meta-schema.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAA;AAC3D,OAAO,kBAAkB,MAAM,2BAA2B,CAAA;AAQ1D,MAAM,QAAQ,GAAG,kBAEhB,CAAA;AAED,iGAAiG;AACjG,MAAM,UAAU,6BAA6B,CAC3C,MAAkB,EAClB,OAAe;IAEf,IAAI,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,EAAE,CAAA;QAC/B,OAAO,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3C,UAAU,CACR,gBAAgB,EAChB,GAAG,OAAO,GAAG,KAAK,CAAC,YAAY,EAAE,EACjC,4DAA4D,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,GAAG,CAC9F,CACF,CAAA;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,UAAU,CACR,gBAAgB,EAChB,OAAO,EACP,iEAAiE,YAAY,CAAC,KAAK,CAAC,GAAG,CACxF;SACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC/D,CAAC"}

package/dist/v1/language/value/profile/rules.d.ts

@@ -0,0 +1,4 @@
+import type { Diagnostic } from '../../validation/diagnostic.js';
+import type { JsonSchema, ValueSchemaContext } from '../model/schema.js';
+export declare function validateSchemaProfile(schema: JsonSchema, context: ValueSchemaContext, pointer: string): readonly Diagnostic[];
+//# sourceMappingURL=rules.d.ts.map

package/dist/v1/language/value/profile/rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../../../../v1/language/value/profile/rules.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAA;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AASxE,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,UAAU,EAClB,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,MAAM,GACd,SAAS,UAAU,EAAE,CAwDvB"}

package/dist/v1/language/value/profile/rules.js

@@ -0,0 +1,110 @@
+import { json } from '@astrale-os/kernel-dsl/value';
+import { diagnostic } from '../../validation/diagnostic.js';
+import { isValueObject as isJsonObject } from '../model/object.js';
+import { VALUE_SCHEMA_DIALECT } from '../model/schema.js';
+import { isIRegexp } from '../regexp/syntax.js';
+import { walkSchema } from '../syntax/walk.js';
+import { FORBIDDEN_DYNAMIC_KEYWORDS, STANDARD_SCHEMA_KEYWORDS } from './vocabulary.js';
+export function validateSchemaProfile(schema, context, pointer) {
+    const diagnostics = [];
+    walkSchema(schema, (location) => {
+        if (!isJsonObject(location.schema))
+            return;
+        const currentPointer = `${pointer}${location.pointer}`;
+        for (const keyword of Object.keys(location.schema)) {
+            if (!STANDARD_SCHEMA_KEYWORDS.has(keyword)) {
+                diagnostics.push(diagnostic('VS_KEYWORD_CLOSED', `${currentPointer}/${escapeToken(keyword)}`, `Keyword ${keyword} is outside the closed V1 Draft 2020-12 vocabulary.`));
+            }
+            if (FORBIDDEN_DYNAMIC_KEYWORDS.has(keyword)) {
+                diagnostics.push(diagnostic('VS_DYNAMIC_FORBIDDEN', `${currentPointer}/${escapeToken(keyword)}`, `Keyword ${keyword} is forbidden by V1.`));
+            }
+        }
+        if (Object.hasOwn(location.schema, '$schema')) {
+            if (location.depth !== 0 || location.schema.$schema !== VALUE_SCHEMA_DIALECT) {
+                diagnostics.push(diagnostic('VS_DIALECT', `${currentPointer}/$schema`, `Embedded-root $schema is optional, but when present must equal ${VALUE_SCHEMA_DIALECT}.`));
+            }
+        }
+        if (Object.hasOwn(location.schema, '$id')) {
+            diagnostics.push(diagnostic('VS_RESOURCE_ID', `${currentPointer}/$id`, '$id is forbidden in an embedded V1 value schema.'));
+        }
+        validateSemanticSets(location.schema, currentPointer, diagnostics);
+        validateValueKind(location.schema, currentPointer, diagnostics);
+        validateRegexes(location.schema, currentPointer, diagnostics);
+    });
+    void context;
+    return diagnostics;
+}
+function validateValueKind(schema, pointer, diagnostics) {
+    if (!Object.hasOwn(schema, 'x-astrale-value-kind'))
+        return;
+    if (schema['x-astrale-value-kind'] !== 'instant' || schema.type !== 'string') {
+        diagnostics.push(diagnostic('VS_VALUE_KIND', `${pointer}/x-astrale-value-kind`, 'x-astrale-value-kind is exactly instant and requires type string at the same schema location.'));
+    }
+}
+function validateSemanticSets(schema, pointer, diagnostics) {
+    if (Array.isArray(schema.type)) {
+        rejectPrimitiveDuplicates(schema.type, `${pointer}/type`, 'type', diagnostics);
+    }
+    if (Array.isArray(schema.required)) {
+        rejectPrimitiveDuplicates(schema.required, `${pointer}/required`, 'required', diagnostics);
+    }
+    if (Array.isArray(schema.enum)) {
+        rejectCanonicalDuplicates(schema.enum, `${pointer}/enum`, 'enum', diagnostics);
+    }
+    if (isJsonObject(schema.dependentRequired)) {
+        for (const [name, dependencies] of Object.entries(schema.dependentRequired)) {
+            if (Array.isArray(dependencies)) {
+                rejectPrimitiveDuplicates(dependencies, `${pointer}/dependentRequired/${escapeToken(name)}`, 'dependentRequired', diagnostics);
+            }
+        }
+    }
+}
+function validateRegexes(schema, pointer, diagnostics) {
+    if (Object.hasOwn(schema, 'fullMatch') && typeof schema.fullMatch !== 'string') {
+        diagnostics.push(diagnostic('VS_META_SCHEMA', `${pointer}/fullMatch`, 'fullMatch must be an I-Regexp source string.'));
+    }
+    if (typeof schema.fullMatch === 'string' && !isIRegexp(schema.fullMatch)) {
+        diagnostics.push(diagnostic('VS_REGEX_PORTABLE', `${pointer}/fullMatch`, 'fullMatch must satisfy the complete RFC 9485 I-Regexp syntax.'));
+    }
+    if (typeof schema.pattern === 'string' && !isIRegexp(schema.pattern)) {
+        diagnostics.push(diagnostic('VS_REGEX_PORTABLE', `${pointer}/pattern`, 'pattern must satisfy the complete RFC 9485 I-Regexp syntax.'));
+    }
+    if (isJsonObject(schema.patternProperties)) {
+        for (const pattern of Object.keys(schema.patternProperties)) {
+            if (!isIRegexp(pattern)) {
+                diagnostics.push(diagnostic('VS_REGEX_PORTABLE', `${pointer}/patternProperties/${escapeToken(pattern)}`, 'patternProperties keys must satisfy RFC 9485 I-Regexp syntax.'));
+            }
+        }
+    }
+}
+function rejectPrimitiveDuplicates(values, pointer, name, diagnostics) {
+    const seen = new Set();
+    for (const value of values) {
+        if (seen.has(value)) {
+            diagnostics.push(diagnostic('VS_META_SCHEMA', pointer, `${name} is a duplicate-free semantic set.`));
+            return;
+        }
+        seen.add(value);
+    }
+}
+function rejectCanonicalDuplicates(values, pointer, name, diagnostics) {
+    const seen = new Set();
+    for (const value of values) {
+        let key;
+        try {
+            key = json.serialize(value);
+        }
+        catch {
+            continue;
+        }
+        if (seen.has(key)) {
+            diagnostics.push(diagnostic('VS_META_SCHEMA', pointer, `${name} rejects canonically equal duplicates.`));
+            return;
+        }
+        seen.add(key);
+    }
+}
+function escapeToken(value) {
+    return value.replaceAll('~', '~0').replaceAll('/', '~1');
+}
+//# sourceMappingURL=rules.js.map

package/dist/v1/language/value/profile/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../../../../v1/language/value/profile/rules.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAKnD,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAA;AAC3D,OAAO,EAAE,aAAa,IAAI,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,0BAA0B,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAA;AAEtF,MAAM,UAAU,qBAAqB,CACnC,MAAkB,EAClB,OAA2B,EAC3B,OAAe;IAEf,MAAM,WAAW,GAAiB,EAAE,CAAA;IAEpC,UAAU,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE;QAC9B,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAM;QAC1C,MAAM,cAAc,GAAG,GAAG,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAA;QACtD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3C,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,GAAG,cAAc,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,EAC3C,WAAW,OAAO,qDAAqD,CACxE,CACF,CAAA;YACH,CAAC;YACD,IAAI,0BAA0B,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5C,WAAW,CAAC,IAAI,CACd,UAAU,CACR,sBAAsB,EACtB,GAAG,cAAc,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,EAC3C,WAAW,OAAO,sBAAsB,CACzC,CACF,CAAA;YACH,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;YAC9C,IAAI,QAAQ,CAAC,KAAK,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,OAAO,KAAK,oBAAoB,EAAE,CAAC;gBAC7E,WAAW,CAAC,IAAI,CACd,UAAU,CACR,YAAY,EACZ,GAAG,cAAc,UAAU,EAC3B,kEAAkE,oBAAoB,GAAG,CAC1F,CACF,CAAA;YACH,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;YAC1C,WAAW,CAAC,IAAI,CACd,UAAU,CACR,gBAAgB,EAChB,GAAG,cAAc,MAAM,EACvB,kDAAkD,CACnD,CACF,CAAA;QACH,CAAC;QAED,oBAAoB,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,WAAW,CAAC,CAAA;QAClE,iBAAiB,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,WAAW,CAAC,CAAA;QAC/D,eAAe,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,WAAW,CAAC,CAAA;IAC/D,CAAC,CAAC,CAAA;IAEF,KAAK,OAAO,CAAA;IACZ,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,SAAS,iBAAiB,CACxB,MAA+B,EAC/B,OAAe,EACf,WAAyB;IAEzB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC;QAAE,OAAM;IAC1D,IAAI,MAAM,CAAC,sBAAsB,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7E,WAAW,CAAC,IAAI,CACd,UAAU,CACR,eAAe,EACf,GAAG,OAAO,uBAAuB,EACjC,+FAA+F,CAChG,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAA+B,EAC/B,OAAe,EACf,WAAyB;IAEzB,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,OAAO,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAA;IAChF,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,yBAAyB,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,OAAO,WAAW,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAC5F,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,OAAO,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAA;IAChF,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC5E,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;gBAChC,yBAAyB,CACvB,YAAY,EACZ,GAAG,OAAO,sBAAsB,WAAW,CAAC,IAAI,CAAC,EAAE,EACnD,mBAAmB,EACnB,WAAW,CACZ,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,MAA+B,EAC/B,OAAe,EACf,WAAyB;IAEzB,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC/E,WAAW,CAAC,IAAI,CACd,UAAU,CACR,gBAAgB,EAChB,GAAG,OAAO,YAAY,EACtB,8CAA8C,CAC/C,CACF,CAAA;IACH,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QACzE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,GAAG,OAAO,YAAY,EACtB,+DAA+D,CAChE,CACF,CAAA;IACH,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACrE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,GAAG,OAAO,UAAU,EACpB,6DAA6D,CAC9D,CACF,CAAA;IACH,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAC3C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC5D,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,GAAG,OAAO,sBAAsB,WAAW,CAAC,OAAO,CAAC,EAAE,EACtD,+DAA+D,CAChE,CACF,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,MAA0B,EAC1B,OAAe,EACf,IAAY,EACZ,WAAyB;IAEzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAW,CAAA;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,gBAAgB,EAAE,OAAO,EAAE,GAAG,IAAI,oCAAoC,CAAC,CACnF,CAAA;YACD,OAAM;QACR,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACjB,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,MAA0B,EAC1B,OAAe,EACf,IAAY,EACZ,WAAyB;IAEzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,GAAW,CAAA;QACf,IAAI,CAAC;YACH,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QAC7B,CAAC;QAAC,MAAM,CAAC;YACP,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,gBAAgB,EAAE,OAAO,EAAE,GAAG,IAAI,wCAAwC,CAAC,CACvF,CAAA;YACD,OAAM;QACR,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACf,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAC1D,CAAC"}

package/dist/v1/language/value/profile/validate.d.ts

@@ -0,0 +1,5 @@
+import type { Diagnostic } from '../../validation/diagnostic.js';
+import type { JsonSchema, ValueSchemaContext } from '../model/schema.js';
+import type { ValueSchemaRegistry } from '../reference/registry.js';
+export declare function validateValueSchema(schema: JsonSchema, context: ValueSchemaContext, registry: ValueSchemaRegistry, pointer?: string): Diagnostic[];
+//# sourceMappingURL=validate.d.ts.map

package/dist/v1/language/value/profile/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../../../v1/language/value/profile/validate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAA;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AACxE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAYnE,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,UAAU,EAClB,OAAO,EAAE,kBAAkB,EAC3B,QAAQ,EAAE,mBAAmB,EAC7B,OAAO,SAAK,GACX,UAAU,EAAE,CAyBd"}

package/dist/v1/language/value/profile/validate.js

@@ -0,0 +1,40 @@
+import { compareUnicode } from '../../../addressing/ordering.js';
+import { collectResourceClosure } from '../reference/closure.js';
+import { validateProductiveRecursion } from '../reference/recursion.js';
+import { hasNodeDefinition, indexRegistry } from '../reference/registry.index.js';
+import { GRAPH_NODE_PATH_SCHEMA_ID } from '../syntax/node-path/schema.js';
+import { validateNodePathExtension } from '../syntax/node-path/validate.js';
+import { validateCanonicalJsonDomain } from './json.validate.js';
+import { validateValueSchemaMetaSchema } from './meta-schema.js';
+import { validateSchemaProfile } from './rules.js';
+export function validateValueSchema(schema, context, registry, pointer = '') {
+    const diagnostics = [];
+    diagnostics.push(...validateCanonicalJsonDomain(schema, pointer));
+    const indexed = indexRegistry(registry, pointer);
+    diagnostics.push(...indexed.diagnostics);
+    const closure = collectResourceClosure(schema, context, indexed.index, pointer);
+    diagnostics.push(...closure.diagnostics);
+    for (const resource of closure.resources.values()) {
+        // The Core-owned graph locator artifact is admitted exactly by indexRegistry. It participates
+        // in instance evaluation, but it is not an embedded V1 value-schema resource.
+        if (resource.key === GRAPH_NODE_PATH_SCHEMA_ID)
+            continue;
+        const resourcePointer = resource.diagnosticPointer ?? pointer;
+        diagnostics.push(...validateValueSchemaMetaSchema(resource.schema, resourcePointer));
+        diagnostics.push(...validateCanonicalJsonDomain(resource.schema, resourcePointer));
+        diagnostics.push(...validateSchemaProfile(resource.schema, context, resourcePointer));
+        diagnostics.push(...validateNodePathExtension(resource.schema, context, resourcePointer, (ref) => hasNodeDefinition(indexed.index, ref, resource.ownerOrigin)));
+    }
+    diagnostics.push(...validateProductiveRecursion(closure.resources, closure.resolutions));
+    return orderAndDeduplicate(diagnostics);
+}
+function orderAndDeduplicate(diagnostics) {
+    const unique = new Map();
+    for (const value of diagnostics) {
+        unique.set(`${value.pointer}\u0000${value.code}\u0000${value.ref ?? ''}\u0000${value.message}`, value);
+    }
+    return [...unique.values()].sort((left, right) => compareUnicode(left.pointer, right.pointer) ||
+        compareUnicode(left.code, right.code) ||
+        compareUnicode(left.message, right.message));
+}
+//# sourceMappingURL=validate.js.map

package/dist/v1/language/value/profile/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../../../v1/language/value/profile/validate.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAA;AACvE,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAA;AACjF,OAAO,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAA;AACzE,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAA;AAChE,OAAO,EAAE,6BAA6B,EAAE,MAAM,kBAAkB,CAAA;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAA;AAElD,MAAM,UAAU,mBAAmB,CACjC,MAAkB,EAClB,OAA2B,EAC3B,QAA6B,EAC7B,OAAO,GAAG,EAAE;IAEZ,MAAM,WAAW,GAAiB,EAAE,CAAA;IACpC,WAAW,CAAC,IAAI,CAAC,GAAG,2BAA2B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAEjE,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;IAChD,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAA;IACxC,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IAC/E,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAA;IAExC,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QAClD,8FAA8F;QAC9F,8EAA8E;QAC9E,IAAI,QAAQ,CAAC,GAAG,KAAK,yBAAyB;YAAE,SAAQ;QACxD,MAAM,eAAe,GAAG,QAAQ,CAAC,iBAAiB,IAAI,OAAO,CAAA;QAC7D,WAAW,CAAC,IAAI,CAAC,GAAG,6BAA6B,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAA;QACpF,WAAW,CAAC,IAAI,CAAC,GAAG,2BAA2B,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAA;QAClF,WAAW,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,CAAA;QACrF,WAAW,CAAC,IAAI,CACd,GAAG,yBAAyB,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,GAAG,EAAE,EAAE,CAC9E,iBAAiB,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,WAAW,CAAC,CAC5D,CACF,CAAA;IACH,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,GAAG,2BAA2B,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC,CAAA;IACxF,OAAO,mBAAmB,CAAC,WAAW,CAAC,CAAA;AACzC,CAAC;AAED,SAAS,mBAAmB,CAAC,WAAkC;IAC7D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAA;IAC5C,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CACR,GAAG,KAAK,CAAC,OAAO,SAAS,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,GAAG,IAAI,EAAE,SAAS,KAAK,CAAC,OAAO,EAAE,EACnF,KAAK,CACN,CAAA;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAC9B,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC;QAC3C,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAC9C,CAAA;AACH,CAAC"}

package/dist/v1/language/value/profile/vocabulary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vocabulary.d.ts","sourceRoot":"","sources":["../../../../../v1/language/value/profile/vocabulary.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,wBAAwB,aA6DnC,CAAA;AAEF,eAAO,MAAM,0BAA0B,aAKrC,CAAA"}

package/dist/v1/language/value/profile/vocabulary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vocabulary.js","sourceRoot":"","sources":["../../../../../v1/language/value/profile/vocabulary.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC;IAC9C,SAAS;IACT,UAAU;IACV,OAAO;IACP,gBAAgB;IAChB,aAAa;IACb,KAAK;IACL,MAAM;IACN,SAAS;IACT,aAAa;IACb,sBAAsB;IACtB,OAAO;IACP,OAAO;IACP,OAAO;IACP,UAAU;IACV,iBAAiB;IACjB,kBAAkB;IAClB,eAAe;IACf,SAAS;IACT,mBAAmB;IACnB,kBAAkB;IAClB,YAAY;IACZ,aAAa;IACb,MAAM;IACN,MAAM;IACN,UAAU;IACV,kBAAkB;IAClB,kBAAkB;IAClB,QAAQ;IACR,WAAW;IACX,IAAI;IACJ,OAAO;IACP,aAAa;IACb,SAAS;IACT,UAAU;IACV,WAAW;IACX,eAAe;IACf,aAAa;IACb,SAAS;IACT,UAAU;IACV,WAAW;IACX,eAAe;IACf,YAAY;IACZ,KAAK;IACL,OAAO;IACP,SAAS;IACT,mBAAmB;IACnB,aAAa;IACb,YAAY;IACZ,eAAe;IACf,UAAU;IACV,UAAU;IACV,MAAM;IACN,OAAO;IACP,MAAM;IACN,kBAAkB;IAClB,uBAAuB;IACvB,aAAa;IACb,WAAW;IACX,gBAAgB;IAChB,sBAAsB;CACvB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC;IAChD,SAAS;IACT,gBAAgB;IAChB,aAAa;IACb,aAAa;CACd,CAAC,CAAA"}

package/dist/v1/language/value/reference/closure.d.ts

@@ -0,0 +1,12 @@
+import type { Diagnostic } from '../../validation/diagnostic.js';
+import type { JsonSchema, ValueSchemaContext } from '../model/schema.js';
+import type { RegistryIndex } from './registry.index.js';
+import { type ResolvedAddressReference, type SchemaResource } from './references.js';
+export interface ValueSchemaResourceClosure {
+    readonly resources: ReadonlyMap<string, SchemaResource>;
+    readonly resolutions: ReadonlyMap<string, ResolvedAddressReference>;
+    readonly diagnostics: readonly Diagnostic[];
+}
+export declare function collectResourceClosure(schema: JsonSchema, context: ValueSchemaContext, index: RegistryIndex, pointer: string): ValueSchemaResourceClosure;
+export declare function locationKey(resourceKey: string, pointer: string): string;
+//# sourceMappingURL=closure.d.ts.map

package/dist/v1/language/value/reference/closure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"closure.d.ts","sourceRoot":"","sources":["../../../../../v1/language/value/reference/closure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAA;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAA;AACxE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAMxD,OAAO,EAEL,KAAK,wBAAwB,EAC7B,KAAK,cAAc,EACpB,MAAM,iBAAiB,CAAA;AAExB,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;IACvD,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAA;IACnE,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAA;CAC5C;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,UAAU,EAClB,OAAO,EAAE,kBAAkB,EAC3B,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,MAAM,GACd,0BAA0B,CAgD5B;AAED,wBAAgB,WAAW,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAExE"}

package/dist/v1/language/value/reference/closure.js

@@ -0,0 +1,52 @@
+import { diagnostic } from '../../validation/diagnostic.js';
+import { isValueObject as isJsonObject } from '../model/object.js';
+import { hasNodePathAnnotation } from '../syntax/node-path/schema.js';
+import { walkSchema } from '../syntax/walk.js';
+import { resolveAddressReference, } from './references.js';
+export function collectResourceClosure(schema, context, index, pointer) {
+    const diagnostics = [];
+    const resources = new Map();
+    const resolutions = new Map();
+    const initial = {
+        key: `urn:astrale:dsl:v1:embedded:${context}`,
+        schema,
+        ownerOrigin: index.registry.current.origin,
+        diagnosticPointer: pointer,
+    };
+    resources.set(initial.key, initial);
+    const queue = [initial];
+    while (queue.length > 0) {
+        const resource = queue.shift();
+        if (resource === undefined)
+            break;
+        walkSchema(resource.schema, (location) => {
+            if (!isJsonObject(location.schema) || !Object.hasOwn(location.schema, '$ref'))
+                return;
+            const refPointer = `${resource.diagnosticPointer ?? pointer}${location.pointer}/$ref`;
+            if (typeof location.schema.$ref !== 'string') {
+                diagnostics.push(diagnostic('VS_REFERENCE_FORM', refPointer, '$ref must be a string URI-reference.'));
+                return;
+            }
+            const result = resolveAddressReference(location.schema.$ref, resource, index, refPointer, hasNodePathAnnotation(location.schema));
+            if (result.diagnostic !== undefined)
+                diagnostics.push(result.diagnostic);
+            if (result.resolved === undefined)
+                return;
+            resolutions.set(locationKey(resource.key, location.pointer), result.resolved);
+            const target = result.resolved.resource;
+            if (resources.has(target.key))
+                return;
+            const registered = {
+                ...target,
+                diagnosticPointer: `${pointer}/registry/graphNodePath`,
+            };
+            resources.set(target.key, registered);
+            queue.push(registered);
+        });
+    }
+    return { resources, resolutions, diagnostics };
+}
+export function locationKey(resourceKey, pointer) {
+    return `${resourceKey}\u0000${pointer}`;
+}
+//# sourceMappingURL=closure.js.map

package/dist/v1/language/value/reference/closure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"closure.js","sourceRoot":"","sources":["../../../../../v1/language/value/reference/closure.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAA;AAC3D,OAAO,EAAE,aAAa,IAAI,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAClE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EACL,uBAAuB,GAGxB,MAAM,iBAAiB,CAAA;AAQxB,MAAM,UAAU,sBAAsB,CACpC,MAAkB,EAClB,OAA2B,EAC3B,KAAoB,EACpB,OAAe;IAEf,MAAM,WAAW,GAAiB,EAAE,CAAA;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAA0B,CAAA;IACnD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoC,CAAA;IAC/D,MAAM,OAAO,GAAmB;QAC9B,GAAG,EAAE,+BAA+B,OAAO,EAAE;QAC7C,MAAM;QACN,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM;QAC1C,iBAAiB,EAAE,OAAO;KAC3B,CAAA;IACD,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IAEnC,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,CAAA;IACvB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,CAAA;QAC9B,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAK;QACjC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE;YACvC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAAE,OAAM;YACrF,MAAM,UAAU,GAAG,GAAG,QAAQ,CAAC,iBAAiB,IAAI,OAAO,GAAG,QAAQ,CAAC,OAAO,OAAO,CAAA;YACrF,IAAI,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7C,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,mBAAmB,EAAE,UAAU,EAAE,sCAAsC,CAAC,CACpF,CAAA;gBACD,OAAM;YACR,CAAC;YACD,MAAM,MAAM,GAAG,uBAAuB,CACpC,QAAQ,CAAC,MAAM,CAAC,IAAI,EACpB,QAAQ,EACR,KAAK,EACL,UAAU,EACV,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,CACvC,CAAA;YACD,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS;gBAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;YACxE,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS;gBAAE,OAAM;YACzC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAA;YAE7E,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAA;YACvC,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC;gBAAE,OAAM;YACrC,MAAM,UAAU,GAAmB;gBACjC,GAAG,MAAM;gBACT,iBAAiB,EAAE,GAAG,OAAO,yBAAyB;aACvD,CAAA;YACD,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,CAAA;YACrC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QACxB,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,CAAA;AAChD,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,WAAmB,EAAE,OAAe;IAC9D,OAAO,GAAG,WAAW,SAAS,OAAO,EAAE,CAAA;AACzC,CAAC"}

package/dist/v1/language/value/reference/recursion.d.ts

@@ -0,0 +1,6 @@
+import type { Diagnostic } from '../../validation/diagnostic.js';
+import type { ResolvedAddressReference, SchemaResource } from './references.js';
+export declare const CONSUMING_SCHEMA_KEYWORDS: Set<string>;
+export declare const NON_CONSUMING_SCHEMA_KEYWORDS: Set<string>;
+export declare function validateProductiveRecursion(resources: ReadonlyMap<string, SchemaResource>, resolutions: ReadonlyMap<string, ResolvedAddressReference>): readonly Diagnostic[];
+//# sourceMappingURL=recursion.d.ts.map

package/dist/v1/language/value/reference/recursion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"recursion.d.ts","sourceRoot":"","sources":["../../../../../v1/language/value/reference/recursion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAA;AAChE,OAAO,KAAK,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAa/E,eAAO,MAAM,yBAAyB,aAUpC,CAAA;AAEF,eAAO,MAAM,6BAA6B,aAUxC,CAAA;AAEF,wBAAgB,2BAA2B,CACzC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,EAC9C,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,wBAAwB,CAAC,GACzD,SAAS,UAAU,EAAE,CAwDvB"}

package/dist/v1/language/value/reference/recursion.js

@@ -0,0 +1,96 @@
+import { diagnostic } from '../../validation/diagnostic.js';
+import { isValueObject as isJsonObject } from '../model/object.js';
+import { SCHEMA_ARRAY_KEYWORDS, SCHEMA_MAP_KEYWORDS, SCHEMA_SINGLE_KEYWORDS, } from '../syntax/keywords.js';
+import { appendPointer } from '../syntax/pointer.js';
+import { isJsonSchema, walkSchema } from '../syntax/walk.js';
+import { locationKey } from './closure.js';
+export const CONSUMING_SCHEMA_KEYWORDS = new Set([
+    'additionalProperties',
+    'contains',
+    'items',
+    'patternProperties',
+    'prefixItems',
+    'properties',
+    'propertyNames',
+    'unevaluatedItems',
+    'unevaluatedProperties',
+]);
+export const NON_CONSUMING_SCHEMA_KEYWORDS = new Set([
+    '$defs',
+    'allOf',
+    'anyOf',
+    'dependentSchemas',
+    'else',
+    'if',
+    'not',
+    'oneOf',
+    'then',
+]);
+export function validateProductiveRecursion(resources, resolutions) {
+    const adjacency = new Map();
+    const diagnosticPointers = new Map();
+    for (const resource of resources.values()) {
+        walkSchema(resource.schema, (location) => {
+            const source = locationKey(resource.key, location.pointer);
+            diagnosticPointers.set(source, `${resource.diagnosticPointer ?? ''}${location.pointer}`);
+            const outgoing = adjacency.get(source) ?? new Set();
+            adjacency.set(source, outgoing);
+            if (!isJsonObject(location.schema))
+                return;
+            const ref = resolutions.get(source);
+            if (ref !== undefined)
+                outgoing.add(locationKey(ref.resource.key, ref.pointer));
+            for (const [keyword, value] of Object.entries(location.schema)) {
+                if (!NON_CONSUMING_SCHEMA_KEYWORDS.has(keyword))
+                    continue;
+                const keywordPointer = appendPointer(location.pointer, keyword);
+                if (SCHEMA_SINGLE_KEYWORDS.has(keyword) && isJsonSchema(value)) {
+                    outgoing.add(locationKey(resource.key, keywordPointer));
+                    continue;
+                }
+                if (SCHEMA_ARRAY_KEYWORDS.has(keyword) && Array.isArray(value)) {
+                    value.forEach((entry, index) => {
+                        if (isJsonSchema(entry)) {
+                            outgoing.add(locationKey(resource.key, appendPointer(keywordPointer, index)));
+                        }
+                    });
+                    continue;
+                }
+                if (SCHEMA_MAP_KEYWORDS.has(keyword) && isJsonObject(value)) {
+                    for (const [name, entry] of Object.entries(value)) {
+                        if (isJsonSchema(entry)) {
+                            outgoing.add(locationKey(resource.key, appendPointer(keywordPointer, name)));
+                        }
+                    }
+                }
+            }
+        });
+    }
+    const visiting = new Set();
+    const visited = new Set();
+    for (const node of adjacency.keys()) {
+        const cycleAt = findCycle(node, adjacency, visiting, visited);
+        if (cycleAt !== undefined) {
+            return [
+                diagnostic('VS_RECURSION_PRODUCTIVE', diagnosticPointers.get(cycleAt) ?? '', 'Every recursive cycle must cross an instance-consuming schema edge.'),
+            ];
+        }
+    }
+    return [];
+}
+function findCycle(node, adjacency, visiting, visited) {
+    if (visiting.has(node))
+        return node;
+    if (visited.has(node))
+        return undefined;
+    visiting.add(node);
+    for (const target of adjacency.get(node) ?? []) {
+        const cycleAt = findCycle(target, adjacency, visiting, visited);
+        if (cycleAt !== undefined)
+            return cycleAt;
+    }
+    visiting.delete(node);
+    visited.add(node);
+    return undefined;
+}
+//# sourceMappingURL=recursion.js.map

package/dist/v1/language/value/reference/recursion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recursion.js","sourceRoot":"","sources":["../../../../../v1/language/value/reference/recursion.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAA;AAC3D,OAAO,EAAE,aAAa,IAAI,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAClE,OAAO,EACL,qBAAqB,EACrB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACpD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAC5D,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAE1C,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IAC/C,sBAAsB;IACtB,UAAU;IACV,OAAO;IACP,mBAAmB;IACnB,aAAa;IACb,YAAY;IACZ,eAAe;IACf,kBAAkB;IAClB,uBAAuB;CACxB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAAC;IACnD,OAAO;IACP,OAAO;IACP,OAAO;IACP,kBAAkB;IAClB,MAAM;IACN,IAAI;IACJ,KAAK;IACL,OAAO;IACP,MAAM;CACP,CAAC,CAAA;AAEF,MAAM,UAAU,2BAA2B,CACzC,SAA8C,EAC9C,WAA0D;IAE1D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAA;IAChD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAA;IAEpD,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE;YACvC,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;YAC1D,kBAAkB,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,iBAAiB,IAAI,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;YACxF,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAU,CAAA;YAC3D,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;YAC/B,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,OAAM;YAE1C,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YACnC,IAAI,GAAG,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;YAE/E,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/D,IAAI,CAAC,6BAA6B,CAAC,GAAG,CAAC,OAAO,CAAC;oBAAE,SAAQ;gBACzD,MAAM,cAAc,GAAG,aAAa,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;gBAC/D,IAAI,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC/D,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAA;oBACvD,SAAQ;gBACV,CAAC;gBACD,IAAI,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC/D,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;wBAC7B,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;4BACxB,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;wBAC/E,CAAC;oBACH,CAAC,CAAC,CAAA;oBACF,SAAQ;gBACV,CAAC;gBACD,IAAI,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;wBAClD,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;4BACxB,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;wBAC9E,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;QAC7D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO;gBACL,UAAU,CACR,yBAAyB,EACzB,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EACrC,qEAAqE,CACtE;aACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAA;AACX,CAAC;AAED,SAAS,SAAS,CAChB,IAAY,EACZ,SAAmD,EACnD,QAAqB,EACrB,OAAoB;IAEpB,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAA;IACnC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAA;IACvC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAClB,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;QAC/D,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAA;IAC3C,CAAC;IACD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACrB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACjB,OAAO,SAAS,CAAA;AAClB,CAAC"}

package/dist/v1/language/value/reference/references.d.ts

@@ -0,0 +1,18 @@
+import type { Diagnostic } from '../../validation/diagnostic.js';
+import type { JsonSchema } from '../model/schema.js';
+import type { RegistryIndex } from './registry.index.js';
+export interface SchemaResource {
+    readonly key: string;
+    readonly schema: JsonSchema;
+    readonly ownerOrigin: string;
+    readonly diagnosticPointer?: string;
+}
+export interface ResolvedAddressReference {
+    readonly resource: SchemaResource;
+    readonly pointer: string;
+}
+export declare function resolveAddressReference(ref: string, from: SchemaResource, index: RegistryIndex, pointer: string, nodePathPlacement: boolean): {
+    readonly resolved?: ResolvedAddressReference;
+    readonly diagnostic?: Diagnostic;
+};
+//# sourceMappingURL=references.d.ts.map

package/dist/v1/language/value/reference/references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../../../../v1/language/value/reference/references.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAA;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAOxD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAA;CACpC;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,MAAM,EACf,iBAAiB,EAAE,OAAO,GACzB;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,wBAAwB,CAAC;IAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAA;CAAE,CA+CpF"}

package/dist/v1/language/value/reference/references.js

@@ -0,0 +1,46 @@
+import { diagnostic } from '../../validation/diagnostic.js';
+import { GRAPH_NODE_PATH_SCHEMA_ID } from '../syntax/node-path/schema.js';
+import { parseJsonPointerFragment, resolvePointer, tokensToPointer } from '../syntax/pointer.js';
+import { collectSchemaPointers } from '../syntax/walk.js';
+export function resolveAddressReference(ref, from, index, pointer, nodePathPlacement) {
+    if (ref === GRAPH_NODE_PATH_SCHEMA_ID) {
+        if (!nodePathPlacement) {
+            return {
+                diagnostic: diagnostic('VS_REFERENCE_FORM', pointer, 'The graph NodePath schema may be referenced only beside a valid x-astrale-path annotation.', ref),
+            };
+        }
+        return {
+            resolved: {
+                resource: {
+                    key: GRAPH_NODE_PATH_SCHEMA_ID,
+                    schema: index.registry.graphNodePath,
+                    ownerOrigin: from.ownerOrigin,
+                },
+                pointer: '',
+            },
+        };
+    }
+    if (ref.startsWith('#')) {
+        const tokens = parseJsonPointerFragment(ref);
+        if (tokens === undefined) {
+            return {
+                diagnostic: diagnostic('VS_REFERENCE_FORM', pointer, 'A local $ref must be a JSON Pointer fragment; anchors are forbidden.', ref),
+            };
+        }
+        return resolveTarget(from, tokens, pointer, ref);
+    }
+    return {
+        diagnostic: diagnostic('VS_REFERENCE_FORM', pointer, 'A $ref must be a local JSON Pointer or the graph NodePath id at its extension site.', ref),
+    };
+}
+function resolveTarget(resource, tokens, diagnosticPointer, ref) {
+    const target = resolvePointer(resource.schema, tokens);
+    const pointer = tokensToPointer(tokens);
+    if (target === undefined || !collectSchemaPointers(resource.schema).has(pointer)) {
+        return {
+            diagnostic: diagnostic('VS_REFERENCE_RESOLUTION', diagnosticPointer, 'The $ref does not resolve to an exact schema location in the registry.', ref),
+        };
+    }
+    return { resolved: { resource, pointer } };
+}
+//# sourceMappingURL=references.js.map

package/dist/v1/language/value/reference/references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../../../../../v1/language/value/reference/references.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAA;AAC3D,OAAO,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAA;AACzE,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAA;AAChG,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAA;AAczD,MAAM,UAAU,uBAAuB,CACrC,GAAW,EACX,IAAoB,EACpB,KAAoB,EACpB,OAAe,EACf,iBAA0B;IAE1B,IAAI,GAAG,KAAK,yBAAyB,EAAE,CAAC;QACtC,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,OAAO;gBACL,UAAU,EAAE,UAAU,CACpB,mBAAmB,EACnB,OAAO,EACP,4FAA4F,EAC5F,GAAG,CACJ;aACF,CAAA;QACH,CAAC;QACD,OAAO;YACL,QAAQ,EAAE;gBACR,QAAQ,EAAE;oBACR,GAAG,EAAE,yBAAyB;oBAC9B,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,aAAa;oBACpC,WAAW,EAAE,IAAI,CAAC,WAAW;iBAC9B;gBACD,OAAO,EAAE,EAAE;aACZ;SACF,CAAA;IACH,CAAC;IAED,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAA;QAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO;gBACL,UAAU,EAAE,UAAU,CACpB,mBAAmB,EACnB,OAAO,EACP,sEAAsE,EACtE,GAAG,CACJ;aACF,CAAA;QACH,CAAC;QACD,OAAO,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAA;IAClD,CAAC;IAED,OAAO;QACL,UAAU,EAAE,UAAU,CACpB,mBAAmB,EACnB,OAAO,EACP,qFAAqF,EACrF,GAAG,CACJ;KACF,CAAA;AACH,CAAC;AAED,SAAS,aAAa,CACpB,QAAwB,EACxB,MAAyB,EACzB,iBAAyB,EACzB,GAAW;IAEX,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAA;IACvC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACjF,OAAO;YACL,UAAU,EAAE,UAAU,CACpB,yBAAyB,EACzB,iBAAiB,EACjB,wEAAwE,EACxE,GAAG,CACJ;SACF,CAAA;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAA;AAC5C,CAAC"}

package/dist/v1/language/value/reference/registry.d.ts

@@ -0,0 +1,25 @@
+import type { ClassRef } from '../../../addressing/index.js';
+import type { JsonSchema } from '../model/schema.js';
+export interface ValueSchemaDependency {
+    readonly origin: string;
+    readonly revision: `sha256:${string}`;
+}
+export interface ValueSchemaDomainRegistry {
+    readonly origin: string;
+    readonly revision?: `sha256:${string}`;
+    readonly dependencies: readonly ValueSchemaDependency[];
+    readonly nodeDefinitions: readonly ClassRef[];
+}
+/**
+ * The exact closure visible while validating one DomainSchema.
+ *
+ * The exact closure is present, but each resource may see only its owning
+ * Domain and that owner's exact direct dependency pins.
+ */
+export interface ValueSchemaRegistry {
+    readonly current: ValueSchemaDomainRegistry;
+    readonly directDependencies: readonly ValueSchemaDomainRegistry[];
+    readonly transitiveDependencies: readonly ValueSchemaDomainRegistry[];
+    readonly graphNodePath: JsonSchema;
+}
+//# sourceMappingURL=registry.d.ts.map

package/dist/v1/language/value/reference/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../../../../v1/language/value/reference/registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAEpD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,QAAQ,EAAE,UAAU,MAAM,EAAE,CAAA;CACtC;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,UAAU,MAAM,EAAE,CAAA;IACtC,QAAQ,CAAC,YAAY,EAAE,SAAS,qBAAqB,EAAE,CAAA;IACvD,QAAQ,CAAC,eAAe,EAAE,SAAS,QAAQ,EAAE,CAAA;CAC9C;AAED;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,yBAAyB,CAAA;IAC3C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,yBAAyB,EAAE,CAAA;IACjE,QAAQ,CAAC,sBAAsB,EAAE,SAAS,yBAAyB,EAAE,CAAA;IACrE,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAA;CACnC"}

package/dist/v1/language/value/reference/registry.index.d.ts

@@ -0,0 +1,15 @@
+import type { ClassRef } from '../../../addressing/index.js';
+import type { Diagnostic } from '../../validation/diagnostic.js';
+import type { ValueSchemaDomainRegistry, ValueSchemaRegistry } from './registry.js';
+export interface RegistryIndex {
+    readonly registry: ValueSchemaRegistry;
+    readonly domains: ReadonlyMap<string, ValueSchemaDomainRegistry>;
+    readonly dependenciesByOwner: ReadonlyMap<string, ReadonlyMap<string, string>>;
+}
+export declare function indexRegistry(registry: ValueSchemaRegistry, pointer: string): {
+    readonly index: RegistryIndex;
+    readonly diagnostics: readonly Diagnostic[];
+};
+export declare function isOriginVisibleFrom(index: RegistryIndex, ownerOrigin: string, targetOrigin: string): boolean;
+export declare function hasNodeDefinition(index: RegistryIndex, ref: ClassRef, ownerOrigin: string): boolean;
+//# sourceMappingURL=registry.index.d.ts.map

package/dist/v1/language/value/reference/registry.index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.index.d.ts","sourceRoot":"","sources":["../../../../../v1/language/value/reference/registry.index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAA;AAEhE,OAAO,KAAK,EAAE,yBAAyB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AASnF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAA;IACtC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAA;IAChE,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAC/E;AAED,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,mBAAmB,EAC7B,OAAO,EAAE,MAAM,GACd;IAAE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE,CAuDhF;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,aAAa,EACpB,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM,GACnB,OAAO,CAKT;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,aAAa,EACpB,GAAG,EAAE,QAAQ,EACb,WAAW,EAAE,MAAM,GAClB,OAAO,CAST"}