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

package/dist/v1/domain/projection/classes.js

@@ -0,0 +1,201 @@
+import { compareUnicode, Key, MethodKey as MethodKeyValue, PropertyKey as PropertyKeyValue, } from '../../addressing/index.js';
+import { acceptPropertyValues } from '../../language/class/property-values.js';
+import { appendPointer } from '../../language/value/syntax/pointer.js';
+import { createMethodCollection, createPropertyCollection } from '../namespace/member-collection.js';
+export function createClasses(definitions, validation) {
+    const declarations = new Map(definitions
+        .filter((value) => value.ref.kind === 'class')
+        .map((value) => [Key.of(value.ref), value]));
+    const resolved = new Map();
+    const visiting = new Set();
+    const resolve = (ref) => {
+        const key = Key.of(ref);
+        const cached = resolved.get(key);
+        if (cached !== undefined)
+            return cached;
+        if (visiting.has(key))
+            throw new TypeError(`Class inheritance cycle reaches ${key}.`);
+        const definition = declarations.get(key);
+        if (definition === undefined)
+            throw new TypeError(`Class ${key} is absent from Domain input.`);
+        visiting.add(key);
+        const parents = definition.extends.map(resolve);
+        if (parents.some((parent) => parent.kind !== definition.kind)) {
+            throw new TypeError(`Class ${key} extends a Class of another graph kind.`);
+        }
+        const shell = {};
+        const policies = Object.freeze({
+            read: Object.freeze(definition.kind === 'node'
+                ? uniquePolicyRefs([
+                    ...parents.flatMap((parent) => parent.kind === 'node' ? [...parent.policies.read] : []),
+                    ...(definition.policies.read === undefined ? [] : [definition.policies.read]),
+                ])
+                : []),
+            traverse: Object.freeze(uniquePolicyRefs([
+                ...parents.flatMap((parent) => [...parent.policies.traverse]),
+                ...(definition.policies.traverse === undefined ? [] : [definition.policies.traverse]),
+            ])),
+        });
+        const effectiveProperties = new Map();
+        const effectiveMethods = new Map();
+        let inheritedData;
+        for (const parent of parents) {
+            for (const property of parent.properties) {
+                effectiveProperties.set(property.key, property);
+            }
+            for (const method of [...parent.methods, ...parent.static.methods]) {
+                if (!effectiveMethods.has(method.name))
+                    effectiveMethods.set(method.name, method);
+            }
+            if (parent.kind === 'node' && inheritedData === undefined)
+                inheritedData = parent.data;
+        }
+        const ownProperties = [];
+        for (const [name, propertyDefinition] of Object.entries(definition.properties)) {
+            const propertyKey = PropertyKeyValue.of(ref, name);
+            const ordering = validation.propertyOrdering(propertyKey);
+            const property = Object.freeze({
+                owner: shell,
+                name,
+                key: propertyKey,
+                definition: propertyDefinition,
+                ...(ordering === undefined ? {} : { ordering }),
+                validate: (input) => validation.property(propertyKey, input),
+            });
+            ownProperties.push(property);
+            effectiveProperties.set(property.key, property);
+        }
+        const ownInstanceMethods = [];
+        const ownStaticMethods = [];
+        const ownData = definition.kind === 'node' && definition.data !== undefined
+            ? Object.freeze({ owner: shell, definition: definition.data })
+            : undefined;
+        if (definition.kind === 'node') {
+            for (const [name, methodDefinition] of Object.entries(definition.methods)) {
+                const methodKey = MethodKeyValue.of(ref, name);
+                const inputFields = validation.callableFields(methodKey);
+                const method = Object.freeze({
+                    owner: shell,
+                    name,
+                    key: methodKey,
+                    description: methodDefinition.description,
+                    input: methodDefinition.input,
+                    output: methodDefinition.output,
+                    auth: methodDefinition.auth,
+                    policy: methodDefinition.policy,
+                    static: methodDefinition.static,
+                    inheritance: methodDefinition.inheritance,
+                    ...(inputFields === undefined ? {} : { inputFields }),
+                    definition: methodDefinition,
+                    validateInput: (input) => validation.callableInput(methodKey, input),
+                    validateInputField: (field, input) => validation.callableInputField(methodKey, field, input),
+                    validateOutput: (output) => validation.callableOutput(methodKey, output),
+                });
+                effectiveMethods.set(name, method);
+                (methodDefinition.static ? ownStaticMethods : ownInstanceMethods).push(method);
+            }
+        }
+        const instanceMethods = [...effectiveMethods.values()].filter(({ definition }) => !definition.static);
+        const staticMethods = [...effectiveMethods.values()].filter(({ definition }) => definition.static);
+        Object.assign(shell, {
+            ref: definition.ref,
+            key,
+            kind: definition.kind,
+            abstract: definition.abstract,
+            definition,
+            extends: Object.freeze(parents),
+            policies,
+            data: definition.kind === 'node' ? (ownData ?? inheritedData) : undefined,
+            properties: createPropertyCollection(effectiveProperties.values()),
+            methods: createMethodCollection(instanceMethods),
+            static: Object.freeze({ methods: createMethodCollection(staticMethods) }),
+            self: Object.freeze({
+                data: definition.kind === 'node' ? ownData : undefined,
+                properties: createPropertyCollection(ownProperties),
+                policies: definition.policies,
+                methods: createMethodCollection(ownInstanceMethods),
+                static: Object.freeze({ methods: createMethodCollection(ownStaticMethods) }),
+            }),
+            satisfies(selected) {
+                if (key === selected.key)
+                    return true;
+                return parents.some((parent) => {
+                    if (parent.kind === 'node' && selected.kind === 'node')
+                        return parent.satisfies(selected);
+                    if (parent.kind === 'edge' && selected.kind === 'edge')
+                        return parent.satisfies(selected);
+                    return false;
+                });
+            },
+            validateProperties(input) {
+                return validateProperties(definition.abstract, effectiveProperties, input);
+            },
+        });
+        const value = Object.freeze(shell);
+        resolved.set(key, value);
+        visiting.delete(key);
+        return value;
+    };
+    for (const definition of declarations.values())
+        resolve(definition.ref);
+    return resolved;
+}
+function uniquePolicyRefs(values) {
+    const result = new Map();
+    for (const value of values)
+        result.set(Key.of(value), value);
+    return [...result.values()].sort((left, right) => compareUnicode(Key.of(left), Key.of(right)));
+}
+function validateProperties(abstract, properties, input) {
+    if (abstract) {
+        return [
+            {
+                code: 'DOMAIN_CLASS_ABSTRACT',
+                pointer: '/class',
+                message: 'An abstract Class cannot admit exact object Properties.',
+            },
+        ];
+    }
+    let values;
+    try {
+        values = acceptPropertyValues(input, '/properties');
+    }
+    catch (cause) {
+        return [
+            {
+                code: 'DOMAIN_PROPERTY_INPUT_INVALID',
+                pointer: '/properties',
+                message: cause instanceof Error ? cause.message : 'Properties are not canonical.',
+            },
+        ];
+    }
+    const diagnostics = [];
+    for (const key of Object.keys(values)) {
+        if (!properties.has(key)) {
+            diagnostics.push({
+                code: 'DOMAIN_PROPERTY_UNKNOWN',
+                pointer: appendPointer('/properties', key),
+                message: `Property ${key} is not effective on this Class.`,
+            });
+        }
+    }
+    for (const property of properties.values()) {
+        if (!Object.hasOwn(values, property.key)) {
+            if (property.definition.required) {
+                diagnostics.push({
+                    code: 'DOMAIN_PROPERTY_REQUIRED',
+                    pointer: appendPointer('/properties', property.key),
+                    message: `Required Property ${property.key} is absent.`,
+                });
+            }
+            continue;
+        }
+        const pointer = appendPointer('/properties', property.key);
+        diagnostics.push(...property.validate(values[property.key]).map((item) => ({
+            ...item,
+            pointer: `${pointer}${item.pointer}`,
+        })));
+    }
+    return Object.freeze(diagnostics);
+}
+//# sourceMappingURL=classes.js.map

