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

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

@@ -0,0 +1,92 @@
+import type { FunctionAuth, MethodInheritance, PolicyCheckExpression, PolicyCheckObject, PolicyObjectRef } from '../schema/index.js';
+import type { CoreNodeAuthoring } from './core.js';
+import type { DefinitionAuthoring } from './definition.js';
+import type { Lazy } from './internal/authoring.lazy.js';
+import type { Policy, PolicyInput } from './policy.js';
+import type { ValueSchemaInput } from './property.js';
+import type { ViewAuthoring } from './view.js';
+import { type AUTHORING } from './internal/authoring.js';
+declare const CALLABLE_OUTPUT: unique symbol;
+export interface CallablePolicyContext {
+    readonly input: Readonly<Record<string, Extract<PolicyCheckObject, {
+        readonly kind: 'input';
+    }>>>;
+    readonly self: Extract<PolicyCheckObject, {
+        readonly kind: 'self';
+    }>;
+    ref(member: PolicyObjectInput): Extract<PolicyCheckObject, {
+        readonly kind: 'ref';
+    }>;
+    check(policy: PolicyInput, object: PolicyCheckObject): PolicyCheckExpression;
+    allOf(first: PolicyCheckExpression, ...rest: readonly PolicyCheckExpression[]): PolicyCheckExpression;
+    anyOf(first: PolicyCheckExpression, ...rest: readonly PolicyCheckExpression[]): PolicyCheckExpression;
+}
+export type CallablePolicyBuilder = (context: CallablePolicyContext) => PolicyCheckExpression;
+export interface StreamOutput<out Item extends ValueSchemaInput = ValueSchemaInput> {
+    readonly mode: 'stream';
+    readonly item: Item;
+    readonly [CALLABLE_OUTPUT]: true;
+}
+export interface BinaryOutput {
+    readonly mode: 'binary';
+    readonly [CALLABLE_OUTPUT]: true;
+}
+export type CallableOutputInput = ValueSchemaInput | StreamOutput | BinaryOutput;
+interface CallableInputBase {
+    readonly description?: string;
+    readonly input: ValueSchemaInput;
+    readonly output: CallableOutputInput;
+    readonly static?: boolean;
+    readonly inheritance?: MethodInheritance;
+}
+export type CallableInput = CallableInputBase & ({
+    readonly auth: 'anonymous';
+    readonly policy?: never;
+} | {
+    readonly auth: 'authenticated';
+    readonly policy?: never;
+} | {
+    readonly auth: 'authorized';
+    readonly policy?: CallablePolicyBuilder;
+});
+/** Exact public callable coordinates derived from an authored config. */
+export type AuthoredCallableInput<Input extends ValueSchemaInput, Output extends CallableOutputInput, Auth extends FunctionAuth, Static extends boolean = never, Inheritance extends MethodInheritance = never> = {
+    readonly description?: string;
+    readonly input: Input;
+    readonly output: Output;
+} & (Auth extends 'authorized' ? {
+    readonly auth: Auth;
+    readonly policy?: CallablePolicyBuilder;
+} : {
+    readonly auth: Auth;
+    readonly policy?: never;
+}) & ([Static] extends [never] ? {} : {
+    readonly static: Static;
+}) & ([Inheritance] extends [never] ? {} : {
+    readonly inheritance: Inheritance;
+});
+export interface FunctionAuthoring<out Config extends CallableInput = CallableInput> {
+    readonly [AUTHORING]: 'function';
+    readonly config: Config;
+}
+export type PolicyObjectAuthoring = DefinitionAuthoring | FunctionAuthoring | Policy | ViewAuthoring | CoreNodeAuthoring;
+export type PolicyObjectInput = Lazy<PolicyObjectAuthoring>;
+export declare function fn<const Config extends CallableInput>(config: Config): FunctionAuthoring<Config>;
+export declare function callableInputField(name: string): Extract<PolicyCheckObject, {
+    readonly kind: 'input';
+}>;
+export declare function callableSelf(): Extract<PolicyCheckObject, {
+    readonly kind: 'self';
+}>;
+export declare function callableRef(ref: PolicyObjectRef): Extract<PolicyCheckObject, {
+    readonly kind: 'ref';
+}>;
+export declare function callablePolicyObject(value: PolicyCheckObject): PolicyCheckObject;
+/** Explicit non-value output contracts. Plain schemas remain value outputs. */
+export declare const output: {
+    readonly stream: <const Item extends ValueSchemaInput>(item: Item) => StreamOutput<Item>;
+    readonly binary: () => BinaryOutput;
+};
+export declare function isCallableOutputAuthoring(value: CallableOutputInput): value is StreamOutput | BinaryOutput;
+export {};
+//# sourceMappingURL=callable.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"callable.d.ts","sourceRoot":"","sources":["../../../v1/builder/callable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EAChB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAA;AAClD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAC1D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AACxD,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAE9C,OAAO,EAAE,KAAK,SAAS,EAAoC,MAAM,yBAAyB,CAAA;AAG1F,OAAO,CAAC,MAAM,eAAe,EAAE,OAAO,MAAM,CAAA;AAE5C,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,iBAAiB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC,CAAC,CAAA;IAChG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,iBAAiB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACpE,GAAG,CAAC,MAAM,EAAE,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;KAAE,CAAC,CAAA;IACpF,KAAK,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,iBAAiB,GAAG,qBAAqB,CAAA;IAC5E,KAAK,CACH,KAAK,EAAE,qBAAqB,EAC5B,GAAG,IAAI,EAAE,SAAS,qBAAqB,EAAE,GACxC,qBAAqB,CAAA;IACxB,KAAK,CACH,KAAK,EAAE,qBAAqB,EAC5B,GAAG,IAAI,EAAE,SAAS,qBAAqB,EAAE,GACxC,qBAAqB,CAAA;CACzB;AAED,MAAM,MAAM,qBAAqB,GAAG,CAAC,OAAO,EAAE,qBAAqB,KAAK,qBAAqB,CAAA;AAE7F,MAAM,WAAW,YAAY,CAAC,GAAG,CAAC,IAAI,SAAS,gBAAgB,GAAG,gBAAgB;IAChF,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,IAAI,CAAA;CACjC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,IAAI,CAAA;CACjC;AAED,MAAM,MAAM,mBAAmB,GAAG,gBAAgB,GAAG,YAAY,GAAG,YAAY,CAAA;AAEhF,UAAU,iBAAiB;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAA;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAA;CACzC;AAED,MAAM,MAAM,aAAa,GAAG,iBAAiB,GAC3C,CACI;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAA;CAAE,CAC3E,CAAA;AAEH,yEAAyE;AACzE,MAAM,MAAM,qBAAqB,CAC/B,KAAK,SAAS,gBAAgB,EAC9B,MAAM,SAAS,mBAAmB,EAClC,IAAI,SAAS,YAAY,EACzB,MAAM,SAAS,OAAO,GAAG,KAAK,EAC9B,WAAW,SAAS,iBAAiB,GAAG,KAAK,IAC3C;IACF,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,GAAG,CAAC,IAAI,SAAS,YAAY,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAA;CAAE,GAChE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC,GACnD,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,GAC7D,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG;IAAE,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;CAAE,CAAC,CAAA;AAE9E,MAAM,WAAW,iBAAiB,CAAC,GAAG,CAAC,MAAM,SAAS,aAAa,GAAG,aAAa;IACjF,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,UAAU,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,MAAM,qBAAqB,GAC7B,mBAAmB,GACnB,iBAAiB,GACjB,MAAM,GACN,aAAa,GACb,iBAAiB,CAAA;AAErB,MAAM,MAAM,iBAAiB,GAAG,IAAI,CAAC,qBAAqB,CAAC,CAAA;AAE3D,wBAAgB,EAAE,CAAC,KAAK,CAAC,MAAM,SAAS,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAahG;AAED,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,iBAAiB,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,CAExD;AAED,wBAAgB,YAAY,IAAI,OAAO,CAAC,iBAAiB,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAEpF;AAED,wBAAgB,WAAW,CACzB,GAAG,EAAE,eAAe,GACnB,OAAO,CAAC,iBAAiB,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAEtD;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,iBAAiB,GAAG,iBAAiB,CAEhF;AAED,+EAA+E;AAC/E,eAAO,MAAM,MAAM,EAAE;IACnB,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,SAAS,gBAAgB,EAAE,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC,IAAI,CAAC,CAAA;IACxF,QAAQ,CAAC,MAAM,EAAE,MAAM,YAAY,CAAA;CAanC,CAAA;AAEF,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,mBAAmB,GACzB,KAAK,IAAI,YAAY,GAAG,YAAY,CAEtC"}

