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

package/dist/v1/builder/policy.js

@@ -1,79 +0,0 @@
-import { authoringValue, isAuthoringValue } from './internal/authoring.js';
-import { assertKnownKeys, fail } from './internal/diagnostic.js';
-export function definePolicy(input) {
-    if ('operator' in input) {
-        if (!isAuthoringValue(input, 'policy-composition')) {
-            fail('BUILDER_POLICY_COMPOSITION', '/', 'Policy compositions are created by policy.allOf(...) or policy.anyOf(...).');
-        }
-    }
-    else {
-        assertKnownKeys(input, ['description', 'match']);
-    }
-    return authoringValue('policy', { input });
-}
-export const policy = Object.freeze({
-    allOf: (...policies) => composition('allOf', policies),
-    anyOf: (...policies) => composition('anyOf', policies),
-});
-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}`);
-    return authoringValue('policy-composition', {
-        operator,
-        policies: [...policies],
-    });
-}
-function nonEmpty(values, pointer) {
-    if (values.length === 0)
-        fail('BUILDER_POLICY_EMPTY_COMPOSITION', pointer, 'Policy composition must be non-empty.');
-}
-//# sourceMappingURL=policy.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"policy.js","sourceRoot":"","sources":["../../../v1/builder/policy.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAC1E,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AAiDhE,MAAM,UAAU,YAAY,CAAC,KAA2C;IACtE,IAAI,UAAU,IAAI,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,oBAAoB,CAAC,EAAE,CAAC;YACnD,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,OAAO,cAAc,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAA;AAC5C,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAGf,MAAM,CAAC,MAAM,CAAC;IAChB,KAAK,EAAE,CAAC,GAAG,QAAgC,EAAqB,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC;IACjG,KAAK,EAAE,CAAC,GAAG,QAAgC,EAAqB,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC;CAClG,CAAC,CAAA;AAEF,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,OAAO,cAAc,CAAC,oBAAoB,EAAE;QAC1C,QAAQ;QACR,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAoC;KAC3D,CAAC,CAAA;AACJ,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/property.d.ts

@@ -1,37 +0,0 @@
-import type { z } from 'zod';
-import type { AutoEvent, AutoSet } from '../schema/index.js';
-import type { JsonSchema } from '../schema/value/schema.js';
-import type { AUTHORING } from './internal/authoring.js';
-declare const PROPERTY_OPTIONS: unique symbol;
-export type ValueSchemaInput = z.ZodType | JsonSchema;
-export interface PropertyOptions {
-    readonly visibility?: 'public' | 'private';
-    readonly required?: boolean;
-}
-export interface AutoOptions {
-    readonly on: AutoEvent | readonly AutoEvent[];
-    readonly set: AutoSet;
-}
-export interface PropertyAuthoring<out Schema extends ValueSchemaInput = ValueSchemaInput, out Options extends PropertyOptions = PropertyOptions> {
-    readonly [AUTHORING]: 'property';
-    readonly schema: Schema;
-    readonly visibility: 'public' | 'private';
-    readonly required?: boolean;
-    readonly [PROPERTY_OPTIONS]: Options;
-}
-export type PropertySchemaOf<Value extends PropertyAuthoring> = Value extends PropertyAuthoring<infer Schema, PropertyOptions> ? Schema : never;
-export type PropertyOptionsOf<Value extends PropertyAuthoring> = Value extends PropertyAuthoring<ValueSchemaInput, infer Options> ? Options : never;
-export interface AutoPropertyAuthoring<out Property extends PropertyAuthoring = PropertyAuthoring> {
-    readonly [AUTHORING]: 'auto';
-    readonly property: Property;
-    readonly options: {
-        readonly on: readonly AutoEvent[];
-        readonly set: AutoSet;
-    };
-}
-export type PropertyFieldInput = ValueSchemaInput | PropertyAuthoring | AutoPropertyAuthoring;
-export type PropertyRecordInput = Readonly<Record<string, PropertyFieldInput>>;
-export declare function property<const Schema extends ValueSchemaInput, const Options extends PropertyOptions = Record<never, never>>(schema: Schema, options?: Options): PropertyAuthoring<Schema, Options>;
-export declare function auto<const Property extends PropertyAuthoring>(property: Property, options: AutoOptions): AutoPropertyAuthoring<Property>;
-export {};
-//# sourceMappingURL=property.d.ts.map

package/dist/v1/builder/property.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"property.d.ts","sourceRoot":"","sources":["../../../v1/builder/property.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,OAAO,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AAC3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAKxD,OAAO,CAAC,MAAM,gBAAgB,EAAE,OAAO,MAAM,CAAA;AAE7C,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,OAAO,GAAG,UAAU,CAAA;AAErD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAC5B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,SAAS,GAAG,SAAS,SAAS,EAAE,CAAA;IAC7C,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;CACtB;AAED,MAAM,WAAW,iBAAiB,CAChC,GAAG,CAAC,MAAM,SAAS,gBAAgB,GAAG,gBAAgB,EACtD,GAAG,CAAC,OAAO,SAAS,eAAe,GAAG,eAAe;IAErD,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,UAAU,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,SAAS,CAAA;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAA;CACrC;AAED,MAAM,MAAM,gBAAgB,CAAC,KAAK,SAAS,iBAAiB,IAC1D,KAAK,SAAS,iBAAiB,CAAC,MAAM,MAAM,EAAE,eAAe,CAAC,GAAG,MAAM,GAAG,KAAK,CAAA;AACjF,MAAM,MAAM,iBAAiB,CAAC,KAAK,SAAS,iBAAiB,IAC3D,KAAK,SAAS,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,OAAO,CAAC,GAAG,OAAO,GAAG,KAAK,CAAA;AAEpF,MAAM,WAAW,qBAAqB,CAAC,GAAG,CAAC,QAAQ,SAAS,iBAAiB,GAAG,iBAAiB;IAC/F,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,EAAE,EAAE,SAAS,SAAS,EAAE,CAAA;QACjC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;KACtB,CAAA;CACF;AAED,MAAM,MAAM,kBAAkB,GAAG,gBAAgB,GAAG,iBAAiB,GAAG,qBAAqB,CAAA;AAC7F,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAA;AAE9E,wBAAgB,QAAQ,CACtB,KAAK,CAAC,MAAM,SAAS,gBAAgB,EACrC,KAAK,CAAC,OAAO,SAAS,eAAe,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC5D,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,CAQvE;AAED,wBAAgB,IAAI,CAAC,KAAK,CAAC,QAAQ,SAAS,iBAAiB,EAC3D,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,WAAW,GACnB,qBAAqB,CAAC,QAAQ,CAAC,CAuBjC"}

package/dist/v1/builder/property.js

@@ -1,36 +0,0 @@
-import { authoringValue, isAuthoringValue } from './internal/authoring.js';
-import { assertKnownKeys, fail } from './internal/diagnostic.js';
-export function property(schema, options) {
-    const admitted = options ?? {};
-    assertKnownKeys(admitted, ['visibility', 'required']);
-    return authoringValue('property', {
-        schema,
-        visibility: admitted.visibility ?? 'public',
-        ...(admitted.required === undefined ? {} : { required: admitted.required }),
-    });
-}
-export function auto(property, options) {
-    if (isAuthoringValue(property, 'auto')) {
-        fail('BUILDER_AUTO_NESTED', '', 'auto(...) cannot wrap another automatic Property.');
-    }
-    assertKnownKeys(options, ['on', 'set']);
-    const authored = Array.isArray(options.on) ? options.on : [options.on];
-    if (authored.length === 0)
-        fail('BUILDER_AUTO_EVENT_INVALID', '/on', 'auto(...) requires an event.');
-    const events = [...new Set(authored)];
-    if (events.some((event) => event !== 'create' && event !== 'update')) {
-        fail('BUILDER_AUTO_EVENT_INVALID', '/on', 'Automatic events are create or update.');
-    }
-    if (options.set !== 'instant') {
-        fail('BUILDER_AUTO_SET_INVALID', '/set', 'The automatic setter must be instant.');
-    }
-    events.sort((left, right) => (left === right ? 0 : left === 'create' ? -1 : 1));
-    if (property.required === true && !events.includes('create')) {
-        fail('BUILDER_AUTO_EVENT_INVALID', '/on', 'A required automatic Property must run on create.');
-    }
-    return authoringValue('auto', {
-        property,
-        options: { on: Object.freeze(events), set: options.set },
-    });
-}
-//# sourceMappingURL=property.js.map

package/dist/v1/builder/property.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"property.js","sourceRoot":"","sources":["../../../v1/builder/property.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAC1E,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AA4ChE,MAAM,UAAU,QAAQ,CAGtB,MAAc,EAAE,OAAiB;IACjC,MAAM,QAAQ,GAAG,OAAO,IAAK,EAAc,CAAA;IAC3C,eAAe,CAAC,QAAQ,EAAE,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAA;IACrD,OAAO,cAAc,CAAC,UAAU,EAAE;QAChC,MAAM;QACN,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,QAAQ;QAC3C,GAAG,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC;KAC5E,CAAuC,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,IAAI,CAClB,QAAkB,EAClB,OAAoB;IAEpB,IAAI,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,qBAAqB,EAAE,EAAE,EAAE,mDAAmD,CAAC,CAAA;IACtF,CAAC;IACD,eAAe,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACtE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QACvB,IAAI,CAAC,4BAA4B,EAAE,KAAK,EAAE,8BAA8B,CAAC,CAAA;IAC3E,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;IACrC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;QACrE,IAAI,CAAC,4BAA4B,EAAE,KAAK,EAAE,wCAAwC,CAAC,CAAA;IACrF,CAAC;IACD,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,0BAA0B,EAAE,MAAM,EAAE,uCAAuC,CAAC,CAAA;IACnF,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/E,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,4BAA4B,EAAE,KAAK,EAAE,mDAAmD,CAAC,CAAA;IAChG,CAAC;IACD,OAAO,cAAc,CAAC,MAAM,EAAE;QAC5B,QAAQ;QACR,OAAO,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE;KACzD,CAAoC,CAAA;AACvC,CAAC"}

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

@@ -1,6 +0,0 @@
-import type { DomainSchema } from '../schema/domain.ir.js';
-import type { DomainSchemaInput } from './schema.input.js';
-export type { DomainSchemaInput } from './schema.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>;
-//# sourceMappingURL=schema.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../v1/builder/schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAC1D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AAI1D,YAAY,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AAE1D,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,CAAC,CAE7B"}

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

@@ -1,19 +0,0 @@
-import type { DomainSchema } from '../schema/domain.ir.js';
-import type { FunctionAuthoring } from './callable.js';
-import type { CoreInput } from './core.js';
-import type { DefinitionAuthoring } from './definition.js';
-import type { Policy } from './policy.js';
-import type { ValueSchemaInput } from './property.js';
-import type { ViewAuthoring } from './view.js';
-/** Complete authoring input accepted by defineSchema. */
-export interface DomainSchemaInput {
-    readonly dependencies?: readonly DomainSchema<string, unknown>[];
-    readonly types?: Readonly<Record<string, ValueSchemaInput>>;
-    readonly interfaces?: Readonly<Record<string, DefinitionAuthoring>>;
-    readonly classes?: Readonly<Record<string, DefinitionAuthoring>>;
-    readonly functions?: Readonly<Record<string, FunctionAuthoring>>;
-    readonly policies?: Readonly<Record<string, Policy>>;
-    readonly views?: Readonly<Record<string, ViewAuthoring>>;
-    readonly core?: CoreInput;
-}
-//# sourceMappingURL=schema.input.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"schema.input.d.ts","sourceRoot":"","sources":["../../../v1/builder/schema.input.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAC1D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC1C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAE9C,yDAAyD;AACzD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAA;IAChE,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;IAC3D,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAA;IACnE,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAA;IAChE,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAA;IAChE,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IACpD,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAA;IACxD,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAA;CAC1B"}

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

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

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

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

package/dist/v1/builder/schema.js

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

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

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

package/dist/v1/builder/value-schema.d.ts

@@ -1,17 +0,0 @@
-import type { JsonSchemaObject } from '../schema/value/schema.js';
-import type { ValueSchemaInput } from './property.js';
-declare const VALUE_SCHEMA_TYPE: unique symbol;
-/** Type-only value retained by one lossless Value Schema authored in TypeScript. */
-export interface TypedValueSchema<out Value = unknown> extends JsonSchemaObject {
-    readonly [VALUE_SCHEMA_TYPE]: Value;
-}
-/**
- * Attach one authored TypeScript value to an otherwise unchanged JSON Schema or lossless Zod
- * schema.
- *
- * The witness is erased: canonical schema compilation and runtime validation receive the
- * original object. It exists only because JSON Schema cannot carry TypeScript inference itself.
- */
-export declare function valueSchema<Value>(): <const Schema extends ValueSchemaInput>(schema: Schema) => Schema & TypedValueSchema<Value>;
-export {};
-//# sourceMappingURL=value-schema.d.ts.map

package/dist/v1/builder/value-schema.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"value-schema.d.ts","sourceRoot":"","sources":["../../../v1/builder/value-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAA;AACjE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AAErD,OAAO,CAAC,MAAM,iBAAiB,EAAE,OAAO,MAAM,CAAA;AAE9C,oFAAoF;AACpF,MAAM,WAAW,gBAAgB,CAAC,GAAG,CAAC,KAAK,GAAG,OAAO,CAAE,SAAQ,gBAAgB;IAC7E,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,KAAK,CAAA;CACpC;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,KAAK,MACvB,KAAK,CAAC,MAAM,SAAS,gBAAgB,UACnC,MAAM,KACb,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,CACpC"}

package/dist/v1/builder/value-schema.js

@@ -1,11 +0,0 @@
-/**
- * Attach one authored TypeScript value to an otherwise unchanged JSON Schema or lossless Zod
- * schema.
- *
- * The witness is erased: canonical schema compilation and runtime validation receive the
- * original object. It exists only because JSON Schema cannot carry TypeScript inference itself.
- */
-export function valueSchema() {
-    return (schema) => schema;
-}
-//# sourceMappingURL=value-schema.js.map

package/dist/v1/builder/value-schema.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"value-schema.js","sourceRoot":"","sources":["../../../v1/builder/value-schema.ts"],"names":[],"mappings":"AAUA;;;;;;GAMG;AACH,MAAM,UAAU,WAAW;IACzB,OAAO,CACL,MAAc,EACoB,EAAE,CAAC,MAA0C,CAAA;AACnF,CAAC"}

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

@@ -1,19 +0,0 @@
-import type { ViewAuth } from '../schema/view/declaration.js';
-import type { NodeDefinitionReferenceInput } from './definition.js';
-import type { AUTHORING } from './internal/authoring.js';
-export type ViewDefinitionTargetsInput = readonly [
-    NodeDefinitionReferenceInput,
-    ...NodeDefinitionReferenceInput[]
-];
-export type ViewTargetInput = 'domain' | NodeDefinitionReferenceInput | ViewDefinitionTargetsInput;
-export interface ViewInput {
-    readonly description?: string;
-    readonly target?: ViewTargetInput;
-    readonly auth?: ViewAuth;
-}
-export interface ViewAuthoring<out Config extends ViewInput = ViewInput> {
-    readonly [AUTHORING]: 'view';
-    readonly config: Config;
-}
-export declare function view<const Config extends ViewInput>(config: Config): ViewAuthoring<Config>;
-//# sourceMappingURL=view.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../../v1/builder/view.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAA;AAC7D,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAA;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AAKxD,MAAM,MAAM,0BAA0B,GAAG,SAAS;IAChD,4BAA4B;IAC5B,GAAG,4BAA4B,EAAE;CAClC,CAAA;AAED,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,4BAA4B,GAAG,0BAA0B,CAAA;AAClG,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAA;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAA;CACzB;AAED,MAAM,WAAW,aAAa,CAAC,GAAG,CAAC,MAAM,SAAS,SAAS,GAAG,SAAS;IACrE,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,wBAAgB,IAAI,CAAC,KAAK,CAAC,MAAM,SAAS,SAAS,EAAE,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAG1F"}

package/dist/v1/builder/view.js

@@ -1,7 +0,0 @@
-import { authoringValue } from './internal/authoring.js';
-import { assertKnownKeys } from './internal/diagnostic.js';
-export function view(config) {
-    assertKnownKeys(config, ['description', 'target', 'auth']);
-    return authoringValue('view', { config: { ...config } });
-}
-//# sourceMappingURL=view.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"view.js","sourceRoot":"","sources":["../../../v1/builder/view.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAmB1D,MAAM,UAAU,IAAI,CAAiC,MAAc;IACjE,eAAe,CAAC,MAAM,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAA;IAC1D,OAAO,cAAc,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,EAAE,CAA0B,CAAA;AACnF,CAAC"}

package/dist/v1/builder.d.ts

@@ -1,3 +0,0 @@
-/** Compatibility type facade; Builder is owned by `./builder/index.ts`. */
-export type * from './builder/index.js';
-//# sourceMappingURL=builder.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../../v1/builder.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,mBAAmB,oBAAoB,CAAA"}

package/dist/v1/builder.js

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

package/dist/v1/builder.js.map

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

package/dist/v1/bundle.d.ts

@@ -1,3 +0,0 @@
-/** Compatibility source facade; exact closure transport is owned by `./bundle/index.ts`. */
-export * from './bundle/index.js';
-//# sourceMappingURL=bundle.d.ts.map

package/dist/v1/bundle.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bundle.d.ts","sourceRoot":"","sources":["../../v1/bundle.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,cAAc,mBAAmB,CAAA"}

package/dist/v1/bundle.js

@@ -1,3 +0,0 @@
-/** Compatibility source facade; exact closure transport is owned by `./bundle/index.ts`. */
-export * from './bundle/index.js';
-//# sourceMappingURL=bundle.js.map

package/dist/v1/bundle.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"bundle.js","sourceRoot":"","sources":["../../v1/bundle.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,cAAc,mBAAmB,CAAA"}

package/dist/v1/schema/callable.d.ts

@@ -1,29 +0,0 @@
-import type { PolicyCheckExpression } from './policy/ast.js';
-import type { JsonSchema } from './value/schema.js';
-export type MethodInheritance = 'abstract' | 'default' | 'sealed';
-export type FunctionAuth = 'anonymous' | 'authenticated' | 'authorized';
-export type CallableOutput = {
-    readonly mode: 'value';
-    readonly schema: JsonSchema;
-} | {
-    readonly mode: 'stream';
-    readonly item: JsonSchema;
-} | {
-    readonly mode: 'binary';
-};
-export type OutputMode = CallableOutput['mode'];
-export interface CallableContract {
-    readonly description?: string;
-    readonly input: JsonSchema;
-    readonly output: CallableOutput;
-    readonly auth: FunctionAuth;
-    readonly policy?: PolicyCheckExpression;
-}
-export interface FunctionDeclaration extends CallableContract {
-}
-export interface MethodDeclaration extends CallableContract {
-    readonly static: boolean;
-    readonly inheritance: MethodInheritance;
-}
-export type MethodRecord = Readonly<Record<string, MethodDeclaration>>;
-//# sourceMappingURL=callable.d.ts.map

package/dist/v1/schema/callable.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"callable.d.ts","sourceRoot":"","sources":["../../../v1/schema/callable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAA;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAEnD,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAA;AAEjE,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,eAAe,GAAG,YAAY,CAAA;AAEvE,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAA;AAE/B,MAAM,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;AAE/C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;IAC/B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAA;CACxC;AAED,MAAM,WAAW,mBAAoB,SAAQ,gBAAgB;CAAG;AAEhE,MAAM,WAAW,iBAAkB,SAAQ,gBAAgB;IACzD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAA;CACxC;AAED,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAA"}

package/dist/v1/schema/callable.js.map

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

package/dist/v1/schema/compiled/admission.d.ts

@@ -1,4 +0,0 @@
-import type { Bundle } from './model.js';
-/** Admit untrusted compiled bytes once before the dependency-clean evaluator trusts their indices. */
-export declare function acceptBundle(input: unknown): Bundle;
-//# sourceMappingURL=admission.d.ts.map

package/dist/v1/schema/compiled/admission.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"admission.d.ts","sourceRoot":"","sources":["../../../../v1/schema/compiled/admission.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,MAAM,EAAsD,MAAM,YAAY,CAAA;AAS5F,sGAAsG;AACtG,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CA0BnD"}

package/dist/v1/schema/compiled/admission.js

@@ -1,217 +0,0 @@
-import { accept as acceptPortable } from '@astrale-os/kernel-dsl/value';
-import { Key, Ref, DOMAIN_ORIGIN_PATTERN, DOMAIN_REVISION_PATTERN } from '../../addressing/index.js';
-import { deepFreeze } from '../canonical/freeze.js';
-const AUTH = new Set(['anonymous', 'authenticated', 'authorized']);
-const OUTPUT = new Set(['value', 'stream', 'binary']);
-const MAXIMUM_COMPILED_SCHEMA_MEMBERS = 1_000_000;
-/** Admit untrusted compiled bytes once before the dependency-clean evaluator trusts their indices. */
-export function acceptBundle(input) {
-    const root = object(acceptPortable(input, { limits: { maxMembers: MAXIMUM_COMPILED_SCHEMA_MEMBERS } }), 'Bundle');
-    exact(root, ['format', 'version', 'origin', 'revision', 'values', 'callables'], 'Bundle');
-    if (root.format !== 'astrale.dsl.compiled-schema' || root.version !== 1)
-        invalid('Bundle format');
-    if (typeof root.origin !== 'string' || !DOMAIN_ORIGIN_PATTERN.test(root.origin))
-        invalid('Bundle origin');
-    if (typeof root.revision !== 'string' || !DOMAIN_REVISION_PATTERN.test(root.revision))
-        invalid('Bundle revision');
-    const values = array(root.values, 'Bundle values').map((value, index) => program(value, index));
-    const callables = array(root.callables, 'Bundle callables').map((value, index) => callable(value, index, root.origin, values));
-    if (new Set(callables.map((entry) => entry.callable)).size !== callables.length) {
-        invalid('Bundle callables must be unique');
-    }
-    return deepFreeze({
-        format: 'astrale.dsl.compiled-schema',
-        version: 1,
-        origin: root.origin,
-        revision: root.revision,
-        values,
-        callables,
-    });
-}
-function program(input, programIndex) {
-    const value = object(input, `values[${programIndex}]`);
-    exact(value, ['root', 'nodes', 'patterns'], `values[${programIndex}]`);
-    const nodes = array(value.nodes, 'ValueProgram nodes').map((node, index) => valueNode(node, index));
-    const root = index(value.root, nodes.length, 'ValueProgram root');
-    const patterns = array(value.patterns, 'ValueProgram patterns').map((entry, index) => pattern(entry, index));
-    if (new Set(patterns.map((entry) => entry.source)).size !== patterns.length) {
-        invalid('ValueProgram patterns must be unique');
-    }
-    const sources = new Set(patterns.map((entry) => entry.source));
-    for (const node of nodes)
-        verifyPatternEvidence(node.schema, sources);
-    for (const node of nodes) {
-        for (const child of Object.values(node.children))
-            index(child, nodes.length, 'ValueNode child');
-        if (node.reference !== undefined)
-            index(node.reference, nodes.length, 'ValueNode reference');
-    }
-    return { root, nodes, patterns };
-}
-function valueNode(input, nodeIndex) {
-    const value = object(input, `nodes[${nodeIndex}]`);
-    exact(value, ['schema', 'children'], `nodes[${nodeIndex}]`, ['reference']);
-    if (!('schema' in value))
-        invalid('ValueNode schema');
-    const children = object(value.children, 'ValueNode children');
-    const admittedChildren = {};
-    for (const [name, child] of Object.entries(children))
-        admittedChildren[name] = integer(child, 'ValueNode child');
-    return {
-        schema: value.schema,
-        children: admittedChildren,
-        ...(value.reference === undefined
-            ? {}
-            : { reference: integer(value.reference, 'ValueNode reference') }),
-    };
-}
-function pattern(input, patternIndex) {
-    const value = object(input, `patterns[${patternIndex}]`);
-    exact(value, ['source', 'start', 'states'], `patterns[${patternIndex}]`);
-    if (typeof value.source !== 'string')
-        invalid('Pattern source');
-    const states = array(value.states, 'Pattern states').map((entry, stateIndex) => {
-        const state = object(entry, `states[${stateIndex}]`);
-        exact(state, ['epsilon', 'transitions'], `states[${stateIndex}]`, ['accepting']);
-        if (state.accepting !== undefined && state.accepting !== true)
-            invalid('Pattern accepting state');
-        const epsilon = array(state.epsilon, 'Pattern epsilon').map((target) => integer(target, 'Pattern epsilon'));
-        const transitions = array(state.transitions, 'Pattern transitions').map((entry) => {
-            const transition = object(entry, 'Pattern transition');
-            exact(transition, ['to', 'ranges'], 'Pattern transition');
-            const ranges = array(transition.ranges, 'Pattern ranges').map((entry) => {
-                const range = array(entry, 'Pattern range');
-                if (range.length !== 2)
-                    invalid('Pattern range');
-                const minimum = scalar(range[0], 'Pattern range minimum');
-                const maximum = scalar(range[1], 'Pattern range maximum');
-                if (minimum > maximum)
-                    invalid('Pattern range order');
-                return [minimum, maximum];
-            });
-            return { to: integer(transition.to, 'Pattern transition target'), ranges };
-        });
-        return {
-            epsilon,
-            transitions,
-            ...(state.accepting === true ? { accepting: true } : {}),
-        };
-    });
-    const start = index(value.start, states.length, 'Pattern start');
-    for (const state of states) {
-        for (const target of state.epsilon)
-            index(target, states.length, 'Pattern epsilon');
-        for (const transition of state.transitions)
-            index(transition.to, states.length, 'Pattern transition');
-    }
-    if (!states.some((state) => state.accepting === true))
-        invalid('Pattern accepting state');
-    return { source: value.source, start, states };
-}
-function callable(input, callableIndex, origin, values) {
-    const value = object(input, `callables[${callableIndex}]`);
-    exact(value, ['callable', 'target', 'authentication', 'input', 'output'], `callables[${callableIndex}]`, ['fields']);
-    if (typeof value.callable !== 'string' ||
-        !Key.is(value.callable) ||
-        Key.origin(value.callable) !== origin)
-        invalid('Callable key');
-    const ref = Key.ref(value.callable);
-    if (!(Ref.isDefinition(ref) && Ref.namespace(ref) === 'function') && !Ref.isMethod(ref))
-        invalid('Callable key');
-    if (!AUTH.has(value.authentication))
-        invalid('Callable authentication');
-    const inputProgram = index(value.input, values.length, 'Callable input');
-    const target = object(value.target, 'Callable target');
-    const admittedTarget = target.kind === 'function'
-        ? (exact(target, ['kind'], 'Function target'), { kind: 'function' })
-        : methodTarget(target);
-    const output = object(value.output, 'Callable output');
-    if (typeof output.mode !== 'string' || !OUTPUT.has(output.mode))
-        invalid('Callable output');
-    exact(output, output.mode === 'binary' ? ['mode'] : ['mode', 'value'], 'Callable output');
-    const admittedOutput = output.mode === 'binary'
-        ? { mode: 'binary' }
-        : {
-            mode: output.mode,
-            value: index(output.value, values.length, 'Callable output'),
-        };
-    let fields;
-    if (value.fields !== undefined) {
-        fields = {};
-        for (const [name, node] of Object.entries(object(value.fields, 'Callable fields'))) {
-            fields[name] = index(node, values[inputProgram].nodes.length, 'Callable field');
-        }
-    }
-    return {
-        callable: value.callable,
-        target: admittedTarget,
-        authentication: value.authentication,
-        input: inputProgram,
-        ...(fields === undefined ? {} : { fields }),
-        output: admittedOutput,
-    };
-}
-function methodTarget(target) {
-    exact(target, ['kind', 'dispatch', 'owner'], 'Method target');
-    if (target.kind !== 'method' || (target.dispatch !== 'static' && target.dispatch !== 'instance'))
-        invalid('Method target');
-    const owner = object(target.owner, 'Method owner');
-    exact(owner, ['origin', 'kind', 'name'], 'Method owner');
-    if (typeof owner.origin !== 'string' || !DOMAIN_ORIGIN_PATTERN.test(owner.origin))
-        invalid('Method owner origin');
-    if ((owner.kind !== 'class' && owner.kind !== 'interface') || typeof owner.name !== 'string')
-        invalid('Method owner');
-    return { kind: 'method', dispatch: target.dispatch, owner: owner };
-}
-function verifyPatternEvidence(schema, sources) {
-    if (schema === null || typeof schema !== 'object' || Array.isArray(schema))
-        return;
-    const object = schema;
-    for (const source of [object.pattern, object.fullMatch]) {
-        if (typeof source === 'string' && !sources.has(source))
-            invalid('ValueNode pattern evidence');
-    }
-    const properties = object.patternProperties;
-    if (properties !== null && typeof properties === 'object' && !Array.isArray(properties)) {
-        for (const source of Object.keys(properties))
-            if (!sources.has(source))
-                invalid('ValueNode pattern evidence');
-    }
-}
-function object(input, label) {
-    if (input === null || typeof input !== 'object' || Array.isArray(input))
-        invalid(label);
-    return input;
-}
-function array(input, label) {
-    if (!Array.isArray(input))
-        invalid(label);
-    return input;
-}
-function exact(value, required, label, optional = []) {
-    const allowed = new Set([...required, ...optional]);
-    if (Object.keys(value).some((key) => !allowed.has(key)) ||
-        required.some((key) => !Object.hasOwn(value, key)))
-        invalid(label);
-}
-function integer(input, label) {
-    if (!Number.isSafeInteger(input) || input < 0)
-        invalid(label);
-    return input;
-}
-function index(input, length, label) {
-    const value = integer(input, label);
-    if (value >= length)
-        invalid(label);
-    return value;
-}
-function scalar(input, label) {
-    const value = integer(input, label);
-    if (value > 0x10ffff || (value >= 0xd800 && value <= 0xdfff))
-        invalid(label);
-    return value;
-}
-function invalid(label) {
-    throw new TypeError(`${label} is invalid.`);
-}
-//# sourceMappingURL=admission.js.map