@ontologie/schema 0.1.0-preview.1

package/dist/index.d.ts

@@ -0,0 +1,47 @@
+/**
+ * @dataforge/schema — Schema authoring DSL
+ *
+ * Define, compile, diff, push, and pull ontology schemas.
+ *
+ * @example
+ * ```ts
+ * import { objectType, string, number, boolean, date, link, compile, diff } from '@dataforge/schema';
+ *
+ * const Company = objectType('Company', {
+ *   name: string().required(),
+ *   industry: string(),
+ *   revenue: number(),
+ *   isActive: boolean().default(true),
+ * });
+ *
+ * const Employee = objectType('Employee', {
+ *   name: string().required(),
+ *   email: string().email(),
+ *   salary: number().indexed(),
+ *   startDate: date(),
+ *   company: link.toOne(() => Company),
+ * });
+ *
+ * const manifest = compile([Company, Employee]);
+ * ```
+ */
+export { string, number, boolean, date, object, array, json, money } from './dsl/property.js';
+import type { PropertyBuilderLike } from './dsl/property.js';
+export declare function enumType(name: string, values: readonly string[]): PropertyBuilderLike;
+export declare function enum_(values: readonly string[]): PropertyBuilderLike;
+export { link } from './dsl/link.js';
+export { objectType, materializeObjectType } from './dsl/object-type.js';
+export { action, materializeAction, now, actor, target, input, workspace } from './dsl/action.js';
+export { defineInterface, materializeInterface } from './dsl/interface.js';
+export { sourceRef, decision, evidence, role, exceptionPath, term, lintModelAssurance, runProcessTests, modelChangePlan, } from './model-assurance.js';
+export { resolve } from './compiler/resolve.js';
+export { validate } from './compiler/validate.js';
+export { compile } from './compiler/compile.js';
+export { diff } from './diff/diff.js';
+export { formatDiff } from './diff/format.js';
+export { planPush } from './push/plan.js';
+export { executePush } from './push/execute.js';
+export { emitSchema } from './pull/emit-schema.js';
+export { generateLockfile, verifyLockfile, serializeLockfile, parseLockfile } from './lock/lockfile.js';
+export type { PropertyDefinition, LinkDefinition, ObjectTypeDefinition, ModelSourceRef, ModelDecision, ModelEvidence, ModelRole, ModelExceptionPath, ModelTerm, ModelAssuranceMetadata, ModelAssuranceIssue, ModelAssuranceLintResult, ProcessTestScenario, ProcessTestResult, ModelChangePlan, ActionDefinition, ActionParameterDefinition, ActionConditionDefinition, ActionEffectDefinition, ActionTrigger, ActionType, ActionRiskLevel, ActionExecutionMode, ActionEffectKind, ActionLimits, SymbolicRef, ConstValue, EffectFieldValue, ResolvedSchema, ResolvedObjectType, ResolvedLink, ResolvedAction, InterfaceDefinition, ResolvedInterface, ValidationResult, ValidationError, DiffResult, DiffChange, DiffKind, DiffEntity, CqrsCommand, PushProgress, LockfileContent, DataType, } from './types.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG9F,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,mBAAmB,CAQrF;AACD,wBAAgB,KAAK,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,mBAAmB,CAEpE;AACD,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AACzE,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EACL,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,IAAI,EACJ,kBAAkB,EAClB,eAAe,EACf,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAGhD,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGhD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGnD,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAGxG,YAAY,EACV,kBAAkB,EAClB,cAAc,EACd,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,aAAa,EACb,SAAS,EACT,kBAAkB,EAClB,SAAS,EACT,sBAAsB,EACtB,mBAAmB,EACnB,wBAAwB,EACxB,mBAAmB,EACnB,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,yBAAyB,EACzB,yBAAyB,EACzB,sBAAsB,EACtB,aAAa,EACb,UAAU,EACV,eAAe,EACf,mBAAmB,EACnB,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,kBAAkB,EAClB,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,UAAU,EACV,UAAU,EACV,QAAQ,EACR,UAAU,EACV,WAAW,EACX,YAAY,EACZ,eAAe,EACf,QAAQ,GACT,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,63 @@
+/**
+ * @dataforge/schema — Schema authoring DSL
+ *
+ * Define, compile, diff, push, and pull ontology schemas.
+ *
+ * @example
+ * ```ts
+ * import { objectType, string, number, boolean, date, link, compile, diff } from '@dataforge/schema';
+ *
+ * const Company = objectType('Company', {
+ *   name: string().required(),
+ *   industry: string(),
+ *   revenue: number(),
+ *   isActive: boolean().default(true),
+ * });
+ *
+ * const Employee = objectType('Employee', {
+ *   name: string().required(),
+ *   email: string().email(),
+ *   salary: number().indexed(),
+ *   startDate: date(),
+ *   company: link.toOne(() => Company),
+ * });
+ *
+ * const manifest = compile([Company, Employee]);
+ * ```
+ */
+// DSL builders
+export { string, number, boolean, date, object, array, json, money } from './dsl/property.js';
+// Convenience re-exports for enum properties.
+import { string as _stringBuilder } from './dsl/property.js';
+export function enumType(name, values) {
+    if (typeof name !== 'string' || name.trim().length === 0) {
+        throw new Error('enumType(name, values) requires a non-empty enum name.');
+    }
+    if (!Array.isArray(values) || values.length === 0) {
+        throw new Error(`enumType("${name}") requires values. Use enumType("${name}", [...]) and reuse the returned builder.`);
+    }
+    return _stringBuilder().enum([...values]).enumName(name.trim());
+}
+export function enum_(values) {
+    return _stringBuilder().enum([...values]);
+}
+export { link } from './dsl/link.js';
+export { objectType, materializeObjectType } from './dsl/object-type.js';
+export { action, materializeAction, now, actor, target, input, workspace } from './dsl/action.js';
+export { defineInterface, materializeInterface } from './dsl/interface.js';
+export { sourceRef, decision, evidence, role, exceptionPath, term, lintModelAssurance, runProcessTests, modelChangePlan, } from './model-assurance.js';
+// Compiler
+export { resolve } from './compiler/resolve.js';
+export { validate } from './compiler/validate.js';
+export { compile } from './compiler/compile.js';
+// Diff
+export { diff } from './diff/diff.js';
+export { formatDiff } from './diff/format.js';
+// Push
+export { planPush } from './push/plan.js';
+export { executePush } from './push/execute.js';
+// Pull
+export { emitSchema } from './pull/emit-schema.js';
+// Lockfile
+export { generateLockfile, verifyLockfile, serializeLockfile, parseLockfile } from './lock/lockfile.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,eAAe;AACf,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC9F,8CAA8C;AAC9C,OAAO,EAAE,MAAM,IAAI,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAE7D,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,MAAyB;IAC9D,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,qCAAqC,IAAI,2CAA2C,CAAC,CAAC;IACzH,CAAC;IACD,OAAO,cAAc,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAmC,CAAC;AACpG,CAAC;AACD,MAAM,UAAU,KAAK,CAAC,MAAyB;IAC7C,OAAO,cAAc,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,CAAmC,CAAC;AAC9E,CAAC;AACD,OAAO,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AACzE,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EACL,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,IAAI,EACJ,aAAa,EACb,IAAI,EACJ,kBAAkB,EAClB,eAAe,EACf,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAE9B,WAAW;AACX,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAEhD,OAAO;AACP,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO;AACP,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO;AACP,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,WAAW;AACX,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/lock/lockfile.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Lockfile — SHA-256 manifest hash for drift detection.
+ *
+ * `dataforge.lock` stores the hash of the last pushed/pulled manifest,
+ * so `schema check` can detect local drift without a network call.
+ */
+import type { OntologyManifest } from '@dataforge/sdk-types';
+import type { LockfileContent } from '../types.js';
+/**
+ * Generate a lockfile content object from a compiled OntologyManifest.
+ */
+export declare function generateLockfile(manifest: OntologyManifest): LockfileContent;
+/**
+ * Verify whether a lockfile still matches a manifest.
+ *
+ * @param lockContent - Parsed lockfile content
+ * @param manifest - Current compiled manifest
+ * @returns `{ drifted: false }` if hash matches, `{ drifted: true }` otherwise
+ */
+export declare function verifyLockfile(lockContent: LockfileContent, manifest: OntologyManifest): {
+    drifted: boolean;
+};
+/**
+ * Serialize a LockfileContent to a JSON string for writing to disk.
+ */
+export declare function serializeLockfile(content: LockfileContent): string;
+/**
+ * Parse a lockfile JSON string.
+ */
+export declare function parseLockfile(raw: string): LockfileContent;
+//# sourceMappingURL=lockfile.d.ts.map