package/dist/v1/builder/callable.js

@@ -0,0 +1,46 @@
+import { authoringValue, isAuthoringValue } from './internal/authoring.js';
+import { assertKnownKeys } from './internal/diagnostic.js';
+export function fn(config) {
+    assertKnownKeys(config, [
+        'description',
+        'input',
+        'output',
+        'auth',
+        'policy',
+        'static',
+        'inheritance',
+    ]);
+    return authoringValue('function', {
+        config: { ...config },
+    });
+}
+export function callableInputField(name) {
+    return Object.freeze({ kind: 'input', field: name });
+}
+export function callableSelf() {
+    return Object.freeze({ kind: 'self' });
+}
+export function callableRef(ref) {
+    return Object.freeze({ kind: 'ref', ref: Object.freeze({ ...ref }) });
+}
+export function callablePolicyObject(value) {
+    return value;
+}
+/** Explicit non-value output contracts. Plain schemas remain value outputs. */
+export const output = Object.freeze({
+    stream(item) {
+        return authoringValue('callable-output', {
+            mode: 'stream',
+            item,
+        });
+    },
+    binary() {
+        return authoringValue('callable-output', {
+            mode: 'binary',
+        });
+    },
+});
+export function isCallableOutputAuthoring(value) {
+    return isAuthoringValue(value, 'callable-output');
+}
+//# sourceMappingURL=callable.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"callable.js","sourceRoot":"","sources":["../../../v1/builder/callable.ts"],"names":[],"mappings":"AAcA,OAAO,EAAkB,cAAc,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAC1F,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAA;AAgF1D,MAAM,UAAU,EAAE,CAAqC,MAAc;IACnE,eAAe,CAAC,MAAM,EAAE;QACtB,aAAa;QACb,OAAO;QACP,QAAQ;QACR,MAAM;QACN,QAAQ;QACR,QAAQ;QACR,aAAa;KACd,CAAC,CAAA;IACF,OAAO,cAAc,CAAC,UAAU,EAAE;QAChC,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE;KACtB,CAAyC,CAAA;AAC5C,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,IAAY;IAEZ,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AACtD,CAAC;AAED,MAAM,UAAU,YAAY;IAC1B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;AACxC,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,GAAoB;IAEpB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;AACvE,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAwB;IAC3D,OAAO,KAAK,CAAA;AACd,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,MAAM,MAAM,GAGf,MAAM,CAAC,MAAM,CAAC;IAChB,MAAM,CAAsC,IAAU;QACpD,OAAO,cAAc,CAAC,iBAAiB,EAAE;YACvC,IAAI,EAAE,QAAiB;YACvB,IAAI;SACL,CAAkC,CAAA;IACrC,CAAC;IACD,MAAM;QACJ,OAAO,cAAc,CAAC,iBAAiB,EAAE;YACvC,IAAI,EAAE,QAAiB;SACxB,CAA4B,CAAA;IAC/B,CAAC;CACF,CAAC,CAAA;AAEF,MAAM,UAAU,yBAAyB,CACvC,KAA0B;IAE1B,OAAO,gBAAgB,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAA;AACnD,CAAC"}