package/dist/v1/domain/projection/classes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classes.js","sourceRoot":"","sources":["../../../../v1/domain/projection/classes.ts"],"names":[],"mappings":"AAYA,OAAO,EACL,cAAc,EACd,GAAG,EACH,SAAS,IAAI,cAAc,EAC3B,WAAW,IAAI,gBAAgB,GAChC,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,oBAAoB,EAAE,MAAM,yCAAyC,CAAA;AAC9E,OAAO,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AACtE,OAAO,EAAE,sBAAsB,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAA;AAIpG,MAAM,UAAU,aAAa,CAC3B,WAAkC,EAClC,UAA4B;IAE5B,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,WAAW;SACR,MAAM,CAAC,CAAC,KAAK,EAA4B,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;SACvE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAC9C,CAAA;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4B,CAAA;IACpD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAElC,MAAM,OAAO,GAAG,CAAC,GAAa,EAAoB,EAAE;QAClD,MAAM,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;QACvB,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAChC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAA;QACvC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,mCAAmC,GAAG,GAAG,CAAC,CAAA;QACrF,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACxC,IAAI,UAAU,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,SAAS,GAAG,+BAA+B,CAAC,CAAA;QAC9F,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACjB,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAC/C,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,SAAS,CAAC,SAAS,GAAG,yCAAyC,CAAC,CAAA;QAC5E,CAAC;QAED,MAAM,KAAK,GAAG,EAAgD,CAAA;QAC9D,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;YAC7B,IAAI,EAAE,MAAM,CAAC,MAAM,CACjB,UAAU,CAAC,IAAI,KAAK,MAAM;gBACxB,CAAC,CAAC,gBAAgB,CAAC;oBACf,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5B,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CACxD;oBACD,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;iBAC9E,CAAC;gBACJ,CAAC,CAAC,EAAE,CACP;YACD,QAAQ,EAAE,MAAM,CAAC,MAAM,CACrB,gBAAgB,CAAC;gBACf,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBAC7D,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;aACtF,CAAC,CACH;SACF,CAAC,CAAA;QACF,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAiC,CAAA;QACpE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA0B,CAAA;QAC1D,IAAI,aAAuC,CAAA;QAC3C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,UAAwC,EAAE,CAAC;gBACvE,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;YACjD,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;oBAAE,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YACnF,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,aAAa,KAAK,SAAS;gBAAE,aAAa,GAAG,MAAM,CAAC,IAAI,CAAA;QACxF,CAAC;QAED,MAAM,aAAa,GAAuB,EAAE,CAAA;QAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,kBAAkB,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/E,MAAM,WAAW,GAAG,gBAAgB,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;YAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAA;YACzD,MAAM,QAAQ,GAAqB,MAAM,CAAC,MAAM,CAAC;gBAC/C,KAAK,EAAE,KAAK;gBACZ,IAAI;gBACJ,GAAG,EAAE,WAAW;gBAChB,UAAU,EAAE,kBAAkB;gBAC9B,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;gBAC/C,QAAQ,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;aACtE,CAAC,CAAA;YACF,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YAC5B,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;QACjD,CAAC;QAED,MAAM,kBAAkB,GAAqB,EAAE,CAAA;QAC/C,MAAM,gBAAgB,GAAqB,EAAE,CAAA;QAC7C,MAAM,OAAO,GACX,UAAU,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS;YACzD,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,KAA8B,EAAE,UAAU,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC;YACvF,CAAC,CAAC,SAAS,CAAA;QACf,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1E,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;gBAC9C,MAAM,WAAW,GAAG,UAAU,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;gBACxD,MAAM,MAAM,GAAmB,MAAM,CAAC,MAAM,CAAC;oBAC3C,KAAK,EAAE,KAA8B;oBACrC,IAAI;oBACJ,GAAG,EAAE,SAAS;oBACd,WAAW,EAAE,gBAAgB,CAAC,WAAW;oBACzC,KAAK,EAAE,gBAAgB,CAAC,KAAK;oBAC7B,MAAM,EAAE,gBAAgB,CAAC,MAAM;oBAC/B,IAAI,EAAE,gBAAgB,CAAC,IAAI;oBAC3B,MAAM,EAAE,gBAAgB,CAAC,MAAM;oBAC/B,MAAM,EAAE,gBAAgB,CAAC,MAAM;oBAC/B,WAAW,EAAE,gBAAgB,CAAC,WAAW;oBACzC,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;oBACrD,UAAU,EAAE,gBAAgB;oBAC5B,aAAa,EAAE,CAAC,KAAc,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC;oBAC7E,kBAAkB,EAAE,CAAC,KAAa,EAAE,KAAc,EAAE,EAAE,CACpD,UAAU,CAAC,kBAAkB,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC;oBACxD,cAAc,EAAE,CAAC,MAAe,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,SAAS,EAAE,MAAM,CAAC;iBAClF,CAAC,CAAA;gBACF,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CACjC;gBAAA,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACjF,CAAC;QACH,CAAC;QAED,MAAM,eAAe,GAAG,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAC3D,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,MAAM,CACvC,CAAA;QACD,MAAM,aAAa,GAAG,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CACzD,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CACtC,CAAA;QACD,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE;YACnB,GAAG,EAAE,UAAU,CAAC,GAAG;YACnB,GAAG;YACH,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,UAAU;YACV,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;YAC/B,QAAQ;YACR,IAAI,EAAE,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS;YACzE,UAAU,EAAE,wBAAwB,CAAC,mBAAmB,CAAC,MAAM,EAAE,CAAC;YAClE,OAAO,EAAE,sBAAsB,CAAC,eAAe,CAAC;YAChD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,sBAAsB,CAAC,aAAa,CAAC,EAAE,CAAC;YACzE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;gBAClB,IAAI,EAAE,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;gBACtD,UAAU,EAAE,wBAAwB,CAAC,aAAa,CAAC;gBACnD,QAAQ,EAAE,UAAU,CAAC,QAAQ;gBAC7B,OAAO,EAAE,sBAAsB,CAAC,kBAAkB,CAAC;gBACnD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,sBAAsB,CAAC,gBAAgB,CAAC,EAAE,CAAC;aAC7E,CAAC;YACF,SAAS,CAAC,QAA0B;gBAClC,IAAI,GAAG,KAAK,QAAQ,CAAC,GAAG;oBAAE,OAAO,IAAI,CAAA;gBACrC,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;oBAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;wBAAE,OAAO,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;oBACzF,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;wBAAE,OAAO,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;oBACzF,OAAO,KAAK,CAAA;gBACd,CAAC,CAAC,CAAA;YACJ,CAAC;YACD,kBAAkB,CAAC,KAAc;gBAC/B,OAAO,kBAAkB,CAAC,UAAU,CAAC,QAAQ,EAAE,mBAAmB,EAAE,KAAK,CAAC,CAAA;YAC5E,CAAC;SACF,CAAC,CAAA;QACF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAqB,CAAA;QACtD,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;QACxB,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACpB,OAAO,KAAK,CAAA;IACd,CAAC,CAAA;IAED,KAAK,MAAM,UAAU,IAAI,YAAY,CAAC,MAAM,EAAE;QAAE,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;IACvE,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,gBAAgB,CAAC,MAA4B;IACpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAA;IAC3C,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;IAC5D,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AAChG,CAAC;AAED,SAAS,kBAAkB,CACzB,QAAiB,EACjB,UAAsD,EACtD,KAAc;IAEd,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO;YACL;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,QAAQ;gBACjB,OAAO,EAAE,yDAAyD;aACnE;SACF,CAAA;IACH,CAAC;IACD,IAAI,MAA+C,CAAA;IACnD,IAAI,CAAC;QACH,MAAM,GAAG,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAA;IACrD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL;gBACE,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,aAAa;gBACtB,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,+BAA+B;aAClF;SACF,CAAA;IACH,CAAC;IACD,MAAM,WAAW,GAAiB,EAAE,CAAA;IACpC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAkB,EAAE,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,aAAa,CAAC,aAAa,EAAE,GAAG,CAAC;gBAC1C,OAAO,EAAE,YAAY,GAAG,kCAAkC;aAC3D,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACjC,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,aAAa,CAAC,aAAa,EAAE,QAAQ,CAAC,GAAG,CAAC;oBACnD,OAAO,EAAE,qBAAqB,QAAQ,CAAC,GAAG,aAAa;iBACxD,CAAC,CAAA;YACJ,CAAC;YACD,SAAQ;QACV,CAAC;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,aAAa,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAA;QAC1D,WAAW,CAAC,IAAI,CACd,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACxD,GAAG,IAAI;YACP,OAAO,EAAE,GAAG,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE;SACrC,CAAC,CAAC,CACJ,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;AACnC,CAAC"}

