@origostudio/core 0.0.40

package/src/validator/ast-validator.js

@@ -0,0 +1,388 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MAX_AST_DEPTH = void 0;
+exports.validateAST = validateAST;
+const tslib_1 = require("tslib");
+const semver = tslib_1.__importStar(require("semver"));
+exports.MAX_AST_DEPTH = 250;
+/**
+ * Performs deep semantic validation on the Canonical AST before downstream code generation.
+ * Specifically checks for cyclic entity relationships and missing references.
+ *
+ * @param ast The Canonical AST to validate
+ * @returns {ValidationError[]} Array of validation errors, or empty array if valid.
+ */
+function validateAST(ast, localManifest) {
+    const errors = [];
+    if (!ast || !Array.isArray(ast.domains)) {
+        errors.push({ type: 'INVALID_FORMAT', message: 'Invalid AST: missing domains array' });
+        return errors;
+    }
+    const entityDomainMap = new Map();
+    const extensionIds = new Set();
+    const capabilityIds = new Set();
+    const contractMap = new Map();
+    const entityCapabilities = new Map();
+    // First pass: Collect all entities, capabilities, and contracts to ensure unique IDs and for quick lookup
+    for (let dIndex = 0; dIndex < ast.domains.length; dIndex++) {
+        const domain = ast.domains[dIndex];
+        if (!domain)
+            continue;
+        const entities = Array.isArray(domain.entities) ? domain.entities : [];
+        for (let eIndex = 0; eIndex < entities.length; eIndex++) {
+            const entity = entities[eIndex];
+            if (!entity || !entity.id)
+                continue;
+            if (entityDomainMap.has(entity.id)) {
+                errors.push({
+                    type: 'DUPLICATE_ID',
+                    message: `Duplicate entity ID found: ${entity.id}`,
+                    path: `/domains/${dIndex}/entities/${eIndex}/id`,
+                });
+            }
+            else {
+                entityDomainMap.set(entity.id, domain.id);
+            }
+        }
+        const capabilities = Array.isArray(domain.capabilities) ? domain.capabilities : [];
+        for (let cIndex = 0; cIndex < capabilities.length; cIndex++) {
+            const capability = capabilities[cIndex];
+            if (!capability || !capability.id) {
+                errors.push({
+                    type: 'INVALID_FORMAT',
+                    message: `Capability missing id in domain ${domain.id}`,
+                    path: `/domains/${dIndex}/capabilities/${cIndex}`,
+                });
+                continue;
+            }
+            if (capabilityIds.has(capability.id)) {
+                errors.push({
+                    type: 'DUPLICATE_ID',
+                    message: `Duplicate capability ID found: ${capability.id}`,
+                    path: `/domains/${dIndex}/capabilities/${cIndex}/id`,
+                });
+                continue;
+            }
+            else {
+                capabilityIds.add(capability.id);
+            }
+            if (capability.entityId) {
+                const existingCaps = entityCapabilities.get(capability.entityId) || [];
+                existingCaps.push(capability);
+                entityCapabilities.set(capability.entityId, existingCaps);
+            }
+        }
+        const contracts = Array.isArray(domain.contracts) ? domain.contracts : [];
+        for (let cIdx = 0; cIdx < contracts.length; cIdx++) {
+            const contract = contracts[cIdx];
+            if (!contract || !contract.id) {
+                errors.push({
+                    type: 'INVALID_FORMAT',
+                    message: 'Contract missing id',
+                    path: `/domains/${dIndex}/contracts/${cIdx}`,
+                });
+                continue;
+            }
+            if (contractMap.has(contract.id)) {
+                errors.push({
+                    type: 'DUPLICATE_ID',
+                    message: `Duplicate contract ID found: ${contract.id}`,
+                    path: `/domains/${dIndex}/contracts/${cIdx}/id`,
+                });
+            }
+            else {
+                contractMap.set(contract.id, contract);
+            }
+        }
+        const extensions = Array.isArray(domain.extensions) ? domain.extensions : [];
+        for (let eIdx = 0; eIdx < extensions.length; eIdx++) {
+            const ext = extensions[eIdx];
+            if (!ext || !ext.id) {
+                errors.push({
+                    type: 'INVALID_FORMAT',
+                    message: 'Extension missing id',
+                    path: `/domains/${dIndex}/extensions/${eIdx}`,
+                });
+                continue;
+            }
+            if (contractMap.has(ext.id) ||
+                capabilityIds.has(ext.id) ||
+                entityDomainMap.has(ext.id) ||
+                extensionIds.has(ext.id)) {
+                errors.push({
+                    type: 'DUPLICATE_ID',
+                    message: `Duplicate ID found across extensions and other types: ${ext.id}`,
+                    path: `/domains/${dIndex}/extensions/${eIdx}/id`,
+                });
+            }
+            else {
+                extensionIds.add(ext.id);
+            }
+        }
+    }
+    // Second pass: Validate field references and detect cycles
+    const adjList = new Map();
+    for (let dIndex = 0; dIndex < ast.domains.length; dIndex++) {
+        const domain = ast.domains[dIndex];
+        if (!domain)
+            continue;
+        const entities = Array.isArray(domain.entities) ? domain.entities : [];
+        for (let eIndex = 0; eIndex < entities.length; eIndex++) {
+            const entity = entities[eIndex];
+            if (!entity || !entity.id)
+                continue;
+            const dependencies = [];
+            const processFields = (fieldList, currentPath, depth = 1) => {
+                if (depth > exports.MAX_AST_DEPTH) {
+                    errors.push({
+                        type: 'MAX_DEPTH_EXCEEDED',
+                        message: `Maximum AST depth exceeded (${exports.MAX_AST_DEPTH}) in entity fields for ${entity.id}`,
+                        path: currentPath,
+                    });
+                    return;
+                }
+                for (let fIndex = 0; fIndex < fieldList.length; fIndex++) {
+                    const field = fieldList[fIndex];
+                    if (!field || typeof field !== 'object')
+                        continue;
+                    const fieldPath = `${currentPath}/${fIndex}`;
+                    if (field.references) {
+                        if (!entityDomainMap.has(field.references)) {
+                            errors.push({
+                                type: 'MISSING_REFERENCE',
+                                message: `Invalid consumption rule: Entity "${field.references}" referenced by field "${field.id}" does not exist`,
+                                path: `${fieldPath}/references`,
+                            });
+                        }
+                        else {
+                            dependencies.push(field.references);
+                        }
+                    }
+                    if (Array.isArray(field.fields)) {
+                        processFields(field.fields, `${fieldPath}/fields`, depth + 1);
+                    }
+                }
+            };
+            const fields = Array.isArray(entity.fields) ? entity.fields : [];
+            processFields(fields, `/domains/${dIndex}/entities/${eIndex}/fields`);
+            const existingDeps = adjList.get(entity.id) || [];
+            adjList.set(entity.id, [...existingDeps, ...dependencies]);
+            if (Array.isArray(entity.implements)) {
+                for (const contractId of entity.implements) {
+                    const contract = contractMap.get(contractId);
+                    if (!contract) {
+                        errors.push({
+                            type: 'MISSING_REFERENCE',
+                            message: `Entity "${entity.id}" implements missing contract "${contractId}"`,
+                            path: `domains[${dIndex}].entities[${eIndex}].implements`,
+                        });
+                        continue;
+                    }
+                    if (Array.isArray(contract.requiredFields)) {
+                        const flattenFields = (fieldList) => {
+                            let res = [];
+                            for (const f of fieldList) {
+                                if (!f)
+                                    continue;
+                                res.push(f);
+                                if (Array.isArray(f.fields)) {
+                                    res = res.concat(flattenFields(f.fields));
+                                }
+                            }
+                            return res;
+                        };
+                        const allEntityFields = flattenFields(entity.fields || []);
+                        for (const reqField of contract.requiredFields) {
+                            if (!reqField || typeof reqField !== 'object' || !reqField.name)
+                                continue;
+                            const entityField = allEntityFields.find((f) => f.name === reqField.name);
+                            if (!entityField) {
+                                errors.push({
+                                    type: 'CONTRACT_BREACH',
+                                    message: `Entity "${entity.id}" missing required field "${reqField.name}" for contract "${contract.id}"`,
+                                    path: `/domains/${dIndex}/entities/${eIndex}/implements`,
+                                });
+                            }
+                            else if (entityField.type !== reqField.type) {
+                                errors.push({
+                                    type: 'CONTRACT_BREACH',
+                                    message: `Entity "${entity.id}" field "${reqField.name}" has type "${entityField.type}" but contract "${contract.id}" requires "${reqField.type}"`,
+                                    path: `/domains/${dIndex}/entities/${eIndex}/fields`,
+                                });
+                            }
+                        }
+                    }
+                    if (Array.isArray(contract.requiredCapabilities)) {
+                        const caps = entityCapabilities.get(entity.id) || [];
+                        for (const reqCap of contract.requiredCapabilities) {
+                            if (!reqCap || typeof reqCap !== 'object' || !reqCap.name || !reqCap.type)
+                                continue;
+                            const hasCap = caps.some((c) => c.name === reqCap.name && c.type === reqCap.type);
+                            if (!hasCap) {
+                                errors.push({
+                                    type: 'CONTRACT_BREACH',
+                                    message: `Entity "${entity.id}" missing required capability "${reqCap.name}" (${reqCap.type}) for contract "${contract.id}"`,
+                                    path: `/domains/${dIndex}/entities/${eIndex}/implements`,
+                                });
+                            }
+                        }
+                    }
+                }
+            }
+        }
+        const capabilities = Array.isArray(domain.capabilities) ? domain.capabilities : [];
+        for (let cIndex = 0; cIndex < capabilities.length; cIndex++) {
+            const capability = capabilities[cIndex];
+            if (!capability || !capability.id)
+                continue;
+            const capPath = `/domains/${dIndex}/capabilities/${cIndex}`;
+            if (!capability.entityId) {
+                errors.push({
+                    type: 'MISSING_REFERENCE',
+                    message: `Capability missing entityId: ${capability.id}`,
+                    path: `${capPath}/entityId`,
+                });
+                continue;
+            }
+            const targetDomainId = entityDomainMap.get(capability.entityId);
+            if (!targetDomainId) {
+                errors.push({
+                    type: 'MISSING_REFERENCE',
+                    message: `Invalid capability reference: Entity "${capability.entityId}" referenced by capability "${capability.id}" does not exist`,
+                    path: `${capPath}/entityId`,
+                });
+            }
+            if (!capability.permissions ||
+                !Array.isArray(capability.permissions) ||
+                capability.permissions.length === 0) {
+                errors.push({
+                    type: 'UNSECURED_CAPABILITY',
+                    message: `Capability "${capability.id}" is unsecured. Fail-closed policy requires at least one permission.`,
+                    path: `${capPath}/permissions`,
+                });
+            }
+            else {
+                for (let pIndex = 0; pIndex < capability.permissions.length; pIndex++) {
+                    const perm = capability.permissions[pIndex];
+                    if (!perm ||
+                        typeof perm !== 'object' ||
+                        !perm.role ||
+                        typeof perm.role !== 'string' ||
+                        perm.role.trim() === '') {
+                        errors.push({
+                            type: 'INVALID_PERMISSION',
+                            message: `Capability "${capability.id}" has an invalid permission definition. Role is required.`,
+                            path: `${capPath}/permissions/${pIndex}`,
+                        });
+                    }
+                    else {
+                        perm.role = perm.role.trim();
+                        if (perm.access === undefined) {
+                            perm.access = 'grant';
+                        }
+                        if (perm.access !== 'grant' && perm.access !== 'deny') {
+                            errors.push({
+                                type: 'INVALID_PERMISSION',
+                                message: `Capability "${capability.id}" has an invalid access definition. Must be "grant" or "deny".`,
+                                path: `${capPath}/permissions/${pIndex}/access`,
+                            });
+                        }
+                    }
+                }
+            }
+        }
+        const extensions = Array.isArray(domain.extensions) ? domain.extensions : [];
+        for (let eIndex = 0; eIndex < extensions.length; eIndex++) {
+            const ext = extensions[eIndex];
+            if (!ext || !ext.id)
+                continue;
+            const extPath = `/domains/${dIndex}/extensions/${eIndex}`;
+            if (!Array.isArray(ext.implements) || ext.implements.length === 0) {
+                errors.push({
+                    type: 'MISSING_REFERENCE',
+                    message: `Extension missing implements contract reference: ${ext.id}`,
+                    path: `${extPath}/implements`,
+                });
+            }
+            else {
+                for (const imp of ext.implements) {
+                    if (!contractMap.has(imp)) {
+                        errors.push({
+                            type: 'MISSING_REFERENCE',
+                            message: `Invalid extension reference: Contract "${imp}" referenced by extension "${ext.id}" does not exist`,
+                            path: `${extPath}/implements`,
+                        });
+                    }
+                }
+            }
+            if (localManifest && ext.name && ext.plugin_version_range) {
+                const localVersion = localManifest[ext.name];
+                if (!localVersion) {
+                    errors.push({
+                        type: 'MISSING_MANIFEST_VERSION',
+                        message: `Local manifest is missing version for extension "${ext.name}"`,
+                        path: `${extPath}/name`,
+                    });
+                }
+                else if (!semver.valid(localVersion) || !semver.validRange(ext.plugin_version_range)) {
+                    errors.push({
+                        type: 'VERSION_MISMATCH',
+                        message: `Invalid semver format for extension "${ext.name}"`,
+                        path: `${extPath}/plugin_version_range`,
+                    });
+                }
+                else if (!semver.satisfies(localVersion, ext.plugin_version_range)) {
+                    errors.push({
+                        type: 'VERSION_MISMATCH',
+                        message: `Extension "${ext.name}" requires plugin version "${ext.plugin_version_range}" but local manifest provides "${localVersion}"`,
+                        path: `${extPath}/plugin_version_range`,
+                    });
+                }
+            }
+        }
+    }
+    // Detect cycles using DFS
+    const visited = new Set();
+    const visiting = new Set();
+    function dfs(nodeId, path, depth) {
+        if (depth > exports.MAX_AST_DEPTH) {
+            errors.push({
+                type: 'MAX_DEPTH_EXCEEDED',
+                message: `Maximum AST depth exceeded (${exports.MAX_AST_DEPTH}) at entity ${nodeId}`,
+                path: [...path, nodeId].join(' -> '),
+            });
+            return;
+        }
+        if (visiting.has(nodeId)) {
+            // Cycle detected: isolate the loop part
+            const cycleStartIndex = path.indexOf(nodeId);
+            const loop = cycleStartIndex >= 0 ? path.slice(cycleStartIndex) : path;
+            const cyclePath = [...loop, nodeId].join(' -> ');
+            errors.push({
+                type: 'CIRCULAR_REFERENCE',
+                message: `Circular dependency detected: ${cyclePath}`,
+                path: cyclePath,
+            });
+            return;
+        }
+        if (visited.has(nodeId)) {
+            return;
+        }
+        visiting.add(nodeId);
+        path.push(nodeId);
+        const deps = adjList.get(nodeId) || [];
+        for (const dep of deps) {
+            dfs(dep, path, depth + 1);
+        }
+        path.pop();
+        visiting.delete(nodeId);
+        visited.add(nodeId);
+    }
+    for (const entityId of entityDomainMap.keys()) {
+        if (!visited.has(entityId)) {
+            dfs(entityId, [], 1);
+        }
+    }
+    return errors;
+}
+//# sourceMappingURL=ast-validator.js.map