package/dist/v1/builder/compiler/callable.d.ts

@@ -0,0 +1,20 @@
+import type { FunctionDeclaration, MethodDeclaration } from '../../schema/callable.js';
+import type { FunctionAuthoring } from '../callable.js';
+import type { BuilderContext } from './schema.context.js';
+import type { BuilderValueSchemas } from './value.js';
+export interface CallablePlacement {
+    readonly kind: 'function' | 'node-interface-method' | 'node-class-method';
+    readonly pointer: string;
+}
+export interface CallableCompiler {
+    compile(value: FunctionAuthoring, placement: CallablePlacement): FunctionDeclaration;
+}
+export declare class V1CallableCompiler implements CallableCompiler {
+    readonly context: BuilderContext;
+    readonly values: BuilderValueSchemas;
+    constructor(context: BuilderContext, values: BuilderValueSchemas);
+    compile(value: FunctionAuthoring, placement: CallablePlacement): FunctionDeclaration | MethodDeclaration;
+    private compileOutput;
+    private policyContext;
+}
+//# sourceMappingURL=callable.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"callable.d.ts","sourceRoot":"","sources":["../../../../v1/builder/compiler/callable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,mBAAmB,EACnB,iBAAiB,EAClB,MAAM,0BAA0B,CAAA;AAGjC,OAAO,KAAK,EAAuB,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAE5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAYrD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,uBAAuB,GAAG,mBAAmB,CAAA;IACzE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,gBAAgB;IAC/B,OAAO,CAAC,KAAK,EAAE,iBAAiB,EAAE,SAAS,EAAE,iBAAiB,GAAG,mBAAmB,CAAA;CACrF;AAED,qBAAa,kBAAmB,YAAW,gBAAgB;IAEvD,QAAQ,CAAC,OAAO,EAAE,cAAc;IAChC,QAAQ,CAAC,MAAM,EAAE,mBAAmB;IAFtC,YACW,OAAO,EAAE,cAAc,EACvB,MAAM,EAAE,mBAAmB,EAClC;IAEJ,OAAO,CACL,KAAK,EAAE,iBAAiB,EACxB,SAAS,EAAE,iBAAiB,GAC3B,mBAAmB,GAAG,iBAAiB,CA+DzC;IAED,OAAO,CAAC,aAAa;IAcrB,OAAO,CAAC,aAAa;CAwDtB"}

package/dist/v1/builder/compiler/callable.js