package/dist/v1/domain/validation/create.d.ts

@@ -0,0 +1,19 @@
+import type { Key, PropertyKey } from '../../addressing/index.js';
+import type { Diagnostic } from '../../language/validation/diagnostic.js';
+import type { OrderingKind } from '../../language/value/ordering.js';
+import type { DomainValidation } from '../model/input.js';
+export interface PropertyValidation {
+    readonly ordering?: OrderingKind;
+    validate(input: unknown): readonly Diagnostic[];
+}
+export interface CallableValidation {
+    readonly fields?: readonly string[];
+    validateInput(input: unknown): readonly Diagnostic[];
+    validateInputField(field: string, input: unknown): readonly Diagnostic[];
+    validateOutput(output: unknown): readonly Diagnostic[];
+}
+/** Build the one Domain-level router shared by source resolution and compiled loading. */
+export declare function createDomainValidation(properties: ReadonlyMap<PropertyKey, PropertyValidation>, callables: ReadonlyMap<Key.Callable, CallableValidation>): DomainValidation;
+export declare function combineDomainValidation(values: readonly DomainValidation[]): DomainValidation;
+export declare function unknownInputField(field: string): readonly Diagnostic[];
+//# sourceMappingURL=create.d.ts.map

package/dist/v1/domain/validation/create.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create.d.ts","sourceRoot":"","sources":["../../../../v1/domain/validation/create.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AACjE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yCAAyC,CAAA;AACzE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAA;AACpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAEzD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAA;IAChC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAAA;CAChD;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAAA;IACpD,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAAA;IACxE,cAAc,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAAA;CACvD;AAED,0FAA0F;AAC1F,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,WAAW,CAAC,WAAW,EAAE,kBAAkB,CAAC,EACxD,SAAS,EAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,kBAAkB,CAAC,GACvD,gBAAgB,CA0BlB;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,GAAG,gBAAgB,CA6B7F;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,UAAU,EAAE,CAQtE"}

package/dist/v1/domain/validation/create.js

@@ -0,0 +1,76 @@
+/** Build the one Domain-level router shared by source resolution and compiled loading. */
+export function createDomainValidation(properties, callables) {
+    const validation = {
+        propertyExists: (key) => properties.has(key),
+        property(key, input) {
+            const target = properties.get(key);
+            return target === undefined ? unknownTarget('Property', key) : target.validate(input);
+        },
+        propertyOrdering: (key) => properties.get(key)?.ordering,
+        callableExists: (key) => callables.has(key),
+        callableInput(key, input) {
+            const target = callables.get(key);
+            return target === undefined ? unknownTarget('Callable', key) : target.validateInput(input);
+        },
+        callableFields: (key) => callables.get(key)?.fields,
+        callableInputField(key, field, input) {
+            const target = callables.get(key);
+            return target === undefined
+                ? unknownTarget('Callable', key)
+                : target.validateInputField(field, input);
+        },
+        callableOutput(key, output) {
+            const target = callables.get(key);
+            return target === undefined ? unknownTarget('Callable', key) : target.validateOutput(output);
+        },
+    };
+    return Object.freeze(validation);
+}
+export function combineDomainValidation(values) {
+    const validation = {
+        propertyExists: (key) => values.some((value) => value.propertyExists(key)),
+        property(key, input) {
+            const owner = values.find((value) => value.propertyExists(key));
+            return owner === undefined ? unknownTarget('Property', key) : owner.property(key, input);
+        },
+        propertyOrdering: (key) => values.find((value) => value.propertyExists(key))?.propertyOrdering(key),
+        callableExists: (key) => values.some((value) => value.callableExists(key)),
+        callableInput(key, input) {
+            const owner = values.find((value) => value.callableExists(key));
+            return owner === undefined ? unknownTarget('Callable', key) : owner.callableInput(key, input);
+        },
+        callableFields: (key) => values.find((value) => value.callableExists(key))?.callableFields(key),
+        callableInputField(key, field, input) {
+            const owner = values.find((value) => value.callableExists(key));
+            return owner === undefined
+                ? unknownTarget('Callable', key)
+                : owner.callableInputField(key, field, input);
+        },
+        callableOutput(key, output) {
+            const owner = values.find((value) => value.callableExists(key));
+            return owner === undefined
+                ? unknownTarget('Callable', key)
+                : owner.callableOutput(key, output);
+        },
+    };
+    return Object.freeze(validation);
+}
+export function unknownInputField(field) {
+    return [
+        Object.freeze({
+            code: 'CALLABLE_INPUT_FIELD_UNKNOWN',
+            pointer: '',
+            message: `Input field ${field} is absent.`,
+        }),
+    ];
+}
+function unknownTarget(kind, key) {
+    return [
+        Object.freeze({
+            code: 'DOMAIN_VALIDATION_TARGET_UNKNOWN',
+            pointer: '',
+            message: `${kind} ${key} is absent.`,
+        }),
+    ];
+}
+//# sourceMappingURL=create.js.map