package/dist/lock/lockfile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lockfile.d.ts","sourceRoot":"","sources":["../../src/lock/lockfile.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAiCnD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,eAAe,CAe5E;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC5B,WAAW,EAAE,eAAe,EAC5B,QAAQ,EAAE,gBAAgB,GACzB;IAAE,OAAO,EAAE,OAAO,CAAA;CAAE,CAetB;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAElE;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,CAE1D"}

package/dist/lock/lockfile.js

@@ -0,0 +1,86 @@
+/**
+ * Lockfile — SHA-256 manifest hash for drift detection.
+ *
+ * `dataforge.lock` stores the hash of the last pushed/pulled manifest,
+ * so `schema check` can detect local drift without a network call.
+ */
+import { createHash } from 'node:crypto';
+/**
+ * Produce a deterministic JSON string from a manifest.
+ * Strips volatile fields (generatedAt) and sorts keys.
+ */
+function sortKeysDeep(value) {
+    if (Array.isArray(value)) {
+        return value.map(sortKeysDeep);
+    }
+    if (value && typeof value === 'object') {
+        const sorted = {};
+        for (const key of Object.keys(value).sort()) {
+            sorted[key] = sortKeysDeep(value[key]);
+        }
+        return sorted;
+    }
+    return value;
+}
+function canonicalize(manifest) {
+    const stable = {
+        version: manifest.version,
+        workspaceId: manifest.workspaceId,
+        espaceId: manifest.espaceId,
+        objectTypes: manifest.objectTypes,
+        linkTypes: manifest.linkTypes,
+        interfaces: manifest.interfaces,
+        actions: manifest.actions,
+    };
+    return JSON.stringify(sortKeysDeep(stable));
+}
+/**
+ * Generate a lockfile content object from a compiled OntologyManifest.
+ */
+export function generateLockfile(manifest) {
+    const canonical = canonicalize(manifest);
+    const hash = createHash('sha256').update(canonical).digest('hex');
+    // Use v2 when manifest has a human-readable version (e.g. "2026-04-25.1")
+    const isHumanVersion = manifest.version && /^\d{4}-\d{2}-\d{2}\.\d+$/.test(manifest.version);
+    return {
+        version: isHumanVersion ? '2' : '1',
+        ...(isHumanVersion ? { manifestVersion: manifest.version } : {}),
+        manifestHash: hash,
+        objectTypes: manifest.objectTypes.map(t => t.apiName).sort(),
+        linkTypes: manifest.linkTypes.map(l => l.apiName).sort(),
+        generatedAt: new Date().toISOString(),
+    };
+}
+/**
+ * Verify whether a lockfile still matches a manifest.
+ *
+ * @param lockContent - Parsed lockfile content
+ * @param manifest - Current compiled manifest
+ * @returns `{ drifted: false }` if hash matches, `{ drifted: true }` otherwise
+ */
+export function verifyLockfile(lockContent, manifest) {
+    // Fast path: compare human-readable version when both sides have it
+    if (lockContent.version === '2' &&
+        lockContent.manifestVersion &&
+        manifest.version &&
+        /^\d{4}-\d{2}-\d{2}\.\d+$/.test(manifest.version)) {
+        return { drifted: lockContent.manifestVersion !== manifest.version };
+    }
+    // Fall back to hash comparison
+    const canonical = canonicalize(manifest);
+    const currentHash = createHash('sha256').update(canonical).digest('hex');
+    return { drifted: currentHash !== lockContent.manifestHash };
+}
+/**
+ * Serialize a LockfileContent to a JSON string for writing to disk.
+ */
+export function serializeLockfile(content) {
+    return JSON.stringify(content, null, 2) + '\n';
+}
+/**
+ * Parse a lockfile JSON string.
+ */
+export function parseLockfile(raw) {
+    return JSON.parse(raw);
+}
+//# sourceMappingURL=lockfile.js.map