@@ -0,0 +1,138 @@
+import { normalizePolicyChecks } from '../../schema/policy/normalize.js';
+import { callableInputField, callablePolicyObject, callableRef, callableSelf, isCallableOutputAuthoring, } from '../callable.js';
+import { fail } from '../internal/diagnostic.js';
+export class V1CallableCompiler {
+    context;
+    values;
+    constructor(context, values) {
+        this.context = context;
+        this.values = values;
+    }
+    compile(value, placement) {
+        const config = value.config;
+        if (config.auth !== 'anonymous' &&
+            config.auth !== 'authenticated' &&
+            config.auth !== 'authorized') {
+            fail('BUILDER_CALLABLE_AUTH', `${placement.pointer}/auth`, 'Function authentication must be anonymous, authenticated, or authorized.');
+        }
+        const auth = config.auth;
+        if (auth !== 'authorized' && config.policy !== undefined) {
+            fail('BUILDER_CALLABLE_POLICY_AUTH', `${placement.pointer}/policy`, 'Only an authorized Function or Method may declare a Policy check.');
+        }
+        const method = placement.kind !== 'function';
+        if (!method && (config.static !== undefined || config.inheritance !== undefined)) {
+            fail('BUILDER_CALLABLE_PLACEMENT', placement.pointer, 'A standalone Function cannot declare Method staticness or inheritance.');
+        }
+        const isStatic = method ? (config.static ?? false) : undefined;
+        const inheritance = method
+            ? (config.inheritance ??
+                (placement.kind === 'node-interface-method' ? 'abstract' : 'default'))
+            : undefined;
+        if (inheritance === 'abstract' && config.policy !== undefined) {
+            fail('BUILDER_ABSTRACT_POLICY', `${placement.pointer}/policy`, 'An abstract Method cannot declare a Policy check.');
+        }
+        const input = this.values.schema(config.input, 'callable-input', `${placement.pointer}/input`);
+        const output = this.compileOutput(config.output, `${placement.pointer}/output`);
+        const policy = config.policy === undefined
+            ? undefined
+            : normalizePolicyChecks(config.policy(this.policyContext(input, placement, isStatic ?? false)));
+        const contract = {
+            ...(config.description === undefined ? {} : { description: config.description }),
+            input,
+            output,
+            auth,
+            ...(policy === undefined ? {} : { policy }),
+        };
+        if (!method)
+            return contract;
+        return {
+            ...contract,
+            static: isStatic,
+            inheritance: inheritance,
+        };
+    }
+    compileOutput(value, pointer) {
+        if (!isCallableOutputAuthoring(value)) {
+            return {
+                mode: 'value',
+                schema: this.values.schema(value, 'callable-output', pointer),
+            };
+        }
+        if (value.mode === 'binary')
+            return { mode: 'binary' };
+        return {
+            mode: 'stream',
+            item: this.values.schema(value.item, 'callable-output', `${pointer}/item`),
+        };
+    }
+    policyContext(inputSchema, placement, isStatic) {
+        const input = new Proxy(Object.create(null), {
+            get(_target, key) {
+                return typeof key === 'string' ? callableInputField(key) : undefined;
+            },
+        });
+        const self = callableSelf();
+        return Object.freeze({
+            input,
+            self,
+            ref: (member) => callableRef(this.context.resolvePolicyObject(member, `${placement.pointer}/policy/ref`)),
+            check: (policy, object) => {
+                const resolvedObject = callablePolicyObject(object);
+                let admittedObject = resolvedObject;
+                if (resolvedObject.kind === 'self') {
+                    if (placement.kind === 'function' || isStatic) {
+                        fail('BUILDER_POLICY_SELF', `${placement.pointer}/policy`, 'self is available only to a non-static Node Method.');
+                    }
+                }
+                else if (resolvedObject.kind === 'input') {
+                    if (isRequiredDirectNodePath(inputSchema, resolvedObject.field)) {
+                        // The field contract is admitted below as-is.
+                    }
+                    else {
+                        fail('BUILDER_POLICY_INPUT', `${placement.pointer}/policy`, `input.${resolvedObject.field} is not one direct required single-Node path field.`);
+                    }
+                }
+                else {
+                    admittedObject = callableRef(this.context.resolvePolicyObject(resolvedObject.ref, `${placement.pointer}/policy/ref`));
+                }
+                return {
+                    check: this.context.resolvePolicy(policy, `${placement.pointer}/policy/check`),
+                    object: admittedObject,
+                };
+            },
+            allOf: (...expressions) => {
+                nonEmpty(expressions, `${placement.pointer}/policy/allOf`);
+                return { allOf: expressions };
+            },
+            anyOf: (...expressions) => {
+                nonEmpty(expressions, `${placement.pointer}/policy/anyOf`);
+                return { anyOf: expressions };
+            },
+        });
+    }
+}
+function isRequiredDirectNodePath(schema, field) {
+    if (schema === null || typeof schema !== 'object' || Array.isArray(schema))
+        return false;
+    if (schema.type !== 'object' ||
+        schema.additionalProperties !== false ||
+        !Array.isArray(schema.required) ||
+        !schema.required.includes(field) ||
+        schema.properties === null ||
+        typeof schema.properties !== 'object' ||
+        Array.isArray(schema.properties)) {
+        return false;
+    }
+    const fieldSchema = schema.properties[field];
+    return (fieldSchema !== null &&
+        typeof fieldSchema === 'object' &&
+        !Array.isArray(fieldSchema) &&
+        fieldSchema.$ref ===
+            'https://schemas.astrale.ai/graph/1/node-path' &&
+        Object.hasOwn(fieldSchema, 'x-astrale-path'));
+}
+function nonEmpty(values, pointer) {
+    if (values.length === 0)
+        fail('BUILDER_POLICY_EMPTY_COMPOSITION', pointer, 'Policy check composition must be non-empty.');
+}
+//# sourceMappingURL=callable.js.map