package/dist/v1/domain/validation/create.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create.js","sourceRoot":"","sources":["../../../../v1/domain/validation/create.ts"],"names":[],"mappings":"AAiBA,0FAA0F;AAC1F,MAAM,UAAU,sBAAsB,CACpC,UAAwD,EACxD,SAAwD;IAExD,MAAM,UAAU,GAAqB;QACnC,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;QAC5C,QAAQ,CAAC,GAAG,EAAE,KAAK;YACjB,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAClC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACvF,CAAC;QACD,gBAAgB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,QAAQ;QACxD,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;QAC3C,aAAa,CAAC,GAAG,EAAE,KAAK;YACtB,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACjC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAA;QAC5F,CAAC;QACD,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM;QACnD,kBAAkB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK;YAClC,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACjC,OAAO,MAAM,KAAK,SAAS;gBACzB,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC;gBAChC,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC7C,CAAC;QACD,cAAc,CAAC,GAAG,EAAE,MAAM;YACxB,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACjC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAA;QAC9F,CAAC;KACF,CAAA;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;AAClC,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAmC;IACzE,MAAM,UAAU,GAAqB;QACnC,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;QAC1E,QAAQ,CAAC,GAAG,EAAE,KAAK;YACjB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAA;YAC/D,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;QAC1F,CAAC;QACD,gBAAgB,EAAE,CAAC,GAAG,EAAE,EAAE,CACxB,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,gBAAgB,CAAC,GAAG,CAAC;QAC1E,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;QAC1E,aAAa,CAAC,GAAG,EAAE,KAAK;YACtB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAA;YAC/D,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;QAC/F,CAAC;QACD,cAAc,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,CAAC,GAAG,CAAC;QAC/F,kBAAkB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK;YAClC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAA;YAC/D,OAAO,KAAK,KAAK,SAAS;gBACxB,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC;gBAChC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;QACjD,CAAC;QACD,cAAc,CAAC,GAAG,EAAE,MAAM;YACxB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAA;YAC/D,OAAO,KAAK,KAAK,SAAS;gBACxB,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC;gBAChC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;QACvC,CAAC;KACF,CAAA;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;AAClC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,OAAO;QACL,MAAM,CAAC,MAAM,CAAC;YACZ,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,eAAe,KAAK,aAAa;SAC3C,CAAC;KACH,CAAA;AACH,CAAC;AAED,SAAS,aAAa,CAAC,IAA6B,EAAE,GAAW;IAC/D,OAAO;QACL,MAAM,CAAC,MAAM,CAAC;YACZ,IAAI,EAAE,kCAAkC;YACxC,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,GAAG,IAAI,IAAI,GAAG,aAAa;SACrC,CAAC;KACH,CAAA;AACH,CAAC"}

package/dist/v1/index.d.ts

@@ -1,9 +1,17 @@
 /** Stable aggregate facade for the V1 language. */
-export { auto, defineInterface, definePolicy, defineSchema, domain, edge, edgeClass, edgeInterface, fn, fullMatch, node, nodeClass, nodeInterface, output, path, policy, property, valueSchema, view, } from './builder/index.js';
-export type * from './builder/index.js';
-export type { FunctionAuth, MethodInheritance, PolicyCheckExpression } from './schema/index.js';
-export { Key, PropertyKey, Ref } from './addressing/index.js';
+export { auto, core, defineClass, defineSchema, edgeClass, func, fullMatch, method, nodeClass, output, path, policy, property, valueSchema, view, } from './builder/index.js';
+export { PropertyValues } from './language/index.js';
+export * as metadata from './language/definition/metadata.js';
+export type { AnyResolvedClass, BoundMethodOf, BoundMethodShortcutsOf, CallableResultOf, CallableInputOf, CallableOutputOf, ClassSatisfactionKeysOf, ClassDefinition, CoreDefinition, CoreEdge, FunctionAuth, FunctionDefinition, MethodDefinition, MethodInheritance, MethodOwnerKeyOf, PolicyCheckExpression, PolicyDefinition, PropertyInputOf, PropertyAccessOf, PropertyOutputOf, PropertyShortcutsOf, PropertyValuesOf, ResolvedClass, ResolvedCoreDefinition, ResolvedData, ResolvedFunction, ResolvedMethod, ResolvedMethodCollection, ResolvedPolicy, ResolvedProperty, ResolvedView, MethodAccessOf, SelfMethodsOf, SelfPropertiesOf, SelfStaticMethodsOf, StaticMethodsOf, ViewDefinition, } from './language/index.js';
+export { acceptDefinitionRef, callableAddress, ClassKey, equalDefinitionRefs, isDefinitionRef, Key, MethodKey, PropertyKey, } from './addressing/index.js';
+export type { ClassRef, CoreRef, DefinitionBase, DefinitionKey, DefinitionRef, FunctionRef, MethodAddress, PolicyRef, Revision, ViewRef, } from './addressing/index.js';
+export type { Definition } from './language/index.js';
+export type { Domain, MethodOwnerOf, SourceDomain } from './domain/index.js';
+export { isDomain } from './domain/index.js';
 export type * as builder from './builder/index.js';