package/dist/lock/lockfile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lockfile.js","sourceRoot":"","sources":["../../src/lock/lockfile.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAIzC;;;GAGG;AACH,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAgC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACvE,MAAM,CAAC,GAAG,CAAC,GAAG,YAAY,CAAE,KAAiC,CAAC,GAAG,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,QAA0B;IAC9C,MAAM,MAAM,GAAG;QACb,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,OAAO,EAAE,QAAQ,CAAC,OAAO;KAC1B,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAA0B;IACzD,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAElE,0EAA0E;IAC1E,MAAM,cAAc,GAAG,QAAQ,CAAC,OAAO,IAAI,0BAA0B,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAE7F,OAAO;QACL,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;QACnC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,YAAY,EAAE,IAAI;QAClB,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QAC5D,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QACxD,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACtC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAC5B,WAA4B,EAC5B,QAA0B;IAE1B,oEAAoE;IACpE,IACE,WAAW,CAAC,OAAO,KAAK,GAAG;QAC3B,WAAW,CAAC,eAAe;QAC3B,QAAQ,CAAC,OAAO;QAChB,0BAA0B,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EACjD,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC,eAAe,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC;IACvE,CAAC;IAED,+BAA+B;IAC/B,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACzE,OAAO,EAAE,OAAO,EAAE,WAAW,KAAK,WAAW,CAAC,YAAY,EAAE,CAAC;AAC/D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAwB;IACxD,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC;AACjD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAoB,CAAC;AAC5C,CAAC"}