package/dist/v1/builder/compiler/callable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"callable.js","sourceRoot":"","sources":["../../../../v1/builder/compiler/callable.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAA;AACxE,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,WAAW,EACX,YAAY,EACZ,yBAAyB,GAC1B,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAA;AAWhD,MAAM,OAAO,kBAAkB;IAElB,OAAO;IACP,MAAM;IAFjB,YACW,OAAuB,EACvB,MAA2B;uBAD3B,OAAO;sBACP,MAAM;IACd,CAAC;IAEJ,OAAO,CACL,KAAwB,EACxB,SAA4B;QAE5B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAA;QAC3B,IACE,MAAM,CAAC,IAAI,KAAK,WAAW;YAC3B,MAAM,CAAC,IAAI,KAAK,eAAe;YAC/B,MAAM,CAAC,IAAI,KAAK,YAAY,EAC5B,CAAC;YACD,IAAI,CACF,uBAAuB,EACvB,GAAG,SAAS,CAAC,OAAO,OAAO,EAC3B,0EAA0E,CAC3E,CAAA;QACH,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAA;QACxB,IAAI,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACzD,IAAI,CACF,8BAA8B,EAC9B,GAAG,SAAS,CAAC,OAAO,SAAS,EAC7B,mEAAmE,CACpE,CAAA;QACH,CAAC;QACD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,KAAK,UAAU,CAAA;QAC5C,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,EAAE,CAAC;YACjF,IAAI,CACF,4BAA4B,EAC5B,SAAS,CAAC,OAAO,EACjB,wEAAwE,CACzE,CAAA;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC9D,MAAM,WAAW,GAAG,MAAM;YACxB,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW;gBACnB,CAAC,SAAS,CAAC,IAAI,KAAK,uBAAuB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACxE,CAAC,CAAC,SAAS,CAAA;QACb,IAAI,WAAW,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9D,IAAI,CACF,yBAAyB,EACzB,GAAG,SAAS,CAAC,OAAO,SAAS,EAC7B,mDAAmD,CACpD,CAAA;QACH,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,EAAE,GAAG,SAAS,CAAC,OAAO,QAAQ,CAAC,CAAA;QAC9F,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,SAAS,CAAC,CAAA;QAC/E,MAAM,MAAM,GACV,MAAM,CAAC,MAAM,KAAK,SAAS;YACzB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,qBAAqB,CACnB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,IAAI,KAAK,CAAC,CAAC,CACvE,CAAA;QAEP,MAAM,QAAQ,GAAG;YACf,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;YAChF,KAAK;YACL,MAAM;YACN,IAAI;YACJ,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;SAC5C,CAAA;QACD,IAAI,CAAC,MAAM;YAAE,OAAO,QAAQ,CAAA;QAC5B,OAAO;YACL,GAAG,QAAQ;YACX,MAAM,EAAE,QAAS;YACjB,WAAW,EAAE,WAAY;SAC1B,CAAA;IACH,CAAC;IAEO,aAAa,CAAC,KAA0B,EAAE,OAAe;QAC/D,IAAI,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB,EAAE,OAAO,CAAC;aAC9D,CAAA;QACH,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;QACtD,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,iBAAiB,EAAE,GAAG,OAAO,OAAO,CAAC;SAC3E,CAAA;IACH,CAAC;IAEO,aAAa,CAAC,WAAuB,EAAE,SAA4B,EAAE,QAAiB;QAC5F,MAAM,KAAK,GAAG,IAAI,KAAK,CACrB,MAAM,CAAC,MAAM,CAAC,IAAI,CAA0D,EAC5E;YACE,GAAG,CAAC,OAAO,EAAE,GAAG;gBACd,OAAO,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YACtE,CAAC;SACF,CACF,CAAA;QACD,MAAM,IAAI,GAAG,YAAY,EAAE,CAAA;QAC3B,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,KAAK;YACL,IAAI;YACJ,GAAG,EAAE,CAAC,MAA8D,EAAE,EAAE,CACtE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,aAAa,CAAC,CAAC;YAC1F,KAAK,EAAE,CAAC,MAAmB,EAAE,MAAkD,EAAE,EAAE;gBACjF,MAAM,cAAc,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAA;gBACnD,IAAI,cAAc,GAAG,cAAc,CAAA;gBACnC,IAAI,cAAc,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACnC,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,EAAE,CAAC;wBAC9C,IAAI,CACF,qBAAqB,EACrB,GAAG,SAAS,CAAC,OAAO,SAAS,EAC7B,qDAAqD,CACtD,CAAA;oBACH,CAAC;gBACH,CAAC;qBAAM,IAAI,cAAc,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC3C,IAAI,wBAAwB,CAAC,WAAW,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;wBAChE,8CAA8C;oBAChD,CAAC;yBAAM,CAAC;wBACN,IAAI,CACF,sBAAsB,EACtB,GAAG,SAAS,CAAC,OAAO,SAAS,EAC7B,SAAS,cAAc,CAAC,KAAK,qDAAqD,CACnF,CAAA;oBACH,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,cAAc,GAAG,WAAW,CAC1B,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,OAAO,aAAa,CAAC,CACxF,CAAA;gBACH,CAAC;gBACD,OAAO;oBACL,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,eAAe,CAAC;oBAC9E,MAAM,EAAE,cAAc;iBACvB,CAAA;YACH,CAAC;YACD,KAAK,EAAE,CAAC,GAAG,WAA6C,EAAE,EAAE;gBAC1D,QAAQ,CAAC,WAAW,EAAE,GAAG,SAAS,CAAC,OAAO,eAAe,CAAC,CAAA;gBAC1D,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAA;YAC/B,CAAC;YACD,KAAK,EAAE,CAAC,GAAG,WAA6C,EAAE,EAAE;gBAC1D,QAAQ,CAAC,WAAW,EAAE,GAAG,SAAS,CAAC,OAAO,eAAe,CAAC,CAAA;gBAC1D,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAA;YAC/B,CAAC;SACF,CAAC,CAAA;IACJ,CAAC;CACF;AAED,SAAS,wBAAwB,CAAC,MAAkB,EAAE,KAAa;IACjE,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAA;IACxF,IACE,MAAM,CAAC,IAAI,KAAK,QAAQ;QACxB,MAAM,CAAC,oBAAoB,KAAK,KAAK;QACrC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC/B,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;QAChC,MAAM,CAAC,UAAU,KAAK,IAAI;QAC1B,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ;QACrC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAChC,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,WAAW,GAAI,MAAM,CAAC,UAAsC,CAAC,KAAK,CAAC,CAAA;IACzE,OAAO,CACL,WAAW,KAAK,IAAI;QACpB,OAAO,WAAW,KAAK,QAAQ;QAC/B,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;QAC1B,WAAuC,CAAC,IAAI;YAC3C,8CAA8C;QAChD,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAC7C,CAAA;AACH,CAAC;AAED,SAAS,QAAQ,CACf,MAAwB,EACxB,OAAe;IAEf,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QACrB,IAAI,CAAC,kCAAkC,EAAE,OAAO,EAAE,6CAA6C,CAAC,CAAA;AACpG,CAAC"}