package/src/validator/ast-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast-validator.js","sourceRoot":"","sources":["../../../../../packages/core/src/validator/ast-validator.ts"],"names":[],"mappings":";;;AAeA,kCAsYC;;AAjZD,uDAAiC;AAEpB,QAAA,aAAa,GAAG,GAAG,CAAC;AAEjC;;;;;;GAMG;AACH,SAAgB,WAAW,CACzB,GAAiB,EACjB,aAAsC;IAEtC,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,oCAAoC,EAAE,CAAC,CAAC;QACvF,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAwB,CAAC;IAE3D,0GAA0G;IAC1G,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;QAC3D,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,EAAE;gBAAE,SAAS;YACpC,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;gBACnC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,cAAc;oBACpB,OAAO,EAAE,8BAA8B,MAAM,CAAC,EAAE,EAAE;oBAClD,IAAI,EAAE,YAAY,MAAM,aAAa,MAAM,KAAK;iBACjD,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;YAC5D,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,mCAAmC,MAAM,CAAC,EAAE,EAAE;oBACvD,IAAI,EAAE,YAAY,MAAM,iBAAiB,MAAM,EAAE;iBAClD,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,cAAc;oBACpB,OAAO,EAAE,kCAAkC,UAAU,CAAC,EAAE,EAAE;oBAC1D,IAAI,EAAE,YAAY,MAAM,iBAAiB,MAAM,KAAK;iBACrD,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;iBAAM,CAAC;gBACN,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YACnC,CAAC;YAED,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACxB,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACvE,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC9B,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,qBAAqB;oBAC9B,IAAI,EAAE,YAAY,MAAM,cAAc,IAAI,EAAE;iBAC7C,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBACjC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,cAAc;oBACpB,OAAO,EAAE,gCAAgC,QAAQ,CAAC,EAAE,EAAE;oBACtD,IAAI,EAAE,YAAY,MAAM,cAAc,IAAI,KAAK;iBAChD,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YACpD,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;gBACpB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,sBAAsB;oBAC/B,IAAI,EAAE,YAAY,MAAM,eAAe,IAAI,EAAE;iBAC9C,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,IACE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvB,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EACxB,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,cAAc;oBACpB,OAAO,EAAE,yDAAyD,GAAG,CAAC,EAAE,EAAE;oBAC1E,IAAI,EAAE,YAAY,MAAM,eAAe,IAAI,KAAK;iBACjD,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE5C,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;QAC3D,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,EAAE;gBAAE,SAAS;YACpC,MAAM,YAAY,GAAa,EAAE,CAAC;YAClC,MAAM,aAAa,GAAG,CAAC,SAAgB,EAAE,WAAmB,EAAE,KAAK,GAAG,CAAC,EAAE,EAAE;gBACzE,IAAI,KAAK,GAAG,qBAAa,EAAE,CAAC;oBAC1B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,oBAAoB;wBAC1B,OAAO,EAAE,+BAA+B,qBAAa,0BAA0B,MAAM,CAAC,EAAE,EAAE;wBAC1F,IAAI,EAAE,WAAW;qBAClB,CAAC,CAAC;oBACH,OAAO;gBACT,CAAC;gBACD,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;oBACzD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;oBAChC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;wBAAE,SAAS;oBAClD,MAAM,SAAS,GAAG,GAAG,WAAW,IAAI,MAAM,EAAE,CAAC;oBAC7C,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;wBACrB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;4BAC3C,MAAM,CAAC,IAAI,CAAC;gCACV,IAAI,EAAE,mBAAmB;gCACzB,OAAO,EAAE,qCAAqC,KAAK,CAAC,UAAU,0BAA0B,KAAK,CAAC,EAAE,kBAAkB;gCAClH,IAAI,EAAE,GAAG,SAAS,aAAa;6BAChC,CAAC,CAAC;wBACL,CAAC;6BAAM,CAAC;4BACN,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;wBACtC,CAAC;oBACH,CAAC;oBACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;wBAChC,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,SAAS,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;oBAChE,CAAC;gBACH,CAAC;YACH,CAAC,CAAC;YAEF,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,aAAa,CAAC,MAAM,EAAE,YAAY,MAAM,aAAa,MAAM,SAAS,CAAC,CAAC;YACtE,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YAClD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,YAAY,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC;YAE3D,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;gBACrC,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBAC3C,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;oBAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACd,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,mBAAmB;4BACzB,OAAO,EAAE,WAAW,MAAM,CAAC,EAAE,kCAAkC,UAAU,GAAG;4BAC5E,IAAI,EAAE,WAAW,MAAM,cAAc,MAAM,cAAc;yBAC1D,CAAC,CAAC;wBACH,SAAS;oBACX,CAAC;oBAED,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;wBAC3C,MAAM,aAAa,GAAG,CAAC,SAAgB,EAAS,EAAE;4BAChD,IAAI,GAAG,GAAU,EAAE,CAAC;4BACpB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gCAC1B,IAAI,CAAC,CAAC;oCAAE,SAAS;gCACjB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gCACZ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;oCAC5B,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;gCAC5C,CAAC;4BACH,CAAC;4BACD,OAAO,GAAG,CAAC;wBACb,CAAC,CAAC;wBACF,MAAM,eAAe,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;wBAC3D,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;4BAC/C,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI;gCAAE,SAAS;4BAC1E,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;4BAC/E,IAAI,CAAC,WAAW,EAAE,CAAC;gCACjB,MAAM,CAAC,IAAI,CAAC;oCACV,IAAI,EAAE,iBAAiB;oCACvB,OAAO,EAAE,WAAW,MAAM,CAAC,EAAE,6BAA6B,QAAQ,CAAC,IAAI,mBAAmB,QAAQ,CAAC,EAAE,GAAG;oCACxG,IAAI,EAAE,YAAY,MAAM,aAAa,MAAM,aAAa;iCACzD,CAAC,CAAC;4BACL,CAAC;iCAAM,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;gCAC9C,MAAM,CAAC,IAAI,CAAC;oCACV,IAAI,EAAE,iBAAiB;oCACvB,OAAO,EAAE,WAAW,MAAM,CAAC,EAAE,YAAY,QAAQ,CAAC,IAAI,eAAe,WAAW,CAAC,IAAI,mBAAmB,QAAQ,CAAC,EAAE,eAAe,QAAQ,CAAC,IAAI,GAAG;oCAClJ,IAAI,EAAE,YAAY,MAAM,aAAa,MAAM,SAAS;iCACrD,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,CAAC;wBACjD,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;wBACrD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,oBAAoB,EAAE,CAAC;4BACnD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI;gCAAE,SAAS;4BACpF,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CACtB,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAC7D,CAAC;4BACF,IAAI,CAAC,MAAM,EAAE,CAAC;gCACZ,MAAM,CAAC,IAAI,CAAC;oCACV,IAAI,EAAE,iBAAiB;oCACvB,OAAO,EAAE,WAAW,MAAM,CAAC,EAAE,kCAAkC,MAAM,CAAC,IAAI,MAAM,MAAM,CAAC,IAAI,mBAAmB,QAAQ,CAAC,EAAE,GAAG;oCAC5H,IAAI,EAAE,YAAY,MAAM,aAAa,MAAM,aAAa;iCACzD,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;YAC5D,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,EAAE;gBAAE,SAAS;YAE5C,MAAM,OAAO,GAAG,YAAY,MAAM,iBAAiB,MAAM,EAAE,CAAC;YAC5D,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,mBAAmB;oBACzB,OAAO,EAAE,gCAAgC,UAAU,CAAC,EAAE,EAAE;oBACxD,IAAI,EAAE,GAAG,OAAO,WAAW;iBAC5B,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,cAAc,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAChE,IAAI,CAAC,cAAc,EAAE,CAAC;gBACpB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,mBAAmB;oBACzB,OAAO,EAAE,yCAAyC,UAAU,CAAC,QAAQ,+BAA+B,UAAU,CAAC,EAAE,kBAAkB;oBACnI,IAAI,EAAE,GAAG,OAAO,WAAW;iBAC5B,CAAC,CAAC;YACL,CAAC;YAED,IACE,CAAC,UAAU,CAAC,WAAW;gBACvB,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC;gBACtC,UAAU,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EACnC,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,OAAO,EAAE,eAAe,UAAU,CAAC,EAAE,sEAAsE;oBAC3G,IAAI,EAAE,GAAG,OAAO,cAAc;iBAC/B,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;oBACtE,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;oBAC5C,IACE,CAAC,IAAI;wBACL,OAAO,IAAI,KAAK,QAAQ;wBACxB,CAAC,IAAI,CAAC,IAAI;wBACV,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;wBAC7B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EACvB,CAAC;wBACD,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,oBAAoB;4BAC1B,OAAO,EAAE,eAAe,UAAU,CAAC,EAAE,2DAA2D;4BAChG,IAAI,EAAE,GAAG,OAAO,gBAAgB,MAAM,EAAE;yBACzC,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;wBAC7B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;4BAC9B,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;wBACxB,CAAC;wBACD,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;4BACtD,MAAM,CAAC,IAAI,CAAC;gCACV,IAAI,EAAE,oBAAoB;gCAC1B,OAAO,EAAE,eAAe,UAAU,CAAC,EAAE,gEAAgE;gCACrG,IAAI,EAAE,GAAG,OAAO,gBAAgB,MAAM,SAAS;6BAChD,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;YAC1D,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAC/B,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE;gBAAE,SAAS;YAE9B,MAAM,OAAO,GAAG,YAAY,MAAM,eAAe,MAAM,EAAE,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClE,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,mBAAmB;oBACzB,OAAO,EAAE,oDAAoD,GAAG,CAAC,EAAE,EAAE;oBACrE,IAAI,EAAE,GAAG,OAAO,aAAa;iBAC9B,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;oBACjC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC1B,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,mBAAmB;4BACzB,OAAO,EAAE,0CAA0C,GAAG,8BAA8B,GAAG,CAAC,EAAE,kBAAkB;4BAC5G,IAAI,EAAE,GAAG,OAAO,aAAa;yBAC9B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,aAAa,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,oBAAoB,EAAE,CAAC;gBAC1D,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC7C,IAAI,CAAC,YAAY,EAAE,CAAC;oBAClB,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,0BAA0B;wBAChC,OAAO,EAAE,oDAAoD,GAAG,CAAC,IAAI,GAAG;wBACxE,IAAI,EAAE,GAAG,OAAO,OAAO;qBACxB,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC;oBACvF,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,wCAAwC,GAAG,CAAC,IAAI,GAAG;wBAC5D,IAAI,EAAE,GAAG,OAAO,uBAAuB;qBACxC,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC;oBACrE,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,cAAc,GAAG,CAAC,IAAI,8BAA8B,GAAG,CAAC,oBAAoB,kCAAkC,YAAY,GAAG;wBACtI,IAAI,EAAE,GAAG,OAAO,uBAAuB;qBACxC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,0BAA0B;IAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,SAAS,GAAG,CAAC,MAAc,EAAE,IAAc,EAAE,KAAa;QACxD,IAAI,KAAK,GAAG,qBAAa,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,+BAA+B,qBAAa,eAAe,MAAM,EAAE;gBAC5E,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;aACrC,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,wCAAwC;YACxC,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAG,eAAe,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACvE,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,iCAAiC,SAAS,EAAE;gBACrD,IAAI,EAAE,SAAS;aAChB,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,OAAO;QACT,CAAC;QAED,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAElB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACvC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC5B,CAAC;QAED,IAAI,CAAC,GAAG,EAAE,CAAC;QACX,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/src/validator/index.d.ts

