@ontologie/schema 0.1.0-preview.1

package/dist/compiler/validate.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Validate a resolved schema for correctness.
+ */
+import type { ResolvedSchema, ValidationResult } from '../types.js';
+/**
+ * Validate a resolved schema:
+ * - No duplicate apiNames across object types
+ * - All apiNames are valid identifiers (alphanumeric + underscore, starts with letter)
+ * - No duplicate property names within a type
+ * - All link targets resolve to known types (already enforced by resolve, but double-check)
+ * - Action targets resolve to known types
+ * - No duplicate action apiNames per object type
+ */
+export declare function validate(schema: ResolvedSchema): ValidationResult;
+//# sourceMappingURL=validate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/compiler/validate.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAmB,MAAM,aAAa,CAAC;AAIrF;;;;;;;;GAQG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,gBAAgB,CA6LjE"}

package/dist/compiler/validate.js

@@ -0,0 +1,188 @@
+/**
+ * Validate a resolved schema for correctness.
+ */
+const API_NAME_RE = /^[a-zA-Z][a-zA-Z0-9_]*$/;
+/**
+ * Validate a resolved schema:
+ * - No duplicate apiNames across object types
+ * - All apiNames are valid identifiers (alphanumeric + underscore, starts with letter)
+ * - No duplicate property names within a type
+ * - All link targets resolve to known types (already enforced by resolve, but double-check)
+ * - Action targets resolve to known types
+ * - No duplicate action apiNames per object type
+ */
+export function validate(schema) {
+    const errors = [];
+    const seenApiNames = new Map();
+    for (const ot of schema.objectTypes) {
+        // Check apiName format
+        if (!API_NAME_RE.test(ot.apiName)) {
+            errors.push({
+                path: ot.apiName,
+                message: `Invalid apiName "${ot.apiName}": must start with a letter and contain only alphanumeric characters and underscores`,
+            });
+        }
+        // Check duplicate apiNames
+        const count = (seenApiNames.get(ot.apiName) ?? 0) + 1;
+        seenApiNames.set(ot.apiName, count);
+        if (count > 1) {
+            errors.push({
+                path: ot.apiName,
+                message: `Duplicate objectType apiName "${ot.apiName}"`,
+            });
+        }
+        // Check duplicate property/link names within the type
+        const fieldNames = new Set();
+        for (const propName of Object.keys(ot.properties)) {
+            if (fieldNames.has(propName)) {
+                errors.push({
+                    path: `${ot.apiName}.${propName}`,
+                    message: `Duplicate field name "${propName}" in type "${ot.apiName}"`,
+                });
+            }
+            fieldNames.add(propName);
+        }
+        for (const linkName of Object.keys(ot.links)) {
+            if (fieldNames.has(linkName)) {
+                errors.push({
+                    path: `${ot.apiName}.${linkName}`,
+                    message: `Duplicate field name "${linkName}" in type "${ot.apiName}" (link collides with property)`,
+                });
+            }
+            fieldNames.add(linkName);
+        }
+        // Verify primaryKey field exists in properties (if declared)
+        if (ot.primaryKey && !ot.properties[ot.primaryKey]) {
+            errors.push({
+                path: `${ot.apiName}.primaryKey`,
+                message: `primaryKey "${ot.primaryKey}" is not a declared property of "${ot.apiName}"`,
+            });
+        }
+        // Verify link targets exist
+        const allApiNames = new Set(schema.objectTypes.map(o => o.apiName));
+        for (const [linkName, linkDef] of Object.entries(ot.links)) {
+            if (!allApiNames.has(linkDef.targetApiName)) {
+                errors.push({
+                    path: `${ot.apiName}.${linkName}`,
+                    message: `Link "${linkName}" targets unknown type "${linkDef.targetApiName}"`,
+                });
+            }
+        }
+    }
+    // Validate interfaces
+    const seenIfaceNames = new Set();
+    for (const iface of schema.interfaces) {
+        if (!API_NAME_RE.test(iface.apiName)) {
+            errors.push({
+                path: `interface:${iface.apiName}`,
+                message: `Invalid interface apiName "${iface.apiName}": must start with a letter and contain only alphanumeric characters and underscores`,
+            });
+        }
+        if (seenIfaceNames.has(iface.apiName)) {
+            errors.push({
+                path: `interface:${iface.apiName}`,
+                message: `Duplicate interface apiName "${iface.apiName}"`,
+            });
+        }
+        seenIfaceNames.add(iface.apiName);
+    }
+    // Validate interface references on types
+    const knownIfaceNames = new Set(schema.interfaces.map(i => i.apiName));
+    for (const ot of schema.objectTypes) {
+        for (const ifaceName of ot.interfaces) {
+            if (!knownIfaceNames.has(ifaceName)) {
+                errors.push({
+                    path: `${ot.apiName}.implements`,
+                    message: `Type "${ot.apiName}" implements unknown interface "${ifaceName}"`,
+                });
+            }
+        }
+    }
+    // Validate actions
+    const allTypeApiNames = new Set(schema.objectTypes.map(o => o.apiName));
+    const seenActionKeys = new Set();
+    for (const action of schema.actions) {
+        // Action apiName format
+        if (!API_NAME_RE.test(action.apiName)) {
+            errors.push({
+                path: `action:${action.apiName}`,
+                message: `Invalid action apiName "${action.apiName}": must start with a letter and contain only alphanumeric characters and underscores`,
+            });
+        }
+        // Action must target a known type
+        if (!allTypeApiNames.has(action.objectTypeApiName)) {
+            errors.push({
+                path: `action:${action.apiName}`,
+                message: `Action "${action.apiName}" targets unknown type "${action.objectTypeApiName}"`,
+            });
+        }
+        // No duplicate action apiName per type
+        const key = `${action.objectTypeApiName}.${action.apiName}`;
+        if (seenActionKeys.has(key)) {
+            errors.push({
+                path: `action:${key}`,
+                message: `Duplicate action "${action.apiName}" on type "${action.objectTypeApiName}"`,
+            });
+        }
+        seenActionKeys.add(key);
+        // Validate condition operators and field existence
+        const validOps = new Set(['equals', 'not_equals', 'greater_than', 'less_than', 'contains', 'in', 'is_null']);
+        const targetType = schema.objectTypes.find(ot => ot.apiName === action.objectTypeApiName);
+        for (const cond of action.conditions) {
+            if (!validOps.has(cond.operator)) {
+                errors.push({
+                    path: `action:${action.apiName}.when`,
+                    message: `Invalid condition operator "${cond.operator}" — valid: ${[...validOps].join(', ')}`,
+                });
+            }
+            // Verify .when() field exists on target type
+            if (targetType && cond.field && !targetType.properties[cond.field]) {
+                errors.push({
+                    path: `action:${action.apiName}.when(${cond.field})`,
+                    message: `Condition references unknown field "${cond.field}" on type "${action.objectTypeApiName}"`,
+                });
+            }
+        }
+        // Validate .set() effect field existence
+        if (targetType) {
+            for (const effect of action.effects) {
+                const eRecord = effect;
+                const kind = eRecord.kind ?? 'set';
+                if (kind === 'set' && eRecord.field) {
+                    const fieldName = eRecord.field;
+                    if (!targetType.properties[fieldName]) {
+                        errors.push({
+                            path: `action:${action.apiName}.set(${fieldName})`,
+                            message: `Effect sets unknown field "${fieldName}" on type "${action.objectTypeApiName}"`,
+                        });
+                    }
+                }
+            }
+        }
+        // V1 DSL: Validate mutableBy — action must be in the property's mutableBy list
+        if (allTypeApiNames.has(action.objectTypeApiName)) {
+            const targetType = schema.objectTypes.find(ot => ot.apiName === action.objectTypeApiName);
+            if (targetType) {
+                const actionKey = `${action.objectTypeApiName}.${action.apiName}`;
+                for (const effect of action.effects) {
+                    const eRecord = effect;
+                    const kind = eRecord.kind ?? 'set';
+                    if (kind === 'set' && eRecord.field) {
+                        const fieldName = eRecord.field;
+                        const prop = targetType.properties[fieldName];
+                        if (prop?.mutableBy && prop.mutableBy.length > 0) {
+                            if (!prop.mutableBy.includes(action.apiName) && !prop.mutableBy.includes(actionKey)) {
+                                errors.push({
+                                    path: `action:${action.apiName}.set(${fieldName})`,
+                                    message: `Action "${action.apiName}" sets field "${fieldName}" but is not in its mutableBy list [${prop.mutableBy.join(', ')}]`,
+                                });
+                            }
+                        }
+                    }
+                }
+            }
+        }
+    }
+    return { valid: errors.length === 0, errors };
+}
+//# sourceMappingURL=validate.js.map