+export type { PathAuthoring, TypedValueSchema } from './builder/index.js';
+export type { PropertyValues as PropertyValuesValue } from './language/index.js';
+export type { CompiledSchema } from './compiled/index.js';
 export * as schema from './schema/index.js';
 export * as bundle from './bundle/index.js';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../v1/index.ts"],"names":[],"mappings":"AAAA,mDAAmD;AAEnD,OAAO,EACL,IAAI,EACJ,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,SAAS,EACT,aAAa,EACb,EAAE,EACF,SAAS,EACT,IAAI,EACJ,SAAS,EACT,aAAa,EACb,MAAM,EACN,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,WAAW,EACX,IAAI,GACL,MAAM,oBAAoB,CAAA;AAE3B,mBAAmB,oBAAoB,CAAA;AAEvC,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAA;AAE/F,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,uBAAuB,CAAA;AAE7D,YAAY,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAElD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAE3C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../v1/index.ts"],"names":[],"mappings":"AAAA,mDAAmD;AAEnD,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,WAAW,EACX,YAAY,EACZ,SAAS,EACT,IAAI,EACJ,SAAS,EACT,MAAM,EACN,SAAS,EACT,MAAM,EACN,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,WAAW,EACX,IAAI,GACL,MAAM,oBAAoB,CAAA;AAE3B,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACpD,OAAO,KAAK,QAAQ,MAAM,mCAAmC,CAAA;AAC7D,YAAY,EACV,gBAAgB,EAChB,aAAa,EACb,sBAAsB,EACtB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,uBAAuB,EACvB,eAAe,EACf,cAAc,EACd,QAAQ,EACR,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAChB,aAAa,EACb,sBAAsB,EACtB,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,cAAc,EACd,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EACf,cAAc,GACf,MAAM,qBAAqB,CAAA;AAE5B,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,QAAQ,EACR,mBAAmB,EACnB,eAAe,EACf,GAAG,EACH,SAAS,EACT,WAAW,GACZ,MAAM,uBAAuB,CAAA;AAC9B,YAAY,EACV,QAAQ,EACR,OAAO,EACP,cAAc,EACd,aAAa,EACb,aAAa,EACb,WAAW,EACX,aAAa,EACb,SAAS,EACT,QAAQ,EACR,OAAO,GACR,MAAM,uBAAuB,CAAA;AAC9B,YAAY,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AACrD,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAC5E,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAE5C,YAAY,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAElD,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AACzE,YAAY,EAAE,cAAc,IAAI,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAChF,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAEzD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAE3C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA"}

package/dist/v1/index.js

@@ -1,6 +1,9 @@
 /** Stable aggregate facade for the V1 language. */
-export { auto, defineInterface, definePolicy, defineSchema, domain, edge, edgeClass, edgeInterface, fn, fullMatch, node, nodeClass, nodeInterface, output, path, policy, property, valueSchema, view, } from './builder/index.js';
-export { Key, PropertyKey, Ref } from './addressing/index.js';
+export { auto, core, defineClass, defineSchema, edgeClass, func, fullMatch, method, nodeClass, output, path, policy, property, valueSchema, view, } from './builder/index.js';
+export { PropertyValues } from './language/index.js';
+export * as metadata from './language/definition/metadata.js';
+export { acceptDefinitionRef, callableAddress, ClassKey, equalDefinitionRefs, isDefinitionRef, Key, MethodKey, PropertyKey, } from './addressing/index.js';
+export { isDomain } from './domain/index.js';
 export * as schema from './schema/index.js';
 export * as bundle from './bundle/index.js';
 //# sourceMappingURL=index.js.map

package/dist/v1/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../v1/index.ts"],"names":[],"mappings":"AAAA,mDAAmD;AAEnD,OAAO,EACL,IAAI,EACJ,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,SAAS,EACT,aAAa,EACb,EAAE,EACF,SAAS,EACT,IAAI,EACJ,SAAS,EACT,aAAa,EACb,MAAM,EACN,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,WAAW,EACX,IAAI,GACL,MAAM,oBAAoB,CAAA;AAM3B,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,uBAAuB,CAAA;AAI7D,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAE3C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../v1/index.ts"],"names":[],"mappings":"AAAA,mDAAmD;AAEnD,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,WAAW,EACX,YAAY,EACZ,SAAS,EACT,IAAI,EACJ,SAAS,EACT,MAAM,EACN,SAAS,EACT,MAAM,EACN,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,WAAW,EACX,IAAI,GACL,MAAM,oBAAoB,CAAA;AAE3B,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACpD,OAAO,KAAK,QAAQ,MAAM,mCAAmC,CAAA;AAyC7D,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,QAAQ,EACR,mBAAmB,EACnB,eAAe,EACf,GAAG,EACH,SAAS,EACT,WAAW,GACZ,MAAM,uBAAuB,CAAA;AAe9B,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAQ5C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAE3C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA"}

package/dist/v1/language/callable/index.d.ts

@@ -0,0 +1,3 @@
+export type * from './model/callable.js';
+export type * from './resolved.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/v1/language/callable/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../v1/language/callable/index.ts"],"names":[],"mappings":"AAAA,mBAAmB,qBAAqB,CAAA;AACxC,mBAAmB,eAAe,CAAA"}

package/dist/v1/language/callable/index.js

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

package/dist/v1/language/callable/index.js.map

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

package/dist/v1/language/callable/model/callable.d.ts

@@ -0,0 +1,34 @@
+import type { DefinitionBase, FunctionRef } from '../../../addressing/index.js';
+import type { PolicyCheckExpression } from '../../policy/model/policy.js';
+import type { JsonSchema } from '../../value/model/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 CallableDefinitionBase {
+    readonly description?: string;
+    readonly input: JsonSchema;
+    readonly output: CallableOutput;
+}
+export type CallableDefinition = CallableDefinitionBase & ({
+    readonly auth: 'anonymous' | 'authenticated';
+    readonly policy?: never;
+} | {
+    readonly auth: 'authorized';
+    readonly policy?: PolicyCheckExpression;
+});
+export type FunctionDefinition = DefinitionBase<FunctionRef> & CallableDefinition;
+export type MethodDefinition = CallableDefinition & {
+    readonly static: boolean;
+    readonly inheritance: MethodInheritance;
+};
+export type MethodRecord = Readonly<Record<string, MethodDefinition>>;
+//# sourceMappingURL=callable.d.ts.map

package/dist/v1/language/callable/model/callable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"callable.d.ts","sourceRoot":"","sources":["../../../../../v1/language/callable/model/callable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAC/E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAA;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAE7D,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,sBAAsB;IACrC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;CAChC;AAED,MAAM,MAAM,kBAAkB,GAAG,sBAAsB,GACrD,CACI;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,eAAe,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAA;CAAE,GACzE;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAA;CAAE,CAC3E,CAAA;AAEH,MAAM,MAAM,kBAAkB,GAAG,cAAc,CAAC,WAAW,CAAC,GAAG,kBAAkB,CAAA;AAEjF,MAAM,MAAM,gBAAgB,GAAG,kBAAkB,GAAG;IAClD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAA;CACxC,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA"}

package/dist/v1/language/callable/model/callable.js.map

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

package/dist/v1/language/callable/resolved.d.ts

