@ontologie/schema 0.1.0-preview.1

package/README.md

@@ -0,0 +1,149 @@
+# @dataforge/schema
+
+[![Version](https://img.shields.io/badge/version-0.1.0--preview.1-blue)](./) [![License](https://img.shields.io/badge/license-MIT-green)](./)
+
+> **Schema authoring DSL for DataForge** -- define your ontology in code, compile, diff, push, and pull.
+
+---
+
+## Install
+
+```bash
+npm install @dataforge/schema
+```
+
+---
+
+## Quick Start
+
+Define your business model in a `dataforge.schema.ts` file:
+
+```typescript
+import { objectType, string, number, boolean, date, link } from '@dataforge/schema';
+
+export const Company = objectType('Company', {
+  name: string().required(),
+  industry: string(),
+  revenue: number(),
+  isActive: boolean().default(true),
+});
+
+export const Employee = objectType('Employee', {
+  name: string().required(),
+  email: string().email(),
+  salary: number().indexed(),
+  startDate: date(),
+  company: link.toOne(() => Company),
+});
+```
+
+Then use the CLI:
+
+```bash
+dataforge schema diff       # compare local vs remote
+dataforge schema push --yes # apply changes
+dataforge schema pull       # generate from remote
+dataforge schema check      # verify lockfile integrity
+```
+
+---
+
+## API
+
+### Property Builders
+
+| Builder | Type | Modifiers |
+|---------|------|-----------|
+| `string()` | string | `.required()`, `.indexed()`, `.unique()`, `.default(v)`, `.description(s)`, `.email()`, `.enum([...])` |
+| `number()` | number | `.required()`, `.indexed()`, `.unique()`, `.default(v)`, `.min(n)`, `.max(n)` |
+| `boolean()` | boolean | `.required()`, `.default(v)` |
+| `date()` | date | `.required()`, `.indexed()`, `.datetime()` |
+| `object()` | object | `.required()` |
+| `array()` | array | `.required()` |
+
+### Link Builders
+
+```typescript
+link.toOne(() => TargetType)   // N:1 relationship
+link.toMany(() => TargetType)  // 1:N relationship
+```
+
+Modifiers: `.inverseName(s)`, `.label(s)`, `.description(s)`
+
+Lazy `() => Type` references support circular dependencies.
+
+### Object Type
+
+```typescript
+objectType('ApiName', { ...fields })
+  .displayName('Human Name')
+  .description('A description')
+  .primaryKey('fieldName')
+```
+
+### Compiler
+
+```typescript
+import { compile } from '@dataforge/schema';
+
+const manifest = compile([Company, Employee]);
+// -> OntologyManifest (deterministic IDs, sorted)
+```
+
+### Diff
+
+```typescript
+import { diff, formatDiff } from '@dataforge/schema';
+
+const result = diff(localManifest, remoteManifest);
+console.log(formatDiff(result));
+// + ObjectType: Invoice (new)
+// ~ ObjectType: Employee
+//     + property: department (string, required)
+//     ~ property: salary (indexed: false -> true)
+```
+
+### Push
+
+```typescript
+import { planPush, executePush } from '@dataforge/schema';
+
+const commands = planPush(diffResult, remoteManifest, { workspaceId });
+await executePush({ transport, commands, onProgress: console.log });
+```
+
+### Pull
+
+```typescript
+import { emitSchema } from '@dataforge/schema';
+
+const source = emitSchema(remoteManifest);
+// -> valid TypeScript source using the DSL
+```
+
+### Lockfile
+
+```typescript
+import { generateLockfile, verifyLockfile } from '@dataforge/schema';
+
+const lock = generateLockfile(manifest);
+const { drifted } = verifyLockfile(lock, currentManifest);
+```
+
+---
+
+## Dependencies
+
+| Package | Role |
+|---------|------|
+| `@dataforge/sdk-types` | `OntologyManifest`, `PropertyDescriptor`, etc. |
+
+No dependency on `@dataforge/sdk-client` -- the schema package is standalone. Only the CLI depends on both.
+
+---
+
+## See Also
+
+- [SDK README](../../README.md) -- Getting started
+- [CLI README](../cli/README.md) -- CLI commands
+- [CHANGELOG](../../CHANGELOG.md) -- Version history

package/dist/compiler/compile.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Compile a set of ObjectTypeDefinitions into an OntologyManifest.
+ *
+ * Pipeline: definitions → resolve → validate → manifest
+ *
+ * Fixes over V1:
+ * - deterministicId uses SHA-256 truncated to 128 bits (not custom 64-bit hash)
+ * - espaceId included in ID seed to avoid cross-espace collisions
+ * - generatedAt configurable via options for test/lockfile determinism
+ * - relationshipType decoupled from label (uses linkName for stability)
+ * - interfaces array sorted on objectTypes for diff stability
+ * - compileProperty cleans undefined fields via compactRecord
+ */
+import type { OntologyManifest } from '@dataforge/sdk-types';
+import type { ObjectTypeDefinition, ActionDefinition, ResolvedSchema } from '../types.js';
+export interface CompileOptions {
+    workspaceId?: string;
+    espaceId?: string;
+    actions?: ActionDefinition[];
+    /** Override generatedAt for deterministic output in tests/lockfiles */
+    generatedAt?: string;
+}
+/**
+ * Compile ObjectTypeDefinitions (and optional ActionDefinitions) into an OntologyManifest.
+ *
+ * @param definitions - Array of ObjectTypeDefinitions from DSL
+ * @param options - Optional workspaceId/espaceId, action definitions, generatedAt
+ * @throws if validation fails
+ */
+export declare function compile(definitions: ObjectTypeDefinition[], options?: CompileOptions): OntologyManifest;
+/**
+ * Compile an already-resolved and validated schema into a manifest.
+ * Exported for advanced use cases where resolve/validate are called separately.
+ */
+export declare function compileResolved(schema: ResolvedSchema, options?: CompileOptions): OntologyManifest;
+//# sourceMappingURL=compile.d.ts.map

package/dist/compiler/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compiler/compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAuG,MAAM,sBAAsB,CAAC;AAClK,OAAO,KAAK,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AA8H1F,MAAM,WAAW,cAAc;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC7B,uEAAuE;IACvE,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CACrB,WAAW,EAAE,oBAAoB,EAAE,EACnC,OAAO,CAAC,EAAE,cAAc,GACvB,gBAAgB,CAUlB;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,cAAc,EACtB,OAAO,CAAC,EAAE,cAAc,GACvB,gBAAgB,CA0KlB"}

package/dist/compiler/compile.js

@@ -0,0 +1,295 @@
+/**
+ * Compile a set of ObjectTypeDefinitions into an OntologyManifest.
+ *
+ * Pipeline: definitions → resolve → validate → manifest
+ *
+ * Fixes over V1:
+ * - deterministicId uses SHA-256 truncated to 128 bits (not custom 64-bit hash)
+ * - espaceId included in ID seed to avoid cross-espace collisions
+ * - generatedAt configurable via options for test/lockfile determinism
+ * - relationshipType decoupled from label (uses linkName for stability)
+ * - interfaces array sorted on objectTypes for diff stability
+ * - compileProperty cleans undefined fields via compactRecord
+ */
+import { createHash } from 'node:crypto';
+import { resolve } from './resolve.js';
+import { validate } from './validate.js';
+// ---------------------------------------------------------------------------
+// Deterministic ID generation (SHA-256 based)
+// ---------------------------------------------------------------------------
+/**
+ * Generate a deterministic UUID from seed parts using SHA-256.
+ * Truncates to 128 bits and formats as RFC 4122 UUID with version 5 marker.
+ */
+function deterministicId(parts) {
+    const seed = JSON.stringify(parts);
+    const bytes = Buffer.from(createHash('sha256').update(seed).digest().subarray(0, 16));
+    // UUID version 5 marker
+    bytes[6] = (bytes[6] & 0x0f) | 0x50;
+    // RFC 4122 variant
+    bytes[8] = (bytes[8] & 0x3f) | 0x80;
+    const hex = bytes.toString('hex');
+    return [
+        hex.slice(0, 8),
+        hex.slice(8, 12),
+        hex.slice(12, 16),
+        hex.slice(16, 20),
+        hex.slice(20, 32),
+    ].join('-');
+}
+/** Build the seed array for entity ID generation, including workspace + espace context */
+function entityIdSeed(options, kind, ...names) {
+    return [
+        options?.workspaceId ?? '',
+        options?.espaceId ?? '',
+        kind,
+        ...names,
+    ];
+}
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+function toDisplayName(apiName) {
+    return apiName
+        .replace(/_/g, ' ')
+        .replace(/([a-z])([A-Z])/g, '$1 $2')
+        .replace(/\b\w/g, c => c.toUpperCase());
+}
+/** Recursively sort object keys for deterministic JSON serialization */
+function sortKeysDeep(val) {
+    if (val === null || val === undefined)
+        return val;
+    if (Array.isArray(val))
+        return val.map(sortKeysDeep);
+    if (typeof val === 'object') {
+        const obj = val;
+        const sorted = {};
+        for (const key of Object.keys(obj).sort()) {
+            const v = sortKeysDeep(obj[key]);
+            if (v !== undefined)
+                sorted[key] = v;
+        }
+        return sorted;
+    }
+    return val;
+}
+/** Remove undefined values for cleaner manifest output */
+function compactRecord(input) {
+    const output = {};
+    for (const [key, value] of Object.entries(input)) {
+        if (value !== undefined) {
+            output[key] = value;
+        }
+    }
+    return output;
+}
+// ---------------------------------------------------------------------------
+// Property compilation
+// ---------------------------------------------------------------------------
+function compileProperty(fieldName, prop) {
+    // Keep the original dataType ('string') — do NOT promote to 'enum'.
+    // The backend normalises 'enum' → 'string'; keeping 'string' here avoids
+    // permanent phantom diffs in the roundtrip (DRIFT-1 fix).
+    const dataType = prop.dataType;
+    const enumValues = (prop.constraints?.enum && Array.isArray(prop.constraints.enum))
+        ? prop.constraints.enum
+            .filter((v) => typeof v === 'string')
+        : undefined;
+    // Preserve the author's enum order. It is user-visible in generated schemas
+    // and keeps defaults/example docs copy-paste stable.
+    const constraints = prop.constraints ? { ...prop.constraints } : undefined;
+    if (constraints?.enum && Array.isArray(constraints.enum) && enumValues) {
+        constraints.enum = [...enumValues];
+    }
+    return compactRecord({
+        name: fieldName,
+        apiName: fieldName,
+        description: prop.description,
+        dataType,
+        semanticType: prop.semanticType,
+        required: prop.required,
+        indexed: prop.indexed,
+        unique: prop.unique,
+        defaultValue: prop.defaultValue,
+        constraints,
+        enumValues: enumValues && enumValues.length > 0 ? enumValues : undefined,
+        mutableBy: prop.mutableBy && prop.mutableBy.length > 0 ? [...prop.mutableBy] : undefined,
+    });
+}
+/**
+ * Compile ObjectTypeDefinitions (and optional ActionDefinitions) into an OntologyManifest.
+ *
+ * @param definitions - Array of ObjectTypeDefinitions from DSL
+ * @param options - Optional workspaceId/espaceId, action definitions, generatedAt
+ * @throws if validation fails
+ */
+export function compile(definitions, options) {
+    const resolved = resolve(definitions, options?.actions);
+    const validation = validate(resolved);
+    if (!validation.valid) {
+        const messages = validation.errors.map(e => `  - ${e.path}: ${e.message}`).join('\n');
+        throw new Error(`Schema validation failed:\n${messages}`);
+    }
+    return compileResolved(resolved, options);
+}
+/**
+ * Compile an already-resolved and validated schema into a manifest.
+ * Exported for advanced use cases where resolve/validate are called separately.
+ */
+export function compileResolved(schema, options) {
+    const workspaceId = options?.workspaceId ?? '';
+    const espaceId = options?.espaceId ?? '';
+    // Sort types alphabetically for determinism
+    const sortedTypes = [...schema.objectTypes].sort((a, b) => a.apiName.localeCompare(b.apiName));
+    const objectTypes = sortedTypes.map(ot => {
+        const properties = Object.entries(ot.properties)
+            .sort(([a], [b]) => a.localeCompare(b))
+            .map(([name, prop]) => compileProperty(name, prop));
+        const interfaces = [...(ot.interfaces ?? [])].sort((a, b) => a.localeCompare(b));
+        return compactRecord({
+            id: deterministicId(entityIdSeed(options, 'objectType', ot.apiName)),
+            apiName: ot.apiName,
+            displayName: ot.displayName ?? toDisplayName(ot.apiName),
+            description: ot.description,
+            status: 'active',
+            properties,
+            interfaces: interfaces.length > 0 ? interfaces : undefined,
+            primaryKey: ot.primaryKey,
+            metadata: ot.metadata && Object.keys(ot.metadata).length > 0 ? ot.metadata : undefined,
+        });
+    });
+    // Collect all links across types
+    const linkTypes = [];
+    for (const ot of sortedTypes) {
+        const sortedLinks = Object.entries(ot.links).sort(([a], [b]) => a.localeCompare(b));
+        for (const [linkName, linkDef] of sortedLinks) {
+            const linkApiName = `${ot.apiName}__${linkName}`;
+            linkTypes.push({
+                id: deterministicId(entityIdSeed(options, 'linkType', linkApiName)),
+                apiName: linkApiName,
+                sourceTypeApiName: ot.apiName,
+                targetTypeApiName: linkDef.targetApiName,
+                // Use linkName (stable identifier), not label (user-facing text)
+                relationshipType: linkName,
+                cardinality: linkDef.cardinality,
+                label: linkDef.label,
+                inverseName: linkDef.inverseName,
+                properties: [],
+            });
+        }
+    }
+    // Sort linkTypes for determinism
+    linkTypes.sort((a, b) => a.apiName.localeCompare(b.apiName));
+    // Compile actions
+    const sortedActions = [...(schema.actions ?? [])].sort((a, b) => {
+        const cmp = a.objectTypeApiName.localeCompare(b.objectTypeApiName);
+        return cmp !== 0 ? cmp : a.apiName.localeCompare(b.apiName);
+    });
+    const actions = sortedActions.map(act => {
+        const actRecord = act;
+        // Compile effects with V1 kind support
+        const compiledEffects = act.effects.length > 0
+            ? act.effects.map(e => {
+                const eRecord = e;
+                const kind = eRecord.kind;
+                if (kind && kind !== 'set') {
+                    // createRelated / link / unlink effects
+                    return compactRecord({
+                        kind,
+                        linkName: eRecord.linkName,
+                        targetType: typeof eRecord.targetType === 'function'
+                            ? eRecord.targetType().apiName
+                            : eRecord.targetType,
+                        fields: eRecord.fields,
+                        ref: eRecord.ref,
+                    });
+                }
+                // Legacy 'set' effect (field + value)
+                return compactRecord({ kind: kind ?? 'set', field: eRecord.field, value: eRecord.value });
+            })
+            : undefined;
+        // Compute definitionHash — SHA-256 of behavioral fields
+        const behavioralDef = {
+            targetType: act.objectTypeApiName,
+            inputSchema: act.parameters,
+            preconditions: act.conditions,
+            effects: compiledEffects,
+            executionMode: actRecord.executionMode ?? 'twin_apply',
+            limits: actRecord.limits,
+            risk: actRecord.risk,
+            requiredScopes: act.requiredScopes.length > 0
+                ? [...act.requiredScopes].sort((a2, b2) => a2.localeCompare(b2))
+                : undefined,
+        };
+        const behavioralJson = JSON.stringify(sortKeysDeep(behavioralDef));
+        const definitionHash = createHash('sha256').update(behavioralJson, 'utf8').digest('hex');
+        return compactRecord({
+            id: deterministicId(entityIdSeed(options, 'action', act.objectTypeApiName, act.apiName)),
+            apiName: act.apiName,
+            displayName: act.displayName ?? toDisplayName(act.apiName),
+            description: act.description,
+            objectTypeApiName: act.objectTypeApiName,
+            actionType: act.actionType,
+            trigger: act.trigger,
+            parameters: act.parameters.map(p => {
+                const pRecord = p;
+                return compactRecord({
+                    name: p.name,
+                    apiName: p.name,
+                    dataType: p.dataType,
+                    required: p.required,
+                    defaultValue: p.defaultValue,
+                    description: p.description,
+                    sensitive: pRecord.sensitive,
+                    ref: pRecord.ref,
+                });
+            }),
+            conditions: act.conditions.length > 0
+                ? act.conditions.map(c => ({ field: c.field, operator: c.operator, value: c.value }))
+                : undefined,
+            effects: compiledEffects,
+            requiredScopes: act.requiredScopes.length > 0
+                ? [...act.requiredScopes].sort((a2, b2) => a2.localeCompare(b2))
+                : undefined,
+            timeout: act.timeout,
+            // V1 DSL fields
+            definitionHash,
+            executionMode: actRecord.executionMode ?? 'twin_apply',
+            risk: actRecord.risk,
+            limits: actRecord.limits,
+            // Extended action fields (workflow/agent integration)
+            inputMapping: actRecord.inputMapping,
+            outputMapping: actRecord.outputMapping,
+            retryConfig: actRecord.retryConfig,
+            implementationType: actRecord.implementationType,
+            workflowId: actRecord.workflowId,
+            agentId: actRecord.agentId,
+            // V2 Model Assurance metadata
+            metadata: actRecord.metadata && typeof actRecord.metadata === 'object' && Object.keys(actRecord.metadata).length > 0
+                ? actRecord.metadata
+                : undefined,
+        });
+    });
+    // Compile interfaces
+    const sortedInterfaces = [...(schema.interfaces ?? [])].sort((a, b) => a.apiName.localeCompare(b.apiName));
+    const interfaces = sortedInterfaces.map(iface => compactRecord({
+        id: deterministicId(entityIdSeed(options, 'interface', iface.apiName)),
+        apiName: iface.apiName,
+        displayName: iface.displayName ?? toDisplayName(iface.apiName),
+        description: iface.description,
+        sharedProperties: Object.entries(iface.properties)
+            .sort(([a], [b]) => a.localeCompare(b))
+            .map(([name, prop]) => compileProperty(name, prop)),
+    }));
+    return {
+        version: '1.0',
+        generatedAt: options?.generatedAt ?? new Date().toISOString(),
+        workspaceId,
+        espaceId,
+        objectTypes,
+        linkTypes,
+        interfaces,
+        actions,
+    };
+}
+//# sourceMappingURL=compile.js.map

package/dist/compiler/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../src/compiler/compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzC,8EAA8E;AAC9E,8CAA8C;AAC9C,8EAA8E;AAE9E;;;GAGG;AACH,SAAS,eAAe,CAAC,KAAwB;IAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CACvB,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAC3D,CAAC;IAEF,wBAAwB;IACxB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IACpC,mBAAmB;IACnB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAEpC,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClC,OAAO;QACL,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACf,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAChB,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC;QACjB,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC;QACjB,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC;KAClB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACd,CAAC;AAED,0FAA0F;AAC1F,SAAS,YAAY,CACnB,OAAgE,EAChE,IAAY,EACZ,GAAG,KAAe;IAElB,OAAO;QACL,OAAO,EAAE,WAAW,IAAI,EAAE;QAC1B,OAAO,EAAE,QAAQ,IAAI,EAAE;QACvB,IAAI;QACJ,GAAG,KAAK;KACT,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,aAAa,CAAC,OAAe;IACpC,OAAO,OAAO;SACX,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;SAClB,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC;SACnC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED,wEAAwE;AACxE,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IAClD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACrD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAA8B,CAAC;QAC3C,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,0DAA0D;AAC1D,SAAS,aAAa,CAAoC,KAAQ;IAChE,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,MAAW,CAAC;AACrB,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,SAAS,eAAe,CAAC,SAAiB,EAAE,IAA2N;IACrQ,oEAAoE;IACpE,yEAAyE;IACzE,0DAA0D;IAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAA0C,CAAC;IACjE,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC,CAAE,IAAI,CAAC,WAAW,CAAC,IAAkB;aACjC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QACtD,CAAC,CAAC,SAAS,CAAC;IAEd,4EAA4E;IAC5E,qDAAqD;IACrD,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,IAAI,WAAW,EAAE,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;QACvE,WAAW,CAAC,IAAI,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,aAAa,CAAC;QACnB,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,SAAS;QAClB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ;QACR,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,WAAW;QACX,UAAU,EAAE,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;QACxE,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;KACzF,CAAuB,CAAC;AAC3B,CAAC;AAcD;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CACrB,WAAmC,EACnC,OAAwB;IAExB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAEtC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtF,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAsB,EACtB,OAAwB;IAExB,MAAM,WAAW,GAAG,OAAO,EAAE,WAAW,IAAI,EAAE,CAAC;IAC/C,MAAM,QAAQ,GAAG,OAAO,EAAE,QAAQ,IAAI,EAAE,CAAC;IAEzC,4CAA4C;IAC5C,MAAM,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAE/F,MAAM,WAAW,GAA2B,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAC/D,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC;aAC7C,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAEtD,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAEjF,OAAO,aAAa,CAAC;YACnB,EAAE,EAAE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;YACpE,OAAO,EAAE,EAAE,CAAC,OAAO;YACnB,WAAW,EAAE,EAAE,CAAC,WAAW,IAAI,aAAa,CAAC,EAAE,CAAC,OAAO,CAAC;YACxD,WAAW,EAAE,EAAE,CAAC,WAAW;YAC3B,MAAM,EAAE,QAAQ;YAChB,UAAU;YACV,UAAU,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;YAC1D,UAAU,EAAE,EAAE,CAAC,UAAU;YACzB,QAAQ,EAAE,EAAE,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;SACvF,CAAyB,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,iCAAiC;IACjC,MAAM,SAAS,GAAyB,EAAE,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC7B,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,WAAW,EAAE,CAAC;YAC9C,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YACjD,SAAS,CAAC,IAAI,CAAC;gBACb,EAAE,EAAE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;gBACnE,OAAO,EAAE,WAAW;gBACpB,iBAAiB,EAAE,EAAE,CAAC,OAAO;gBAC7B,iBAAiB,EAAE,OAAO,CAAC,aAAa;gBACxC,iEAAiE;gBACjE,gBAAgB,EAAE,QAAQ;gBAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,UAAU,EAAE,EAAE;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iCAAiC;IACjC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAE7D,kBAAkB;IAClB,MAAM,aAAa,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC9D,MAAM,GAAG,GAAG,CAAC,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;QACnE,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAuB,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QAC1D,MAAM,SAAS,GAAG,GAAyC,CAAC;QAE5D,uCAAuC;QACvC,MAAM,eAAe,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAC5C,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBAClB,MAAM,OAAO,GAAG,CAAuC,CAAC;gBACxD,MAAM,IAAI,GAAG,OAAO,CAAC,IAA0B,CAAC;gBAChD,IAAI,IAAI,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;oBAC3B,wCAAwC;oBACxC,OAAO,aAAa,CAAC;wBACnB,IAAI;wBACJ,QAAQ,EAAE,OAAO,CAAC,QAAQ;wBAC1B,UAAU,EAAE,OAAO,OAAO,CAAC,UAAU,KAAK,UAAU;4BAClD,CAAC,CAAE,OAAO,CAAC,UAAwC,EAAE,CAAC,OAAO;4BAC7D,CAAC,CAAC,OAAO,CAAC,UAAU;wBACtB,MAAM,EAAE,OAAO,CAAC,MAAM;wBACtB,GAAG,EAAE,OAAO,CAAC,GAAG;qBACjB,CAAC,CAAC;gBACL,CAAC;gBACD,sCAAsC;gBACtC,OAAO,aAAa,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;YAC5F,CAAC,CAAC;YACJ,CAAC,CAAC,SAAS,CAAC;QAEd,wDAAwD;QACxD,MAAM,aAAa,GAAG;YACpB,UAAU,EAAE,GAAG,CAAC,iBAAiB;YACjC,WAAW,EAAE,GAAG,CAAC,UAAU;YAC3B,aAAa,EAAE,GAAG,CAAC,UAAU;YAC7B,OAAO,EAAE,eAAe;YACxB,aAAa,EAAE,SAAS,CAAC,aAAa,IAAI,YAAY;YACtD,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,cAAc,EAAE,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC3C,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;gBAChE,CAAC,CAAC,SAAS;SACd,CAAC;QACF,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC;QACnE,MAAM,cAAc,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAEzF,OAAO,aAAa,CAAC;YACnB,EAAE,EAAE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,iBAAiB,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACxF,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,WAAW,EAAE,GAAG,CAAC,WAAW,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC;YAC1D,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,iBAAiB,EAAE,GAAG,CAAC,iBAAiB;YACxC,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBACjC,MAAM,OAAO,GAAG,CAAuC,CAAC;gBACxD,OAAO,aAAa,CAAC;oBACnB,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,OAAO,EAAE,CAAC,CAAC,IAAI;oBACf,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBACpB,YAAY,EAAE,CAAC,CAAC,YAAY;oBAC5B,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,SAAS,EAAE,OAAO,CAAC,SAAgC;oBACnD,GAAG,EAAE,OAAO,CAAC,GAAyB;iBACvC,CAAC,CAAC;YACL,CAAC,CAAC;YACF,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;gBACnC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;gBACrF,CAAC,CAAC,SAAS;YACb,OAAO,EAAE,eAAe;YACxB,cAAc,EAAE,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC3C,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;gBAChE,CAAC,CAAC,SAAS;YACb,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,gBAAgB;YAChB,cAAc;YACd,aAAa,EAAE,SAAS,CAAC,aAAa,IAAI,YAAY;YACtD,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,sDAAsD;YACtD,YAAY,EAAE,SAAS,CAAC,YAAY;YACpC,aAAa,EAAE,SAAS,CAAC,aAAa;YACtC,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,kBAAkB,EAAE,SAAS,CAAC,kBAAkB;YAChD,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,8BAA8B;YAC9B,QAAQ,EAAE,SAAS,CAAC,QAAQ,IAAI,OAAO,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAmC,CAAC,CAAC,MAAM,GAAG,CAAC;gBAC7I,CAAC,CAAC,SAAS,CAAC,QAAQ;gBACpB,CAAC,CAAC,SAAS;SACd,CAAqB,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,qBAAqB;IACrB,MAAM,gBAAgB,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3G,MAAM,UAAU,GAA0B,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CACrE,aAAa,CAAC;QACZ,EAAE,EAAE,eAAe,CAAC,YAAY,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACtE,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC;QAC9D,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;aAC/C,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;KACtD,CAAwB,CAC1B,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,KAAK;QACd,WAAW,EAAE,OAAO,EAAE,WAAW,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAC7D,WAAW;QACX,QAAQ;QACR,WAAW;QACX,SAAS;QACT,UAAU;QACV,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/compiler/resolve.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Resolve lazy link references and build a flat, materialized schema graph.
+ */
+import type { ObjectTypeDefinition, ActionDefinition, ResolvedSchema } from '../types.js';
+/**
+ * Resolve all lazy `() => Type` link references in a set of object type definitions,
+ * and resolve action target types.
+ *
+ * @param definitions - Array of ObjectTypeDefinitions (from DSL `objectType()` calls)
+ * @param actionDefs - Optional array of ActionDefinitions (from DSL `action()` calls)
+ * @returns ResolvedSchema with all references materialized
+ */
+export declare function resolve(definitions: ObjectTypeDefinition[], actionDefs?: ActionDefinition[]): ResolvedSchema;
+//# sourceMappingURL=resolve.d.ts.map

package/dist/compiler/resolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.d.ts","sourceRoot":"","sources":["../../src/compiler/resolve.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACV,oBAAoB,EAGpB,gBAAgB,EAChB,cAAc,EAKf,MAAM,aAAa,CAAC;AAOrB;;;;;;;GAOG;AACH,wBAAgB,OAAO,CACrB,WAAW,EAAE,oBAAoB,EAAE,EACnC,UAAU,CAAC,EAAE,gBAAgB,EAAE,GAC9B,cAAc,CAuIhB"}

package/dist/compiler/resolve.js

@@ -0,0 +1,132 @@
+/**
+ * Resolve lazy link references and build a flat, materialized schema graph.
+ */
+import { materializeProperty } from '../dsl/property.js';
+import { materializeLink } from '../dsl/link.js';
+import { materializeAction } from '../dsl/action.js';
+import { materializeInterface } from '../dsl/interface.js';
+import { materializeObjectType } from '../dsl/object-type.js';
+/**
+ * Resolve all lazy `() => Type` link references in a set of object type definitions,
+ * and resolve action target types.
+ *
+ * @param definitions - Array of ObjectTypeDefinitions (from DSL `objectType()` calls)
+ * @param actionDefs - Optional array of ActionDefinitions (from DSL `action()` calls)
+ * @returns ResolvedSchema with all references materialized
+ */
+export function resolve(definitions, actionDefs) {
+    const materializedDefinitions = definitions.map(def => materializeObjectType(def));
+    const knownApiNames = new Set(materializedDefinitions.map(d => d.apiName));
+    // Collect all interfaces from type definitions
+    const interfaceMap = new Map();
+    const objectTypes = materializedDefinitions.map(def => {
+        const properties = {};
+        const links = {};
+        const implementedInterfaces = [];
+        // Resolve interfaces — merge their properties into this type
+        for (const rawIface of def.interfaces ?? []) {
+            const iface = materializeInterface(rawIface);
+            if (!interfaceMap.has(iface.apiName)) {
+                const ifaceProps = {};
+                for (const [fieldName, field] of Object.entries(iface.fields)) {
+                    ifaceProps[fieldName] = materializeProperty(field);
+                }
+                interfaceMap.set(iface.apiName, {
+                    apiName: iface.apiName,
+                    displayName: iface.displayName,
+                    description: iface.description,
+                    properties: ifaceProps,
+                });
+            }
+            implementedInterfaces.push(iface.apiName);
+            // Merge interface properties into the type (interface props are defaults, type props override)
+            const resolved = interfaceMap.get(iface.apiName);
+            for (const [fieldName, prop] of Object.entries(resolved.properties)) {
+                if (!(fieldName in def.fields)) {
+                    properties[fieldName] = prop;
+                }
+            }
+        }
+        for (const [fieldName, field] of Object.entries(def.fields)) {
+            const materialized = field._kind === 'link'
+                ? materializeLink(field)
+                : materializeProperty(field);
+            if (materialized._kind === 'property') {
+                properties[fieldName] = materialized;
+            }
+            else {
+                // Invoke the lazy thunk to get the target ObjectTypeDefinition
+                let targetApiName;
+                try {
+                    const targetDef = materialized.target();
+                    targetApiName = targetDef.apiName;
+                }
+                catch {
+                    throw new Error(`Failed to resolve link "${fieldName}" on type "${def.apiName}": target thunk threw an error`);
+                }
+                if (!knownApiNames.has(targetApiName)) {
+                    throw new Error(`Link "${fieldName}" on type "${def.apiName}" points to unknown type "${targetApiName}"`);
+                }
+                links[fieldName] = {
+                    _kind: 'link',
+                    targetApiName,
+                    cardinality: materialized.cardinality,
+                    inverseName: materialized.inverseName,
+                    label: materialized.label,
+                    description: materialized.description,
+                };
+            }
+        }
+        return {
+            apiName: def.apiName,
+            displayName: def.displayName,
+            description: def.description,
+            primaryKey: def.primaryKey,
+            properties,
+            links,
+            interfaces: implementedInterfaces,
+            metadata: def.metadata,
+        };
+    });
+    // Resolve actions
+    const actions = (actionDefs ?? []).map(rawAction => {
+        const actionDef = materializeAction(rawAction);
+        let objectTypeApiName;
+        try {
+            const targetDef = actionDef.objectType();
+            objectTypeApiName = targetDef.apiName;
+        }
+        catch {
+            throw new Error(`Failed to resolve action "${actionDef.apiName}": target type thunk threw an error. Did you call .on(() => Type)?`);
+        }
+        if (!knownApiNames.has(objectTypeApiName)) {
+            throw new Error(`Action "${actionDef.apiName}" targets unknown type "${objectTypeApiName}"`);
+        }
+        return {
+            apiName: actionDef.apiName,
+            objectTypeApiName,
+            displayName: actionDef.displayName,
+            description: actionDef.description,
+            actionType: actionDef.actionType,
+            trigger: actionDef.trigger,
+            parameters: actionDef.parameters,
+            conditions: actionDef.conditions,
+            effects: actionDef.effects,
+            requiredScopes: actionDef.requiredScopes,
+            timeout: actionDef.timeout,
+            executionMode: actionDef.executionMode,
+            risk: actionDef.risk,
+            limits: actionDef.limits,
+            inputMapping: actionDef.inputMapping,
+            outputMapping: actionDef.outputMapping,
+            retryConfig: actionDef.retryConfig,
+            implementationType: actionDef.implementationType,
+            workflowId: actionDef.workflowId,
+            agentId: actionDef.agentId,
+            metadata: actionDef.metadata,
+        };
+    });
+    const interfaces = [...interfaceMap.values()];
+    return { objectTypes, actions, interfaces };
+}
+//# sourceMappingURL=resolve.js.map

package/dist/compiler/resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../../src/compiler/resolve.ts"],"names":[],"mappings":"AAAA;;GAEG;AAaH,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAE9D;;;;;;;GAOG;AACH,MAAM,UAAU,OAAO,CACrB,WAAmC,EACnC,UAA+B;IAE/B,MAAM,uBAAuB,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;IACnF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAE3E,+CAA+C;IAC/C,MAAM,YAAY,GAAG,IAAI,GAAG,EAA6B,CAAC;IAE1D,MAAM,WAAW,GAAyB,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QAC1E,MAAM,UAAU,GAAuC,EAAE,CAAC;QAC1D,MAAM,KAAK,GAAiC,EAAE,CAAC;QAC/C,MAAM,qBAAqB,GAAa,EAAE,CAAC;QAE3C,6DAA6D;QAC7D,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YAC5C,MAAM,KAAK,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YAE7C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACrC,MAAM,UAAU,GAAuC,EAAE,CAAC;gBAC1D,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC9D,UAAU,CAAC,SAAS,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;gBACrD,CAAC;gBACD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE;oBAC9B,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,UAAU,EAAE,UAAU;iBACvB,CAAC,CAAC;YACL,CAAC;YAED,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAE1C,+FAA+F;YAC/F,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAE,CAAC;YAClD,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACpE,IAAI,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC/B,UAAU,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;gBAC/B,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5D,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,KAAK,MAAM;gBACzC,CAAC,CAAC,eAAe,CAAC,KAAuB,CAAC;gBAC1C,CAAC,CAAC,mBAAmB,CAAC,KAA2B,CAAC,CAAC;YAErD,IAAI,YAAY,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBACtC,UAAU,CAAC,SAAS,CAAC,GAAG,YAAY,CAAC;YACvC,CAAC;iBAAM,CAAC;gBACN,+DAA+D;gBAC/D,IAAI,aAAqB,CAAC;gBAC1B,IAAI,CAAC;oBACH,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC;oBACxC,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC;gBACpC,CAAC;gBAAC,MAAM,CAAC;oBACP,MAAM,IAAI,KAAK,CACb,2BAA2B,SAAS,cAAc,GAAG,CAAC,OAAO,gCAAgC,CAC9F,CAAC;gBACJ,CAAC;gBAED,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;oBACtC,MAAM,IAAI,KAAK,CACb,SAAS,SAAS,cAAc,GAAG,CAAC,OAAO,6BAA6B,aAAa,GAAG,CACzF,CAAC;gBACJ,CAAC;gBAED,KAAK,CAAC,SAAS,CAAC,GAAG;oBACjB,KAAK,EAAE,MAAM;oBACb,aAAa;oBACb,WAAW,EAAE,YAAY,CAAC,WAAW;oBACrC,WAAW,EAAE,YAAY,CAAC,WAAW;oBACrC,KAAK,EAAE,YAAY,CAAC,KAAK;oBACzB,WAAW,EAAE,YAAY,CAAC,WAAW;iBACtC,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO;YACL,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,UAAU;YACV,KAAK;YACL,UAAU,EAAE,qBAAqB;YACjC,QAAQ,EAAE,GAAG,CAAC,QAAQ;SACvB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,kBAAkB;IAClB,MAAM,OAAO,GAAqB,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;QACnE,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAC/C,IAAI,iBAAyB,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,EAAE,CAAC;YACzC,iBAAiB,GAAG,SAAS,CAAC,OAAO,CAAC;QACxC,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,KAAK,CACb,6BAA6B,SAAS,CAAC,OAAO,oEAAoE,CACnH,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CACb,WAAW,SAAS,CAAC,OAAO,2BAA2B,iBAAiB,GAAG,CAC5E,CAAC;QACJ,CAAC;QAED,OAAO;YACL,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,iBAAiB;YACjB,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,cAAc,EAAE,SAAS,CAAC,cAAc;YACxC,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,aAAa,EAAE,SAAS,CAAC,aAAa;YACtC,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,YAAY,EAAE,SAAS,CAAC,YAAY;YACpC,aAAa,EAAE,SAAS,CAAC,aAAa;YACtC,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,kBAAkB,EAAE,SAAS,CAAC,kBAAkB;YAChD,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,QAAQ,EAAE,SAAS,CAAC,QAAQ;SAC7B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IAE9C,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC9C,CAAC"}