package/dist/compiler/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/compiler/validate.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,MAAM,WAAW,GAAG,yBAAyB,CAAC;AAE9C;;;;;;;;GAQG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAsB;IAC7C,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE/C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACpC,uBAAuB;QACvB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,EAAE,CAAC,OAAO;gBAChB,OAAO,EAAE,oBAAoB,EAAE,CAAC,OAAO,sFAAsF;aAC9H,CAAC,CAAC;QACL,CAAC;QAED,2BAA2B;QAC3B,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACtD,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,EAAE,CAAC,OAAO;gBAChB,OAAO,EAAE,iCAAiC,EAAE,CAAC,OAAO,GAAG;aACxD,CAAC,CAAC;QACL,CAAC;QAED,sDAAsD;QACtD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YAClD,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,IAAI,QAAQ,EAAE;oBACjC,OAAO,EAAE,yBAAyB,QAAQ,cAAc,EAAE,CAAC,OAAO,GAAG;iBACtE,CAAC,CAAC;YACL,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QAED,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7C,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,IAAI,QAAQ,EAAE;oBACjC,OAAO,EAAE,yBAAyB,QAAQ,cAAc,EAAE,CAAC,OAAO,iCAAiC;iBACpG,CAAC,CAAC;YACL,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QAED,6DAA6D;QAC7D,IAAI,EAAE,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,aAAa;gBAChC,OAAO,EAAE,eAAe,EAAE,CAAC,UAAU,oCAAoC,EAAE,CAAC,OAAO,GAAG;aACvF,CAAC,CAAC;QACL,CAAC;QAED,4BAA4B;QAC5B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACpE,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC5C,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,IAAI,QAAQ,EAAE;oBACjC,OAAO,EAAE,SAAS,QAAQ,2BAA2B,OAAO,CAAC,aAAa,GAAG;iBAC9E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,aAAa,KAAK,CAAC,OAAO,EAAE;gBAClC,OAAO,EAAE,8BAA8B,KAAK,CAAC,OAAO,sFAAsF;aAC3I,CAAC,CAAC;QACL,CAAC;QACD,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,aAAa,KAAK,CAAC,OAAO,EAAE;gBAClC,OAAO,EAAE,gCAAgC,KAAK,CAAC,OAAO,GAAG;aAC1D,CAAC,CAAC;QACL,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IAED,yCAAyC;IACzC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACvE,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACpC,KAAK,MAAM,SAAS,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YACtC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,aAAa;oBAChC,OAAO,EAAE,SAAS,EAAE,CAAC,OAAO,mCAAmC,SAAS,GAAG;iBAC5E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACxE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,wBAAwB;QACxB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,UAAU,MAAM,CAAC,OAAO,EAAE;gBAChC,OAAO,EAAE,2BAA2B,MAAM,CAAC,OAAO,sFAAsF;aACzI,CAAC,CAAC;QACL,CAAC;QAED,kCAAkC;QAClC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,UAAU,MAAM,CAAC,OAAO,EAAE;gBAChC,OAAO,EAAE,WAAW,MAAM,CAAC,OAAO,2BAA2B,MAAM,CAAC,iBAAiB,GAAG;aACzF,CAAC,CAAC;QACL,CAAC;QAED,uCAAuC;QACvC,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,iBAAiB,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC5D,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,UAAU,GAAG,EAAE;gBACrB,OAAO,EAAE,qBAAqB,MAAM,CAAC,OAAO,cAAc,MAAM,CAAC,iBAAiB,GAAG;aACtF,CAAC,CAAC;QACL,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAExB,mDAAmD;QACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;QAC7G,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,KAAK,MAAM,CAAC,iBAAiB,CAAC,CAAC;QAC1F,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACjC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,UAAU,MAAM,CAAC,OAAO,OAAO;oBACrC,OAAO,EAAE,+BAA+B,IAAI,CAAC,QAAQ,cAAc,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;iBAC9F,CAAC,CAAC;YACL,CAAC;YACD,6CAA6C;YAC7C,IAAI,UAAU,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnE,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,UAAU,MAAM,CAAC,OAAO,SAAS,IAAI,CAAC,KAAK,GAAG;oBACpD,OAAO,EAAE,uCAAuC,IAAI,CAAC,KAAK,cAAc,MAAM,CAAC,iBAAiB,GAAG;iBACpG,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,yCAAyC;QACzC,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpC,MAAM,OAAO,GAAG,MAA4C,CAAC;gBAC7D,MAAM,IAAI,GAAI,OAAO,CAAC,IAAe,IAAI,KAAK,CAAC;gBAC/C,IAAI,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;oBACpC,MAAM,SAAS,GAAG,OAAO,CAAC,KAAe,CAAC;oBAC1C,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;wBACtC,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,UAAU,MAAM,CAAC,OAAO,QAAQ,SAAS,GAAG;4BAClD,OAAO,EAAE,8BAA8B,SAAS,cAAc,MAAM,CAAC,iBAAiB,GAAG;yBAC1F,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,+EAA+E;QAC/E,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAClD,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,KAAK,MAAM,CAAC,iBAAiB,CAAC,CAAC;YAC1F,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,SAAS,GAAG,GAAG,MAAM,CAAC,iBAAiB,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBAClE,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;oBACpC,MAAM,OAAO,GAAG,MAA4C,CAAC;oBAC7D,MAAM,IAAI,GAAI,OAAO,CAAC,IAAe,IAAI,KAAK,CAAC;oBAC/C,IAAI,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;wBACpC,MAAM,SAAS,GAAG,OAAO,CAAC,KAAe,CAAC;wBAC1C,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;wBAC9C,IAAI,IAAI,EAAE,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;4BACjD,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gCACpF,MAAM,CAAC,IAAI,CAAC;oCACV,IAAI,EAAE,UAAU,MAAM,CAAC,OAAO,QAAQ,SAAS,GAAG;oCAClD,OAAO,EAAE,WAAW,MAAM,CAAC,OAAO,iBAAiB,SAAS,uCAAuC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iCAChI,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC"}