@@ -0,0 +1,23 @@
+import { ErrorObject } from 'ajv/dist/2020';
+export interface ValidatorOptions {
+    maxDepth?: number;
+}
+export interface EnhancedErrorObject extends ErrorObject {
+    code?: string;
+    context?: {
+        line?: number;
+        column?: number;
+        [key: string]: unknown;
+    };
+}
+export declare class BADLValidator {
+    private ajv;
+    errors: EnhancedErrorObject[] | null | undefined;
+    constructor();
+    private checkCircularDependency;
+    private runValidation;
+    validateDomain(data: unknown, options?: ValidatorOptions): boolean;
+    validateEntity(data: unknown, options?: ValidatorOptions): boolean;
+}
+export * from './serializer';
+export * from './ast-validator';

package/src/validator/index.js

@@ -0,0 +1,143 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BADLValidator = void 0;
+const tslib_1 = require("tslib");
+const _2020_1 = tslib_1.__importDefault(require("ajv/dist/2020"));
+const ajv_formats_1 = tslib_1.__importDefault(require("ajv-formats"));
+const ajv_errors_1 = tslib_1.__importDefault(require("ajv-errors"));
+const json_source_map_1 = require("json-source-map");
+const domainSchema = tslib_1.__importStar(require("../schemas/domain.schema.json"));
+const entitySchema = tslib_1.__importStar(require("../schemas/entity.schema.json"));
+const capabilitySchema = tslib_1.__importStar(require("../schemas/capability.schema.json"));
+const contractSchema = tslib_1.__importStar(require("../schemas/contract.schema.json"));
+const permissionSchema = tslib_1.__importStar(require("../schemas/permission.schema.json"));
+const extensionSchema = tslib_1.__importStar(require("../schemas/extension.schema.json"));
+class BADLValidator {
+    ajv;
+    errors = null;
+    constructor() {
+        this.ajv = new _2020_1.default({
+            allErrors: true,
+            strict: true,
+        });
+        (0, ajv_formats_1.default)(this.ajv);
+        (0, ajv_errors_1.default)(this.ajv);
+        const resolvedEntitySchema = entitySchema['default'] ?? entitySchema;
+        const resolvedDomainSchema = domainSchema['default'] ?? domainSchema;
+        const resolvedCapabilitySchema = capabilitySchema['default'] ?? capabilitySchema;
+        const resolvedPermissionSchema = permissionSchema['default'] ?? permissionSchema;
+        const resolvedContractSchema = contractSchema['default'] ?? contractSchema;
+        const resolvedExtensionSchema = extensionSchema['default'] ?? extensionSchema;
+        this.ajv.addSchema(resolvedCapabilitySchema, 'https://origo.design/schemas/v1/capability.schema.json');
+        this.ajv.addSchema(resolvedContractSchema, 'https://origo.design/schemas/v1/contract.schema.json');
+        this.ajv.addSchema(resolvedPermissionSchema, 'https://origo.design/schemas/v1/permission.schema.json');
+        this.ajv.addSchema(resolvedExtensionSchema, 'https://origo.design/schemas/v1/extension.schema.json');
+        this.ajv.addSchema(resolvedEntitySchema, 'https://origo.design/schemas/v1/entity.schema.json');
+        this.ajv.addSchema(resolvedDomainSchema, 'https://origo.design/schemas/v1/domain.schema.json');
+    }
+    checkCircularDependency(obj, currentDepth, maxDepth, visited) {
+        if (currentDepth > maxDepth) {
+            throw new Error('Maximum depth exceeded. Possible circular dependency detected.');
+        }
+        if (obj && typeof obj === 'object') {
+            if (visited.has(obj)) {
+                throw new Error('Maximum depth exceeded. Possible circular dependency detected.');
+            }
+            visited.add(obj);
+            for (const key in obj) {
+                if (Object.prototype.hasOwnProperty.call(obj, key)) {
+                    this.checkCircularDependency(obj[key], currentDepth + 1, maxDepth, visited);
+                }
+            }
+            visited.delete(obj);
+        }
+    }
+    runValidation(schemaUrl, data, options = {}) {
+        this.errors = null;
+        let parsedData = data;
+        let sourceMapPointers;
+        if (typeof data === 'string') {
+            try {
+                const parsed = (0, json_source_map_1.parse)(data);
+                parsedData = parsed.data;
+                sourceMapPointers = parsed.pointers;
+            }
+            catch (err) {
+                let line;
+                let column;
+                if (err && typeof err === 'object') {
+                    const errMsg = err.message || '';
+                    const match = /line (\d+) column (\d+)/.exec(errMsg);
+                    if (match) {
+                        line = parseInt(match[1], 10);
+                        column = parseInt(match[2], 10);
+                    }
+                }
+                this.errors = [
+                    {
+                        keyword: 'parse',
+                        message: err?.message || 'Invalid JSON string',
+                        instancePath: '',
+                        schemaPath: '',
+                        params: {},
+                        code: 'parse',
+                        context: { line, column },
+                    },
+                ];
+                return false;
+            }
+        }
+        if (typeof options.maxDepth === 'number' && options.maxDepth < 0) {
+            throw new Error('maxDepth must be >= 0');
+        }
+        const maxDepth = options.maxDepth ?? 100;
+        this.checkCircularDependency(parsedData, 0, maxDepth, new Set());
+        const validate = this.ajv.getSchema(schemaUrl);
+        if (!validate) {
+            throw new Error(`Schema not found: ${schemaUrl}`);
+        }
+        const isValid = validate(parsedData);
+        if (!isValid && validate.errors) {
+            this.errors = validate.errors.map(err => {
+                const newErr = { ...err, code: err.keyword };
+                if (sourceMapPointers) {
+                    const decodedPath = (err.instancePath ?? '').replace(/~1/g, '/').replace(/~0/g, '~');
+                    let lookupPath = decodedPath;
+                    if (err.keyword === 'additionalProperties' &&
+                        err.params['additionalProperty']) {
+                        const additionalProperty = err.params['additionalProperty'];
+                        const additionalPath = `${decodedPath === '' ? '' : decodedPath}/${additionalProperty.replace(/~/g, '~0').replace(/\//g, '~1')}`;
+                        if (sourceMapPointers[additionalPath]) {
+                            lookupPath = additionalPath;
+                        }
+                    }
+                    if (sourceMapPointers[lookupPath] !== undefined) {
+                        const pointer = sourceMapPointers[lookupPath];
+                        const loc = pointer.key || pointer.value;
+                        if (loc != null) {
+                            newErr.context = {
+                                line: loc.line + 1,
+                                column: loc.column + 1,
+                            };
+                        }
+                    }
+                }
+                return newErr;
+            });
+        }
+        else {
+            this.errors = null;
+        }
+        return isValid;
+    }
+    validateDomain(data, options = {}) {
+        return this.runValidation('https://origo.design/schemas/v1/domain.schema.json', data, options);
+    }
+    validateEntity(data, options = {}) {
+        return this.runValidation('https://origo.design/schemas/v1/entity.schema.json', data, options);
+    }
+}
+exports.BADLValidator = BADLValidator;
+tslib_1.__exportStar(require("./serializer"), exports);
+tslib_1.__exportStar(require("./ast-validator"), exports);
+//# sourceMappingURL=index.js.map

