@origostudio/core 0.0.40

package/src/validator/serializer.js

@@ -0,0 +1,99 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.serializeAST = serializeAST;
+const ast_validator_1 = require("./ast-validator");
+/**
+ * Deep clones and canonically sorts an object/array.
+ * Also detects circular references and unsupported types.
+ */
+function canonicalize(obj, seen = new WeakSet(), errors = [], depth = 1) {
+    if (depth > ast_validator_1.MAX_AST_DEPTH) {
+        errors.push({
+            type: 'MAX_DEPTH_EXCEEDED',
+            message: `Maximum AST depth exceeded (${ast_validator_1.MAX_AST_DEPTH}) during canonicalization`,
+        });
+        return null;
+    }
+    if (obj === null || typeof obj !== 'object') {
+        return obj;
+    }
+    if (seen.has(obj)) {
+        errors.push({
+            type: 'CIRCULAR_REFERENCE',
+            message: 'Invalid AST: Circular reference detected during canonicalization',
+        });
+        return null;
+    }
+    if (Object.prototype.toString.call(obj) !== '[object Object]' && !Array.isArray(obj)) {
+        errors.push({
+            type: 'INVALID_TYPE',
+            message: `Invalid AST: Unsupported type ${obj.constructor?.name || typeof obj}`,
+        });
+        return null;
+    }
+    seen.add(obj);
+    if (Array.isArray(obj)) {
+        // Process children first
+        const mapped = obj.map(item => canonicalize(item, seen, errors, depth + 1));
+        // Sort deterministically
+        mapped.sort((a, b) => {
+            const aIsObj = typeof a === 'object' && a !== null;
+            const bIsObj = typeof b === 'object' && b !== null;
+            if (aIsObj && bIsObj) {
+                if ('id' in a && 'id' in b) {
+                    const idA = String(a.id);
+                    const idB = String(b.id);
+                    return idA < idB ? -1 : idA > idB ? 1 : 0;
+                }
+                if ('name' in a && 'name' in b) {
+                    const nameA = String(a.name);
+                    const nameB = String(b.name);
+                    return nameA < nameB ? -1 : nameA > nameB ? 1 : 0;
+                }
+            }
+            // Fallback for primitives, heterogeneous objects, or objects without id/name
+            const strA = JSON.stringify(a);
+            const strB = JSON.stringify(b);
+            return strA < strB ? -1 : strA > strB ? 1 : 0;
+        });
+        seen.delete(obj);
+        return mapped;
+    }
+    // It is an object, sort its keys
+    const objAsRecord = obj;
+    const sortedKeys = Object.keys(objAsRecord).sort();
+    const result = {};
+    for (const key of sortedKeys) {
+        result[key] = canonicalize(objAsRecord[key], seen, errors, depth + 1);
+    }
+    seen.delete(obj);
+    return result;
+}
+/**
+ * Serializes the parsed memory model into a canonical JSON AST.
+ * Enforces `schemaVersion`, stable key ordering, and stable array ordering.
+ *
+ * @param ast The canonical AST to serialize
+ * @returns Byte-for-byte deterministic JSON string
+ * @throws {ASTValidationError} If validation or canonicalization fails
+ */
+function serializeAST(ast) {
+    if (!ast || !ast.schemaVersion) {
+        return [null, [{ type: 'INVALID_FORMAT', message: 'Invalid AST: Missing schemaVersion' }]];
+    }
+    if (!Array.isArray(ast.domains)) {
+        return [null, [{ type: 'INVALID_FORMAT', message: 'Invalid AST: domains must be an array' }]];
+    }
+    // Validate semantics before serializing
+    const errors = (0, ast_validator_1.validateAST)(ast);
+    if (errors.length > 0) {
+        return [null, errors];
+    }
+    const canonicalErrors = [];
+    const canonical = canonicalize(ast, new WeakSet(), canonicalErrors, 1);
+    if (canonicalErrors.length > 0) {
+        return [null, canonicalErrors];
+    }
+    return [JSON.stringify(canonical), []];
+}
+//# sourceMappingURL=serializer.js.map

package/src/validator/serializer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.js","sourceRoot":"","sources":["../../../../../packages/core/src/validator/serializer.ts"],"names":[],"mappings":";;AAgGA,oCAuBC;AAtHD,mDAA6D;AAG7D;;;GAGG;AACH,SAAS,YAAY,CACnB,GAAY,EACZ,IAAI,GAAG,IAAI,OAAO,EAAE,EACpB,SAA4B,EAAE,EAC9B,KAAK,GAAG,CAAC;IAET,IAAI,KAAK,GAAG,6BAAa,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,+BAA+B,6BAAa,2BAA2B;SACjF,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5C,OAAO,GAAG,CAAC;IACb,CAAC;IAED,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,kEAAkE;SAC5E,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,iBAAiB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACrF,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,iCAAiC,GAAG,CAAC,WAAW,EAAE,IAAI,IAAI,OAAO,GAAG,EAAE;SAChF,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAEd,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,yBAAyB;QACzB,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAE5E,yBAAyB;QACzB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACnB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC;YACnD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC;YAEnD,IAAI,MAAM,IAAI,MAAM,EAAE,CAAC;gBACrB,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;oBAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACzB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACzB,OAAO,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5C,CAAC;gBACD,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;oBAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC7B,OAAO,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;YAED,6EAA6E;YAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC/B,OAAO,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,iCAAiC;IACjC,MAAM,WAAW,GAAG,GAA8B,CAAC;IACnD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC;IACnD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACxE,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACjB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,YAAY,CAAC,GAAiB;IAC5C,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,oCAAoC,EAAE,CAAC,CAAC,CAAC;IAC7F,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAC,CAAC,CAAC;IAChG,CAAC;IAED,wCAAwC;IACxC,MAAM,MAAM,GAAG,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxB,CAAC;IAED,MAAM,eAAe,GAAsB,EAAE,CAAC;IAC9C,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,OAAO,EAAE,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;IAEvE,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;AACzC,CAAC"}