@@ -0,0 +1,69 @@
+import type { DefinitionKey, FunctionRef, Key, MethodKey } from '../../addressing/index.js';
+import type { ResolvedClass } from '../class/resolved.js';
+import type { PolicyCheckExpression } from '../policy/model/policy.js';
+import type { Diagnostic } from '../validation/diagnostic.js';
+import type { FunctionDefinition, MethodDefinition } from './model/callable.js';
+import type { FunctionAuth } from './model/callable.js';
+type CallableDefinitionOf<Definition extends FunctionDefinition | MethodDefinition, Auth extends FunctionAuth, Policy extends PolicyCheckExpression> = Omit<Definition, 'auth' | 'policy'> & (Auth extends FunctionAuth ? {
+    readonly auth: Auth;
+} & (Auth extends 'authorized' ? {
+    readonly policy?: Policy;
+} : {
+    readonly policy?: never;
+}) : never);
+export interface ResolvedMethod<out Input = unknown, out Output = unknown, out Static extends boolean = boolean, out Inheritance extends MethodDefinition['inheritance'] = MethodDefinition['inheritance'], out Auth extends FunctionAuth = FunctionAuth, out Policy extends PolicyCheckExpression = PolicyCheckExpression, out ExactKey extends MethodKey = MethodKey> {
+    readonly owner: ResolvedClass<'node'> & {
+        readonly key: MethodOwnerKeyOfKey<ExactKey>;
+    };
+    readonly name: string;
+    readonly key: ExactKey;
+    readonly description?: MethodDefinition['description'];
+    readonly input: MethodDefinition['input'];
+    readonly output: MethodDefinition['output'];
+    readonly auth: Auth;
+    readonly policy?: Auth extends 'authorized' ? Policy : never;
+    readonly static: Static;
+    readonly inheritance: Inheritance;
+    /** Present only when the callable input is a safely enumerable closed object. */
+    readonly inputFields?: readonly string[];
+    readonly definition: CallableDefinitionOf<MethodDefinition, Auth, Policy> & {
+        readonly static: Static;
+        readonly inheritance: Inheritance;
+    };
+    validateInput(input: unknown): readonly Diagnostic[];
+    validateInputField(field: string, input: unknown): readonly Diagnostic[];
+    validateOutput(output: unknown): readonly Diagnostic[];
+    readonly __input?: Input;
+    readonly __output?: Output;
+}
+export type ResolvedMethodCollection<ByKey extends Readonly<Record<MethodKey, ResolvedMethod>> = Readonly<Record<MethodKey, ResolvedMethod>>, ByName extends Readonly<Record<string, ResolvedMethod>> = Readonly<Record<never, never>>> = Readonly<ByName> & Iterable<ByKey[keyof ByKey]> & {
+    readonly byKey: ByKey;
+    get<Key extends keyof ByKey>(key: Key): ByKey[Key];
+    get(key: MethodKey): ResolvedMethod | undefined;
+};
+export interface ResolvedFunction<out Input = unknown, out Output = unknown, out Auth extends FunctionAuth = FunctionAuth, out Policy extends PolicyCheckExpression = PolicyCheckExpression> {
+    readonly ref: FunctionRef;
+    readonly key: DefinitionKey<string, 'function'>;
+    readonly description?: FunctionDefinition['description'];
+    readonly input: FunctionDefinition['input'];
+    readonly output: FunctionDefinition['output'];
+    readonly auth: Auth;
+    readonly policy?: Auth extends 'authorized' ? Policy : never;
+    /** Present only when the callable input is a safely enumerable closed object. */
+    readonly inputFields?: readonly string[];
+    readonly definition: CallableDefinitionOf<FunctionDefinition, Auth, Policy>;
+    validateInput(input: unknown): readonly Diagnostic[];
+    validateInputField(field: string, input: unknown): readonly Diagnostic[];
+    validateOutput(output: unknown): readonly Diagnostic[];
+    readonly __input?: Input;
+    readonly __output?: Output;
+}
+export type ResolvedCallable = ResolvedFunction | ResolvedMethod;
+export type MethodOwnerKeyOf<Method> = Method extends {
+    readonly key: infer ExactKey extends MethodKey;
+} ? MethodOwnerKeyOfKey<ExactKey> : never;
+type MethodOwnerKeyOfKey<ExactKey extends MethodKey> = ExactKey extends `${infer Origin}:class.${infer Owner}.method.${string}` ? DefinitionKey<Extract<Origin, Key.Origin>, 'class', Owner> : never;
+export type CallableInputOf<Callable> = Callable extends ResolvedMethod<infer Input, unknown, boolean> ? Input : Callable extends ResolvedFunction<infer Input, unknown> ? Input : never;
+export type CallableOutputOf<Callable> = Callable extends ResolvedMethod<unknown, infer Output, boolean> ? Output : Callable extends ResolvedFunction<unknown, infer Output> ? Output : never;
+export {};
+//# sourceMappingURL=resolved.d.ts.map

package/dist/v1/language/callable/resolved.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolved.d.ts","sourceRoot":"","sources":["../../../../v1/language/callable/resolved.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAC3F,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACzD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAA;AACtE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAC7D,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAC/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAEvD,KAAK,oBAAoB,CACvB,UAAU,SAAS,kBAAkB,GAAG,gBAAgB,EACxD,IAAI,SAAS,YAAY,EACzB,MAAM,SAAS,qBAAqB,IAClC,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,QAAQ,CAAC,GACrC,CAAC,IAAI,SAAS,YAAY,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAAG,CAAC,IAAI,SAAS,YAAY,GAChD;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,GAChC,KAAK,CAAC,CAAA;AAEZ,MAAM,WAAW,cAAc,CAC7B,GAAG,CAAC,KAAK,GAAG,OAAO,EACnB,GAAG,CAAC,MAAM,GAAG,OAAO,EACpB,GAAG,CAAC,MAAM,SAAS,OAAO,GAAG,OAAO,EACpC,GAAG,CAAC,WAAW,SAAS,gBAAgB,CAAC,aAAa,CAAC,GAAG,gBAAgB,CAAC,aAAa,CAAC,EACzF,GAAG,CAAC,IAAI,SAAS,YAAY,GAAG,YAAY,EAC5C,GAAG,CAAC,MAAM,SAAS,qBAAqB,GAAG,qBAAqB,EAChE,GAAG,CAAC,QAAQ,SAAS,SAAS,GAAG,SAAS;IAE1C,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG;QAAE,QAAQ,CAAC,GAAG,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAA;KAAE,CAAA;IACvF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,gBAAgB,CAAC,aAAa,CAAC,CAAA;IACtD,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAA;IACzC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC,QAAQ,CAAC,CAAA;IAC3C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,SAAS,YAAY,GAAG,MAAM,GAAG,KAAK,CAAA;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;IACjC,iFAAiF;IACjF,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACxC,QAAQ,CAAC,UAAU,EAAE,oBAAoB,CAAC,gBAAgB,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG;QAC1E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;KAClC,CAAA;IACD,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAAA;IACpD,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAAA;IACxE,cAAc,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAAA;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAA;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAC3B;AAED,MAAM,MAAM,wBAAwB,CAClC,KAAK,SAAS,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC,GAAG,QAAQ,CAClE,MAAM,CAAC,SAAS,EAAE,cAAc,CAAC,CAClC,EACD,MAAM,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,IACtF,QAAQ,CAAC,MAAM,CAAC,GAClB,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,GAAG;IAC7B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,GAAG,CAAC,GAAG,SAAS,MAAM,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;IAClD,GAAG,CAAC,GAAG,EAAE,SAAS,GAAG,cAAc,GAAG,SAAS,CAAA;CAChD,CAAA;AAEH,MAAM,WAAW,gBAAgB,CAC/B,GAAG,CAAC,KAAK,GAAG,OAAO,EACnB,GAAG,CAAC,MAAM,GAAG,OAAO,EACpB,GAAG,CAAC,IAAI,SAAS,YAAY,GAAG,YAAY,EAC5C,GAAG,CAAC,MAAM,SAAS,qBAAqB,GAAG,qBAAqB;IAEhE,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAA;IACzB,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IAC/C,QAAQ,CAAC,WAAW,CAAC,EAAE,kBAAkB,CAAC,aAAa,CAAC,CAAA;IACxD,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAA;IAC3C,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAA;IAC7C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,SAAS,YAAY,GAAG,MAAM,GAAG,KAAK,CAAA;IAC5D,iFAAiF;IACjF,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACxC,QAAQ,CAAC,UAAU,EAAE,oBAAoB,CAAC,kBAAkB,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;IAC3E,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAAA;IACpD,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAAA;IACxE,cAAc,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,UAAU,EAAE,CAAA;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAA;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAC3B;AAED,MAAM,MAAM,gBAAgB,GAAG,gBAAgB,GAAG,cAAc,CAAA;AAEhE,MAAM,MAAM,gBAAgB,CAAC,MAAM,IAAI,MAAM,SAAS;IACpD,QAAQ,CAAC,GAAG,EAAE,MAAM,QAAQ,SAAS,SAAS,CAAA;CAC/C,GACG,mBAAmB,CAAC,QAAQ,CAAC,GAC7B,KAAK,CAAA;AAET,KAAK,mBAAmB,CAAC,QAAQ,SAAS,SAAS,IACjD,QAAQ,SAAS,GAAG,MAAM,MAAM,UAAU,MAAM,KAAK,WAAW,MAAM,EAAE,GACpE,aAAa,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,GAC1D,KAAK,CAAA;AAEX,MAAM,MAAM,eAAe,CAAC,QAAQ,IAClC,QAAQ,SAAS,cAAc,CAAC,MAAM,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,GAC1D,KAAK,GACL,QAAQ,SAAS,gBAAgB,CAAC,MAAM,KAAK,EAAE,OAAO,CAAC,GACrD,KAAK,GACL,KAAK,CAAA;AAEb,MAAM,MAAM,gBAAgB,CAAC,QAAQ,IACnC,QAAQ,SAAS,cAAc,CAAC,OAAO,EAAE,MAAM,MAAM,EAAE,OAAO,CAAC,GAC3D,MAAM,GACN,QAAQ,SAAS,gBAAgB,CAAC,OAAO,EAAE,MAAM,MAAM,CAAC,GACtD,MAAM,GACN,KAAK,CAAA"}