package/dist/diff/diff.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Diff engine — compare local OntologyManifest vs remote
+ *
+ * Fixes over V2:
+ * - Canonical enum normalization: constraints.enum and enumValues unified into single representation
+ * - constraints.enum removed from comparison (only enumValues compared)
+ * - dataType 'enum' normalized to 'string' (backend normalizes the same way)
+ * - name excluded from property comparison (apiName is the identity)
+ * - displayName defaults normalized (generated displayName == no displayName)
+ * - Default values for actionType ('CUSTOM'), trigger ('MANUAL'), status ('active') normalized
+ * - Link relationshipType default derived from apiName (strip prefix)
+ * - indexed forced true when unique is true (unique implies indexed)
+ */
+import type { OntologyManifest } from '@dataforge/sdk-types';
+import type { DiffResult } from '../types.js';
+/**
+ * Compare a local manifest against a remote manifest and produce a diff.
+ */
+export declare function diff(local: OntologyManifest, remote: OntologyManifest): DiffResult;
+//# sourceMappingURL=diff.d.ts.map

package/dist/diff/diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../src/diff/diff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAiF,MAAM,sBAAsB,CAAC;AAC5I,OAAO,KAAK,EAAE,UAAU,EAAc,MAAM,aAAa,CAAC;AAuZ1D;;GAEG;AACH,wBAAgB,IAAI,CAAC,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,gBAAgB,GAAG,UAAU,CAqDlF"}

