@astrale-os/kernel-dsl 0.1.5 → 0.2.0-beta.2

package/dist/v1/schema/value/regexp/linear.js

@@ -0,0 +1,24 @@
+import { RE2JS } from 're2js';
+import { lowerIRegexpPattern } from './pattern.js';
+/**
+ * Ajv pattern engine backed by RE2JS. JSON Schema patterns search rather than
+ * require a full-string match, which is the behavior of RE2JS.test().
+ */
+export const linearRegExp = Object.assign((pattern, _unicodeFlag) => RE2JS.compile(pattern), {
+    // Used only if a consumer asks Ajv to emit a standalone CommonJS validator.
+    code: '((pattern) => require("re2js").RE2JS.compile(pattern))',
+});
+export function compilesWithLinearRegExp(pattern) {
+    try {
+        RE2JS.compile(pattern);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+/** Compile one already-admitted I-Regexp with both search and whole-string operations. */
+export function compileIRegexp(source) {
+    return RE2JS.compile(lowerIRegexpPattern(source));
+}
+//# sourceMappingURL=linear.js.map

package/dist/v1/schema/value/regexp/linear.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"linear.js","sourceRoot":"","sources":["../../../../../v1/schema/value/regexp/linear.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,OAAO,CAAA;AAE7B,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAelD;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAiB,MAAM,CAAC,MAAM,CACrD,CAAC,OAAe,EAAE,YAAoB,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EACjE;IACE,4EAA4E;IAC5E,IAAI,EAAE,wDAAwD;CAC/D,CACF,CAAA;AAED,MAAM,UAAU,wBAAwB,CAAC,OAAe;IACtD,IAAI,CAAC;QACH,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACtB,OAAO,IAAI,CAAA;IACb,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,OAAO,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAA;AACnD,CAAC"}

package/dist/v1/schema/value/regexp/lower.d.ts

@@ -0,0 +1,4 @@
+import type { JsonSchema } from '../schema.js';
+/** Creates an Ajv-private schema copy with only checked I-Regexp sources lowered. */
+export declare function lowerIRegexpSchemas(schema: JsonSchema): JsonSchema;
+//# sourceMappingURL=lower.d.ts.map

package/dist/v1/schema/value/regexp/lower.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/value/regexp/lower.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAM9C,qFAAqF;AACrF,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,CAkBlE"}

package/dist/v1/schema/value/regexp/lower.js

@@ -0,0 +1,27 @@
+import { accept as acceptJsonValue } from '@astrale-os/kernel-dsl/value';
+import { walkSchema } from '../location/walk.js';
+import { isValueObject as isJsonObject } from '../object.js';
+import { lowerIRegexpPattern } from './pattern.js';
+/** Creates an Ajv-private schema copy with only checked I-Regexp sources lowered. */
+export function lowerIRegexpSchemas(schema) {
+    const lowered = acceptJsonValue(schema);
+    walkSchema(lowered, ({ schema: current }) => {
+        if (!isJsonObject(current))
+            return;
+        const mutable = current;
+        if (typeof current.pattern === 'string') {
+            mutable.pattern = lowerIRegexpPattern(current.pattern);
+        }
+        if (isJsonObject(current.patternProperties)) {
+            const patterns = current.patternProperties;
+            const entries = Object.entries(current.patternProperties);
+            for (const key of Object.keys(patterns))
+                delete patterns[key];
+            for (const [pattern, child] of entries) {
+                patterns[lowerIRegexpPattern(pattern)] = child;
+            }
+        }
+    });
+    return lowered;
+}
+//# sourceMappingURL=lower.js.map

package/dist/v1/schema/value/regexp/lower.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../../../../v1/schema/value/regexp/lower.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,eAAe,EAAE,MAAM,8BAA8B,CAAA;AAIxE,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,aAAa,IAAI,YAAY,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAElD,qFAAqF;AACrF,MAAM,UAAU,mBAAmB,CAAC,MAAkB;IACpD,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAe,CAAA;IACrD,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE;QAC1C,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC;YAAE,OAAM;QAClC,MAAM,OAAO,GAAG,OAAkC,CAAA;QAClD,IAAI,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YACxC,OAAO,CAAC,OAAO,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACxD,CAAC;QACD,IAAI,YAAY,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAA4C,CAAA;YACrE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAA;YACzD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAAE,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAA;YAC7D,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;gBACvC,QAAQ,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,CAAA;YAChD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAA;IACF,OAAO,OAAO,CAAA;AAChB,CAAC"}

package/dist/v1/schema/value/regexp/pattern.d.ts

@@ -0,0 +1,3 @@
+/** Lowers one admitted I-Regexp source into the pattern syntax used by the engine. */
+export declare function lowerIRegexpPattern(pattern: string): string;
+//# sourceMappingURL=pattern.d.ts.map

package/dist/v1/schema/value/regexp/pattern.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/value/regexp/pattern.ts"],"names":[],"mappings":"AAAA,sFAAsF;AACtF,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAqC3D"}

package/dist/v1/schema/value/regexp/pattern.js

@@ -0,0 +1,39 @@
+/** Lowers one admitted I-Regexp source into the pattern syntax used by the engine. */
+export function lowerIRegexpPattern(pattern) {
+    let result = '';
+    let escaped = false;
+    let characterClass = false;
+    for (const character of Array.from(pattern)) {
+        if (escaped) {
+            result += character;
+            escaped = false;
+            continue;
+        }
+        if (character === '\\') {
+            result += character;
+            escaped = true;
+            continue;
+        }
+        if (character === '[') {
+            characterClass = true;
+            result += character;
+            continue;
+        }
+        if (character === ']') {
+            characterClass = false;
+            result += character;
+            continue;
+        }
+        if (!characterClass && character === '.') {
+            result += '[^\\n\\r]';
+            continue;
+        }
+        if (!characterClass && (character === '^' || character === '$')) {
+            result += `\\${character}`;
+            continue;
+        }
+        result += character;
+    }
+    return result;
+}
+//# sourceMappingURL=pattern.js.map

package/dist/v1/schema/value/regexp/pattern.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern.js","sourceRoot":"","sources":["../../../../../v1/schema/value/regexp/pattern.ts"],"names":[],"mappings":"AAAA,sFAAsF;AACtF,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,IAAI,MAAM,GAAG,EAAE,CAAA;IACf,IAAI,OAAO,GAAG,KAAK,CAAA;IACnB,IAAI,cAAc,GAAG,KAAK,CAAA;IAE1B,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5C,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,IAAI,SAAS,CAAA;YACnB,OAAO,GAAG,KAAK,CAAA;YACf,SAAQ;QACV,CAAC;QACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,MAAM,IAAI,SAAS,CAAA;YACnB,OAAO,GAAG,IAAI,CAAA;YACd,SAAQ;QACV,CAAC;QACD,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,cAAc,GAAG,IAAI,CAAA;YACrB,MAAM,IAAI,SAAS,CAAA;YACnB,SAAQ;QACV,CAAC;QACD,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,cAAc,GAAG,KAAK,CAAA;YACtB,MAAM,IAAI,SAAS,CAAA;YACnB,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,cAAc,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACzC,MAAM,IAAI,WAAW,CAAA;YACrB,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,cAAc,IAAI,CAAC,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,KAAK,SAAS,EAAE,CAAA;YAC1B,SAAQ;QACV,CAAC;QACD,MAAM,IAAI,SAAS,CAAA;IACrB,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC"}

package/dist/v1/schema/value/regexp/syntax.d.ts

@@ -0,0 +1,3 @@
+/** A complete syntax checker for the ABNF in RFC 9485 section 3. */
+export declare function isIRegexp(source: string): boolean;
+//# sourceMappingURL=syntax.d.ts.map

package/dist/v1/schema/value/regexp/syntax.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/value/regexp/syntax.ts"],"names":[],"mappings":"AAQA,oEAAoE;AACpE,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAOjD"}

package/dist/v1/schema/value/regexp/syntax.js

@@ -0,0 +1,217 @@
+import { compilesWithLinearRegExp } from './linear.js';
+import { lowerIRegexpPattern } from './pattern.js';
+const CATEGORY = /^(?:L[lmotu]?|M[cen]?|N[dlo]?|P[cdfios]?|Z[lps]?|S[ckmo]?|C[cfno]?)$/u;
+const MAX_IREGEXP_CODE_POINTS = 4096;
+const MAX_IREGEXP_NESTING = 32;
+const MAX_IREGEXP_REPEAT = 1000;
+/** A complete syntax checker for the ABNF in RFC 9485 section 3. */
+export function isIRegexp(source) {
+    if (!isUnicodeScalarString(source) || source === '[^]')
+        return false;
+    const characters = Array.from(source);
+    if (characters.length > MAX_IREGEXP_CODE_POINTS)
+        return false;
+    const parser = new IRegexpParser(characters);
+    if (!parser.parse())
+        return false;
+    return compilesWithLinearRegExp(lowerIRegexpPattern(source));
+}
+class IRegexpParser {
+    chars;
+    index = 0;
+    constructor(chars) {
+        this.chars = chars;
+    }
+    parse() {
+        return this.parseExpression(undefined, 0) && this.index === this.chars.length;
+    }
+    parseExpression(stop, depth) {
+        if (depth > MAX_IREGEXP_NESTING || !this.parseBranch(stop, depth))
+            return false;
+        while (this.peek() === '|') {
+            this.index++;
+            if (!this.parseBranch(stop, depth))
+                return false;
+        }
+        return true;
+    }
+    parseBranch(stop, depth) {
+        while (this.index < this.chars.length) {
+            const next = this.peek();
+            if (next === '|' || next === stop)
+                return true;
+            if (!this.parsePiece(depth))
+                return false;
+        }
+        return stop === undefined;
+    }
+    parsePiece(depth) {
+        if (!this.parseAtom(depth))
+            return false;
+        const next = this.peek();
+        if (next === '*' || next === '+' || next === '?') {
+            this.index++;
+            return true;
+        }
+        if (next === '{')
+            return this.parseRangeQuantifier();
+        return true;
+    }
+    parseAtom(depth) {
+        const next = this.peek();
+        if (next === undefined)
+            return false;
+        if (next === '(') {
+            this.index++;
+            if (!this.parseExpression(')', depth + 1) || this.peek() !== ')')
+                return false;
+            this.index++;
+            return true;
+        }
+        if (next === '.') {
+            this.index++;
+            return true;
+        }
+        if (next === '[')
+            return this.parseCharacterClass();
+        if (next === '\\')
+            return this.parseEscape(true);
+        if (!isNormalCharacter(next))
+            return false;
+        this.index++;
+        return true;
+    }
+    parseRangeQuantifier() {
+        this.index++;
+        const minimum = this.consumeInteger();
+        if (minimum === undefined || minimum > MAX_IREGEXP_REPEAT)
+            return false;
+        let maximum = minimum;
+        if (this.peek() === ',') {
+            this.index++;
+            maximum = this.consumeInteger() ?? MAX_IREGEXP_REPEAT;
+        }
+        if (maximum > MAX_IREGEXP_REPEAT || maximum < minimum || this.peek() !== '}') {
+            return false;
+        }
+        this.index++;
+        return true;
+    }
+    parseCharacterClass() {
+        const start = this.index;
+        this.index++;
+        if (this.peek() === '^')
+            this.index++;
+        if (this.peek() === undefined || this.peek() === ']')
+            return false;
+        if (this.peek() === '-')
+            this.index++;
+        else if (!this.parseCharacterClassEntry())
+            return false;
+        while (this.peek() !== ']') {
+            if (this.peek() === undefined)
+                return false;
+            if (this.peek() === '-' && this.peek(1) === ']') {
+                this.index++;
+                break;
+            }
+            if (!this.parseCharacterClassEntry())
+                return false;
+        }
+        if (this.peek() !== ']')
+            return false;
+        this.index++;
+        return this.chars.slice(start, this.index).join('') !== '[^]';
+    }
+    parseCharacterClassEntry() {
+        if (this.peek() === '\\' && (this.peek(1) === 'p' || this.peek(1) === 'P')) {
+            return this.parseCategoryEscape();
+        }
+        if (!this.parseClassCharacter())
+            return false;
+        if (this.peek() === '-' && this.peek(1) !== ']') {
+            this.index++;
+            if (!this.parseClassCharacter())
+                return false;
+        }
+        return true;
+    }
+    parseClassCharacter() {
+        const next = this.peek();
+        if (next === '\\')
+            return this.parseEscape(false);
+        if (next === undefined || next === '-' || next === '[' || next === ']' || next === '\\') {
+            return false;
+        }
+        this.index++;
+        return true;
+    }
+    parseEscape(allowCategory) {
+        if (allowCategory && (this.peek(1) === 'p' || this.peek(1) === 'P')) {
+            return this.parseCategoryEscape();
+        }
+        if (this.peek() !== '\\')
+            return false;
+        const escaped = this.peek(1);
+        if (escaped === undefined || !'()*+-.?[\\]^nrt{}'.includes(escaped))
+            return false;
+        this.index += 2;
+        return true;
+    }
+    parseCategoryEscape() {
+        if (this.peek() !== '\\' ||
+            (this.peek(1) !== 'p' && this.peek(1) !== 'P') ||
+            this.peek(2) !== '{') {
+            return false;
+        }
+        this.index += 3;
+        let category = '';
+        while (this.peek() !== '}' && this.peek() !== undefined) {
+            category += this.peek();
+            this.index++;
+        }
+        if (this.peek() !== '}' || !CATEGORY.test(category))
+            return false;
+        this.index++;
+        return true;
+    }
+    consumeInteger() {
+        const start = this.index;
+        while (/^[0-9]$/u.test(this.peek() ?? ''))
+            this.index++;
+        if (this.index === start)
+            return undefined;
+        const value = Number(this.chars.slice(start, this.index).join(''));
+        return Number.isSafeInteger(value) ? value : undefined;
+    }
+    peek(offset = 0) {
+        return this.chars[this.index + offset];
+    }
+}
+function isNormalCharacter(value) {
+    const code = value.codePointAt(0);
+    if (code === undefined)
+        return false;
+    return ((code >= 0x00 && code <= 0x27) ||
+        code === 0x2c ||
+        code === 0x2d ||
+        (code >= 0x2f && code <= 0x3e) ||
+        (code >= 0x40 && code <= 0x5a) ||
+        (code >= 0x5e && code <= 0x7a) ||
+        (code >= 0x7e && code <= 0xd7ff) ||
+        (code >= 0xe000 && code <= 0x10ffff));
+}
+function isUnicodeScalarString(value) {
+    for (let index = 0; index < value.length; index++) {
+        const unit = value.charCodeAt(index);
+        if (unit < 0xd800 || unit > 0xdfff)
+            continue;
+        if (unit > 0xdbff || index + 1 >= value.length)
+            return false;
+        const next = value.charCodeAt(++index);
+        if (next < 0xdc00 || next > 0xdfff)
+            return false;
+    }
+    return true;
+}
+//# sourceMappingURL=syntax.js.map

package/dist/v1/schema/value/regexp/syntax.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.js","sourceRoot":"","sources":["../../../../../v1/schema/value/regexp/syntax.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAElD,MAAM,QAAQ,GAAG,uEAAuE,CAAA;AACxF,MAAM,uBAAuB,GAAG,IAAI,CAAA;AACpC,MAAM,mBAAmB,GAAG,EAAE,CAAA;AAC9B,MAAM,kBAAkB,GAAG,IAAI,CAAA;AAE/B,oEAAoE;AACpE,MAAM,UAAU,SAAS,CAAC,MAAc;IACtC,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,KAAK,KAAK;QAAE,OAAO,KAAK,CAAA;IACpE,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACrC,IAAI,UAAU,CAAC,MAAM,GAAG,uBAAuB;QAAE,OAAO,KAAK,CAAA;IAC7D,MAAM,MAAM,GAAG,IAAI,aAAa,CAAC,UAAU,CAAC,CAAA;IAC5C,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAA;IACjC,OAAO,wBAAwB,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAA;AAC9D,CAAC;AAED,MAAM,aAAa;IAGY,KAAK;IAF1B,KAAK,GAAG,CAAC,CAAA;IAEjB,YAA6B,KAAwB;qBAAxB,KAAK;IAAsB,CAAC;IAEzD,KAAK;QACH,OAAO,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAA;IAC/E,CAAC;IAEO,eAAe,CAAC,IAAwB,EAAE,KAAa;QAC7D,IAAI,KAAK,GAAG,mBAAmB,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QAC/E,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,EAAE,CAAA;YACZ,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAA;QAClD,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAEO,WAAW,CAAC,IAAwB,EAAE,KAAa;QACzD,OAAO,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;YACxB,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAA;YAC9C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAA;QAC3C,CAAC;QACD,OAAO,IAAI,KAAK,SAAS,CAAA;IAC3B,CAAC;IAEO,UAAU,CAAC,KAAa;QAC9B,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACxB,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjD,IAAI,CAAC,KAAK,EAAE,CAAA;YACZ,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC,oBAAoB,EAAE,CAAA;QACpD,OAAO,IAAI,CAAA;IACb,CAAC;IAEO,SAAS,CAAC,KAAa;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACxB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAA;QACpC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,IAAI,CAAC,KAAK,EAAE,CAAA;YACZ,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG;gBAAE,OAAO,KAAK,CAAA;YAC9E,IAAI,CAAC,KAAK,EAAE,CAAA;YACZ,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,IAAI,CAAC,KAAK,EAAE,CAAA;YACZ,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC,mBAAmB,EAAE,CAAA;QACnD,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;QAChD,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAA;QAC1C,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,OAAO,IAAI,CAAA;IACb,CAAC;IAEO,oBAAoB;QAC1B,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAA;QACrC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,GAAG,kBAAkB;YAAE,OAAO,KAAK,CAAA;QACvE,IAAI,OAAO,GAAG,OAAO,CAAA;QACrB,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,EAAE,CAAA;YACZ,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,IAAI,kBAAkB,CAAA;QACvD,CAAC;QACD,IAAI,OAAO,GAAG,kBAAkB,IAAI,OAAO,GAAG,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC7E,OAAO,KAAK,CAAA;QACd,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,OAAO,IAAI,CAAA;IACb,CAAC;IAEO,mBAAmB;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QACxB,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG;YAAE,IAAI,CAAC,KAAK,EAAE,CAAA;QACrC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG;YAAE,OAAO,KAAK,CAAA;QAElE,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG;YAAE,IAAI,CAAC,KAAK,EAAE,CAAA;aAChC,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE;YAAE,OAAO,KAAK,CAAA;QAEvD,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAA;YAC3C,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAChD,IAAI,CAAC,KAAK,EAAE,CAAA;gBACZ,MAAK;YACP,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE;gBAAE,OAAO,KAAK,CAAA;QACpD,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG;YAAE,OAAO,KAAK,CAAA;QACrC,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,CAAA;IAC/D,CAAC;IAEO,wBAAwB;QAC9B,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YAC3E,OAAO,IAAI,CAAC,mBAAmB,EAAE,CAAA;QACnC,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE;YAAE,OAAO,KAAK,CAAA;QAC7C,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAChD,IAAI,CAAC,KAAK,EAAE,CAAA;YACZ,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE;gBAAE,OAAO,KAAK,CAAA;QAC/C,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAEO,mBAAmB;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QACxB,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;QACjD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACxF,OAAO,KAAK,CAAA;QACd,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,OAAO,IAAI,CAAA;IACb,CAAC;IAEO,WAAW,CAAC,aAAsB;QACxC,IAAI,aAAa,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACpE,OAAO,IAAI,CAAC,mBAAmB,EAAE,CAAA;QACnC,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO,KAAK,CAAA;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC5B,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAA;QACjF,IAAI,CAAC,KAAK,IAAI,CAAC,CAAA;QACf,OAAO,IAAI,CAAA;IACb,CAAC;IAEO,mBAAmB;QACzB,IACE,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI;YACpB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;YAC9C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EACpB,CAAC;YACD,OAAO,KAAK,CAAA;QACd,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAA;QACf,IAAI,QAAQ,GAAG,EAAE,CAAA;QACjB,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACxD,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAA;YACvB,IAAI,CAAC,KAAK,EAAE,CAAA;QACd,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAA;QACjE,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,OAAO,IAAI,CAAA;IACb,CAAC;IAEO,cAAc;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QACxB,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;YAAE,IAAI,CAAC,KAAK,EAAE,CAAA;QACvD,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK;YAAE,OAAO,SAAS,CAAA;QAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;QAClE,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IACxD,CAAC;IAEO,IAAI,CAAC,MAAM,GAAG,CAAC;QACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,CAAA;IACxC,CAAC;CACF;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;IACjC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IACpC,OAAO,CACL,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC;QAC9B,IAAI,KAAK,IAAI;QACb,IAAI,KAAK,IAAI;QACb,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC;QAC9B,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC;QAC9B,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC;QAC9B,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,MAAM,CAAC;QAChC,CAAC,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,QAAQ,CAAC,CACrC,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAa;IAC1C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;QACpC,IAAI,IAAI,GAAG,MAAM,IAAI,IAAI,GAAG,MAAM;YAAE,SAAQ;QAC5C,IAAI,IAAI,GAAG,MAAM,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM;YAAE,OAAO,KAAK,CAAA;QAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,CAAA;QACtC,IAAI,IAAI,GAAG,MAAM,IAAI,IAAI,GAAG,MAAM;YAAE,OAAO,KAAK,CAAA;IAClD,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC"}

package/dist/v1/schema/value/registry.d.ts

@@ -0,0 +1,22 @@
+import type { DefinitionRef, DomainDependency, Revision } from '../reference.js';
+import type { JsonSchema } from './schema.js';
+export interface ValueSchemaDomainRegistry {
+    readonly origin: string;
+    readonly revision?: Revision;
+    readonly dependencies: readonly DomainDependency[];
+    readonly types: Readonly<Record<string, JsonSchema>>;
+    readonly nodeDefinitions: readonly DefinitionRef[];
+}
+/**
+ * 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/schema/value/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../../../v1/schema/value/registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAE7C,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAA;IAC5B,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAA;IAClD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAA;IACpD,QAAQ,CAAC,eAAe,EAAE,SAAS,aAAa,EAAE,CAAA;CACnD;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/schema/value/registry.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=registry.js.map

package/dist/v1/schema/value/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../../../v1/schema/value/registry.ts"],"names":[],"mappings":""}

package/dist/v1/schema/value/resources/closure.d.ts

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

package/dist/v1/schema/value/resources/closure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"closure.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/value/resources/closure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,KAAK,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAA;AAClE,OAAO,KAAK,EAAE,kBAAkB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAO5E,OAAO,EAEL,KAAK,uBAAuB,EAC5B,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,uBAAuB,CAAC,CAAA;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAClD;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,UAAU,EAClB,OAAO,EAAE,kBAAkB,EAC3B,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,MAAM,EACf,SAAS,CAAC,EAAE,kBAAkB,GAC7B,0BAA0B,CAqD5B;AAED,wBAAgB,WAAW,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAExE"}

package/dist/v1/schema/value/resources/closure.js

@@ -0,0 +1,59 @@
+import { diagnostic } from '../../diagnostic.js';
+import { namedTypeUri } from '../../reference.js';
+import { GRAPH_NODE_PATH_SCHEMA_ID, hasNodePathAnnotation } from '../extensions/node-path/schema.js';
+import { walkSchema } from '../location/walk.js';
+import { isValueObject as isJsonObject } from '../object.js';
+import { resolveSchemaReference, } from './references.js';
+export function collectResourceClosure(schema, context, index, pointer, namedType) {
+    const diagnostics = [];
+    const resources = new Map();
+    const resolutions = new Map();
+    const initial = {
+        key: namedType === undefined
+            ? `urn:astrale:dsl:v1:embedded:${context}`
+            : namedTypeUri(namedType.origin, namedType.name),
+        schema,
+        ownerOrigin: namedType?.origin ?? index.registry.current.origin,
+        ...(namedType === undefined ? {} : namedType),
+        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 = resolveSchemaReference(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 diagnosticPointer = target.key === GRAPH_NODE_PATH_SCHEMA_ID
+                ? `${pointer}/registry/graphNodePath`
+                : `${pointer}/registry/${escapeToken(target.origin ?? '')}/types/${escapeToken(target.name ?? '')}`;
+            const registered = { ...target, diagnosticPointer };
+            resources.set(target.key, registered);
+            queue.push(registered);
+        });
+    }
+    return { resources, resolutions, diagnostics };
+}
+export function locationKey(resourceKey, pointer) {
+    return `${resourceKey}\u0000${pointer}`;
+}
+function escapeToken(value) {
+    return value.replaceAll('~', '~0').replaceAll('/', '~1');
+}
+//# sourceMappingURL=closure.js.map

package/dist/v1/schema/value/resources/closure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"closure.js","sourceRoot":"","sources":["../../../../../v1/schema/value/resources/closure.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,yBAAyB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAA;AACpG,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,aAAa,IAAI,YAAY,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EACL,sBAAsB,GAGvB,MAAM,iBAAiB,CAAA;AAQxB,MAAM,UAAU,sBAAsB,CACpC,MAAkB,EAClB,OAA2B,EAC3B,KAAoB,EACpB,OAAe,EACf,SAA8B;IAE9B,MAAM,WAAW,GAAuB,EAAE,CAAA;IAC1C,MAAM,SAAS,GAAG,IAAI,GAAG,EAA0B,CAAA;IACnD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAmC,CAAA;IAC9D,MAAM,OAAO,GAAmB;QAC9B,GAAG,EACD,SAAS,KAAK,SAAS;YACrB,CAAC,CAAC,+BAA+B,OAAO,EAAE;YAC1C,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC;QACpD,MAAM;QACN,WAAW,EAAE,SAAS,EAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM;QAC/D,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7C,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,sBAAsB,CACnC,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,iBAAiB,GACrB,MAAM,CAAC,GAAG,KAAK,yBAAyB;gBACtC,CAAC,CAAC,GAAG,OAAO,yBAAyB;gBACrC,CAAC,CAAC,GAAG,OAAO,aAAa,WAAW,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,UAAU,WAAW,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAA;YACvG,MAAM,UAAU,GAAmB,EAAE,GAAG,MAAM,EAAE,iBAAiB,EAAE,CAAA;YACnE,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;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/schema/value/resources/recursion.d.ts

@@ -0,0 +1,6 @@
+import type { DomainDiagnostic } from '../../diagnostic.js';
+import type { ResolvedSchemaReference, 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, ResolvedSchemaReference>): readonly DomainDiagnostic[];
+//# sourceMappingURL=recursion.d.ts.map

package/dist/v1/schema/value/resources/recursion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"recursion.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/value/resources/recursion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,KAAK,EAAE,uBAAuB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAa9E,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,uBAAuB,CAAC,GACxD,SAAS,gBAAgB,EAAE,CAwD7B"}

package/dist/v1/schema/value/resources/recursion.js

@@ -0,0 +1,96 @@
+import { diagnostic } from '../../diagnostic.js';
+import { SCHEMA_ARRAY_KEYWORDS, SCHEMA_MAP_KEYWORDS, SCHEMA_SINGLE_KEYWORDS, } from '../location/keywords.js';
+import { appendPointer } from '../location/pointer.js';
+import { isJsonSchema, walkSchema } from '../location/walk.js';
+import { isValueObject as isJsonObject } from '../object.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/schema/value/resources/recursion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recursion.js","sourceRoot":"","sources":["../../../../../v1/schema/value/resources/recursion.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChD,OAAO,EACL,qBAAqB,EACrB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AACtD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAC9D,OAAO,EAAE,aAAa,IAAI,YAAY,EAAE,MAAM,cAAc,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,WAAyD;IAEzD,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/schema/value/resources/references.d.ts

@@ -0,0 +1,25 @@
+import type { DomainDiagnostic } from '../../diagnostic.js';
+import type { JsonSchema } from '../schema.js';
+import type { RegistryIndex } from './registry.index.js';
+export interface SchemaResource {
+    readonly key: string;
+    readonly schema: JsonSchema;
+    readonly ownerOrigin: string;
+    readonly origin?: string;
+    readonly name?: string;
+    readonly diagnosticPointer?: string;
+}
+export interface ResolvedSchemaReference {
+    readonly resource: SchemaResource;
+    readonly pointer: string;
+}
+export declare function resolveSchemaReference(ref: string, from: SchemaResource, index: RegistryIndex, pointer: string, nodePathPlacement: boolean): {
+    readonly resolved?: ResolvedSchemaReference;
+    readonly diagnostic?: DomainDiagnostic;
+};
+export declare function parseNamedTypeReference(ref: string): {
+    readonly origin: string;
+    readonly name: string;
+    readonly pointer: readonly string[];
+} | undefined;
+//# sourceMappingURL=references.d.ts.map

package/dist/v1/schema/value/resources/references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/value/resources/references.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAC9C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AASxD,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,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAA;CACpC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,wBAAgB,sBAAsB,CACpC,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,uBAAuB,CAAC;IAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,gBAAgB,CAAA;CAAE,CAqFzF;AAuBD,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,MAAM,GAET;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACvF,SAAS,CAoBZ"}