package/dist/v1/builder/compiler/core.d.ts

@@ -0,0 +1,6 @@
+import type { CoreDeclaration } from '../../schema/core/declaration.js';
+import type { CoreInput } from '../core.js';
+import type { BuilderContext } from './schema.context.js';
+export declare function captureCore(input: CoreInput | undefined, context: BuilderContext): void;
+export declare function compileCore(input: CoreInput | undefined, context: BuilderContext): CoreDeclaration;
+//# sourceMappingURL=core.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../../../v1/builder/compiler/core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,eAAe,EAGhB,MAAM,kCAAkC,CAAA;AACzC,OAAO,KAAK,EAGV,SAAS,EAEV,MAAM,YAAY,CAAA;AACnB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAKzD,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,EAAE,OAAO,EAAE,cAAc,GAAG,IAAI,CAWvF;AAED,wBAAgB,WAAW,CACzB,KAAK,EAAE,SAAS,GAAG,SAAS,EAC5B,OAAO,EAAE,cAAc,GACtB,eAAe,CAWjB"}

package/dist/v1/builder/compiler/core.js

@@ -0,0 +1,44 @@
+import { isAuthoringValue } from '../internal/authoring.js';
+import { escapeToken, fail } from '../internal/diagnostic.js';
+export function captureCore(input, context) {
+    for (const [slug, node] of Object.entries(input?.nodes ?? {})) {
+        if (!isAuthoringValue(node, 'core-node')) {
+            fail('BUILDER_CORE_NODE', `/core/nodes/${escapeToken(slug)}`, 'core.nodes entries are created by node(...).');
+        }
+        context.captureCoreNode(node, slug, `/core/nodes/${escapeToken(slug)}`);
+    }
+}
+export function compileCore(input, context) {
+    const nodes = Object.fromEntries(Object.entries(input?.nodes ?? {}).map(([slug, value]) => [
+        slug,
+        compileNode(value, context, `/core/nodes/${escapeToken(slug)}`),
+    ]));
+    const edges = (input?.edges ?? []).map((value, index) => compileEdge(value, context, `/core/edges/${index}`));
+    return { nodes, edges };
+}
+function compileNode(value, context, pointer) {
+    const ref = context.resolveNodeClass(value.class, `${pointer}/class`);
+    if (ref.origin !== context.origin) {
+        fail('BUILDER_CORE_CLASS', `${pointer}/class`, 'A Core Node Class must be local to the owning Domain.');
+    }
+    return { class: ref, properties: value.properties };
+}
+function compileEdge(value, context, pointer) {
+    if (!isAuthoringValue(value, 'core-edge')) {
+        fail('BUILDER_CORE_EDGE', pointer, 'core.edges entries are created by edge(...).');
+    }
+    const ref = context.resolveEdgeClass(value.class, `${pointer}/class`);
+    if (ref.origin !== context.origin) {
+        fail('BUILDER_CORE_CLASS', `${pointer}/class`, 'A Core Edge Class must be local to the owning Domain.');
+    }
+    return {
+        class: ref,
+        source: resolveEndpoint(value.source, context, `${pointer}/source`),
+        target: resolveEndpoint(value.target, context, `${pointer}/target`),
+        properties: value.properties,
+    };
+}
+function resolveEndpoint(value, context, pointer) {
+    return context.resolveCoreEndpoint(value, pointer);
+}
+//# sourceMappingURL=core.js.map

package/dist/v1/builder/compiler/core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../../v1/builder/compiler/core.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAC3D,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAA;AAE7D,MAAM,UAAU,WAAW,CAAC,KAA4B,EAAE,OAAuB;IAC/E,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9D,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;YACzC,IAAI,CACF,mBAAmB,EACnB,eAAe,WAAW,CAAC,IAAI,CAAC,EAAE,EAClC,8CAA8C,CAC/C,CAAA;QACH,CAAC;QACD,OAAO,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,eAAe,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACzE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,KAA4B,EAC5B,OAAuB;IAEvB,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAC9B,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;QACxD,IAAI;QACJ,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,eAAe,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;KAChE,CAAC,CACH,CAAA;IACD,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACtD,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,eAAe,KAAK,EAAE,CAAC,CACpD,CAAA;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AACzB,CAAC;AAED,SAAS,WAAW,CAClB,KAAwB,EACxB,OAAuB,EACvB,OAAe;IAEf,MAAM,GAAG,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,OAAO,QAAQ,CAAC,CAAA;IACrE,IAAI,GAAG,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,CACF,oBAAoB,EACpB,GAAG,OAAO,QAAQ,EAClB,uDAAuD,CACxD,CAAA;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAA;AACrD,CAAC;AAED,SAAS,WAAW,CAClB,KAAwB,EACxB,OAAuB,EACvB,OAAe;IAEf,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,mBAAmB,EAAE,OAAO,EAAE,8CAA8C,CAAC,CAAA;IACpF,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,OAAO,QAAQ,CAAC,CAAA;IACrE,IAAI,GAAG,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,CACF,oBAAoB,EACpB,GAAG,OAAO,QAAQ,EAClB,uDAAuD,CACxD,CAAA;IACH,CAAC;IACD,OAAO;QACL,KAAK,EAAE,GAAG;QACV,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,SAAS,CAAC;QACnE,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,SAAS,CAAC;QACnE,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CACtB,KAA4B,EAC5B,OAAuB,EACvB,OAAe;IAEf,OAAO,OAAO,CAAC,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;AACpD,CAAC"}