package/dist/model-assurance.d.ts

@@ -0,0 +1,27 @@
+import type { ModelAssuranceLintResult, ModelAssuranceMetadata, ModelChangePlan, ModelDecision, ModelEvidence, ModelExceptionPath, ModelRole, ModelSourceRef, ModelTerm, ProcessTestResult, ProcessTestScenario, ResolvedSchema } from './types.js';
+type Entity = {
+    apiName: string;
+    objectTypeApiName?: string;
+    metadata?: Record<string, unknown>;
+};
+type SchemaLike = ResolvedSchema | {
+    objectTypes?: Entity[];
+    actions?: Entity[];
+};
+type MetadataPatch = Partial<ModelAssuranceMetadata>;
+export declare function mergeModelAssuranceMetadata(existing: Record<string, unknown> | undefined, patch: MetadataPatch): Record<string, unknown> & {
+    modelAssurance: ModelAssuranceMetadata;
+};
+export declare function sourceRef(input: string | Omit<ModelSourceRef, 'kind'>): ModelSourceRef;
+export declare function decision(input: string | Omit<ModelDecision, 'kind'>): ModelDecision;
+export declare function evidence(input: string | Omit<ModelEvidence, 'kind' | 'required'> & {
+    required?: boolean;
+}): ModelEvidence;
+export declare function role(input: string | Omit<ModelRole, 'kind'>): ModelRole;
+export declare function exceptionPath(input: string | Omit<ModelExceptionPath, 'kind'>): ModelExceptionPath;
+export declare function term(input: string | Omit<ModelTerm, 'kind'>): ModelTerm;
+export declare function lintModelAssurance(schema: SchemaLike): ModelAssuranceLintResult;
+export declare function runProcessTests(schema: SchemaLike, scenarios: readonly ProcessTestScenario[]): ProcessTestResult;
+export declare function modelChangePlan(before: SchemaLike, after: SchemaLike): ModelChangePlan;
+export {};
+//# sourceMappingURL=model-assurance.d.ts.map

package/dist/model-assurance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-assurance.d.ts","sourceRoot":"","sources":["../src/model-assurance.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAEV,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,aAAa,EACb,aAAa,EACb,kBAAkB,EAClB,SAAS,EACT,cAAc,EACd,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,cAAc,EACf,MAAM,YAAY,CAAC;AAEpB,KAAK,MAAM,GAAG;IACZ,OAAO,EAAE,MAAM,CAAC;IAChB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC,CAAC;AAEF,KAAK,UAAU,GAAG,cAAc,GAAG;IACjC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB,CAAC;AAEF,KAAK,aAAa,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;AAmBrD,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAC7C,KAAK,EAAE,aAAa,GACnB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;IAAE,cAAc,EAAE,sBAAsB,CAAA;CAAE,CActE;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,GAAG,cAAc,CAEtF;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC,GAAG,aAAa,CAInF;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,GAAG,UAAU,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,aAAa,CAIzH;AAED,wBAAgB,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,SAAS,CAEvE;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,kBAAkB,EAAE,MAAM,CAAC,GAAG,kBAAkB,CAIlG;AAED,wBAAgB,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,SAAS,CAIvE;AAoBD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,UAAU,GAAG,wBAAwB,CAkD/E;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,mBAAmB,EAAE,GAAG,iBAAiB,CAyBhH;AAgBD,wBAAgB,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,eAAe,CAyBtF"}