package/dist/diff/diff.js

@@ -0,0 +1,393 @@
+/**
+ * Diff engine — compare local OntologyManifest vs remote
+ *
+ * Fixes over V2:
+ * - Canonical enum normalization: constraints.enum and enumValues unified into single representation
+ * - constraints.enum removed from comparison (only enumValues compared)
+ * - dataType 'enum' normalized to 'string' (backend normalizes the same way)
+ * - name excluded from property comparison (apiName is the identity)
+ * - displayName defaults normalized (generated displayName == no displayName)
+ * - Default values for actionType ('CUSTOM'), trigger ('MANUAL'), status ('active') normalized
+ * - Link relationshipType default derived from apiName (strip prefix)
+ * - indexed forced true when unique is true (unique implies indexed)
+ */
+// ---------------------------------------------------------------------------
+// Canonical comparison helpers
+// ---------------------------------------------------------------------------
+function isRecord(value) {
+    return !!value && typeof value === 'object' && !Array.isArray(value);
+}
+function canonicalize(value) {
+    if (Array.isArray(value)) {
+        return value.map(canonicalize);
+    }
+    if (isRecord(value)) {
+        const output = {};
+        for (const key of Object.keys(value).sort()) {
+            const v = value[key];
+            if (v !== undefined) {
+                output[key] = canonicalize(v);
+            }
+        }
+        return output;
+    }
+    return value;
+}
+function deepEqualCanonical(a, b) {
+    return JSON.stringify(canonicalize(a)) === JSON.stringify(canonicalize(b));
+}
+function uniqueSortedStrings(value) {
+    if (!Array.isArray(value))
+        return [];
+    return [...new Set(value.filter((item) => typeof item === 'string'))].sort((a, b) => a.localeCompare(b));
+}
+function normalizeOptionalString(value) {
+    return typeof value === 'string' && value.length > 0 ? value : undefined;
+}
+function defaultDisplayName(apiName) {
+    return apiName
+        .replace(/_/g, ' ')
+        .replace(/([a-z])([A-Z])/g, '$1 $2')
+        .replace(/\b\w/g, c => c.toUpperCase());
+}
+/** Normalize displayName: if it matches the auto-generated default, treat as absent */
+function normalizeDisplayName(apiName, displayName) {
+    const value = normalizeOptionalString(displayName);
+    if (!value)
+        return undefined;
+    if (value === defaultDisplayName(apiName))
+        return undefined;
+    return value;
+}
+// ---------------------------------------------------------------------------
+// Enum normalization — unify constraints.enum and enumValues
+// ---------------------------------------------------------------------------
+function normalizeEnumValues(prop) {
+    const fromEnumValues = uniqueSortedStrings(prop.enumValues);
+    if (fromEnumValues.length > 0)
+        return fromEnumValues;
+    const constraints = isRecord(prop.constraints) ? prop.constraints : undefined;
+    const fromConstraints = uniqueSortedStrings(constraints?.enum);
+    return fromConstraints.length > 0 ? fromConstraints : undefined;
+}
+function normalizeConstraintsWithoutEnum(prop) {
+    if (!isRecord(prop.constraints))
+        return undefined;
+    const output = {};
+    for (const [key, value] of Object.entries(prop.constraints)) {
+        if (key !== 'enum' && value !== undefined) {
+            output[key] = value;
+        }
+    }
+    return Object.keys(output).length > 0
+        ? canonicalize(output)
+        : undefined;
+}
+// ---------------------------------------------------------------------------
+// Property normalization & diff
+// ---------------------------------------------------------------------------
+function normalizeProperty(prop) {
+    const enumValues = normalizeEnumValues(prop);
+    const constraints = normalizeConstraintsWithoutEnum(prop);
+    const result = {
+        apiName: prop.apiName,
+        // Normalize 'enum' to 'string' — backend does the same
+        dataType: prop.dataType === 'enum' ? 'string' : prop.dataType,
+        required: prop.required === true,
+        indexed: prop.indexed === true || prop.unique === true,
+        unique: prop.unique === true,
+    };
+    if (normalizeOptionalString(prop.description) !== undefined) {
+        result.description = prop.description;
+    }
+    if (normalizeOptionalString(prop.semanticType) !== undefined) {
+        result.semanticType = prop.semanticType;
+    }
+    if (prop.defaultValue !== undefined) {
+        result.defaultValue = prop.defaultValue;
+    }
+    if (constraints !== undefined) {
+        result.constraints = constraints;
+    }
+    if (enumValues !== undefined) {
+        result.enumValues = enumValues;
+    }
+    const mutableBy = uniqueSortedStrings(prop.mutableBy);
+    if (mutableBy.length > 0)
+        result.mutableBy = mutableBy;
+    return canonicalize(result);
+}
+function diffProperties(localProps, remoteProps, parentName) {
+    const changes = [];
+    const remoteMap = new Map(remoteProps.map(p => [p.apiName, p]));
+    const localMap = new Map(localProps.map(p => [p.apiName, p]));
+    // Added properties
+    for (const [name, prop] of localMap) {
+        if (!remoteMap.has(name)) {
+            changes.push({ kind: 'added', entity: 'property', name, parent: parentName, after: prop });
+        }
+    }
+    // Removed properties
+    for (const [name, prop] of remoteMap) {
+        if (!localMap.has(name)) {
+            changes.push({ kind: 'removed', entity: 'property', name, parent: parentName, before: prop });
+        }
+    }
+    // Modified properties — canonical comparison
+    for (const [name, localProp] of localMap) {
+        const remoteProp = remoteMap.get(name);
+        if (!remoteProp)
+            continue;
+        if (!deepEqualCanonical(normalizeProperty(localProp), normalizeProperty(remoteProp))) {
+            changes.push({
+                kind: 'modified',
+                entity: 'property',
+                name,
+                parent: parentName,
+                before: remoteProp,
+                after: localProp,
+            });
+        }
+    }
+    return changes;
+}
+// ---------------------------------------------------------------------------
+// ObjectType metadata normalization
+// ---------------------------------------------------------------------------
+function normalizeObjectTypeMeta(type) {
+    const result = {};
+    const status = type.status ?? 'active';
+    if (status !== 'active')
+        result.status = status;
+    const displayName = normalizeDisplayName(type.apiName, type.displayName);
+    if (displayName !== undefined)
+        result.displayName = displayName;
+    if (normalizeOptionalString(type.description) !== undefined) {
+        result.description = type.description;
+    }
+    if (normalizeOptionalString(type.primaryKey) !== undefined) {
+        result.primaryKey = type.primaryKey;
+    }
+    const interfaces = uniqueSortedStrings(type.interfaces);
+    if (interfaces.length > 0)
+        result.interfaces = interfaces;
+    return canonicalize(result);
+}
+// ---------------------------------------------------------------------------
+// Link type diff
+// ---------------------------------------------------------------------------
+/** Derive default relationshipType from link apiName */
+function linkFieldNameFromApiName(link) {
+    const prefix = `${link.sourceTypeApiName}__`;
+    return link.apiName.startsWith(prefix)
+        ? link.apiName.slice(prefix.length)
+        : link.apiName;
+}
+function normalizeLinkType(link) {
+    const result = {
+        apiName: link.apiName,
+        sourceTypeApiName: link.sourceTypeApiName,
+        targetTypeApiName: link.targetTypeApiName,
+        cardinality: link.cardinality ?? 'N:1',
+    };
+    const defaultRelationshipType = linkFieldNameFromApiName(link);
+    const relationshipType = normalizeOptionalString(link.relationshipType);
+    if (relationshipType && relationshipType !== defaultRelationshipType) {
+        result.relationshipType = relationshipType;
+    }
+    if (normalizeOptionalString(link.label) !== undefined)
+        result.label = link.label;
+    if (normalizeOptionalString(link.inverseName) !== undefined)
+        result.inverseName = link.inverseName;
+    if (Array.isArray(link.properties) && link.properties.length > 0) {
+        result.properties = link.properties.map(canonicalize);
+    }
+    return canonicalize(result);
+}
+function diffLinkTypes(localLinks, remoteLinks) {
+    const changes = [];
+    const remoteMap = new Map(remoteLinks.map(l => [l.apiName, l]));
+    const localMap = new Map(localLinks.map(l => [l.apiName, l]));
+    for (const [name, link] of localMap) {
+        if (!remoteMap.has(name)) {
+            changes.push({ kind: 'added', entity: 'linkType', name, after: link });
+        }
+    }
+    for (const [name, link] of remoteMap) {
+        if (!localMap.has(name)) {
+            changes.push({ kind: 'removed', entity: 'linkType', name, before: link });
+        }
+    }
+    for (const [name, localLink] of localMap) {
+        const remoteLink = remoteMap.get(name);
+        if (!remoteLink)
+            continue;
+        if (!deepEqualCanonical(normalizeLinkType(localLink), normalizeLinkType(remoteLink))) {
+            changes.push({ kind: 'modified', entity: 'linkType', name, before: remoteLink, after: localLink });
+        }
+    }
+    return changes;
+}
+// ---------------------------------------------------------------------------
+// Action diff
+// ---------------------------------------------------------------------------
+function normalizeActionParameters(parameters) {
+    if (!Array.isArray(parameters))
+        return [];
+    return parameters.map(parameter => canonicalize({
+        name: parameter.name,
+        apiName: parameter.apiName ?? parameter.name,
+        dataType: parameter.dataType,
+        required: parameter.required === true,
+        ...(parameter.defaultValue !== undefined ? { defaultValue: parameter.defaultValue } : {}),
+        ...(normalizeOptionalString(parameter.description) ? { description: parameter.description } : {}),
+    }));
+}
+function normalizeAction(action) {
+    const result = {
+        apiName: action.apiName,
+        objectTypeApiName: action.objectTypeApiName,
+        parameters: normalizeActionParameters(action.parameters ?? []),
+    };
+    const displayName = normalizeDisplayName(action.apiName, action.displayName);
+    if (displayName !== undefined)
+        result.displayName = displayName;
+    if (normalizeOptionalString(action.description) !== undefined) {
+        result.description = action.description;
+    }
+    const actionType = action.actionType ?? 'CUSTOM';
+    if (actionType !== 'CUSTOM')
+        result.actionType = actionType;
+    const trigger = action.trigger ?? 'MANUAL';
+    if (trigger !== 'MANUAL')
+        result.trigger = trigger;
+    if (Array.isArray(action.conditions) && action.conditions.length > 0) {
+        result.conditions = action.conditions.map(canonicalize);
+    }
+    if (Array.isArray(action.effects) && action.effects.length > 0) {
+        result.effects = action.effects.map(canonicalize);
+    }
+    if (action.timeout !== undefined) {
+        result.timeout = action.timeout;
+    }
+    // requiredScopes: compare as a sorted set (order is not semantically significant)
+    const scopes = uniqueSortedStrings(action.requiredScopes);
+    if (scopes.length > 0)
+        result.requiredScopes = scopes;
+    return canonicalize(result);
+}
+function diffActions(localActions, remoteActions) {
+    const changes = [];
+    const key = (a) => `${a.objectTypeApiName}.${a.apiName}`;
+    const remoteMap = new Map(remoteActions.map(a => [key(a), a]));
+    const localMap = new Map(localActions.map(a => [key(a), a]));
+    for (const [k, act] of localMap) {
+        if (!remoteMap.has(k)) {
+            changes.push({ kind: 'added', entity: 'action', name: k, after: act });
+        }
+    }
+    for (const [k, act] of remoteMap) {
+        if (!localMap.has(k)) {
+            changes.push({ kind: 'removed', entity: 'action', name: k, before: act });
+        }
+    }
+    for (const [k, localAct] of localMap) {
+        const remoteAct = remoteMap.get(k);
+        if (!remoteAct)
+            continue;
+        if (!deepEqualCanonical(normalizeAction(localAct), normalizeAction(remoteAct))) {
+            changes.push({ kind: 'modified', entity: 'action', name: k, before: remoteAct, after: localAct });
+        }
+    }
+    return changes;
+}
+// ---------------------------------------------------------------------------
+// Interface diff
+// ---------------------------------------------------------------------------
+function normalizeInterfaceMeta(iface) {
+    const result = {
+        apiName: iface.apiName,
+    };
+    const displayName = normalizeDisplayName(iface.apiName, iface.displayName);
+    if (displayName !== undefined)
+        result.displayName = displayName;
+    if (normalizeOptionalString(iface.description) !== undefined)
+        result.description = iface.description;
+    return canonicalize(result);
+}
+function diffInterfaces(localInterfaces, remoteInterfaces) {
+    const changes = [];
+    const remoteMap = new Map(remoteInterfaces.map(i => [i.apiName, i]));
+    const localMap = new Map(localInterfaces.map(i => [i.apiName, i]));
+    for (const [name, iface] of localMap) {
+        if (!remoteMap.has(name)) {
+            changes.push({ kind: 'added', entity: 'interface', name, after: iface });
+        }
+    }
+    for (const [name, iface] of remoteMap) {
+        if (!localMap.has(name)) {
+            changes.push({ kind: 'removed', entity: 'interface', name, before: iface });
+        }
+    }
+    for (const [name, localIface] of localMap) {
+        const remoteIface = remoteMap.get(name);
+        if (!remoteIface)
+            continue;
+        const metaChanged = !deepEqualCanonical(normalizeInterfaceMeta(localIface), normalizeInterfaceMeta(remoteIface));
+        const propChanges = diffProperties(localIface.sharedProperties ?? [], remoteIface.sharedProperties ?? [], name);
+        if (metaChanged || propChanges.length > 0) {
+            changes.push({ kind: 'modified', entity: 'interface', name, before: remoteIface, after: localIface });
+            changes.push(...propChanges);
+        }
+    }
+    return changes;
+}
+// ---------------------------------------------------------------------------
+// Main diff entry point
+// ---------------------------------------------------------------------------
+/**
+ * Compare a local manifest against a remote manifest and produce a diff.
+ */
+export function diff(local, remote) {
+    const changes = [];
+    const remoteTypeMap = new Map(remote.objectTypes.map(t => [t.apiName, t]));
+    const localTypeMap = new Map(local.objectTypes.map(t => [t.apiName, t]));
+    // Added types
+    for (const [name, type] of localTypeMap) {
+        if (!remoteTypeMap.has(name)) {
+            changes.push({ kind: 'added', entity: 'objectType', name, after: type });
+        }
+    }
+    // Removed types
+    for (const [name, type] of remoteTypeMap) {
+        if (!localTypeMap.has(name)) {
+            changes.push({ kind: 'removed', entity: 'objectType', name, before: type });
+        }
+    }
+    // Modified types — compare properties AND metadata
+    for (const [name, localType] of localTypeMap) {
+        const remoteType = remoteTypeMap.get(name);
+        if (!remoteType)
+            continue;
+        const propChanges = diffProperties(localType.properties ?? [], remoteType.properties ?? [], name);
+        const metaChanged = !deepEqualCanonical(normalizeObjectTypeMeta(localType), normalizeObjectTypeMeta(remoteType));
+        if (metaChanged || propChanges.length > 0) {
+            changes.push({
+                kind: 'modified',
+                entity: 'objectType',
+                name,
+                before: remoteType,
+                after: localType,
+            });
+            changes.push(...propChanges);
+        }
+    }
+    // Link type diffs
+    changes.push(...diffLinkTypes(local.linkTypes, remote.linkTypes));
+    // Action diffs
+    changes.push(...diffActions(local.actions ?? [], remote.actions ?? []));
+    // Interface diffs
+    changes.push(...diffInterfaces(local.interfaces ?? [], remote.interfaces ?? []));
+    return { hasChanges: changes.length > 0, changes };
+}
+//# sourceMappingURL=diff.js.map