package/dist/v1/builder/compiler/core.properties.d.ts

@@ -0,0 +1,6 @@
+import type { CoreDeclaration } from '../../schema/core/declaration.js';
+import type { DomainSchemaIR } from '../../schema/domain.ir.js';
+import type { DomainSchemaLookup } from '../../schema/domain.lookup.js';
+/** Lower rich builder shorthand to the canonical full-key Core representation. */
+export declare function canonicalizeCorePropertyKeys(candidate: DomainSchemaIR, lookup: DomainSchemaLookup): CoreDeclaration;
+//# sourceMappingURL=core.properties.d.ts.map

package/dist/v1/builder/compiler/core.properties.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.properties.d.ts","sourceRoot":"","sources":["../../../../v1/builder/compiler/core.properties.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAA;AAEvE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AAQvE,kFAAkF;AAClF,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,cAAc,EACzB,MAAM,EAAE,kBAAkB,GACzB,eAAe,CA6CjB"}

package/dist/v1/builder/compiler/core.properties.js

@@ -0,0 +1,70 @@
+import { PropertyKey as admitPropertyKey } from '../../addressing/index.js';
+import { analyzeDefinitions } from '../../schema/definition/analysis.js';
+import { schemaRefIndex } from '../../schema/reference.js';
+import { buildDomainResolutionContext } from '../../schema/resolution/context.js';
+import { escapeToken, fail } from '../internal/diagnostic.js';
+/** Lower rich builder shorthand to the canonical full-key Core representation. */
+export function canonicalizeCorePropertyKeys(candidate, lookup) {
+    const definitions = analyzeDefinitions(buildDomainResolutionContext(candidate, lookup)).definitions;
+    const nodes = Object.fromEntries(Object.entries(candidate.core.nodes).map(([slug, node]) => {
+        const definition = definitions.get(schemaRefIndex(node.class));
+        if (definition === undefined) {
+            fail('BUILDER_CORE_PROPERTY', `/core/nodes/${escapeToken(slug)}/class`, 'Core property shorthand requires a resolvable concrete Class.');
+        }
+        return [
+            slug,
+            {
+                ...node,
+                properties: qualify(node.properties, definition, `/core/nodes/${escapeToken(slug)}/properties`),
+            },
+        ];
+    }));
+    const edges = candidate.core.edges.map((edge, index) => {
+        const definition = definitions.get(schemaRefIndex(edge.class));
+        if (definition === undefined) {
+            fail('BUILDER_CORE_PROPERTY', `/core/edges/${index}/class`, 'Core property shorthand requires a resolvable concrete Class.');
+        }
+        return {
+            ...edge,
+            properties: qualify(edge.properties, definition, `/core/edges/${index}/properties`),
+        };
+    });
+    return { nodes, edges };
+}
+function qualify(input, definition, pointer) {
+    const byName = new Map();
+    for (const [key, field] of definition.properties) {
+        const candidates = byName.get(field.name) ?? [];
+        candidates.push(key);
+        byName.set(field.name, candidates);
+    }
+    const result = {};
+    const sourceByKey = new Map();
+    for (const [inputKey, value] of Object.entries(input)) {
+        const key = resolveInputKey(inputKey, definition, byName, `${pointer}/${escapeToken(inputKey)}`);
+        const previous = sourceByKey.get(key);
+        if (previous !== undefined) {
+            fail('BUILDER_CORE_PROPERTY', `${pointer}/${escapeToken(inputKey)}`, `Property is supplied twice through ${JSON.stringify(previous)} and ${JSON.stringify(inputKey)}.`);
+        }
+        sourceByKey.set(key, inputKey);
+        result[key] = value;
+    }
+    return result;
+}
+function resolveInputKey(input, definition, byName, pointer) {
+    if (admitPropertyKey.is(input)) {
+        const key = admitPropertyKey(input);
+        if (!definition.properties.has(key)) {
+            fail('BUILDER_CORE_PROPERTY', pointer, `Property ${input} is not present on the Core Class.`);
+        }
+        return key;
+    }
+    const candidates = byName.get(input) ?? [];
+    if (candidates.length === 1)
+        return candidates[0];
+    if (candidates.length === 0) {
+        fail('BUILDER_CORE_PROPERTY', pointer, `Property ${JSON.stringify(input)} does not exist.`);
+    }
+    fail('BUILDER_CORE_PROPERTY', pointer, `Property ${JSON.stringify(input)} is ambiguous; use one of: ${candidates.join(', ')}.`);
+}
+//# sourceMappingURL=core.properties.js.map