package/dist/model-assurance.js

@@ -0,0 +1,194 @@
+import { createHash } from 'node:crypto';
+function asRecord(value) {
+    return value && typeof value === 'object' && !Array.isArray(value) ? value : {};
+}
+function asArray(value) {
+    return Array.isArray(value) ? value : [];
+}
+function modelMeta(meta) {
+    return asRecord(asRecord(meta).modelAssurance);
+}
+function append(left, right) {
+    const merged = [...(left ?? []), ...(right ?? [])];
+    return merged.length > 0 ? merged : undefined;
+}
+export function mergeModelAssuranceMetadata(existing, patch) {
+    const current = modelMeta(existing);
+    return {
+        ...(existing ?? {}),
+        modelAssurance: {
+            ...current,
+            sourceRefs: append(current.sourceRefs, patch.sourceRefs),
+            decisions: append(current.decisions, patch.decisions),
+            evidence: append(current.evidence, patch.evidence),
+            roles: append(current.roles, patch.roles),
+            exceptionPaths: append(current.exceptionPaths, patch.exceptionPaths),
+            terms: append(current.terms, patch.terms),
+        },
+    };
+}
+export function sourceRef(input) {
+    return typeof input === 'string' ? { kind: 'sourceRef', uri: input } : { kind: 'sourceRef', ...input };
+}
+export function decision(input) {
+    return typeof input === 'string'
+        ? { kind: 'decision', id: input, criteria: [] }
+        : { kind: 'decision', ...input, criteria: input.criteria ?? [] };
+}
+export function evidence(input) {
+    return typeof input === 'string'
+        ? { kind: 'evidence', id: input, required: true }
+        : { kind: 'evidence', required: input.required ?? true, ...input };
+}
+export function role(input) {
+    return typeof input === 'string' ? { kind: 'role', id: input } : { kind: 'role', ...input };
+}
+export function exceptionPath(input) {
+    return typeof input === 'string'
+        ? { kind: 'exceptionPath', id: input, when: input }
+        : { kind: 'exceptionPath', ...input };
+}
+export function term(input) {
+    return typeof input === 'string'
+        ? { kind: 'term', name: input, definition: input }
+        : { kind: 'term', ...input };
+}
+function issue(code, severity, path, message) {
+    return { code, severity, path, message };
+}
+function objectTypes(schema) {
+    return [...(schema.objectTypes ?? [])];
+}
+function actions(schema) {
+    return [...(schema.actions ?? [])];
+}
+function entityPath(entity, kind) {
+    return kind === 'action' && entity.objectTypeApiName
+        ? `action:${entity.objectTypeApiName}.${entity.apiName}`
+        : `${kind}:${entity.apiName}`;
+}
+export function lintModelAssurance(schema) {
+    const issues = [];
+    const allObjectTypes = objectTypes(schema);
+    const allActions = actions(schema);
+    for (const objectType of allObjectTypes) {
+        const meta = modelMeta(objectType.metadata);
+        const path = entityPath(objectType, 'objectType');
+        if (asArray(meta.sourceRefs).length === 0) {
+            issues.push(issue('MODEL_SOURCE_REF_MISSING', 'warning', path, `Object type "${objectType.apiName}" has no sourceRef`));
+        }
+        for (const t of asArray(meta.terms)) {
+            if (asArray(t.negativeDefinitions).length === 0) {
+                issues.push(issue('MODEL_TERM_NEGATIVE_DEFINITION_MISSING', 'info', `${path}.term(${t.name})`, `Term "${t.name}" has no negative definition`));
+            }
+        }
+    }
+    for (const action of allActions) {
+        const meta = modelMeta(action.metadata);
+        const path = entityPath(action, 'action');
+        if (asArray(meta.sourceRefs).length === 0)
+            issues.push(issue('MODEL_SOURCE_REF_MISSING', 'warning', path, `Action "${action.apiName}" has no sourceRef`));
+        if (asArray(meta.decisions).length === 0)
+            issues.push(issue('MODEL_DECISION_MISSING', 'warning', path, `Action "${action.apiName}" has no decision()`));
+        if (asArray(meta.evidence).length === 0)
+            issues.push(issue('MODEL_EVIDENCE_MISSING', 'warning', path, `Action "${action.apiName}" has no evidence()`));
+        if (asArray(meta.roles).length === 0)
+            issues.push(issue('MODEL_ROLE_MISSING', 'warning', path, `Action "${action.apiName}" has no role()`));
+        if (asArray(meta.exceptionPaths).length === 0)
+            issues.push(issue('MODEL_EXCEPTION_PATH_MISSING', 'info', path, `Action "${action.apiName}" has no exceptionPath()`));
+    }
+    const warningPenalty = issues.filter(i => i.severity === 'warning').length * 10;
+    const errorPenalty = issues.filter(i => i.severity === 'error').length * 25;
+    const infoPenalty = issues.filter(i => i.severity === 'info').length * 3;
+    const score = Math.max(0, 100 - warningPenalty - errorPenalty - infoPenalty);
+    const allMeta = [...allObjectTypes, ...allActions].map(e => modelMeta(e.metadata));
+    return {
+        version: 'dataforge.model-assurance.v1',
+        valid: !issues.some(i => i.severity === 'error'),
+        score,
+        issues,
+        gaps: issues.filter(i => i.severity !== 'info'),
+        stats: {
+            objectTypes: allObjectTypes.length,
+            actions: allActions.length,
+            decisions: allMeta.reduce((n, meta) => n + asArray(meta.decisions).length, 0),
+            evidence: allMeta.reduce((n, meta) => n + asArray(meta.evidence).length, 0),
+            roles: allMeta.reduce((n, meta) => n + asArray(meta.roles).length, 0),
+            exceptionPaths: allMeta.reduce((n, meta) => n + asArray(meta.exceptionPaths).length, 0),
+            terms: allMeta.reduce((n, meta) => n + asArray(meta.terms).length, 0),
+        },
+    };
+}
+export function runProcessTests(schema, scenarios) {
+    const lint = lintModelAssurance(schema);
+    const allActions = actions(schema);
+    const results = scenarios.map((scenario) => {
+        const action = allActions.find(a => a.apiName === scenario.action || `${a.objectTypeApiName}.${a.apiName}` === scenario.action);
+        const issues = [];
+        if (!action) {
+            issues.push(issue('MODEL_TEST_SCENARIO_FAILED', 'error', `scenario:${scenario.id}`, `Action "${scenario.action}" was not found`));
+        }
+        else {
+            const meta = modelMeta(action.metadata);
+            if (scenario.expect.hasDecision && asArray(meta.decisions).length === 0)
+                issues.push(issue('MODEL_DECISION_MISSING', 'error', `scenario:${scenario.id}`, 'Expected decision()'));
+            if (scenario.expect.hasEvidence && asArray(meta.evidence).length === 0)
+                issues.push(issue('MODEL_EVIDENCE_MISSING', 'error', `scenario:${scenario.id}`, 'Expected evidence()'));
+            if (scenario.expect.hasRole && asArray(meta.roles).length === 0)
+                issues.push(issue('MODEL_ROLE_MISSING', 'error', `scenario:${scenario.id}`, 'Expected role()'));
+            if (scenario.expect.hasExceptionPath && asArray(meta.exceptionPaths).length === 0)
+                issues.push(issue('MODEL_EXCEPTION_PATH_MISSING', 'error', `scenario:${scenario.id}`, 'Expected exceptionPath()'));
+        }
+        if (scenario.expect.maxGaps !== undefined && lint.gaps.length > scenario.expect.maxGaps) {
+            issues.push(issue('MODEL_TEST_SCENARIO_FAILED', 'error', `scenario:${scenario.id}`, `Expected at most ${scenario.expect.maxGaps} model gaps, got ${lint.gaps.length}`));
+        }
+        return { id: scenario.id, action: scenario.action, passed: issues.length === 0, issues };
+    });
+    return {
+        version: 'dataforge.process-test.v1',
+        passed: results.every(result => result.passed),
+        scenarios: results,
+    };
+}
+function stableHash(value) {
+    return createHash('sha256').update(JSON.stringify(sortKeys(value)), 'utf8').digest('hex');
+}
+function sortKeys(value) {
+    if (Array.isArray(value))
+        return value.map(sortKeys);
+    if (!value || typeof value !== 'object')
+        return value;
+    return Object.fromEntries(Object.entries(value).sort(([a], [b]) => a.localeCompare(b)).map(([k, v]) => [k, sortKeys(v)]));
+}
+function byName(items) {
+    return new Map(items.map(item => [item.objectTypeApiName ? `${item.objectTypeApiName}.${item.apiName}` : item.apiName, item]));
+}
+export function modelChangePlan(before, after) {
+    const changes = [];
+    for (const [entity, beforeItems, afterItems] of [
+        ['objectType', objectTypes(before), objectTypes(after)],
+        ['action', actions(before), actions(after)],
+    ]) {
+        const left = byName(beforeItems);
+        const right = byName(afterItems);
+        for (const [name, item] of left) {
+            if (!right.has(name))
+                changes.push({ kind: 'removed', entity, name, field: 'entity', before: item, requiresReview: true });
+        }
+        for (const [name, item] of right) {
+            const previous = left.get(name);
+            if (!previous) {
+                changes.push({ kind: 'added', entity, name, field: 'entity', after: item, requiresReview: true });
+            }
+            else if (stableHash(previous.metadata ?? {}) !== stableHash(item.metadata ?? {})) {
+                changes.push({ kind: 'modified', entity, name, field: 'metadata.modelAssurance', before: previous.metadata, after: item.metadata, requiresReview: true });
+            }
+        }
+    }
+    return {
+        version: 'dataforge.model-change-plan.v1',
+        hasBehavioralChanges: changes.some(c => c.requiresReview),
+        changes,
+    };
+}
+//# sourceMappingURL=model-assurance.js.map