package/src/validator/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../packages/core/src/validator/index.ts"],"names":[],"mappings":";;;;AAAA,kEAAiD;AACjD,sEAAqC;AACrC,oEAAmC;AACnC,qDAAkE;AAClE,oFAA8D;AAC9D,oFAA8D;AAC9D,4FAAsE;AACtE,wFAAkE;AAClE,4FAAsE;AACtE,0FAAoE;AAepE,MAAa,aAAa;IAChB,GAAG,CAAM;IACV,MAAM,GAA6C,IAAI,CAAC;IAE/D;QACE,IAAI,CAAC,GAAG,GAAG,IAAI,eAAG,CAAC;YACjB,SAAS,EAAE,IAAI;YACf,MAAM,EAAE,IAAI;SACb,CAAC,CAAC;QAEH,IAAA,qBAAU,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrB,IAAA,oBAAS,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAEpB,MAAM,oBAAoB,GACvB,YAAwC,CAAC,SAAS,CAAC,IAAI,YAAY,CAAC;QACvE,MAAM,oBAAoB,GACvB,YAAwC,CAAC,SAAS,CAAC,IAAI,YAAY,CAAC;QACvE,MAAM,wBAAwB,GAC3B,gBAA4C,CAAC,SAAS,CAAC,IAAI,gBAAgB,CAAC;QAC/E,MAAM,wBAAwB,GAC3B,gBAA4C,CAAC,SAAS,CAAC,IAAI,gBAAgB,CAAC;QAE/E,MAAM,sBAAsB,GACzB,cAA0C,CAAC,SAAS,CAAC,IAAI,cAAc,CAAC;QAE3E,MAAM,uBAAuB,GAC1B,eAA2C,CAAC,SAAS,CAAC,IAAI,eAAe,CAAC;QAE7E,IAAI,CAAC,GAAG,CAAC,SAAS,CAChB,wBAAwB,EACxB,wDAAwD,CACzD,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,SAAS,CAChB,sBAAsB,EACtB,sDAAsD,CACvD,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,SAAS,CAChB,wBAAwB,EACxB,wDAAwD,CACzD,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,SAAS,CAChB,uBAAuB,EACvB,uDAAuD,CACxD,CAAC;QACF,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,EAAE,oDAAoD,CAAC,CAAC;QAC/F,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,EAAE,oDAAoD,CAAC,CAAC;IACjG,CAAC;IAEO,uBAAuB,CAC7B,GAAY,EACZ,YAAoB,EACpB,QAAgB,EAChB,OAAqB;QAErB,IAAI,YAAY,GAAG,QAAQ,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;QACpF,CAAC;QAED,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACnC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;YACpF,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAEjB,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;gBACtB,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;oBACnD,IAAI,CAAC,uBAAuB,CACzB,GAA+B,CAAC,GAAG,CAAC,EACrC,YAAY,GAAG,CAAC,EAChB,QAAQ,EACR,OAAO,CACR,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAEO,aAAa,CAAC,SAAiB,EAAE,IAAa,EAAE,UAA4B,EAAE;QACpF,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,UAAU,GAAG,IAAI,CAAC;QACtB,IAAI,iBAAsD,CAAC;QAE3D,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAA,uBAAsB,EAAC,IAAI,CAAC,CAAC;gBAC5C,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;gBACzB,iBAAiB,GAAG,MAAM,CAAC,QAAQ,CAAC;YACtC,CAAC;YAAC,OAAO,GAAY,EAAE,CAAC;gBACtB,IAAI,IAAwB,CAAC;gBAC7B,IAAI,MAA0B,CAAC;gBAE/B,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;oBACnC,MAAM,MAAM,GAAI,GAAa,CAAC,OAAO,IAAI,EAAE,CAAC;oBAC5C,MAAM,KAAK,GAAG,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACrD,IAAI,KAAK,EAAE,CAAC;wBACV,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBAC9B,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;gBAED,IAAI,CAAC,MAAM,GAAG;oBACZ;wBACE,OAAO,EAAE,OAAO;wBAChB,OAAO,EAAG,GAAa,EAAE,OAAO,IAAI,qBAAqB;wBACzD,YAAY,EAAE,EAAE;wBAChB,UAAU,EAAE,EAAE;wBACd,MAAM,EAAE,EAAE;wBACV,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;qBAC1B;iBACF,CAAC;gBACF,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,IAAI,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,IAAI,OAAO,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;YACjE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,GAAG,CAAC;QACzC,IAAI,CAAC,uBAAuB,CAAC,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAEjE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,qBAAqB,SAAS,EAAE,CAAC,CAAC;QACpD,CAAC;QAED,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;QAErC,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YAChC,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;gBACtC,MAAM,MAAM,GAAwB,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;gBAClE,IAAI,iBAAiB,EAAE,CAAC;oBACtB,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBAErF,IAAI,UAAU,GAAG,WAAW,CAAC;oBAC7B,IACE,GAAG,CAAC,OAAO,KAAK,sBAAsB;wBACrC,GAAG,CAAC,MAAkC,CAAC,oBAAoB,CAAC,EAC7D,CAAC;wBACD,MAAM,kBAAkB,GAAI,GAAG,CAAC,MAAkC,CAChE,oBAAoB,CACX,CAAC;wBACZ,MAAM,cAAc,GAAG,GAAG,WAAW,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;wBACjI,IAAI,iBAAiB,CAAC,cAAc,CAAC,EAAE,CAAC;4BACtC,UAAU,GAAG,cAAc,CAAC;wBAC9B,CAAC;oBACH,CAAC;oBAED,IAAI,iBAAiB,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;wBAChD,MAAM,OAAO,GAAG,iBAAiB,CAAC,UAAU,CAG3C,CAAC;wBACF,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,KAAK,CAAC;wBACzC,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;4BAChB,MAAM,CAAC,OAAO,GAAG;gCACf,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC;gCAClB,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC;6BACvB,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,MAAM,CAAC;YAChB,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACrB,CAAC;QAED,OAAO,OAAkB,CAAC;IAC5B,CAAC;IAED,cAAc,CAAC,IAAa,EAAE,UAA4B,EAAE;QAC1D,OAAO,IAAI,CAAC,aAAa,CAAC,oDAAoD,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACjG,CAAC;IAED,cAAc,CAAC,IAAa,EAAE,UAA4B,EAAE;QAC1D,OAAO,IAAI,CAAC,aAAa,CAAC,oDAAoD,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACjG,CAAC;CACF;AAnLD,sCAmLC;AAED,uDAA6B;AAC7B,0DAAgC"}

package/src/validator/serializer.d.ts

@@ -0,0 +1,11 @@
+import { CanonicalAST } from '../types/ast';
+import { ValidationError } from '../types/validation';
+/**
+ * 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
+ */
+export declare function serializeAST(ast: CanonicalAST): [string | null, ValidationError[]];