package/dist/v1/builder/compiler/core.properties.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.properties.js","sourceRoot":"","sources":["../../../../v1/builder/compiler/core.properties.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,WAAW,IAAI,gBAAgB,EAAE,MAAM,2BAA2B,CAAA;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAA;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAC1D,OAAO,EAAE,4BAA4B,EAAE,MAAM,oCAAoC,CAAA;AACjF,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAA;AAE7D,kFAAkF;AAClF,MAAM,UAAU,4BAA4B,CAC1C,SAAyB,EACzB,MAA0B;IAE1B,MAAM,WAAW,GAAG,kBAAkB,CACpC,4BAA4B,CAAC,SAAS,EAAE,MAAM,CAAC,CAChD,CAAC,WAAW,CAAA;IAEb,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAC9B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE;QACxD,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAC9D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,CACF,uBAAuB,EACvB,eAAe,WAAW,CAAC,IAAI,CAAC,QAAQ,EACxC,+DAA+D,CAChE,CAAA;QACH,CAAC;QACD,OAAO;YACL,IAAI;YACJ;gBACE,GAAG,IAAI;gBACP,UAAU,EAAE,OAAO,CACjB,IAAI,CAAC,UAAU,EACf,UAAU,EACV,eAAe,WAAW,CAAC,IAAI,CAAC,aAAa,CAC9C;aACF;SACF,CAAA;IACH,CAAC,CAAC,CACH,CAAA;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACrD,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAC9D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,CACF,uBAAuB,EACvB,eAAe,KAAK,QAAQ,EAC5B,+DAA+D,CAChE,CAAA;QACH,CAAC;QACD,OAAO;YACL,GAAG,IAAI;YACP,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,eAAe,KAAK,aAAa,CAAC;SACpF,CAAA;IACH,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AACzB,CAAC;AAED,SAAS,OAAO,CAAC,KAAiB,EAAE,UAA8B,EAAE,OAAe;IACjF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAA;IAC/C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACjD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;QAC/C,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACpB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IACpC,CAAC;IAED,MAAM,MAAM,GAA8B,EAAE,CAAA;IAC5C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAA;IAClD,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,GAAG,GAAG,eAAe,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,OAAO,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QAChG,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CACF,uBAAuB,EACvB,GAAG,OAAO,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,EACrC,sCAAsC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAClG,CAAA;QACH,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;QAC9B,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IACrB,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,eAAe,CACtB,KAAa,EACb,UAA8B,EAC9B,MAAmD,EACnD,OAAe;IAEf,IAAI,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAA;QACnC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,uBAAuB,EAAE,OAAO,EAAE,YAAY,KAAK,oCAAoC,CAAC,CAAA;QAC/F,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAA;IAC1C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAE,CAAA;IAClD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC,uBAAuB,EAAE,OAAO,EAAE,YAAY,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAA;IAC7F,CAAC;IACD,IAAI,CACF,uBAAuB,EACvB,OAAO,EACP,YAAY,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,8BAA8B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACxF,CAAA;AACH,CAAC"}

package/dist/v1/builder/compiler/definition.d.ts

@@ -0,0 +1,32 @@
+import type { ClassDeclaration } from '../../schema/definition/class.js';
+import type { InterfaceDeclaration } from '../../schema/definition/interface.js';
+import type { DefinitionAuthoring } from '../definition.js';
+import type { CallableCompiler } from './callable.js';
+import type { PolicyCompiler } from './policy.js';
+import type { BuilderContext } from './schema.context.js';
+import type { BuilderValueSchemas } from './value.js';
+export declare class V1DefinitionCompiler {
+    readonly context: BuilderContext;
+    readonly values: BuilderValueSchemas;
+    readonly callables: CallableCompiler;
+    readonly policies: PolicyCompiler;
+    constructor(context: BuilderContext, values: BuilderValueSchemas, callables: CallableCompiler, policies: PolicyCompiler);
+    compileInterface(value: DefinitionAuthoring, pointer: string): InterfaceDeclaration;
+    compileClass(value: DefinitionAuthoring, pointer: string): ClassDeclaration;
+    private bothInterface;
+    private nodeInterface;
+    private edgeInterface;
+    private nodeClass;
+    private edgeClass;
+    private interfaceEdgeContract;
+    private endpointBase;
+    private directedSource;
+    private directedTarget;
+    private incidentEndpoint;
+    private directedSourceFromLegacyEndpoint;
+    private directedTargetFromLegacyEndpoint;
+    private incidentFromLegacyEndpoint;
+    private parents;
+    private methods;
+}
+//# sourceMappingURL=definition.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../../../../v1/builder/compiler/definition.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAA;AASxE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAA;AAEhF,OAAO,KAAK,EACV,mBAAmB,EAWpB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAKrD,qBAAa,oBAAoB;IAE7B,QAAQ,CAAC,OAAO,EAAE,cAAc;IAChC,QAAQ,CAAC,MAAM,EAAE,mBAAmB;IACpC,QAAQ,CAAC,SAAS,EAAE,gBAAgB;IACpC,QAAQ,CAAC,QAAQ,EAAE,cAAc;IAJnC,YACW,OAAO,EAAE,cAAc,EACvB,MAAM,EAAE,mBAAmB,EAC3B,SAAS,EAAE,gBAAgB,EAC3B,QAAQ,EAAE,cAAc,EAC/B;IAEJ,gBAAgB,CAAC,KAAK,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,GAAG,oBAAoB,CAWlF;IAED,YAAY,CAAC,KAAK,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,GAAG,gBAAgB,CAQ1E;IAED,OAAO,CAAC,aAAa;IAarB,OAAO,CAAC,aAAa;IAgBrB,OAAO,CAAC,aAAa;IAgBrB,OAAO,CAAC,SAAS;IA2BjB,OAAO,CAAC,SAAS;IAuCjB,OAAO,CAAC,qBAAqB;IAsB7B,OAAO,CAAC,YAAY;IAcpB,OAAO,CAAC,cAAc;IAItB,OAAO,CAAC,cAAc;IAItB,OAAO,CAAC,gBAAgB;IAIxB,OAAO,CAAC,gCAAgC;IAOxC,OAAO,CAAC,gCAAgC;IAOxC,OAAO,CAAC,0BAA0B;IAIlC,OAAO,CAAC,OAAO;IAUf,OAAO,CAAC,OAAO;CAehB"}