package/dist/v1/language/callable/resolved.js

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

package/dist/v1/language/callable/resolved.js.map

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

package/dist/v1/language/class/facets.d.ts

@@ -0,0 +1,59 @@
+import type { CallableInputOf, CallableOutputOf, ResolvedMethod, ResolvedMethodCollection } from '../callable/resolved.js';
+import type { ResolvedProperty, ResolvedPropertyCollection } from './resolved.js';
+type MemberName = string | number | symbol;
+type ValueAt<Collection, Key> = Key extends keyof Collection ? Collection[Key] : never;
+type PropertyCollectionOf<Class> = Class extends {
+    readonly properties: infer Properties;
+} ? Properties : never;
+type PropertyByKeyOf<Class> = PropertyCollectionOf<Class> extends {
+    readonly byKey: infer ByKey extends Readonly<Record<string, ResolvedProperty>>;
+} ? ByKey : Readonly<Record<never, never>>;
+type PropertyByNameOf<Class> = Pick<PropertyCollectionOf<Class>, Exclude<keyof PropertyCollectionOf<Class>, keyof ResolvedPropertyCollection>>;
+type MethodCollectionOf<Class> = Class extends {
+    readonly kind: 'node';
+    readonly methods: infer Methods extends ResolvedMethodCollection;
+} ? Methods : ResolvedMethodCollection<Record<never, never>>;
+type MethodByKeyOf<Class> = MethodCollectionOf<Class> extends {
+    readonly byKey: infer ByKey extends Readonly<Record<string, ResolvedMethod>>;
+} ? ByKey : Readonly<Record<never, never>>;
+type MethodByNameOf<Class> = Pick<MethodCollectionOf<Class>, Exclude<keyof MethodCollectionOf<Class>, keyof ResolvedMethodCollection>>;
+export type PropertyOutputOf<Property> = Property extends ResolvedProperty<infer Value, infer Required> ? Required extends true ? Value : Value | undefined : never;
+/** Collision-safe direct Property values. Client supplies graph/wrapper reserved names. */
+export type PropertyShortcutsOf<Class, Reserved extends MemberName = never> = Readonly<{
+    [Name in Exclude<keyof PropertyByNameOf<Class>, keyof MethodByNameOf<Class> | Reserved>]: PropertyOutputOf<ValueAt<PropertyByNameOf<Class>, Name>>;
+}>;
+type EffectiveProperty<Class> = PropertyByKeyOf<Class>[keyof PropertyByKeyOf<Class>];
+/** Exact and unambiguous Property access signatures, independent of graph values. */
+export type PropertyAccessOf<Class> = {
+    readonly property: {
+        <Property extends EffectiveProperty<Class>>(property: Property): PropertyOutputOf<Property>;
+        <Key extends keyof PropertyByKeyOf<Class>>(key: Key): PropertyOutputOf<PropertyByKeyOf<Class>[Key]>;
+        <Name extends keyof PropertyByNameOf<Class>>(name: Name): PropertyOutputOf<PropertyByNameOf<Class>[Name]>;
+    };
+};
+export type CallableResultOf<Callable, Binary = unknown> = CallableOutputOf<Callable> extends infer Output ? Output extends {
+    readonly mode: 'value';
+    readonly value: infer Value;
+} ? Value : Output extends {
+    readonly mode: 'stream';
+    readonly item: infer Item;
+} ? AsyncIterable<Item> : Output extends {
+    readonly mode: 'binary';
+} ? Binary : never : never;
+type ExecutableMethod<Method> = Method extends ResolvedMethod<unknown, unknown, false, infer Inheritance> ? Inheritance extends 'abstract' ? never : Method : never;
+export type BoundMethodOf<Method, Binary = unknown> = ExecutableMethod<Method> extends infer Callable ? [Callable] extends [never] ? never : (input: CallableInputOf<Callable>) => Promise<CallableResultOf<Callable, Binary>> : never;
+/** Collision-safe direct bound Methods. Client supplies graph/wrapper reserved names. */
+export type BoundMethodShortcutsOf<Class, Binary = unknown, Reserved extends MemberName = never> = Readonly<{
+    [Name in Exclude<keyof MethodByNameOf<Class>, keyof PropertyByNameOf<Class> | Reserved> as BoundMethodOf<ValueAt<MethodByNameOf<Class>, Name>, Binary> extends never ? never : Name]: BoundMethodOf<ValueAt<MethodByNameOf<Class>, Name>, Binary>;
+}>;
+type EffectiveMethod<Class> = MethodByKeyOf<Class>[keyof MethodByKeyOf<Class>];
+/** Exact and unambiguous bound Method access signatures, independent of Client provenance. */
+export type MethodAccessOf<Class, Binary = unknown> = {
+    readonly method: {
+        <Method extends EffectiveMethod<Class>>(method: Method): BoundMethodOf<Method, Binary>;
+        <Key extends keyof MethodByKeyOf<Class>>(key: Key): BoundMethodOf<MethodByKeyOf<Class>[Key], Binary>;
+        <Name extends keyof MethodByNameOf<Class>>(name: Name): BoundMethodOf<MethodByNameOf<Class>[Name], Binary>;
+    };
+};
+export {};
+//# sourceMappingURL=facets.d.ts.map

