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

package/dist/v1/builder/{compiler → lowering}/callable.js

@@ -1,6 +1,6 @@
-import { normalizePolicyChecks } from '../../schema/policy/normalize.js';
-import { callableInputField, callablePolicyObject, callableRef, callableSelf, isCallableOutputAuthoring, } from '../callable.js';
-import { fail } from '../internal/diagnostic.js';
+import { normalizePolicyChecks } from '../../language/policy/normalization/normalize.js';
+import { callableInputField, callableAuthoringInput, callablePolicyObject, callableRef, callableSelf, isCallableOutputAuthoring, } from '../callable/authoring.js';
+import { fail } from '../schema/diagnostic.js';
 export class V1CallableCompiler {
     context;
     values;
@@ -9,11 +9,11 @@ export class V1CallableCompiler {
         this.values = values;
     }
     compile(value, placement) {
-        const config = value.config;
+        const config = callableAuthoringInput(value);
         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.');
+            fail('BUILDER_CALLABLE_AUTH', `${placement.pointer}/auth`, 'Function auth must be anonymous, authenticated, or authorized.');
         }
         const auth = config.auth;
         if (auth !== 'authorized' && config.policy !== undefined) {
@@ -24,10 +24,7 @@ export class V1CallableCompiler {
             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;
+        const inheritance = method ? (config.inheritance ?? 'default') : undefined;
         if (inheritance === 'abstract' && config.policy !== undefined) {
             fail('BUILDER_ABSTRACT_POLICY', `${placement.pointer}/policy`, 'An abstract Method cannot declare a Policy check.');
         }
@@ -36,15 +33,16 @@ export class V1CallableCompiler {
         const policy = config.policy === undefined
             ? undefined
             : normalizePolicyChecks(config.policy(this.policyContext(input, placement, isStatic ?? false)));
-        const contract = {
+        const base = {
             ...(config.description === undefined ? {} : { description: config.description }),
             input,
             output,
-            auth,
-            ...(policy === undefined ? {} : { policy }),
         };
+        const contract = auth === 'authorized'
+            ? { ...base, auth, ...(policy === undefined ? {} : { policy }) }
+            : { ...base, auth };
         if (!method)
-            return contract;
+            return { ref: placement.ref, ...contract };
         return {
             ...contract,
             static: isStatic,
@@ -135,4 +133,3 @@ 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/lowering/class.d.ts

@@ -0,0 +1,22 @@
+import type { ClassDefinition } from '../../language/class/model/class.js';
+import type { Class } from '../class/authoring.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/compile.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);
+    compileClass(value: Class, name: string, pointer: string): ClassDefinition;
+    private nodeClass;
+    private edgeClass;
+    private endpointBase;
+    private directedSource;
+    private directedTarget;
+    private incidentEndpoint;
+    private parents;
+    private methods;
+}

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

@@ -0,0 +1,129 @@
+import { compareDefinitionRefs } from '../../addressing/ordering.js';
+import { classAuthoringInput } from '../class/authoring.js';
+import { escapeToken } from '../schema/diagnostic.js';
+export class V1DefinitionCompiler {
+    context;
+    values;
+    callables;
+    policies;
+    constructor(context, values, callables, policies) {
+        this.context = context;
+        this.values = values;
+        this.callables = callables;
+        this.policies = policies;
+    }
+    compileClass(value, name, pointer) {
+        return value.kind === 'node'
+            ? this.nodeClass(value, name, pointer)
+            : this.edgeClass(value, name, pointer);
+    }
+    nodeClass(value, name, pointer) {
+        const input = classAuthoringInput(value);
+        const facet = this.values.properties(input.properties, `${pointer}/properties`);
+        const data = dataDeclaration(input.data);
+        return {
+            ref: { origin: this.context.origin, kind: 'class', name },
+            kind: 'node',
+            abstract: input.abstract ?? false,
+            ...(input.description === undefined ? {} : { description: input.description }),
+            extends: this.parents(input.extends, 'node', `${pointer}/extends`),
+            properties: facet,
+            methods: this.methods(input.methods, `${pointer}/methods`),
+            ...(data === undefined ? {} : { data }),
+            ...(input.icon === undefined ? {} : { icon: input.icon }),
+            policies: {
+                ...(input.policies?.read === undefined
+                    ? {}
+                    : { read: this.policies.ref(input.policies.read, `${pointer}/policies/read`) }),
+                ...(input.policies?.traverse === undefined
+                    ? {}
+                    : {
+                        traverse: this.policies.ref(input.policies.traverse, `${pointer}/policies/traverse`),
+                    }),
+            },
+        };
+    }
+    edgeClass(value, name, pointer) {
+        const input = classAuthoringInput(value);
+        const facet = this.values.properties(input.properties, `${pointer}/properties`);
+        const contract = (() => {
+            if (value.orientation === 'directed') {
+                const directed = classAuthoringInput(value);
+                return {
+                    orientation: 'directed',
+                    endpoints: {
+                        source: this.directedSource(directed.source, `${pointer}/endpoints/source`),
+                        target: this.directedTarget(directed.target, `${pointer}/endpoints/target`),
+                    },
+                    constraints: directedConstraints(directed),
+                };
+            }
+            const undirected = classAuthoringInput(value);
+            return {
+                orientation: 'undirected',
+                endpoints: [
+                    this.incidentEndpoint(undirected.endpoints[0], `${pointer}/endpoints/0`),
+                    this.incidentEndpoint(undirected.endpoints[1], `${pointer}/endpoints/1`),
+                ],
+                constraints: undirectedConstraints(undirected),
+            };
+        })();
+        return {
+            ref: { origin: this.context.origin, kind: 'class', name },
+            kind: 'edge',
+            abstract: input.abstract ?? false,
+            ...(input.description === undefined ? {} : { description: input.description }),
+            extends: this.parents(input.extends, 'edge', `${pointer}/extends`),
+            properties: facet,
+            ...contract,
+            policies: input.policies?.traverse === undefined
+                ? {}
+                : {
+                    traverse: this.policies.ref(input.policies.traverse, `${pointer}/policies/traverse`),
+                },
+        };
+    }
+    endpointBase(value, pointer) {
+        return {
+            role: value.as,
+            accepts: value.accepts
+                .map((entry, index) => this.context.resolveNodeClass(entry, `${pointer}/accepts/${index}`))
+                .sort(compareDefinitionRefs),
+        };
+    }
+    directedSource(value, pointer) {
+        return { ...this.endpointBase(value, pointer), outgoing: value.outgoing };
+    }
+    directedTarget(value, pointer) {
+        return { ...this.endpointBase(value, pointer), incoming: value.incoming };
+    }
+    incidentEndpoint(value, pointer) {
+        return { ...this.endpointBase(value, pointer), incident: value.incident };
+    }
+    parents(values, kind, pointer) {
+        return (values ?? [])
+            .map((entry, index) => this.context.resolveClass(entry, kind, `${pointer}/${index}`))
+            .sort(compareDefinitionRefs);
+    }
+    methods(values, pointer) {
+        return Object.fromEntries(Object.entries(values ?? {}).map(([name, value]) => [
+            name,
+            this.callables.compile(value, {
+                kind: 'node-class-method',
+                pointer: `${pointer}/${escapeToken(name)}`,
+            }),
+        ]));
+    }
+}
+function dataDeclaration(mediaType) {
+    return mediaType === undefined ? undefined : { mediaType };
+}
+function directedConstraints(options) {
+    return {
+        ...(options.constraints?.noSelf === true ? { noSelf: true } : {}),
+        ...(options.constraints?.acyclic === true ? { acyclic: true } : {}),
+    };
+}
+function undirectedConstraints(options) {
+    return options.constraints?.noSelf === true ? { noSelf: true } : {};
+}

package/dist/v1/builder/lowering/core-properties.d.ts

@@ -0,0 +1,10 @@
+import type { CoreContent } from '../../language/core/model/core.js';
+import type { DomainSchemaLookup } from '../../schema/dependency/lookup.js';
+import type { DomainSchemaIR } from '../../schema/model/schema.js';
+import type { UnqualifiedCoreContent } from './core.js';
+type UnqualifiedDomainSchema = Omit<DomainSchemaIR, 'core'> & {
+    readonly core: UnqualifiedCoreContent;
+};
+/** Lower rich builder shorthand to the canonical full-key Core representation. */
+export declare function canonicalizeCorePropertyKeys(candidate: UnqualifiedDomainSchema, lookup: DomainSchemaLookup): CoreContent;
+export {};

package/dist/v1/builder/{compiler/core.properties.js → lowering/core-properties.js}

@@ -1,13 +1,20 @@
 import { PropertyKey as admitPropertyKey } from '../../addressing/index.js';
-import { analyzeDefinitions } from '../../schema/definition/analysis.js';
-import { schemaRefIndex } from '../../schema/reference.js';
+import { definitionRefIndex } from '../../addressing/ordering.js';
+import { createPropertyValues } from '../../language/class/property-values.js';
+import { analyzeDefinitions } from '../../schema/analysis/class.js';
 import { buildDomainResolutionContext } from '../../schema/resolution/context.js';
-import { escapeToken, fail } from '../internal/diagnostic.js';
+import { escapeToken, fail } from '../schema/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;
+    // Core Property values do not participate in Class composition. Analyze the
+    // already-canonical Definition surface, then admit Core values below.
+    const analysisCandidate = {
+        ...candidate,
+        core: { nodes: {}, edges: [] },
+    };
+    const definitions = analyzeDefinitions(buildDomainResolutionContext(analysisCandidate, lookup)).definitions;
     const nodes = Object.fromEntries(Object.entries(candidate.core.nodes).map(([slug, node]) => {
-        const definition = definitions.get(schemaRefIndex(node.class));
+        const definition = definitions.get(definitionRefIndex(node.class));
         if (definition === undefined) {
             fail('BUILDER_CORE_PROPERTY', `/core/nodes/${escapeToken(slug)}/class`, 'Core property shorthand requires a resolvable concrete Class.');
         }
@@ -20,7 +27,7 @@ export function canonicalizeCorePropertyKeys(candidate, lookup) {
         ];
     }));
     const edges = candidate.core.edges.map((edge, index) => {
-        const definition = definitions.get(schemaRefIndex(edge.class));
+        const definition = definitions.get(definitionRefIndex(edge.class));
         if (definition === undefined) {
             fail('BUILDER_CORE_PROPERTY', `/core/edges/${index}/class`, 'Core property shorthand requires a resolvable concrete Class.');
         }
@@ -49,7 +56,7 @@ function qualify(input, definition, pointer) {
         sourceByKey.set(key, inputKey);
         result[key] = value;
     }
-    return result;
+    return createPropertyValues(Object.entries(result).map(([key, value]) => [admitPropertyKey(key), value]));
 }
 function resolveInputKey(input, definition, byName, pointer) {
     if (admitPropertyKey.is(input)) {
@@ -67,4 +74,3 @@ function resolveInputKey(input, definition, byName, pointer) {
     }
     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/lowering/core.d.ts

@@ -0,0 +1,22 @@
+import type { Object as JsonObject } from '@astrale-os/kernel-dsl/value';
+import type { ClassRef, CoreRef } from '../../addressing/index.js';
+import type { CoreEndpointRef } from '../../language/core/model/core.js';
+import type { CoreInput } from '../core/authoring.js';
+import type { BuilderContext } from './schema/context.js';
+export declare function captureCore(input: CoreInput | undefined, context: BuilderContext): void;
+export interface UnqualifiedCoreDefinition {
+    readonly ref: CoreRef;
+    readonly class: ClassRef;
+    readonly properties: JsonObject;
+}
+export interface UnqualifiedCoreEdge {
+    readonly class: ClassRef;
+    readonly source: CoreEndpointRef;
+    readonly target: CoreEndpointRef;
+    readonly properties: JsonObject;
+}
+export interface UnqualifiedCoreContent {
+    readonly nodes: Readonly<Record<string, UnqualifiedCoreDefinition>>;
+    readonly edges: readonly UnqualifiedCoreEdge[];
+}
+export declare function compileCore(input: CoreInput | undefined, context: BuilderContext): UnqualifiedCoreContent;

package/dist/v1/builder/{compiler → lowering}/core.js

@@ -1,5 +1,5 @@
-import { isAuthoringValue } from '../internal/authoring.js';
-import { escapeToken, fail } from '../internal/diagnostic.js';
+import { escapeToken, fail } from '../schema/diagnostic.js';
+import { isAuthoringValue } from '../schema/handle.js';
 export function captureCore(input, context) {
     for (const [slug, node] of Object.entries(input?.nodes ?? {})) {
         if (!isAuthoringValue(node, 'core-node')) {
@@ -11,17 +11,21 @@ export function captureCore(input, context) {
 export function compileCore(input, context) {
     const nodes = Object.fromEntries(Object.entries(input?.nodes ?? {}).map(([slug, value]) => [
         slug,
-        compileNode(value, context, `/core/nodes/${escapeToken(slug)}`),
+        compileNode(slug, 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) {
+function compileNode(slug, 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 };
+    return {
+        ref: { origin: context.origin, kind: 'core', name: slug },
+        class: ref,
+        properties: value.properties,
+    };
 }
 function compileEdge(value, context, pointer) {
     if (!isAuthoringValue(value, 'core-edge')) {
@@ -41,4 +45,3 @@ function compileEdge(value, context, pointer) {
 function resolveEndpoint(value, context, pointer) {
     return context.resolveCoreEndpoint(value, pointer);
 }
-//# sourceMappingURL=core.js.map

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

@@ -0,0 +1,16 @@
+import type { PolicyRef } from '../../addressing/index.js';
+import type { PolicyDefinition } from '../../language/policy/model/policy.js';
+import type { Policy } from '../policy/authoring.js';
+import type { Lazy } from '../schema/lazy.js';
+import type { BuilderContext } from './schema/context.js';
+export interface PolicyCompiler {
+    compile(value: Policy, name: string, pointer: string): PolicyDefinition;
+    ref(value: Lazy<unknown>, pointer: string): PolicyRef;
+}
+export declare class V1PolicyCompiler implements PolicyCompiler {
+    readonly context: BuilderContext;
+    constructor(context: BuilderContext);
+    ref(value: Lazy<unknown>, pointer: string): PolicyRef;
+    compile(value: Policy, name: string, pointer: string): PolicyDefinition;
+}
+export declare function assertPolicyCompositionAcyclic(declarations: Readonly<Record<string, PolicyDefinition>>, origin: string): void;

package/dist/v1/builder/{compiler → lowering}/policy.js

@@ -1,6 +1,6 @@
-import { normalizePolicyDeclaration } from '../../schema/policy/normalize.js';
-import { fail } from '../internal/diagnostic.js';
-import { createPatternContext } from '../policy.js';
+import { normalizePolicyExpression } from '../../language/policy/normalization/normalize.js';
+import { createPatternContext, policyDeclaration } from '../policy/authoring.js';
+import { fail } from '../schema/diagnostic.js';
 export class V1PolicyCompiler {
     context;
     constructor(context) {
@@ -9,21 +9,26 @@ export class V1PolicyCompiler {
     ref(value, pointer) {
         return this.context.resolvePolicy(value, pointer);
     }
-    compile(value, pointer) {
-        const input = value.input;
+    compile(value, name, pointer) {
+        const input = policyDeclaration(value);
+        const ref = { origin: this.context.origin, kind: 'policy', name };
         if ('operator' in input) {
             const refs = input.policies.map((policy, index) => this.context.resolvePolicy(policy, `${pointer}/${input.operator}/${index}`));
-            return normalizePolicyDeclaration(input.operator === 'allOf' ? { allOf: refs } : { anyOf: refs });
+            return {
+                ref,
+                expression: normalizePolicyExpression(input.operator === 'allOf' ? { allOf: refs } : { anyOf: refs }),
+            };
         }
         const match = input.match(createPatternContext({
             resolveEdgeClass: (definition, refPointer) => this.context.resolveEdgeClass(definition, refPointer),
             resolveNodeClass: (definition, refPointer) => this.context.resolveNodeClass(definition, refPointer),
             pointer,
         }));
-        return normalizePolicyDeclaration({
+        return {
+            ref,
             ...(input.description === undefined ? {} : { description: input.description }),
-            match,
-        });
+            expression: normalizePolicyExpression({ match }),
+        };
     }
 }
 export function assertPolicyCompositionAcyclic(declarations, origin) {
@@ -37,10 +42,11 @@ export function assertPolicyCompositionAcyclic(declarations, origin) {
             return;
         visiting.add(name);
         const declaration = declarations[name];
-        const refs = declaration !== undefined && 'allOf' in declaration
-            ? declaration.allOf
-            : declaration !== undefined && 'anyOf' in declaration
-                ? declaration.anyOf
+        const expression = declaration?.expression;
+        const refs = expression !== undefined && 'allOf' in expression
+            ? expression.allOf
+            : expression !== undefined && 'anyOf' in expression
+                ? expression.anyOf
                 : [];
         for (const ref of refs)
             if (ref.origin === origin)
@@ -51,4 +57,3 @@ export function assertPolicyCompositionAcyclic(declarations, origin) {
     for (const name of Object.keys(declarations))
         visit(name);
 }
-//# sourceMappingURL=policy.js.map

package/dist/v1/builder/{compiler/schema.capture.d.ts → lowering/schema/capture.d.ts}

@@ -1,5 +1,4 @@
-import type { DomainSchemaInput } from '../schema.input.js';
-import { BuilderContext } from './schema.context.js';
+import type { DomainSchemaInput } from '../../schema/input.js';
+import { BuilderContext } from './context.js';
 export declare function captureSchema(input: DomainSchemaInput, context: BuilderContext): void;
 export declare function commitSchemaOwnership(input: DomainSchemaInput, origin: string): void;
-//# sourceMappingURL=schema.capture.d.ts.map

package/dist/v1/builder/lowering/schema/capture.js

@@ -0,0 +1,70 @@
+import { MethodKey } from '../../../addressing/index.js';
+import { classAuthoringInput } from '../../class/authoring.js';
+import { escapeToken, fail } from '../../schema/diagnostic.js';
+import { isAuthoringValue } from '../../schema/handle.js';
+import { captureCore } from '../core.js';
+import { BuilderContext } from './context.js';
+export function captureSchema(input, context) {
+    captureDefinitions(input.classes ?? {}, context);
+    capturePolicies(input.policies ?? {}, context);
+    captureExecutables(input, context);
+    captureCore(input.core, context);
+}
+export function commitSchemaOwnership(input, origin) {
+    const context = new BuilderContext(origin, input.dependencies ?? []);
+    captureSchema(input, context);
+    context.ownership.commit();
+}
+function captureDefinitions(classes, context) {
+    for (const [name, value] of Object.entries(classes)) {
+        assertDefinition(value, `/classes/${escapeToken(name)}`);
+        context.captureDefinition(value, { origin: context.origin, kind: 'class', name }, `/classes/${escapeToken(name)}`);
+    }
+}
+function capturePolicies(policies, context) {
+    for (const [name, value] of Object.entries(policies)) {
+        if (!isAuthoringValue(value, 'policy')) {
+            fail('BUILDER_POLICY', `/policies/${escapeToken(name)}`, 'Policies are created by policy(...).');
+        }
+        context.capturePolicy(value, { origin: context.origin, kind: 'policy', name }, `/policies/${escapeToken(name)}`);
+    }
+}
+function captureExecutables(input, context) {
+    for (const [name, value] of Object.entries(input.functions ?? {})) {
+        const pointer = `/functions/${escapeToken(name)}`;
+        assertFunction(value, pointer);
+        context.captureFunction(value, { origin: context.origin, kind: 'function', name }, pointer);
+    }
+    for (const [definitionName, definition] of Object.entries(input.classes ?? {})) {
+        if (definition.kind !== 'node')
+            continue;
+        const methods = classAuthoringInput(definition).methods;
+        for (const [methodName, method] of Object.entries(methods ?? {})) {
+            const pointer = `/classes/${escapeToken(definitionName)}/methods/${escapeToken(methodName)}`;
+            assertMethod(method, pointer);
+            context.ownership.capture(method, MethodKey.of({ origin: context.origin, kind: 'class', name: definitionName }, methodName), pointer);
+        }
+    }
+    for (const [name, value] of Object.entries(input.views ?? {})) {
+        const pointer = `/views/${escapeToken(name)}`;
+        if (!isAuthoringValue(value, 'view')) {
+            fail('BUILDER_VIEW', pointer, 'Views are created by view(...).');
+        }
+        context.captureView(value, { origin: context.origin, kind: 'view', name }, pointer);
+    }
+}
+function assertDefinition(value, pointer) {
+    if (!isAuthoringValue(value, 'definition')) {
+        fail('BUILDER_DEFINITION', pointer, 'Definitions are created by a V1 Definition builder.');
+    }
+}
+function assertFunction(value, pointer) {
+    if (!isAuthoringValue(value, 'function')) {
+        fail('BUILDER_FUNCTION', pointer, 'Functions are created by func(...).');
+    }
+}
+function assertMethod(value, pointer) {
+    if (!isAuthoringValue(value, 'method')) {
+        fail('BUILDER_METHOD', pointer, 'Methods are created by method(...).');
+    }
+}

package/dist/v1/builder/{compiler/schema.d.ts → lowering/schema/compile.d.ts}

@@ -1,10 +1,10 @@
-import type { DomainSchema } from '../../schema/domain.ir.js';
-import type { DomainSchemaInput } from '../schema.input.js';
+import type { DomainSchema } from '../../../schema/model/schema.js';
+import type { DomainSchemaInput } from '../../schema/input.js';
+import type { DomainOfInput } from '../../schema/projection.js';
 /**
  * Compile the V1 TypeScript builder graph through the same semantic acceptance
  * path used for untrusted decoded schemas.
  *
  * This is the private implementation behind defineSchema.
  */
-export declare function compileSchema<const Origin extends string, const Input extends DomainSchemaInput>(origin: Origin, input: Input): DomainSchema<Origin, Input>;
-//# sourceMappingURL=schema.d.ts.map
+export declare function compileSchema<const Origin extends string, const Input extends DomainSchemaInput>(origin: Origin, input: Input): DomainSchema<Origin, Input, DomainOfInput<Origin, Input>>;

package/dist/v1/builder/{compiler/schema.js → lowering/schema/compile.js}

@@ -1,19 +1,19 @@
-import { canonicalizeDomainSchema } from '../../schema/canonical/domain.js';
-import { deepFreeze } from '../../schema/canonical/freeze.js';
-import { acceptDomainSchema } from '../../schema/domain.accept.js';
-import { MemoryDomainSchemaLookup } from '../../schema/domain.lookup.js';
-import { lookupEntriesForDependencies } from '../../schema/resolution/closure.js';
-import { parseDomainSchemaStructure } from '../../schema/validation/domain.structure.js';
-import { assertKnownKeys, escapeToken } from '../internal/diagnostic.js';
-import { V1CallableCompiler } from './callable.js';
-import { compileCore } from './core.js';
-import { canonicalizeCorePropertyKeys } from './core.properties.js';
-import { V1DefinitionCompiler } from './definition.js';
-import { assertPolicyCompositionAcyclic, V1PolicyCompiler } from './policy.js';
-import { captureSchema, commitSchemaOwnership } from './schema.capture.js';
-import { BuilderContext } from './schema.context.js';
-import { BuilderValueSchemas } from './value.js';
-import { V1ViewCompiler } from './view.js';
+import { acceptDomainSchema } from '../../../schema/admission/accept.js';
+import { canonicalizeDomainSchema } from '../../../schema/canonical/domain.js';
+import { deepFreeze } from '../../../schema/canonical/freeze.js';
+import { MemoryDomainSchemaLookup } from '../../../schema/dependency/lookup.js';
+import { lookupEntriesForDependencies } from '../../../schema/resolution/closure.js';
+import { parseDomainSchemaStructure } from '../../../schema/validation/domain.structure.js';
+import { assertKnownKeys, escapeToken } from '../../schema/diagnostic.js';
+import { V1CallableCompiler } from '../callable.js';
+import { V1DefinitionCompiler } from '../class.js';
+import { canonicalizeCorePropertyKeys } from '../core-properties.js';
+import { compileCore } from '../core.js';
+import { assertPolicyCompositionAcyclic, V1PolicyCompiler } from '../policy.js';
+import { BuilderValueSchemas } from '../value/compile.js';
+import { V1ViewCompiler } from '../view.js';
+import { captureSchema, commitSchemaOwnership } from './capture.js';
+import { BuilderContext } from './context.js';
 /**
  * Compile the V1 TypeScript builder graph through the same semantic acceptance
  * path used for untrusted decoded schemas.
@@ -29,62 +29,52 @@ export function compileSchema(origin, input) {
 }
 /** Structural assembly before whole-Domain semantic acceptance. */
 function assembleDomainSchema(origin, input, lookup) {
-    assertKnownKeys(input, [
-        'dependencies',
-        'types',
-        'interfaces',
-        'classes',
-        'functions',
-        'policies',
-        'views',
-        'core',
-    ]);
+    assertKnownKeys(input, ['dependencies', 'classes', 'functions', 'policies', 'views', 'core']);
     if (input.core !== undefined)
         assertKnownKeys(input.core, ['nodes', 'edges'], '/core');
     const context = new BuilderContext(origin, input.dependencies ?? []);
     captureSchema(input, context);
-    const values = new BuilderValueSchemas(input.types ?? {}, context);
+    const values = new BuilderValueSchemas(context);
     const policyCompiler = new V1PolicyCompiler(context);
     const callableCompiler = new V1CallableCompiler(context, values);
     const definitionCompiler = new V1DefinitionCompiler(context, values, callableCompiler, policyCompiler);
     const viewCompiler = new V1ViewCompiler(context);
-    const interfaces = mapRecord(input.interfaces ?? {}, (value, name) => definitionCompiler.compileInterface(value, `/interfaces/${escapeToken(name)}`));
-    const classes = mapRecord(input.classes ?? {}, (value, name) => definitionCompiler.compileClass(value, `/classes/${escapeToken(name)}`));
+    const classes = mapRecord(input.classes ?? {}, (value, name) => definitionCompiler.compileClass(value, name, `/classes/${escapeToken(name)}`));
     const functions = mapRecord(input.functions ?? {}, (value, name) => callableCompiler.compile(value, {
         kind: 'function',
+        ref: { origin, kind: 'function', name },
         pointer: `/functions/${escapeToken(name)}`,
     }));
-    const policies = mapRecord(input.policies ?? {}, (value, name) => policyCompiler.compile(value, `/policies/${escapeToken(name)}`));
+    const policies = mapRecord(input.policies ?? {}, (value, name) => policyCompiler.compile(value, name, `/policies/${escapeToken(name)}`));
     assertPolicyCompositionAcyclic(policies, origin);
-    const views = mapRecord(input.views ?? {}, (value, name) => viewCompiler.compile(value, `/views/${escapeToken(name)}`));
+    const views = mapRecord(input.views ?? {}, (value, name) => viewCompiler.compile(value, name, `/views/${escapeToken(name)}`));
     const core = compileCore(input.core, context);
     const semanticContent = {
         format: 'astrale.dsl',
         version: 'v1',
         origin,
-        dependencies: [],
-        types: values.types,
-        interfaces,
+        // Class/Property resolution needs every dependency already referenced by
+        // authored Definitions. Core endpoint refs are added immediately below.
+        dependencies: context.dependencies(),
         classes,
         functions,
         policies,
         views,
         core,
     };
-    context.noteDomainReferences(semanticContent);
-    const candidate = {
+    const qualifiedContent = {
         ...semanticContent,
-        dependencies: context.dependencies(),
+        core: canonicalizeCorePropertyKeys(semanticContent, lookup),
     };
-    const lowered = {
-        ...candidate,
-        core: canonicalizeCorePropertyKeys(candidate, lookup),
+    context.noteDomainEndpointReferences(qualifiedContent);
+    const candidate = {
+        ...qualifiedContent,
+        dependencies: context.dependencies(),
     };
-    const structured = parseDomainSchemaStructure(lowered);
+    const structured = parseDomainSchemaStructure(candidate);
     const canonical = parseDomainSchemaStructure(canonicalizeDomainSchema(structured));
     return deepFreeze(canonical);
 }
 function mapRecord(record, map) {
     return Object.fromEntries(Object.entries(record).map(([name, value]) => [name, map(value, name)]));
 }
-//# sourceMappingURL=schema.js.map