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

package/dist/v1/builder/lowering/value/zod.js

@@ -0,0 +1,343 @@
+import { z } from 'zod';
+import { VALUE_SCHEMA_DIALECT } from '../../../language/value/model/schema.js';
+import { canonicalizeValueSchema } from '../../../language/value/profile/canonicalize.js';
+import { validateValueSchema } from '../../../language/value/profile/validate.js';
+import { isIRegexp } from '../../../language/value/regexp/syntax.js';
+import { fullMatchSource } from '../../../language/value/syntax/full-match.js';
+import { diagnostic } from '../../schema/diagnostic.js';
+/**
+ * Converts only Zod contracts whose JSON-value acceptance is represented
+ * without coercion, effects, custom predicates, or format assertions.
+ */
+export function convertZodToValueSchema(zodSchema, context, registry, pointer = '', options = {}) {
+    const diagnostics = inspectZodSchema(zodSchema, pointer, options.position ?? 'value');
+    if (diagnostics.length > 0)
+        return { ok: false, diagnostics };
+    let converted;
+    try {
+        const raw = z.toJSONSchema(zodSchema, {
+            target: 'draft-2020-12',
+            unrepresentable: 'throw',
+            io: 'input',
+            cycles: 'ref',
+            reused: 'inline',
+            override: ({ zodSchema: source, jsonSchema, path }) => {
+                if (source instanceof z.ZodObject) {
+                    jsonSchema.required = Object.entries(source.shape)
+                        .filter(([, property]) => !zodObjectPropertyIsOptional(property))
+                        .map(([name]) => name);
+                }
+                if (source instanceof z.ZodType) {
+                    lowerFullMatchChecks(source, jsonSchema);
+                    options.override?.({
+                        jsonSchema: jsonSchema,
+                        path,
+                        zodSchema: source,
+                    });
+                }
+            },
+        });
+        converted = copyZodJson(raw);
+        if (converted !== null && typeof converted === 'object' && !Array.isArray(converted)) {
+            converted = { ...converted, $schema: VALUE_SCHEMA_DIALECT };
+        }
+    }
+    catch (error) {
+        return {
+            ok: false,
+            diagnostics: [
+                diagnostic('ZOD_SCHEMA_NOT_LOSSLESS', pointer, `Zod cannot represent this contract exactly as Draft 2020-12: ${errorMessage(error)}.`),
+            ],
+        };
+    }
+    if (options.validate !== false) {
+        const profileDiagnostics = validateValueSchema(converted, context, registry, pointer);
+        if (profileDiagnostics.length > 0)
+            return { ok: false, diagnostics: profileDiagnostics };
+    }
+    return {
+        ok: true,
+        schema: canonicalizeValueSchema(converted, context, registry),
+        diagnostics: [],
+    };
+}
+function copyZodJson(value) {
+    if (value === null || ['boolean', 'number', 'string'].includes(typeof value))
+        return value;
+    if (Array.isArray(value))
+        return value.map(copyZodJson);
+    if (value === null || typeof value !== 'object') {
+        throw new TypeError('Zod emitted a non-JSON schema value.');
+    }
+    const result = {};
+    for (const key of Reflect.ownKeys(value)) {
+        if (typeof key === 'symbol')
+            throw new TypeError('Zod emitted symbol-keyed schema metadata.');
+        const descriptor = Object.getOwnPropertyDescriptor(value, key);
+        if (descriptor === undefined)
+            continue;
+        if (!descriptor.enumerable) {
+            if (key === '~standard')
+                continue;
+            throw new TypeError(`Zod emitted unexpected non-enumerable schema member ${key}.`);
+        }
+        if (!('value' in descriptor))
+            throw new TypeError(`Zod emitted accessor schema member ${key}.`);
+        result[key] = copyZodJson(descriptor.value);
+    }
+    return result;
+}
+/** Whether explicit Zod optionality makes a containing object property absent-able. */
+export function zodObjectPropertyIsOptional(schema) {
+    return hasExplicitOptionality(schema, new Set());
+}
+function inspectZodSchema(root, pointer, position) {
+    const diagnostics = [];
+    const visited = new WeakMap();
+    function inspect(schema, schemaPointer, schemaPosition, boundary) {
+        const visitKey = `${schemaPosition}:${String(boundary)}`;
+        const visits = visited.get(schema) ?? new Set();
+        if (visits.has(visitKey))
+            return;
+        visits.add(visitKey);
+        visited.set(schema, visits);
+        const def = getSchemaDefinition(schema);
+        if (def === undefined) {
+            diagnostics.push(diagnostic('ZOD_SCHEMA_NOT_LOSSLESS', schemaPointer, 'Zod schema has no inspectable v4 definition.'));
+            return;
+        }
+        if (boundary && schemaPosition === 'value' && hasExplicitOptionality(schema, new Set())) {
+            diagnostics.push(diagnostic('ZOD_SCHEMA_NOT_LOSSLESS', schemaPointer, 'Zod optional() accepts JavaScript undefined, which V1 can represent only as absence of a containing object property.'));
+        }
+        const type = typeof def.type === 'string' ? def.type : 'unknown';
+        if (UNREPRESENTABLE_TYPES.has(type)) {
+            diagnostics.push(diagnostic('ZOD_SCHEMA_NOT_LOSSLESS', schemaPointer, `Zod ${type} semantics cannot be represented losslessly in the V1 JSON value domain.`));
+        }
+        if (def.coerce === true) {
+            diagnostics.push(diagnostic('ZOD_SCHEMA_NOT_LOSSLESS', schemaPointer, 'Zod coercion changes the accepted input domain and is not serializable as JSON Schema.'));
+        }
+        inspectCheck(def, schemaPointer, diagnostics);
+        if (Array.isArray(def.checks)) {
+            def.checks.forEach((check, index) => {
+                if (fullMatchSource(check) !== undefined)
+                    return;
+                const checkDef = getCheckDefinition(check);
+                if (checkDef !== undefined) {
+                    inspectCheck(checkDef, `${schemaPointer}/checks/${index}`, diagnostics);
+                }
+            });
+        }
+        for (const child of childSchemas(def, schemaPointer, schemaPosition)) {
+            inspect(child.schema, child.pointer, child.position, child.boundary);
+        }
+    }
+    inspect(root, pointer, position, true);
+    return diagnostics;
+}
+function lowerFullMatchChecks(schema, jsonSchema) {
+    const checks = getSchemaDefinition(schema)?.checks;
+    if (!Array.isArray(checks))
+        return;
+    const admitted = checks.flatMap((check) => {
+        const source = fullMatchSource(check);
+        return source === undefined ? [] : [source];
+    });
+    if (admitted.length === 0)
+        return;
+    if (admitted.length === 1) {
+        jsonSchema.fullMatch = admitted[0];
+        return;
+    }
+    const existing = Array.isArray(jsonSchema.allOf) ? jsonSchema.allOf : [];
+    jsonSchema.allOf = [...existing, ...admitted.map((fullMatch) => ({ fullMatch }))];
+}
+function inspectCheck(def, pointer, diagnostics) {
+    if (def.check === 'custom' || def.check === 'overwrite') {
+        diagnostics.push(diagnostic('ZOD_SCHEMA_NOT_LOSSLESS', pointer, `Zod ${String(def.check)} checks are executable semantics with no lossless JSON Schema form.`));
+        return;
+    }
+    if (def.check === 'string_format' && def.format !== 'regex') {
+        diagnostics.push(diagnostic('ZOD_SCHEMA_NOT_LOSSLESS', pointer, `Zod format ${String(def.format)} asserts acceptance, while V1 format is annotation-only.`));
+        return;
+    }
+    if (def.check === 'string_format' && def.format === 'regex' && def.pattern instanceof RegExp) {
+        if (!isLosslessRegexp(def.pattern)) {
+            diagnostics.push(diagnostic('ZOD_SCHEMA_NOT_LOSSLESS', pointer, 'Zod RegExp flags, anchors, dot semantics, or syntax cannot be preserved as a V1 I-Regexp substring pattern.'));
+        }
+    }
+}
+function childSchemas(def, pointer, position) {
+    const children = [];
+    const samePosition = (candidate, childPointer = pointer) => {
+        if (isZodType(candidate)) {
+            children.push({ boundary: false, pointer: childPointer, position, schema: candidate });
+        }
+    };
+    const nestedValue = (candidate, childPointer) => {
+        if (isZodType(candidate)) {
+            children.push({ boundary: true, pointer: childPointer, position: 'value', schema: candidate });
+        }
+    };
+    switch (def.type) {
+        case 'array':
+            nestedValue(def.element, `${pointer}/items`);
+            break;
+        case 'intersection':
+            samePosition(def.left, `${pointer}/allOf/0`);
+            samePosition(def.right, `${pointer}/allOf/1`);
+            break;
+        case 'lazy':
+            if (typeof def.getter === 'function')
+                samePosition(def.getter());
+            break;
+        case 'object':
+            if (isPlainRecord(def.shape)) {
+                for (const [name, child] of Object.entries(def.shape)) {
+                    if (isZodType(child)) {
+                        children.push({
+                            boundary: true,
+                            pointer: `${pointer}/properties/${escapePointerToken(name)}`,
+                            position: 'object-property',
+                            schema: child,
+                        });
+                    }
+                }
+            }
+            nestedValue(def.catchall, `${pointer}/additionalProperties`);
+            break;
+        case 'record':
+            nestedValue(def.keyType, `${pointer}/propertyNames`);
+            nestedValue(def.valueType, `${pointer}/additionalProperties`);
+            break;
+        case 'tuple':
+            if (Array.isArray(def.items)) {
+                def.items.forEach((item, index) => nestedValue(item, `${pointer}/prefixItems/${index}`));
+            }
+            nestedValue(def.rest, `${pointer}/items`);
+            break;
+        case 'union':
+            if (Array.isArray(def.options)) {
+                def.options.forEach((option, index) => samePosition(option, `${pointer}/anyOf/${index}`));
+            }
+            break;
+        default:
+            samePosition(def.innerType);
+    }
+    return children;
+}
+function hasExplicitOptionality(schema, visiting) {
+    if (visiting.has(schema))
+        return false;
+    visiting.add(schema);
+    const def = getSchemaDefinition(schema);
+    if (def === undefined) {
+        visiting.delete(schema);
+        return false;
+    }
+    let optional = false;
+    switch (def.type) {
+        case 'optional':
+            optional = true;
+            break;
+        case 'default':
+        case 'lazy':
+        case 'nullable': {
+            const child = singleSamePositionChild(def);
+            optional = child !== undefined && hasExplicitOptionality(child, visiting);
+            break;
+        }
+        case 'intersection': {
+            const left = isZodType(def.left) && hasExplicitOptionality(def.left, visiting);
+            const right = isZodType(def.right) && hasExplicitOptionality(def.right, visiting);
+            optional = left && right;
+            break;
+        }
+        case 'union':
+            optional =
+                Array.isArray(def.options) &&
+                    def.options.some((option) => isZodType(option) && hasExplicitOptionality(option, visiting));
+            break;
+        default:
+            optional = false;
+    }
+    visiting.delete(schema);
+    return optional;
+}
+function singleSamePositionChild(def) {
+    const candidate = def.type === 'lazy' && typeof def.getter === 'function' ? def.getter() : def.innerType;
+    return isZodType(candidate) ? candidate : undefined;
+}
+function getSchemaDefinition(value) {
+    return isPlainRecord(value.def) ? value.def : undefined;
+}
+/**
+ * Raw Zod checks do not expose the public `def` available on schemas. This is
+ * the sole private-ABI boundary; Zod is exact-pinned and its behavior is
+ * covered by the focused conversion conformance suite.
+ */
+function getCheckDefinition(value) {
+    if (isZodType(value))
+        return getSchemaDefinition(value);
+    if (value === null || typeof value !== 'object')
+        return undefined;
+    const internals = value._zod;
+    return isPlainRecord(internals?.def) ? internals.def : undefined;
+}
+function isZodType(value) {
+    return value instanceof z.ZodType;
+}
+function escapePointerToken(value) {
+    return value.replaceAll('~', '~0').replaceAll('/', '~1');
+}
+function isPlainRecord(value) {
+    return value !== null && typeof value === 'object' && !Array.isArray(value);
+}
+function isLosslessRegexp(pattern) {
+    if (pattern.flags !== '' && pattern.flags !== 'u')
+        return false;
+    if (!isIRegexp(pattern.source))
+        return false;
+    let escaped = false;
+    let characterClass = false;
+    for (const character of Array.from(pattern.source)) {
+        if (escaped) {
+            escaped = false;
+            continue;
+        }
+        if (character === '\\') {
+            escaped = true;
+            continue;
+        }
+        if (character === '[')
+            characterClass = true;
+        else if (character === ']')
+            characterClass = false;
+        else if (!characterClass && (character === '^' || character === '$' || character === '.')) {
+            return false;
+        }
+    }
+    return true;
+}
+const UNREPRESENTABLE_TYPES = new Set([
+    'bigint',
+    'catch',
+    'custom',
+    'date',
+    'file',
+    'function',
+    'map',
+    'nan',
+    'pipe',
+    'prefault',
+    'promise',
+    'readonly',
+    'set',
+    'symbol',
+    'transform',
+    'undefined',
+    'void',
+]);
+function errorMessage(error) {
+    return error instanceof Error ? error.message : String(error);
+}
+//# sourceMappingURL=zod.js.map