package/dist/v1/language/class/facets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"facets.d.ts","sourceRoot":"","sources":["../../../../v1/language/class/facets.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACzB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,gBAAgB,EAAE,0BAA0B,EAAE,MAAM,eAAe,CAAA;AAEjF,KAAK,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAA;AAC1C,KAAK,OAAO,CAAC,UAAU,EAAE,GAAG,IAAI,GAAG,SAAS,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEtF,KAAK,oBAAoB,CAAC,KAAK,IAAI,KAAK,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,UAAU,CAAA;CAAE,GACtF,UAAU,GACV,KAAK,CAAA;AAET,KAAK,eAAe,CAAC,KAAK,IACxB,oBAAoB,CAAC,KAAK,CAAC,SAAS;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;CAC/E,GACG,KAAK,GACL,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;AAEpC,KAAK,gBAAgB,CAAC,KAAK,IAAI,IAAI,CACjC,oBAAoB,CAAC,KAAK,CAAC,EAC3B,OAAO,CAAC,MAAM,oBAAoB,CAAC,KAAK,CAAC,EAAE,MAAM,0BAA0B,CAAC,CAC7E,CAAA;AAED,KAAK,kBAAkB,CAAC,KAAK,IAAI,KAAK,SAAS;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,SAAS,wBAAwB,CAAA;CACjE,GACG,OAAO,GACP,wBAAwB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;AAElD,KAAK,aAAa,CAAC,KAAK,IACtB,kBAAkB,CAAC,KAAK,CAAC,SAAS;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA;CAC7E,GACG,KAAK,GACL,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;AAEpC,KAAK,cAAc,CAAC,KAAK,IAAI,IAAI,CAC/B,kBAAkB,CAAC,KAAK,CAAC,EACzB,OAAO,CAAC,MAAM,kBAAkB,CAAC,KAAK,CAAC,EAAE,MAAM,wBAAwB,CAAC,CACzE,CAAA;AAED,MAAM,MAAM,gBAAgB,CAAC,QAAQ,IACnC,QAAQ,SAAS,gBAAgB,CAAC,MAAM,KAAK,EAAE,MAAM,QAAQ,CAAC,GAC1D,QAAQ,SAAS,IAAI,GACnB,KAAK,GACL,KAAK,GAAG,SAAS,GACnB,KAAK,CAAA;AAEX,2FAA2F;AAC3F,MAAM,MAAM,mBAAmB,CAAC,KAAK,EAAE,QAAQ,SAAS,UAAU,GAAG,KAAK,IAAI,QAAQ,CAAC;KAEnF,IAAI,IAAI,OAAO,CAAC,MAAM,gBAAgB,CAAC,KAAK,CAAC,EAAE,MAAM,cAAc,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,GACrF,gBAAgB,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;CAC5D,CAAC,CAAA;AAEF,KAAK,iBAAiB,CAAC,KAAK,IAAI,eAAe,CAAC,KAAK,CAAC,CAAC,MAAM,eAAe,CAAC,KAAK,CAAC,CAAC,CAAA;AAEpF,qFAAqF;AACrF,MAAM,MAAM,gBAAgB,CAAC,KAAK,IAAI;IACpC,QAAQ,CAAC,QAAQ,EAAE;QACjB,CAAC,QAAQ,SAAS,iBAAiB,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAA;QAC3F,CAAC,GAAG,SAAS,MAAM,eAAe,CAAC,KAAK,CAAC,EACvC,GAAG,EAAE,GAAG,GACP,gBAAgB,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QAChD,CAAC,IAAI,SAAS,MAAM,gBAAgB,CAAC,KAAK,CAAC,EACzC,IAAI,EAAE,IAAI,GACT,gBAAgB,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;KACnD,CAAA;CACF,CAAA;AAED,MAAM,MAAM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,IACrD,gBAAgB,CAAC,QAAQ,CAAC,SAAS,MAAM,MAAM,GAC3C,MAAM,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,CAAA;CAAE,GACpE,KAAK,GACL,MAAM,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GACnE,aAAa,CAAC,IAAI,CAAC,GACnB,MAAM,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GACxC,MAAM,GACN,KAAK,GACX,KAAK,CAAA;AAEX,KAAK,gBAAgB,CAAC,MAAM,IAC1B,MAAM,SAAS,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC,GACrE,WAAW,SAAS,UAAU,GAC5B,KAAK,GACL,MAAM,GACR,KAAK,CAAA;AAEX,MAAM,MAAM,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,IAChD,gBAAgB,CAAC,MAAM,CAAC,SAAS,MAAM,QAAQ,GAC3C,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,GACxB,KAAK,GACL,CAAC,KAAK,EAAE,eAAe,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,GACnF,KAAK,CAAA;AAEX,yFAAyF;AACzF,MAAM,MAAM,sBAAsB,CAChC,KAAK,EACL,MAAM,GAAG,OAAO,EAChB,QAAQ,SAAS,UAAU,GAAG,KAAK,IACjC,QAAQ,CAAC;KAET,IAAI,IAAI,OAAO,CACb,MAAM,cAAc,CAAC,KAAK,CAAC,EAC3B,MAAM,gBAAgB,CAAC,KAAK,CAAC,GAAG,QAAQ,CACzC,IAAI,aAAa,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,IAAI,GAC5F,aAAa,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC;CAC/D,CAAC,CAAA;AAEF,KAAK,eAAe,CAAC,KAAK,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,MAAM,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;AAE9E,8FAA8F;AAC9F,MAAM,MAAM,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,IAAI;IACpD,QAAQ,CAAC,MAAM,EAAE;QACf,CAAC,MAAM,SAAS,eAAe,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QACtF,CAAC,GAAG,SAAS,MAAM,aAAa,CAAC,KAAK,CAAC,EACrC,GAAG,EAAE,GAAG,GACP,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAA;QACnD,CAAC,IAAI,SAAS,MAAM,cAAc,CAAC,KAAK,CAAC,EACvC,IAAI,EAAE,IAAI,GACT,aAAa,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAA;KACtD,CAAA;CACF,CAAA"}

package/dist/v1/language/class/facets.js

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

package/dist/v1/language/class/facets.js.map

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