package/dist/model-assurance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-assurance.js","sourceRoot":"","sources":["../src/model-assurance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA8BzC,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAgC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7G,CAAC;AAED,SAAS,OAAO,CAAI,KAAc;IAChC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAY,CAAC,CAAC,CAAC,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,SAAS,CAAC,IAAa;IAC9B,OAAO,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,cAAc,CAAsC,CAAC;AACtF,CAAC;AAED,SAAS,MAAM,CAAI,IAA8B,EAAE,KAA+B;IAChF,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IACnD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,QAA6C,EAC7C,KAAoB;IAEpB,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACpC,OAAO;QACL,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC;QACnB,cAAc,EAAE;YACd,GAAG,OAAO;YACV,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC;YACxD,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;YACrD,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;YAClD,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;YACzC,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,KAAK,CAAC,cAAc,CAAC;YACpE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;SAC1C;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,KAA4C;IACpE,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,KAAK,EAAE,CAAC;AACzG,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAA2C;IAClE,OAAO,OAAO,KAAK,KAAK,QAAQ;QAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE;QAC/C,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAiF;IACxG,OAAO,OAAO,KAAK,KAAK,QAAQ;QAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE;QACjD,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,IAAI,EAAE,GAAG,KAAK,EAAE,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,KAAuC;IAC1D,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,CAAC;AAC9F,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAgD;IAC5E,OAAO,OAAO,KAAK,KAAK,QAAQ;QAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE;QACnD,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,KAAuC;IAC1D,OAAO,OAAO,KAAK,KAAK,QAAQ;QAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE;QAClD,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,KAAK,CAAC,IAAiC,EAAE,QAAyC,EAAE,IAAY,EAAE,OAAe;IACxH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,WAAW,CAAC,MAAkB;IACrC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC,CAAa,CAAC;AACrD,CAAC;AAED,SAAS,OAAO,CAAC,MAAkB;IACjC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAa,CAAC;AACjD,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,IAA6B;IAC/D,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,iBAAiB;QAClD,CAAC,CAAC,UAAU,MAAM,CAAC,iBAAiB,IAAI,MAAM,CAAC,OAAO,EAAE;QACxD,CAAC,CAAC,GAAG,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAkB;IACnD,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAEnC,KAAK,MAAM,UAAU,IAAI,cAAc,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QAClD,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC;QAC1H,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAY,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/C,IAAI,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAChD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,wCAAwC,EAAE,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC,IAAI,GAAG,EAAE,SAAS,CAAC,CAAC,IAAI,8BAA8B,CAAC,CAAC,CAAC;YACjJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC1C,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC;QAC1J,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;QACxJ,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;QACvJ,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC;QAC5I,IAAI,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAC,CAAC;IACvK,CAAC;IAED,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC;IAChF,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC;IAC5E,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,cAAc,GAAG,YAAY,GAAG,WAAW,CAAC,CAAC;IAE7E,MAAM,OAAO,GAAG,CAAC,GAAG,cAAc,EAAE,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnF,OAAO;QACL,OAAO,EAAE,8BAA8B;QACvC,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;QAChD,KAAK;QACL,MAAM;QACN,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC;QAC/C,KAAK,EAAE;YACL,WAAW,EAAE,cAAc,CAAC,MAAM;YAClC,OAAO,EAAE,UAAU,CAAC,MAAM;YAC1B,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAC7E,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAC3E,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACrE,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACvF,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;SACtE;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAkB,EAAE,SAAyC;IAC3F,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QACzC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC;QAChI,MAAM,MAAM,GAA0B,EAAE,CAAC;QACzC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,4BAA4B,EAAE,OAAO,EAAE,YAAY,QAAQ,CAAC,EAAE,EAAE,EAAE,WAAW,QAAQ,CAAC,MAAM,iBAAiB,CAAC,CAAC,CAAC;QACpI,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAI,QAAQ,CAAC,MAAM,CAAC,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,OAAO,EAAE,YAAY,QAAQ,CAAC,EAAE,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC;YACjL,IAAI,QAAQ,CAAC,MAAM,CAAC,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,OAAO,EAAE,YAAY,QAAQ,CAAC,EAAE,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC;YAChL,IAAI,QAAQ,CAAC,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,OAAO,EAAE,YAAY,QAAQ,CAAC,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC;YACjK,IAAI,QAAQ,CAAC,MAAM,CAAC,gBAAgB,IAAI,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,EAAE,OAAO,EAAE,YAAY,QAAQ,CAAC,EAAE,EAAE,EAAE,0BAA0B,CAAC,CAAC,CAAC;QACxM,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACxF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,4BAA4B,EAAE,OAAO,EAAE,YAAY,QAAQ,CAAC,EAAE,EAAE,EAAE,oBAAoB,QAAQ,CAAC,MAAM,CAAC,OAAO,oBAAoB,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1K,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3F,CAAC,CAAC,CAAC;IACH,OAAO;QACL,OAAO,EAAE,2BAA2B;QACpC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QAC9C,SAAS,EAAE,OAAO;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvJ,CAAC;AAED,SAAS,MAAM,CAAC,KAAe;IAC7B,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AACjI,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAkB,EAAE,KAAiB;IACnE,MAAM,OAAO,GAAyC,EAAE,CAAC;IACzD,KAAK,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,UAAU,CAAC,IAAI;QAC9C,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAU;QAChE,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAU;KACrD,EAAE,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;YAChC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7H,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;YACpG,CAAC;iBAAM,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;gBACnF,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,yBAAyB,EAAE,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5J,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO;QACL,OAAO,EAAE,gCAAgC;QACzC,oBAAoB,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC;QACzD,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/pull/emit-schema.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Pull — generate a `dataforge.schema.ts` source file from an OntologyManifest.
+ *
+ * Performs topological sort so types without link dependencies come first,
+ * uses lazy `() => Type` for forward references.
+ *
+ * Fixes over V2:
+ * - apiName preserved exactly (no toCamelCase mangling) — round-trip safe
+ * - Chained declarations via pushChainedDeclaration (no fragile lastLine surgery)
+ * - ObjectType metadata emitted (displayName, description, primaryKey, implements)
+ * - All string interpolation uses JSON.stringify (injection-safe)
+ * - N:N cardinality maps to toMany (not toOne)
+ * - Variable name allocator: sanitizes identifiers, deduplicates, avoids reserved words
+ */
+import type { OntologyManifest } from '@dataforge/sdk-types';
+/**
+ * Generate TypeScript source code using the `@dataforge/schema` DSL
+ * from an OntologyManifest.
+ *
+ * @param manifest - The remote OntologyManifest
+ * @returns Valid TypeScript source string
+ */
+export declare function emitSchema(manifest: OntologyManifest): string;
+//# sourceMappingURL=emit-schema.d.ts.map

package/dist/pull/emit-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-schema.d.ts","sourceRoot":"","sources":["../../src/pull/emit-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAgE,MAAM,sBAAsB,CAAC;AAmS3H;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,gBAAgB,GAAG,MAAM,CAgO7D"}