package/dist/v1/builder/lowering/value/zod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"zod.js","sourceRoot":"","sources":["../../../../../v1/builder/lowering/value/zod.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAMvB,OAAO,EAAE,oBAAoB,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iDAAiD,CAAA;AACzF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAA;AACjF,OAAO,EAAE,SAAS,EAAE,MAAM,0CAA0C,CAAA;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,8CAA8C,CAAA;AAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAA;AAqBvD;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,SAAoB,EACpB,OAA2B,EAC3B,QAA6B,EAC7B,OAAO,GAAG,EAAE,EACZ,OAAO,GAAoC,EAAE;IAE7C,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,CAAA;IACrF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAA;IAE7D,IAAI,SAAqB,CAAA;IACzB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,SAAS,EAAE;YACpC,MAAM,EAAE,eAAe;YACvB,eAAe,EAAE,OAAO;YACxB,EAAE,EAAE,OAAO;YACX,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,QAAQ;YAChB,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE;gBACpD,IAAI,MAAM,YAAY,CAAC,CAAC,SAAS,EAAE,CAAC;oBAClC,UAAU,CAAC,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;yBAC/C,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC;yBAChE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAA;gBAC1B,CAAC;gBACD,IAAI,MAAM,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC;oBAChC,oBAAoB,CAAC,MAAM,EAAE,UAAqC,CAAC,CAAA;oBACnE,OAAO,CAAC,QAAQ,EAAE,CAAC;wBACjB,UAAU,EAAE,UAAqC;wBACjD,IAAI;wBACJ,SAAS,EAAE,MAAM;qBAClB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;SACF,CAAC,CAAA;QACF,SAAS,GAAG,WAAW,CAAC,GAAG,CAAe,CAAA;QAC1C,IAAI,SAAS,KAAK,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YACrF,SAAS,GAAG,EAAE,GAAG,SAAS,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAA;QAC7D,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,EAAE,EAAE,KAAK;YACT,WAAW,EAAE;gBACX,UAAU,CACR,yBAAyB,EACzB,OAAO,EACP,gEAAgE,YAAY,CAAC,KAAK,CAAC,GAAG,CACvF;aACF;SACF,CAAA;IACH,CAAC;IAED,IAAI,OAAO,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;QACrF,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,kBAAkB,EAAE,CAAA;IAC1F,CAAC;IACD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,MAAM,EAAE,uBAAuB,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC;QAC7D,WAAW,EAAE,EAAE;KAChB,CAAA;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAC1F,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IACvD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAA;IAC7D,CAAC;IAED,MAAM,MAAM,GAA4B,EAAE,CAAA;IAC1C,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAA;QAC7F,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QAC9D,IAAI,UAAU,KAAK,SAAS;YAAE,SAAQ;QACtC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;YAC3B,IAAI,GAAG,KAAK,WAAW;gBAAE,SAAQ;YACjC,MAAM,IAAI,SAAS,CAAC,uDAAuD,GAAG,GAAG,CAAC,CAAA;QACpF,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,sCAAsC,GAAG,GAAG,CAAC,CAAA;QAC/F,MAAM,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAC7C,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,2BAA2B,CAAC,MAAiB;IAC3D,OAAO,sBAAsB,CAAC,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;AAClD,CAAC;AAWD,SAAS,gBAAgB,CACvB,IAAe,EACf,OAAe,EACf,QAA0B;IAE1B,MAAM,WAAW,GAAwB,EAAE,CAAA;IAC3C,MAAM,OAAO,GAAG,IAAI,OAAO,EAAuB,CAAA;IAElD,SAAS,OAAO,CACd,MAAiB,EACjB,aAAqB,EACrB,cAAgC,EAChC,QAAiB;QAEjB,MAAM,QAAQ,GAAG,GAAG,cAAc,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAA;QACxD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAU,CAAA;QACvD,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,OAAM;QAChC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACpB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAE3B,MAAM,GAAG,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAA;QACvC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,yBAAyB,EACzB,aAAa,EACb,8CAA8C,CAC/C,CACF,CAAA;YACD,OAAM;QACR,CAAC;QAED,IAAI,QAAQ,IAAI,cAAc,KAAK,OAAO,IAAI,sBAAsB,CAAC,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC;YACxF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,yBAAyB,EACzB,aAAa,EACb,sHAAsH,CACvH,CACF,CAAA;QACH,CAAC;QAED,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;QAChE,IAAI,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,yBAAyB,EACzB,aAAa,EACb,OAAO,IAAI,0EAA0E,CACtF,CACF,CAAA;QACH,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACxB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,yBAAyB,EACzB,aAAa,EACb,wFAAwF,CACzF,CACF,CAAA;QACH,CAAC;QACD,YAAY,CAAC,GAAG,EAAE,aAAa,EAAE,WAAW,CAAC,CAAA;QAC7C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;gBAClC,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,SAAS;oBAAE,OAAM;gBAChD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAA;gBAC1C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,YAAY,CAAC,QAAQ,EAAE,GAAG,aAAa,WAAW,KAAK,EAAE,EAAE,WAAW,CAAC,CAAA;gBACzE,CAAC;YACH,CAAC,CAAC,CAAA;QACJ,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,GAAG,EAAE,aAAa,EAAE,cAAc,CAAC,EAAE,CAAC;YACrE,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;QACtE,CAAC;IACH,CAAC;IAED,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACtC,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAiB,EAAE,UAAmC;IAClF,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IAClD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAM;IAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACxC,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;QACrC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;IAC7C,CAAC,CAAC,CAAA;IACF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IACjC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,UAAU,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAA;QACnC,OAAM;IACR,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAA;IACxE,UAAU,CAAC,KAAK,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAA;AACnF,CAAC;AAED,SAAS,YAAY,CACnB,GAA4B,EAC5B,OAAe,EACf,WAAgC;IAEhC,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,IAAI,GAAG,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QACxD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,yBAAyB,EACzB,OAAO,EACP,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,qEAAqE,CAC9F,CACF,CAAA;QACD,OAAM;IACR,CAAC;IACD,IAAI,GAAG,CAAC,KAAK,KAAK,eAAe,IAAI,GAAG,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QAC5D,WAAW,CAAC,IAAI,CACd,UAAU,CACR,yBAAyB,EACzB,OAAO,EACP,cAAc,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,0DAA0D,CAC3F,CACF,CAAA;QACD,OAAM;IACR,CAAC;IACD,IAAI,GAAG,CAAC,KAAK,KAAK,eAAe,IAAI,GAAG,CAAC,MAAM,KAAK,OAAO,IAAI,GAAG,CAAC,OAAO,YAAY,MAAM,EAAE,CAAC;QAC7F,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,yBAAyB,EACzB,OAAO,EACP,6GAA6G,CAC9G,CACF,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,GAA4B,EAC5B,OAAe,EACf,QAA0B;IAE1B,MAAM,QAAQ,GAAe,EAAE,CAAA;IAC/B,MAAM,YAAY,GAAG,CAAC,SAAkB,EAAE,YAAY,GAAG,OAAO,EAAQ,EAAE;QACxE,IAAI,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;QACxF,CAAC;IACH,CAAC,CAAA;IACD,MAAM,WAAW,GAAG,CAAC,SAAkB,EAAE,YAAoB,EAAQ,EAAE;QACrE,IAAI,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;QAChG,CAAC;IACH,CAAC,CAAA;IAED,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,OAAO;YACV,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,OAAO,QAAQ,CAAC,CAAA;YAC5C,MAAK;QACP,KAAK,cAAc;YACjB,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,OAAO,UAAU,CAAC,CAAA;YAC5C,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,OAAO,UAAU,CAAC,CAAA;YAC7C,MAAK;QACP,KAAK,MAAM;YACT,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,UAAU;gBAAE,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAA;YAChE,MAAK;QACP,KAAK,QAAQ;YACX,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBACtD,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;wBACrB,QAAQ,CAAC,IAAI,CAAC;4BACZ,QAAQ,EAAE,IAAI;4BACd,OAAO,EAAE,GAAG,OAAO,eAAe,kBAAkB,CAAC,IAAI,CAAC,EAAE;4BAC5D,QAAQ,EAAE,iBAAiB;4BAC3B,MAAM,EAAE,KAAK;yBACd,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,OAAO,uBAAuB,CAAC,CAAA;YAC5D,MAAK;QACP,KAAK,QAAQ;YACX,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,OAAO,gBAAgB,CAAC,CAAA;YACpD,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,OAAO,uBAAuB,CAAC,CAAA;YAC7D,MAAK;QACP,KAAK,OAAO;YACV,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,OAAO,gBAAgB,KAAK,EAAE,CAAC,CAAC,CAAA;YAC1F,CAAC;YACD,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,OAAO,QAAQ,CAAC,CAAA;YACzC,MAAK;QACP,KAAK,OAAO;YACV,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC/B,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,GAAG,OAAO,UAAU,KAAK,EAAE,CAAC,CAAC,CAAA;YAC3F,CAAC;YACD,MAAK;QACP;YACE,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IAC/B,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAiB,EAAE,QAAqB;IACtE,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAA;IACtC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACpB,MAAM,GAAG,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAA;IACvC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QACvB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,QAAQ,GAAG,KAAK,CAAA;IACpB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,UAAU;YACb,QAAQ,GAAG,IAAI,CAAA;YACf,MAAK;QACP,KAAK,SAAS,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAA;YAC1C,QAAQ,GAAG,KAAK,KAAK,SAAS,IAAI,sBAAsB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;YACzE,MAAK;QACP,CAAC;QACD,KAAK,cAAc,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;YAC9E,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;YACjF,QAAQ,GAAG,IAAI,IAAI,KAAK,CAAA;YACxB,MAAK;QACP,CAAC;QACD,KAAK,OAAO;YACV,QAAQ;gBACN,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;oBAC1B,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,sBAAsB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;YAC7F,MAAK;QACP;YACE,QAAQ,GAAG,KAAK,CAAA;IACpB,CAAC;IACD,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACvB,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,uBAAuB,CAAC,GAA4B;IAC3D,MAAM,SAAS,GACb,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAA;IACxF,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAA;AACrD,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAgB;IAC3C,OAAO,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAA;AACzD,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAA;IACvD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAA;IACjE,MAAM,SAAS,GAAI,KAAwD,CAAC,IAAI,CAAA;IAChF,OAAO,aAAa,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAA;AAClE,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,YAAY,CAAC,CAAC,OAAO,CAAA;AACnC,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAC1D,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC7E,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAe;IACvC,IAAI,OAAO,CAAC,KAAK,KAAK,EAAE,IAAI,OAAO,CAAC,KAAK,KAAK,GAAG;QAAE,OAAO,KAAK,CAAA;IAC/D,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAA;IAE5C,IAAI,OAAO,GAAG,KAAK,CAAA;IACnB,IAAI,cAAc,GAAG,KAAK,CAAA;IAC1B,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,GAAG,KAAK,CAAA;YACf,SAAQ;QACV,CAAC;QACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,OAAO,GAAG,IAAI,CAAA;YACd,SAAQ;QACV,CAAC;QACD,IAAI,SAAS,KAAK,GAAG;YAAE,cAAc,GAAG,IAAI,CAAA;aACvC,IAAI,SAAS,KAAK,GAAG;YAAE,cAAc,GAAG,KAAK,CAAA;aAC7C,IAAI,CAAC,cAAc,IAAI,CAAC,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG,CAAC,EAAE,CAAC;YAC1F,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,MAAM;IACN,MAAM;IACN,UAAU;IACV,KAAK;IACL,KAAK;IACL,MAAM;IACN,UAAU;IACV,SAAS;IACT,UAAU;IACV,KAAK;IACL,QAAQ;IACR,WAAW;IACX,WAAW;IACX,MAAM;CACP,CAAC,CAAA;AAEF,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/builder/lowering/view.d.ts

@@ -0,0 +1,12 @@
+import type { ViewDefinition } from '../../language/view/model/view.js';
+import type { ViewAuthoring } from '../view/authoring.js';
+import type { BuilderContext } from './schema/context.js';
+export interface ViewCompiler {
+    compile(value: ViewAuthoring, name: string, pointer: string): ViewDefinition;
+}
+export declare class V1ViewCompiler implements ViewCompiler {
+    readonly context: BuilderContext;
+    constructor(context: BuilderContext);
+    compile(value: ViewAuthoring, name: string, pointer: string): ViewDefinition;
+}
+//# sourceMappingURL=view.d.ts.map

package/dist/v1/builder/lowering/view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../../../v1/builder/lowering/view.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAA;AACvE,OAAO,KAAK,EAAE,aAAa,EAA8B,MAAM,sBAAsB,CAAA;AACrF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAKzD,MAAM,WAAW,YAAY;IAC3B,OAAO,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,cAAc,CAAA;CAC7E;AAED,qBAAa,cAAe,YAAW,YAAY;IACrC,QAAQ,CAAC,OAAO,EAAE,cAAc;IAA5C,YAAqB,OAAO,EAAE,cAAc,EAAI;IAEhD,OAAO,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,cAAc,CAqB3E;CACF"}

package/dist/v1/builder/lowering/view.js

@@ -0,0 +1,28 @@
+import { compareDefinitionRefs } from '../../addressing/ordering.js';
+import { viewAuthoringInput } from '../view/authoring.js';
+export class V1ViewCompiler {
+    context;
+    constructor(context) {
+        this.context = context;
+    }
+    compile(value, name, pointer) {
+        const config = viewAuthoringInput(value);
+        const target = config.target;
+        return {
+            ref: { origin: this.context.origin, kind: 'view', name },
+            ...(config.description === undefined ? {} : { description: config.description }),
+            target: target === undefined || target === 'domain'
+                ? { kind: 'domain' }
+                : {
+                    kind: 'definition',
+                    definitions: (isTargetList(target) ? target : [target])
+                        .map((entry, index) => this.context.resolveNodeClass(entry, `${pointer}/target/definitions/${index}`))
+                        .sort(compareDefinitionRefs),
+                },
+        };
+    }
+}
+function isTargetList(input) {
+    return Array.isArray(input);
+}
+//# sourceMappingURL=view.js.map

package/dist/v1/builder/lowering/view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.js","sourceRoot":"","sources":["../../../../v1/builder/lowering/view.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAA;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAMzD,MAAM,OAAO,cAAc;IACJ,OAAO;IAA5B,YAAqB,OAAuB;uBAAvB,OAAO;IAAmB,CAAC;IAEhD,OAAO,CAAC,KAAoB,EAAE,IAAY,EAAE,OAAe;QACzD,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAA;QACxC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAA;QAC5B,OAAO;YACL,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;YACxD,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;YAChF,MAAM,EACJ,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,QAAQ;gBACzC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACpB,CAAC,CAAC;oBACE,IAAI,EAAE,YAAY;oBAClB,WAAW,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;yBACpD,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACpB,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,OAAO,uBAAuB,KAAK,EAAE,CAAC,CAC/E;yBACA,IAAI,CAAC,qBAAqB,CAG5B;iBACF;SACR,CAAA;IACH,CAAC;CACF;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC7B,CAAC"}

package/dist/v1/builder/policy/authoring.d.ts

@@ -0,0 +1,53 @@
+import type { ClassRef } from '../../addressing/index.js';
+import type { PolicyCheckExpression, PolicyPatternExpression, PolicyPatternTerm as CanonicalPolicyPatternTerm } from '../../language/policy/model/policy.js';
+import type { EdgeClassAuthoring, NodeClassAuthoring } from '../class/authoring.js';
+import type { AuthoringValue } from '../schema/handle.js';
+import type { Lazy } from '../schema/lazy.js';
+export interface PolicyEdgeInput {
+    readonly source: CanonicalPolicyPatternTerm;
+    readonly class: Lazy<EdgeClassAuthoring>;
+    readonly target: CanonicalPolicyPatternTerm;
+    readonly repeat?: {
+        readonly min: number;
+        readonly max: number;
+    };
+}
+export interface PolicyExistsContext {
+    node(definition: Lazy<NodeClassAuthoring>): CanonicalPolicyPatternTerm;
+}
+export interface PolicyPatternContext {
+    readonly subject: CanonicalPolicyPatternTerm;
+    readonly object: CanonicalPolicyPatternTerm;
+    readonly source: CanonicalPolicyPatternTerm;
+    readonly target: CanonicalPolicyPatternTerm;
+    edge(input: PolicyEdgeInput): PolicyPatternExpression;
+    exists(build: (context: PolicyExistsContext) => PolicyPatternExpression): PolicyPatternExpression;
+    allOf(first: PolicyPatternExpression, ...rest: readonly PolicyPatternExpression[]): PolicyPatternExpression;
+    anyOf(first: PolicyPatternExpression, ...rest: readonly PolicyPatternExpression[]): PolicyPatternExpression;
+}
+export interface MatchPolicyInput {
+    readonly description?: string;
+    readonly match: (context: PolicyPatternContext) => PolicyPatternExpression;
+}
+interface PolicyComposition {
+    readonly operator: 'allOf' | 'anyOf';
+    readonly policies: readonly [PolicyInput, ...PolicyInput[]];
+}
+export interface Policy extends AuthoringValue<'policy'> {
+}
+export type PolicyInput = Lazy<Policy>;
+type PolicyDeclaration = MatchPolicyInput | PolicyComposition;
+export interface PolicyBuilder {
+    (input: MatchPolicyInput): Policy;
+    readonly allOf: (first: PolicyInput, ...rest: readonly PolicyInput[]) => Policy;
+    readonly anyOf: (first: PolicyInput, ...rest: readonly PolicyInput[]) => Policy;
+}
+export declare function policyDeclaration(value: Policy): PolicyDeclaration;
+export declare const policy: PolicyBuilder;
+export declare function createPatternContext(options: {
+    readonly resolveEdgeClass: (value: Lazy<EdgeClassAuthoring>, pointer: string) => ClassRef;
+    readonly resolveNodeClass: (value: Lazy<NodeClassAuthoring>, pointer: string) => ClassRef;
+    readonly pointer: string;
+}): PolicyPatternContext;
+export type { PolicyCheckExpression };
+//# sourceMappingURL=authoring.d.ts.map

package/dist/v1/builder/policy/authoring.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authoring.d.ts","sourceRoot":"","sources":["../../../../v1/builder/policy/authoring.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,KAAK,EACV,qBAAqB,EACrB,uBAAuB,EACvB,iBAAiB,IAAI,0BAA0B,EAChD,MAAM,uCAAuC,CAAA;AAC9C,OAAO,KAAK,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AACnF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAK7C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAA;IAC3C,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAA;IACxC,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAA;IAC3C,QAAQ,CAAC,MAAM,CAAC,EAAE;QAChB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;QACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KACrB,CAAA;CACF;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,kBAAkB,CAAC,GAAG,0BAA0B,CAAA;CACvE;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAA;IAC5C,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAA;IAC3C,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAA;IAC3C,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAA;IAC3C,IAAI,CAAC,KAAK,EAAE,eAAe,GAAG,uBAAuB,CAAA;IACrD,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,mBAAmB,KAAK,uBAAuB,GAAG,uBAAuB,CAAA;IACjG,KAAK,CACH,KAAK,EAAE,uBAAuB,EAC9B,GAAG,IAAI,EAAE,SAAS,uBAAuB,EAAE,GAC1C,uBAAuB,CAAA;IAC1B,KAAK,CACH,KAAK,EAAE,uBAAuB,EAC9B,GAAG,IAAI,EAAE,SAAS,uBAAuB,EAAE,GAC1C,uBAAuB,CAAA;CAC3B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,oBAAoB,KAAK,uBAAuB,CAAA;CAC3E;AAED,UAAU,iBAAiB;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAA;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,WAAW,EAAE,GAAG,WAAW,EAAE,CAAC,CAAA;CAC5D;AAED,MAAM,WAAW,MAAO,SAAQ,cAAc,CAAC,QAAQ,CAAC;CAAG;AAE3D,MAAM,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,CAAA;AAEtC,KAAK,iBAAiB,GAAG,gBAAgB,GAAG,iBAAiB,CAAA;AAK7D,MAAM,WAAW,aAAa;IAC5B,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAAA;IACjC,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,SAAS,WAAW,EAAE,KAAK,MAAM,CAAA;IAC/E,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,SAAS,WAAW,EAAE,KAAK,MAAM,CAAA;CAChF;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAIlE;AAmBD,eAAO,MAAM,MAAM,EAAE,aAOpB,CAAA;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE;IAC5C,QAAQ,CAAC,gBAAgB,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,kBAAkB,CAAC,EAAE,OAAO,EAAE,MAAM,KAAK,QAAQ,CAAA;IACzF,QAAQ,CAAC,gBAAgB,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,kBAAkB,CAAC,EAAE,OAAO,EAAE,MAAM,KAAK,QAAQ,CAAA;IACzF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,GAAG,oBAAoB,CAwDvB;AAoBD,YAAY,EAAE,qBAAqB,EAAE,CAAA"}

package/dist/v1/builder/policy/authoring.js

@@ -0,0 +1,91 @@
+import { assertKnownKeys, fail } from '../schema/diagnostic.js';
+import { authoringValue } from '../schema/handle.js';
+const declarations = new WeakMap();
+const compositions = new WeakSet();
+export function policyDeclaration(value) {
+    const declaration = declarations.get(value);
+    if (declaration === undefined)
+        fail('BUILDER_POLICY', '/', 'Policies are created by policy(...).');
+    return declaration;
+}
+function createPolicy(input) {
+    if ('operator' in input) {
+        if (!compositions.has(input)) {
+            fail('BUILDER_POLICY_COMPOSITION', '/', 'Policy compositions are created by policy.allOf(...) or policy.anyOf(...).');
+        }
+    }
+    else {
+        assertKnownKeys(input, ['description', 'match']);
+    }
+    const value = authoringValue('policy', {});
+    declarations.set(value, input);
+    return value;
+}
+export const policy = Object.freeze(Object.assign(createPolicy, {
+    allOf: (first, ...rest) => createPolicy(composition('allOf', first === undefined ? [] : [first, ...rest])),
+    anyOf: (first, ...rest) => createPolicy(composition('anyOf', first === undefined ? [] : [first, ...rest])),
+}));
+export function createPatternContext(options) {
+    let nextVariable = 0;
+    const subject = Object.freeze({ kind: 'subject' });
+    const object = Object.freeze({ kind: 'object' });
+    const source = Object.freeze({ kind: 'source' });
+    const target = Object.freeze({ kind: 'target' });
+    const context = {
+        subject,
+        object,
+        source,
+        target,
+        edge(input) {
+            assertKnownKeys(input, ['source', 'class', 'target', 'repeat']);
+            if (input.repeat !== undefined)
+                assertKnownKeys(input.repeat, ['min', 'max']);
+            return {
+                source: input.source,
+                class: options.resolveEdgeClass(input.class, `${options.pointer}/match/class`),
+                target: input.target,
+                ...(input.repeat === undefined ? {} : { repeat: { ...input.repeat } }),
+            };
+        },
+        exists(build) {
+            const nodes = [];
+            const where = build({
+                node(definition) {
+                    const variable = Object.freeze({ kind: 'variable', id: nextVariable++ });
+                    nodes.push({
+                        variable,
+                        class: options.resolveNodeClass(definition, `${options.pointer}/match/exists/nodes`),
+                    });
+                    return variable;
+                },
+            });
+            if (nodes.length === 0) {
+                fail('BUILDER_POLICY_EMPTY_EXISTS', `${options.pointer}/match/exists/nodes`, 'exists(...) must declare at least one variable Node.');
+            }
+            return { exists: { nodes, where } };
+        },
+        allOf(...expressions) {
+            nonEmpty(expressions, `${options.pointer}/match/allOf`);
+            return { allOf: expressions };
+        },
+        anyOf(...expressions) {
+            nonEmpty(expressions, `${options.pointer}/match/anyOf`);
+            return { anyOf: expressions };
+        },
+    };
+    return Object.freeze(context);
+}
+function composition(operator, policies) {
+    nonEmpty(policies, `/${operator}`);
+    const value = {
+        operator,
+        policies: [...policies],
+    };
+    compositions.add(value);
+    return value;
+}
+function nonEmpty(values, pointer) {
+    if (values.length === 0)
+        fail('BUILDER_POLICY_EMPTY_COMPOSITION', pointer, 'Policy composition must be non-empty.');
+}
+//# sourceMappingURL=authoring.js.map

package/dist/v1/builder/policy/authoring.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authoring.js","sourceRoot":"","sources":["../../../../v1/builder/policy/authoring.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAiDpD,MAAM,YAAY,GAAG,IAAI,OAAO,EAA6B,CAAA;AAC7D,MAAM,YAAY,GAAG,IAAI,OAAO,EAAU,CAAA;AAQ1C,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAC3C,IAAI,WAAW,KAAK,SAAS;QAAE,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE,sCAAsC,CAAC,CAAA;IAClG,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,SAAS,YAAY,CAAC,KAAwB;IAC5C,IAAI,UAAU,IAAI,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,IAAI,CACF,4BAA4B,EAC5B,GAAG,EACH,4EAA4E,CAC7E,CAAA;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,eAAe,CAAC,KAAK,EAAE,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAA;IAClD,CAAC;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;IAC1C,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC9B,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAkB,MAAM,CAAC,MAAM,CAChD,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE;IAC1B,KAAK,EAAE,CAAC,KAAkB,EAAE,GAAG,IAA4B,EAAE,EAAE,CAC7D,YAAY,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IACjF,KAAK,EAAE,CAAC,KAAkB,EAAE,GAAG,IAA4B,EAAE,EAAE,CAC7D,YAAY,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;CAClF,CAAC,CACH,CAAA;AAED,MAAM,UAAU,oBAAoB,CAAC,OAIpC;IACC,IAAI,YAAY,GAAG,CAAC,CAAA;IACpB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC,CAAA;IAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC,CAAA;IACzD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC,CAAA;IACzD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC,CAAA;IAEzD,MAAM,OAAO,GAAyB;QACpC,OAAO;QACP,MAAM;QACN,MAAM;QACN,MAAM;QACN,IAAI,CAAC,KAAK;YACR,eAAe,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;YAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAAE,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;YAC7E,OAAO;gBACL,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,OAAO,cAAc,CAAC;gBAC9E,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;aACvE,CAAA;QACH,CAAC;QACD,MAAM,CAAC,KAAK;YACV,MAAM,KAAK,GAGN,EAAE,CAAA;YACP,MAAM,KAAK,GAAG,KAAK,CAAC;gBAClB,IAAI,CAAC,UAAU;oBACb,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,CAAC,CAAA;oBACjF,KAAK,CAAC,IAAI,CAAC;wBACT,QAAQ;wBACR,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,UAAU,EAAE,GAAG,OAAO,CAAC,OAAO,qBAAqB,CAAC;qBACrF,CAAC,CAAA;oBACF,OAAO,QAAQ,CAAA;gBACjB,CAAC;aACF,CAAC,CAAA;YACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,IAAI,CACF,6BAA6B,EAC7B,GAAG,OAAO,CAAC,OAAO,qBAAqB,EACvC,sDAAsD,CACvD,CAAA;YACH,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAA;QACrC,CAAC;QACD,KAAK,CAAC,GAAG,WAAW;YAClB,QAAQ,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,OAAO,cAAc,CAAC,CAAA;YACvD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAA;QAC/B,CAAC;QACD,KAAK,CAAC,GAAG,WAAW;YAClB,QAAQ,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,OAAO,cAAc,CAAC,CAAA;YACvD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAA;QAC/B,CAAC;KACF,CAAA;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;AAC/B,CAAC;AAED,SAAS,WAAW,CAClB,QAA2B,EAC3B,QAAgC;IAEhC,QAAQ,CAAC,QAAQ,EAAE,IAAI,QAAQ,EAAE,CAAC,CAAA;IAClC,MAAM,KAAK,GAAsB;QAC/B,QAAQ;QACR,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAoC;KAC3D,CAAA;IACD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACvB,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,MAA0B,EAAE,OAAe;IAC3D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QACrB,IAAI,CAAC,kCAAkC,EAAE,OAAO,EAAE,uCAAuC,CAAC,CAAA;AAC9F,CAAC"}

package/dist/v1/builder/schema/define.d.ts

@@ -0,0 +1,8 @@
+import type { DomainSchema } from '../../schema/model/schema.js';
+import type { DomainSchemaInput } from './input.js';
+import type { DomainOfInput } from './projection.js';
+export type { DomainSchemaInput } from './input.js';
+/** Build and semantically accept one immutable V1 DomainSchema. */
+export declare function defineSchema<const Origin extends string, const Input extends DomainSchemaInput>(origin: Origin, input: Input): DomainSchema<Origin, Input, DomainOfInput<Origin, Input>>;
+export type { DomainOfInput } from './projection.js';
+//# sourceMappingURL=define.d.ts.map

package/dist/v1/builder/schema/define.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"define.d.ts","sourceRoot":"","sources":["../../../../v1/builder/schema/define.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAChE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAIpD,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAEnD,mEAAmE;AACnE,wBAAgB,YAAY,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,KAAK,CAAC,KAAK,SAAS,iBAAiB,EAC7F,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,KAAK,GACX,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAE3D;AAED,YAAY,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA"}

package/dist/v1/builder/schema/define.js

@@ -0,0 +1,6 @@
+import { compileSchema } from '../lowering/schema/compile.js';
+/** Build and semantically accept one immutable V1 DomainSchema. */
+export function defineSchema(origin, input) {
+    return compileSchema(origin, input);
+}
+//# sourceMappingURL=define.js.map

package/dist/v1/builder/schema/define.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"define.js","sourceRoot":"","sources":["../../../../v1/builder/schema/define.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAA;AAI7D,mEAAmE;AACnE,MAAM,UAAU,YAAY,CAC1B,MAAc,EACd,KAAY;IAEZ,OAAO,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;AACrC,CAAC"}

package/dist/v1/builder/schema/diagnostic.d.ts

@@ -0,0 +1,17 @@
+import type { DiagnosticCode as LanguageDiagnosticCode } from '../../language/validation/diagnostic.js';
+export type BuilderDiagnosticCode = LanguageDiagnosticCode | 'BUILDER_ABSTRACT_POLICY' | 'BUILDER_AMBIGUOUS_OWNERSHIP' | 'BUILDER_AUTO_EVENT_INVALID' | 'BUILDER_AUTO_NESTED' | 'BUILDER_AUTO_SET_INVALID' | 'BUILDER_CALLABLE_AUTH' | 'BUILDER_CALLABLE_PLACEMENT' | 'BUILDER_CALLABLE_POLICY_AUTH' | 'BUILDER_CORE_CLASS' | 'BUILDER_CORE_EDGE' | 'BUILDER_CORE_NODE' | 'BUILDER_CORE_PROPERTY' | 'BUILDER_CORE_REF' | 'BUILDER_DEFINITION' | 'BUILDER_DEPENDENCY_CONFLICT' | 'BUILDER_DEPENDENCY_DIRECT' | 'BUILDER_DUPLICATE_MEMBER' | 'BUILDER_FOREIGN_POLICY' | 'BUILDER_FULL_MATCH_INVALID' | 'BUILDER_FUNCTION' | 'BUILDER_METHOD' | 'BUILDER_PATH_DUPLICATE' | 'BUILDER_PATH_EMPTY' | 'BUILDER_POLICY' | 'BUILDER_POLICY_COMPOSITION' | 'BUILDER_POLICY_CYCLE' | 'BUILDER_POLICY_EMPTY_COMPOSITION' | 'BUILDER_POLICY_EMPTY_EXISTS' | 'BUILDER_POLICY_INPUT' | 'BUILDER_POLICY_REF' | 'BUILDER_POLICY_SELF' | 'BUILDER_REFERENCE_CYCLE' | 'BUILDER_REFERENCE_KIND' | 'BUILDER_REFERENCE_MISSING' | 'BUILDER_UNKNOWN_FIELD' | 'BUILDER_UNOWNED_REFERENCE' | 'BUILDER_VIEW' | 'ZOD_SCHEMA_NOT_LOSSLESS';
+export interface BuilderDiagnostic<out Code extends BuilderDiagnosticCode = BuilderDiagnosticCode> {
+    readonly code: Code;
+    readonly pointer: string;
+    readonly message: string;
+    readonly ref?: string;
+}
+export declare function diagnostic<const Code extends BuilderDiagnosticCode>(code: Code, pointer: string, message: string, ref?: string): BuilderDiagnostic<Code>;
+export declare class BuilderError extends Error {
+    readonly diagnostics: readonly BuilderDiagnostic[];
+    constructor(diagnostics: readonly BuilderDiagnostic[]);
+}
+export declare function assertKnownKeys(value: object, allowed: readonly string[], pointer?: string): void;
+export declare function fail(code: BuilderDiagnosticCode, pointer: string, message: string): never;
+export declare function escapeToken(value: string): string;
+//# sourceMappingURL=diagnostic.d.ts.map

package/dist/v1/builder/schema/diagnostic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.d.ts","sourceRoot":"","sources":["../../../../v1/builder/schema/diagnostic.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,IAAI,sBAAsB,EAAE,MAAM,yCAAyC,CAAA;AAIvG,MAAM,MAAM,qBAAqB,GAC7B,sBAAsB,GACtB,yBAAyB,GACzB,6BAA6B,GAC7B,4BAA4B,GAC5B,qBAAqB,GACrB,0BAA0B,GAC1B,uBAAuB,GACvB,4BAA4B,GAC5B,8BAA8B,GAC9B,oBAAoB,GACpB,mBAAmB,GACnB,mBAAmB,GACnB,uBAAuB,GACvB,kBAAkB,GAClB,oBAAoB,GACpB,6BAA6B,GAC7B,2BAA2B,GAC3B,0BAA0B,GAC1B,wBAAwB,GACxB,4BAA4B,GAC5B,kBAAkB,GAClB,gBAAgB,GAChB,wBAAwB,GACxB,oBAAoB,GACpB,gBAAgB,GAChB,4BAA4B,GAC5B,sBAAsB,GACtB,kCAAkC,GAClC,6BAA6B,GAC7B,sBAAsB,GACtB,oBAAoB,GACpB,qBAAqB,GACrB,yBAAyB,GACzB,wBAAwB,GACxB,2BAA2B,GAC3B,uBAAuB,GACvB,2BAA2B,GAC3B,cAAc,GACd,yBAAyB,CAAA;AAE7B,MAAM,WAAW,iBAAiB,CAAC,GAAG,CAAC,IAAI,SAAS,qBAAqB,GAAG,qBAAqB;IAC/F,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CACtB;AAED,wBAAgB,UAAU,CAAC,KAAK,CAAC,IAAI,SAAS,qBAAqB,EACjE,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,EACf,GAAG,CAAC,EAAE,MAAM,GACX,iBAAiB,CAAC,IAAI,CAAC,CAEzB;AAED,qBAAa,YAAa,SAAQ,KAAK;IACrC,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAA;IAElD,YAAY,WAAW,EAAE,SAAS,iBAAiB,EAAE,EAcpD;CACF;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,OAAO,SAAK,GAAG,IAAI,CAW7F;AAED,wBAAgB,IAAI,CAAC,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAEzF;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEjD"}