opencode-telos 1.0.0

package/dist/sdd/validation/smart-validator.js

@@ -0,0 +1,347 @@
+import { GraphIndices } from "../graph/index.js";
+import { validateGraph, } from "./validator.js";
+import { getExclusionSets, isNodeExcludedOrDeprecated } from "../drift/exclusion.js";
+/**
+ * Subsystem classification: which validation checks are relevant
+ * for each node type.
+ */
+const SUBSYSTEM_MAP = {
+    requirement: ["requirements", "semantic", "constitution"],
+    business_rule: ["rules", "semantic", "constitution"],
+    feature: ["features", "semantic"],
+    entity: ["entities", "persistence", "cross-layer"],
+    endpoint: ["endpoints", "api"],
+    api: ["endpoints", "api"],
+    architecture_component: ["architecture", "cross-layer"],
+    file: ["files", "cross-layer"],
+    symbol: ["files", "cross-layer"],
+    task: ["requirements"],
+    test: ["requirements"],
+    database: ["persistence"],
+    table: ["persistence"],
+    change: ["features", "semantic"],
+    constitution: ["constitution"],
+    project: ["completeness"],
+    domain: ["completeness"],
+};
+/**
+ * Map each subsystem to the node types it needs to check.
+ */
+const SUBSYSTEM_NODE_TYPES = {
+    requirements: ["requirement", "task", "test"],
+    features: ["feature", "requirement", "change"],
+    entities: ["entity", "field"],
+    endpoints: ["endpoint"],
+    api: ["api", "endpoint"],
+    architecture: ["architecture_component"],
+    "cross-layer": ["file", "symbol", "architecture_component"],
+    persistence: ["entity", "table", "database"],
+    files: ["file", "symbol"],
+    semantic: ["requirement", "entity", "feature", "business_rule"],
+    constitution: ["constitution", "requirement", "business_rule"],
+    completeness: ["project", "feature", "requirement"],
+    structural: [], // Always runs - checks all nodes
+    references: [], // Always runs - checks all relationships
+};
+/**
+ * Determine which subsystems are affected by a set of changed nodes.
+ */
+export function getAffectedSubsystems(dirtyNodeIds, indices) {
+    const subsystems = new Set();
+    const relevantNodeIds = new Set();
+    // Always check structural and references (cheap, global)
+    subsystems.add("structural");
+    subsystems.add("references");
+    for (const nodeId of dirtyNodeIds) {
+        const node = indices.byId.get(nodeId);
+        if (!node)
+            continue;
+        const nodeSubsystems = SUBSYSTEM_MAP[node.type] || [];
+        for (const sub of nodeSubsystems) {
+            subsystems.add(sub);
+        }
+        // Also include adjacent nodes (1-hop) for cross-checks
+        const outgoing = indices.getOutgoing(nodeId);
+        const incoming = indices.getIncoming(nodeId);
+        for (const rel of [...outgoing, ...incoming]) {
+            relevantNodeIds.add(rel.from);
+            relevantNodeIds.add(rel.to);
+        }
+        relevantNodeIds.add(nodeId);
+    }
+    return { subsystems, nodeIds: relevantNodeIds };
+}
+/**
+ * Smart validation: only checks subsystems affected by the changed nodes.
+ * Falls back to full validation if >50% of subsystems are affected.
+ *
+ * Uses GraphIndices for O(1) node lookups instead of O(n) array scans.
+ */
+export function validateSmart(graph, dirtyNodeIds, options) {
+    const indices = GraphIndices.from(graph);
+    const allSubsystems = new Set([
+        "structural", "references", "requirements", "features", "entities",
+        "endpoints", "api", "architecture", "cross-layer", "persistence",
+        "files", "semantic", "constitution", "completeness",
+    ]);
+    // A caller that has no reliable change set is asking for validation of the
+    // current graph, not validation of an empty subset.  Treating it as an
+    // incremental run used to produce successful validations without inspecting
+    // a single node.
+    if (dirtyNodeIds.size === 0 && !options?.additionalSubsystems && !options?.excludeSubsystems) {
+        const fullResult = validateGraph(graph, options?.policy);
+        const result = {
+            ...fullResult,
+            subsystems_checked: [...allSubsystems],
+            subsystems_skipped: [],
+            nodes_checked: graph.nodes.length,
+            nodes_skipped: 0,
+        };
+        if (options?.coverageIndex)
+            options.coverageIndex.recordValidation(result);
+        return result;
+    }
+    // Auto-detect affected subsystems from dirty nodes
+    const { subsystems: autoDetectedSubsystems, nodeIds: relevantNodeIds } = getAffectedSubsystems(dirtyNodeIds, indices);
+    // Apply options: merge additional, exclude specific, or validate all
+    let subsystemsToCheck = new Set(autoDetectedSubsystems);
+    if (options?.validateAll) {
+        // IA requested: validate everything
+        subsystemsToCheck = new Set(allSubsystems);
+    }
+    else {
+        // Add additional subsystems requested by IA
+        if (options?.additionalSubsystems) {
+            for (const sub of options.additionalSubsystems) {
+                subsystemsToCheck.add(sub);
+            }
+        }
+        // Exclude subsystems the IA wants to skip
+        if (options?.excludeSubsystems) {
+            for (const sub of options.excludeSubsystems) {
+                subsystemsToCheck.delete(sub);
+            }
+        }
+    }
+    // Skip already-verified subsystems if coverage index is provided
+    if (options?.coverageIndex && options?.skipVerified) {
+        for (const sub of options.coverageIndex.getVerifiedSubsystems()) {
+            subsystemsToCheck.delete(sub);
+        }
+    }
+    // Apply max limit if specified
+    if (options?.maxSubsystems && subsystemsToCheck.size > options.maxSubsystems) {
+        const arr = [...subsystemsToCheck].slice(0, options.maxSubsystems);
+        subsystemsToCheck = new Set(arr);
+    }
+    // If >50% of subsystems affected, just do full validation (cheaper than smart)
+    if (!options?.validateAll && subsystemsToCheck.size > allSubsystems.size * 0.5) {
+        const fullResult = validateGraph(graph, options?.policy);
+        return {
+            ...fullResult,
+            subsystems_checked: [...allSubsystems],
+            subsystems_skipped: [],
+            nodes_checked: graph.nodes.length,
+            nodes_skipped: 0,
+        };
+    }
+    const skippedSubsystems = [...allSubsystems].filter((s) => !subsystemsToCheck.has(s));
+    // For the affected subsystems, run targeted checks
+    const errors = [];
+    const warnings = [];
+    const { removed, deprecated } = getExclusionSets(graph);
+    // Collect only nodes in relevant subsystems
+    const relevantNodes = graph.nodes.filter((n) => relevantNodeIds.has(n.id));
+    const relevantRels = graph.relationships.filter((r) => relevantNodeIds.has(r.from) || relevantNodeIds.has(r.to));
+    // Subsystem-specific validation using indices
+    for (const subsystem of subsystemsToCheck) {
+        switch (subsystem) {
+            case "requirements":
+                validateRequirementsSmart(indices, relevantNodes, removed, deprecated, warnings);
+                break;
+            case "entities":
+                validateEntitiesSmart(indices, relevantNodes, removed, deprecated, warnings);
+                break;
+            case "endpoints":
+                validateEndpointsSmart(indices, relevantNodes, removed, deprecated, warnings);
+                break;
+            case "cross-layer":
+                validateCrossLayerSmart(indices, relevantNodes, relevantRels, warnings);
+                break;
+            case "structural":
+                validateStructuralSmart(relevantNodes, relevantRels, errors, warnings);
+                break;
+            case "references":
+                validateReferencesSmart(relevantNodes, relevantRels, graph, errors);
+                break;
+        }
+    }
+    const result = {
+        valid: errors.length === 0,
+        errors,
+        warnings,
+        subsystems_checked: subsystemsToCheck.size > 0 ? [...subsystemsToCheck] : ["structural"],
+        subsystems_skipped: skippedSubsystems,
+        nodes_checked: relevantNodes.length,
+        nodes_skipped: graph.nodes.length - relevantNodes.length,
+    };
+    // Record coverage in the index if provided
+    if (options?.coverageIndex) {
+        options.coverageIndex.recordValidation(result);
+        // Record which specific nodes were checked
+        for (const sub of result.subsystems_checked) {
+            options.coverageIndex.recordNodesVerified(sub, relevantNodes.map(n => n.id));
+        }
+    }
+    return result;
+}
+// ── Smart subsystem validators (index-aware) ────────────────────────
+function validateRequirementsSmart(indices, nodes, removed, deprecated, warnings) {
+    const requirements = nodes.filter((n) => n.type === "requirement");
+    for (const req of requirements) {
+        if (isNodeExcludedOrDeprecated(req.id, req.status, removed, deprecated))
+            continue;
+        // O(1) check using index
+        const outgoing = indices.getOutgoing(req.id);
+        const hasTask = outgoing.some((r) => r.type === "implemented_by" || r.type === "contains" || r.type === "belongs_to");
+        // VERIFIED requirements are already validated, skip warning
+        if (!hasTask && req.status !== "VERIFIED") {
+            warnings.push({
+                code: "REQUIREMENT_NO_TASK",
+                message: `Requirement ${req.id} has no implementing task`,
+                node_id: req.id,
+            });
+        }
+        const meta = req.metadata;
+        if (!meta.acceptance_criteria || meta.acceptance_criteria.length === 0) {
+            if (!req.description || req.description.length < 10) {
+                warnings.push({
+                    code: "REQUIREMENT_NO_CRITERIA",
+                    message: `Requirement "${req.name}" has no acceptance criteria and minimal description`,
+                    node_id: req.id,
+                });
+            }
+        }
+    }
+}
+function validateEntitiesSmart(indices, nodes, removed, deprecated, warnings) {
+    const entities = nodes.filter((n) => n.type === "entity");
+    for (const entity of entities) {
+        if (isNodeExcludedOrDeprecated(entity.id, entity.status, removed, deprecated))
+            continue;
+        const meta = entity.metadata;
+        const fields = meta.fields || [];
+        if (fields.length === 0) {
+            warnings.push({
+                code: "ENTITY_NO_FIELDS",
+                message: `Entity "${entity.name}" has no fields defined`,
+                node_id: entity.id,
+            });
+        }
+    }
+}
+function validateEndpointsSmart(indices, nodes, removed, deprecated, warnings) {
+    const endpoints = nodes.filter((n) => n.type === "endpoint");
+    for (const ep of endpoints) {
+        if (isNodeExcludedOrDeprecated(ep.id, ep.status, removed, deprecated))
+            continue;
+        const meta = ep.metadata;
+        if (!meta.method)
+            warnings.push({ code: "ENDPOINT_NO_METHOD", message: `Endpoint ${ep.id} has no HTTP method`, node_id: ep.id });
+        if (!meta.path)
+            warnings.push({ code: "ENDPOINT_NO_PATH", message: `Endpoint ${ep.id} has no path`, node_id: ep.id });
+        // O(1) check using index
+        const incoming = indices.getIncoming(ep.id);
+        const hasApi = incoming.some((r) => r.type === "contains");
+        if (!hasApi)
+            warnings.push({ code: "ENDPOINT_ORPHAN", message: `Endpoint ${ep.id} is not contained by any API`, node_id: ep.id });
+    }
+}
+function validateCrossLayerSmart(indices, nodes, relationships, warnings) {
+    const LAYER_ORDER = {
+        shared: 0, database: 1, backend: 2, frontend: 3, infrastructure: 4,
+    };
+    function inferLayer(path) {
+        const p = path.toLowerCase();
+        if (p.includes("client") || p.includes("frontend") || p.includes("pages/") || p.includes("components/"))
+            return "frontend";
+        if (p.includes("server") || p.includes("backend") || p.includes("routes/") || p.includes("services/"))
+            return "backend";
+        if (p.includes("database") || p.includes("migrations/") || p.includes("schema"))
+            return "database";
+        if (p.includes("shared") || p.includes("common"))
+            return "shared";
+        return null;
+    }
+    const fileNodes = nodes.filter((n) => n.type === "file");
+    const fileLayerMap = new Map();
+    for (const f of fileNodes) {
+        const path = f.metadata.path;
+        if (path) {
+            const layer = inferLayer(path);
+            if (layer)
+                fileLayerMap.set(f.id, layer);
+        }
+    }
+    for (const rel of relationships) {
+        if (rel.type !== "uses" && rel.type !== "depends_on")
+            continue;
+        const fromLayer = fileLayerMap.get(rel.from);
+        const toLayer = fileLayerMap.get(rel.to);
+        if (!fromLayer || !toLayer || fromLayer === toLayer || fromLayer === "shared" || toLayer === "shared")
+            continue;
+        const fromOrder = LAYER_ORDER[fromLayer] ?? 2;
+        const toOrder = LAYER_ORDER[toLayer] ?? 2;
+        if (fromOrder > toOrder) {
+            const fromNode = indices.byId.get(rel.from);
+            const toNode = indices.byId.get(rel.to);
+            warnings.push({
+                code: "CROSS_LAYER_IMPORT",
+                message: `${fromLayer} file "${fromNode?.name || rel.from}" imports from ${toLayer} file "${toNode?.name || rel.to}" — architecture violation`,
+                node_id: rel.from,
+            });
+        }
+    }
+}
+function validateStructuralSmart(nodes, relationships, errors, warnings) {
+    const ids = new Set();
+    for (const rawNode of nodes) {
+        const node = rawNode;
+        if (!node.id) {
+            errors.push({ code: "MISSING_ID", message: "Node missing ID" });
+            continue;
+        }
+        if (ids.has(node.id)) {
+            errors.push({ code: "DUPLICATE_ID", message: `Duplicate node ID: ${node.id}`, node_id: node.id });
+        }
+        ids.add(node.id);
+        if (!node.type)
+            errors.push({ code: "MISSING_TYPE", message: `Node ${node.id} missing type`, node_id: node.id });
+        if (!node.name)
+            warnings.push({ code: "MISSING_NAME", message: `Node ${node.id} missing name`, node_id: node.id });
+        if (!node.status)
+            warnings.push({ code: "MISSING_STATUS", message: `Node ${node.id} missing status`, node_id: node.id });
+    }
+    for (const rel of relationships) {
+        if (!rel.from)
+            errors.push({ code: "MISSING_RELATIONSHIP_FROM", message: `Relationship ${rel.id} missing 'from'`, relationship_id: rel.id });
+        if (!rel.to)
+            errors.push({ code: "MISSING_RELATIONSHIP_TO", message: `Relationship ${rel.id} missing 'to'`, relationship_id: rel.id });
+        if (!rel.type)
+            errors.push({ code: "MISSING_RELATIONSHIP_TYPE", message: `Relationship ${rel.id} missing type`, relationship_id: rel.id });
+    }
+}
+function validateReferencesSmart(nodes, relationships, graph, errors) {
+    const nodeIds = new Set(nodes.map((n) => n.id));
+    // Also include ALL node IDs for reference checking (a rel might reference outside the subset)
+    const allNodeIds = new Set(graph.nodes.map((n) => n.id));
+    for (const rel of relationships) {
+        if (rel.from && !allNodeIds.has(rel.from)) {
+            errors.push({ code: "DANGLING_REFERENCE", message: `Relationship ${rel.id} references non-existent source: ${rel.from}`, relationship_id: rel.id });
+        }
+        if (rel.to && !allNodeIds.has(rel.to)) {
+            errors.push({ code: "DANGLING_REFERENCE", message: `Relationship ${rel.id} references non-existent target: ${rel.to}`, relationship_id: rel.id });
+        }
+    }
+}
+//# sourceMappingURL=smart-validator.js.map

package/dist/sdd/validation/smart-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"smart-validator.js","sourceRoot":"","sources":["../../../src/sdd/validation/smart-validator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EACL,aAAa,GAKd,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,gBAAgB,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAA;AAGpF;;;GAGG;AACH,MAAM,aAAa,GAA6B;IAC9C,WAAW,EAAE,CAAC,cAAc,EAAE,UAAU,EAAE,cAAc,CAAC;IACzD,aAAa,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,cAAc,CAAC;IACpD,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;IACjC,MAAM,EAAE,CAAC,UAAU,EAAE,aAAa,EAAE,aAAa,CAAC;IAClD,QAAQ,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC;IAC9B,GAAG,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC;IACzB,sBAAsB,EAAE,CAAC,cAAc,EAAE,aAAa,CAAC;IACvD,IAAI,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC;IAC9B,MAAM,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,IAAI,EAAE,CAAC,cAAc,CAAC;IACtB,IAAI,EAAE,CAAC,cAAc,CAAC;IACtB,QAAQ,EAAE,CAAC,aAAa,CAAC;IACzB,KAAK,EAAE,CAAC,aAAa,CAAC;IACtB,MAAM,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,YAAY,EAAE,CAAC,cAAc,CAAC;IAC9B,OAAO,EAAE,CAAC,cAAc,CAAC;IACzB,MAAM,EAAE,CAAC,cAAc,CAAC;CACzB,CAAA;AAqBD;;GAEG;AACH,MAAM,oBAAoB,GAA4C;IACpE,YAAY,EAAE,CAAC,aAAa,EAAE,MAAM,EAAE,MAAM,CAAC;IAC7C,QAAQ,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,QAAQ,CAAC;IAC9C,QAAQ,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC7B,SAAS,EAAE,CAAC,UAAU,CAAC;IACvB,GAAG,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC;IACxB,YAAY,EAAE,CAAC,wBAAwB,CAAC;IACxC,aAAa,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,wBAAwB,CAAC;IAC3D,WAAW,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC;IAC5C,KAAK,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;IACzB,QAAQ,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,CAAC;IAC/D,YAAY,EAAE,CAAC,cAAc,EAAE,aAAa,EAAE,eAAe,CAAC;IAC9D,YAAY,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,CAAC;IACnD,UAAU,EAAE,EAAE,EAAE,iCAAiC;IACjD,UAAU,EAAE,EAAE,EAAE,yCAAyC;CAC1D,CAAA;AAiCD;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACnC,YAAyB,EACzB,OAAqB;IAErB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAA;IACjD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;IAEzC,yDAAyD;IACzD,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAC5B,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;IAE5B,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACrC,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;QACrD,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;YACjC,UAAU,CAAC,GAAG,CAAC,GAA0B,CAAC,CAAA;QAC5C,CAAC;QAED,uDAAuD;QACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;QAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;QAC5C,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC;YAC7C,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAC7B,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC7B,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC7B,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,eAAe,EAAE,CAAA;AACjD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAqB,EACrB,YAAyB,EACzB,OAAgC;IAEhC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACxC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAsB;QACjD,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU;QAClE,WAAW,EAAE,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa;QAChE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc;KACpD,CAAC,CAAA;IAEF,2EAA2E;IAC3E,uEAAuE;IACvE,4EAA4E;IAC5E,iBAAiB;IACjB,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,oBAAoB,IAAI,CAAC,OAAO,EAAE,iBAAiB,EAAE,CAAC;QAC7F,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;QACxD,MAAM,MAAM,GAA0B;YACpC,GAAG,UAAU;YACb,kBAAkB,EAAE,CAAC,GAAG,aAAa,CAAC;YACtC,kBAAkB,EAAE,EAAE;YACtB,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;YACjC,aAAa,EAAE,CAAC;SACjB,CAAA;QACD,IAAI,OAAO,EAAE,aAAa;YAAE,OAAO,CAAC,aAAa,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAA;QAC1E,OAAO,MAAM,CAAA;IACf,CAAC;IAED,mDAAmD;IACnD,MAAM,EAAE,UAAU,EAAE,sBAAsB,EAAE,OAAO,EAAE,eAAe,EAAE,GACpE,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;IAE9C,qEAAqE;IACrE,IAAI,iBAAiB,GAAG,IAAI,GAAG,CAAsB,sBAAsB,CAAC,CAAA;IAE5E,IAAI,OAAO,EAAE,WAAW,EAAE,CAAC;QACzB,oCAAoC;QACpC,iBAAiB,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAA;IAC5C,CAAC;SAAM,CAAC;QACN,4CAA4C;QAC5C,IAAI,OAAO,EAAE,oBAAoB,EAAE,CAAC;YAClC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC;gBAC/C,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC5B,CAAC;QACH,CAAC;QACD,0CAA0C;QAC1C,IAAI,OAAO,EAAE,iBAAiB,EAAE,CAAC;YAC/B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,iBAAiB,EAAE,CAAC;gBAC5C,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,IAAI,OAAO,EAAE,aAAa,IAAI,OAAO,EAAE,YAAY,EAAE,CAAC;QACpD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,aAAa,CAAC,qBAAqB,EAAE,EAAE,CAAC;YAChE,iBAAiB,CAAC,MAAM,CAAC,GAA0B,CAAC,CAAA;QACtD,CAAC;IACH,CAAC;IAED,+BAA+B;IAC/B,IAAI,OAAO,EAAE,aAAa,IAAI,iBAAiB,CAAC,IAAI,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;QAC7E,MAAM,GAAG,GAAG,CAAC,GAAG,iBAAiB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAA;QAClE,iBAAiB,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAA;IAClC,CAAC;IAED,+EAA+E;IAC/E,IAAI,CAAC,OAAO,EAAE,WAAW,IAAI,iBAAiB,CAAC,IAAI,GAAG,aAAa,CAAC,IAAI,GAAG,GAAG,EAAE,CAAC;QAC/E,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;QACxD,OAAO;YACL,GAAG,UAAU;YACb,kBAAkB,EAAE,CAAC,GAAG,aAAa,CAAC;YACtC,kBAAkB,EAAE,EAAE;YACtB,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;YACjC,aAAa,EAAE,CAAC;SACjB,CAAA;IACH,CAAC;IAED,MAAM,iBAAiB,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,MAAM,CACjD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CACjC,CAAA;IAED,mDAAmD;IACnD,MAAM,MAAM,GAAsB,EAAE,CAAA;IACpC,MAAM,QAAQ,GAAwB,EAAE,CAAA;IACxC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAA;IAEvD,4CAA4C;IAC5C,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1E,MAAM,YAAY,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAC7C,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAChE,CAAA;IAED,8CAA8C;IAC9C,KAAK,MAAM,SAAS,IAAI,iBAAiB,EAAE,CAAC;QAC1C,QAAQ,SAAS,EAAE,CAAC;YAClB,KAAK,cAAc;gBACjB,yBAAyB,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAA;gBAChF,MAAK;YACP,KAAK,UAAU;gBACb,qBAAqB,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAA;gBAC5E,MAAK;YACP,KAAK,WAAW;gBACd,sBAAsB,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAA;gBAC7E,MAAK;YACP,KAAK,aAAa;gBAChB,uBAAuB,CAAC,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAA;gBACvE,MAAK;YACP,KAAK,YAAY;gBACf,uBAAuB,CAAC,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAA;gBACtE,MAAK;YACP,KAAK,YAAY;gBACf,uBAAuB,CAAC,aAAa,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;gBACnE,MAAK;QACT,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAA0B;QACpC,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QAC1B,MAAM;QACN,QAAQ;QACR,kBAAkB,EAAE,iBAAiB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;QACxF,kBAAkB,EAAE,iBAAiB;QACrC,aAAa,EAAE,aAAa,CAAC,MAAM;QACnC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,aAAa,CAAC,MAAM;KACzD,CAAA;IAED,2CAA2C;IAC3C,IAAI,OAAO,EAAE,aAAa,EAAE,CAAC;QAC3B,OAAO,CAAC,aAAa,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAA;QAC9C,2CAA2C;QAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC5C,OAAO,CAAC,aAAa,CAAC,mBAAmB,CAAC,GAAG,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAC9E,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAED,uEAAuE;AAEvE,SAAS,yBAAyB,CAChC,OAAqB,EACrB,KAAgB,EAChB,OAAoB,EACpB,UAAuB,EACvB,QAA6B;IAE7B,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAA;IAClE,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,IAAI,0BAA0B,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC;YAAE,SAAQ;QAEjF,yBAAyB;QACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAC3B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACvF,CAAA;QACD,4DAA4D;QAC5D,IAAI,CAAC,OAAO,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,eAAe,GAAG,CAAC,EAAE,2BAA2B;gBACzD,OAAO,EAAE,GAAG,CAAC,EAAE;aAChB,CAAC,CAAA;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,GAAG,CAAC,QAAe,CAAA;QAChC,IAAI,CAAC,IAAI,CAAC,mBAAmB,IAAI,IAAI,CAAC,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvE,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,gBAAgB,GAAG,CAAC,IAAI,sDAAsD;oBACvF,OAAO,EAAE,GAAG,CAAC,EAAE;iBAChB,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAqB,EACrB,KAAgB,EAChB,OAAoB,EACpB,UAAuB,EACvB,QAA6B;IAE7B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAA;IACzD,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,IAAI,0BAA0B,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC;YAAE,SAAQ;QAEvF,MAAM,IAAI,GAAG,MAAM,CAAC,QAAmC,CAAA;QACvD,MAAM,MAAM,GAAI,IAAI,CAAC,MAAgB,IAAI,EAAE,CAAA;QAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,WAAW,MAAM,CAAC,IAAI,yBAAyB;gBACxD,OAAO,EAAE,MAAM,CAAC,EAAE;aACnB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAAqB,EACrB,KAAgB,EAChB,OAAoB,EACpB,UAAuB,EACvB,QAA6B;IAE7B,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAA;IAC5D,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,0BAA0B,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC;YAAE,SAAQ;QAE/E,MAAM,IAAI,GAAG,EAAE,CAAC,QAAe,CAAA;QAC/B,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,qBAAqB,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QAChI,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QAErH,yBAAyB;QACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAA;QAC1D,IAAI,CAAC,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,8BAA8B,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;IACnI,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAAqB,EACrB,KAAgB,EAChB,aAA6B,EAC7B,QAA6B;IAE7B,MAAM,WAAW,GAA2B;QAC1C,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC;KACnE,CAAA;IAED,SAAS,UAAU,CAAC,IAAY;QAC9B,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAC5B,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC;YAAE,OAAO,UAAU,CAAA;QAC1H,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,OAAO,SAAS,CAAA;QACvH,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,OAAO,UAAU,CAAA;QAClG,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,OAAO,QAAQ,CAAA;QACjE,OAAO,IAAI,CAAA;IACb,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;IACxD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC9C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAI,CAAC,CAAC,QAAgB,CAAC,IAAI,CAAA;QACrC,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;YAC9B,IAAI,KAAK;gBAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QAC1C,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;QAChC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;YAAE,SAAQ;QAC9D,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC5C,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACxC,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,IAAI,SAAS,KAAK,OAAO,IAAI,SAAS,KAAK,QAAQ,IAAI,OAAO,KAAK,QAAQ;YAAE,SAAQ;QAE/G,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;QAC7C,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QACzC,IAAI,SAAS,GAAG,OAAO,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACvC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,GAAG,SAAS,UAAU,QAAQ,EAAE,IAAI,IAAI,GAAG,CAAC,IAAI,kBAAkB,OAAO,UAAU,MAAM,EAAE,IAAI,IAAI,GAAG,CAAC,EAAE,4BAA4B;gBAC9I,OAAO,EAAE,GAAG,CAAC,IAAI;aAClB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAgB,EAChB,aAA6B,EAC7B,MAAyB,EACzB,QAA6B;IAE7B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,OAAyE,CAAA;QACtF,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC,CAAA;YAC/D,SAAQ;QACV,CAAC;QACD,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,sBAAsB,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;QACnG,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAChB,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,IAAI,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;QAChH,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,IAAI,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;QAClH,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,IAAI,CAAC,EAAE,iBAAiB,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;IAC1H,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,gBAAgB,GAAG,CAAC,EAAE,iBAAiB,EAAE,eAAe,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAA;QAC5I,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,OAAO,EAAE,gBAAgB,GAAG,CAAC,EAAE,eAAe,EAAE,eAAe,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAA;QACtI,IAAI,CAAC,GAAG,CAAC,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,gBAAgB,GAAG,CAAC,EAAE,eAAe,EAAE,eAAe,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAA;IAC5I,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAgB,EAChB,aAA6B,EAC7B,KAAqB,EACrB,MAAyB;IAEzB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/C,8FAA8F;IAC9F,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAExD,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;QAChC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,gBAAgB,GAAG,CAAC,EAAE,oCAAoC,GAAG,CAAC,IAAI,EAAE,EAAE,eAAe,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAA;QACrJ,CAAC;QACD,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,gBAAgB,GAAG,CAAC,EAAE,oCAAoC,GAAG,CAAC,EAAE,EAAE,EAAE,eAAe,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAA;QACnJ,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/sdd/validation/validator.d.ts

@@ -0,0 +1,39 @@
+import type { KnowledgeGraph } from "../domain/types.js";
+import type { IntegrityReport } from "../graph/integrity.js";
+export interface ValidationResult {
+    valid: boolean;
+    errors: ValidationError[];
+    warnings: ValidationWarning[];
+    integrity?: IntegrityReport;
+}
+export interface ValidationError {
+    code: string;
+    message: string;
+    node_id?: string;
+    relationship_id?: string;
+}
+export interface ValidationWarning {
+    code: string;
+    message: string;
+    node_id?: string;
+}
+export interface ValidationPolicy {
+    critical_requirement_without_test: "error" | "warning";
+    missing_verification_scenario: "error" | "warning";
+}
+export declare const DEFAULT_VALIDATION_POLICY: ValidationPolicy;
+/**
+ * Full graph validation. Checks structural integrity, semantic correctness,
+ * references, completeness, constitution, promises, contradictions, and graph integrity.
+ */
+export declare function validateGraph(graph: KnowledgeGraph, policy?: ValidationPolicy): ValidationResult;
+/**
+ * Check if an entity has a valid persistence mapping.
+ * Supports multiple strategies:
+ * 1. Relationship: persists_to → database/table node
+ * 2. Metadata: metadata.table, tableName, stored_in, persists_in, uses, mapped_to
+ * 3. Unified schema: entity has fields defined (acceptable for schema.sql patterns)
+ */
+export declare function hasPersistenceMapping(entity: any, graph: KnowledgeGraph): boolean;
+export declare function formatValidationResult(result: ValidationResult): string;
+//# sourceMappingURL=validator.d.ts.map

package/dist/sdd/validation/validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../../src/sdd/validation/validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AAMxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAG5D,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,CAAA;IACd,MAAM,EAAE,eAAe,EAAE,CAAA;IACzB,QAAQ,EAAE,iBAAiB,EAAE,CAAA;IAC7B,SAAS,CAAC,EAAE,eAAe,CAAA;CAC5B;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,eAAe,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAED,MAAM,WAAW,gBAAgB;IAC/B,iCAAiC,EAAE,OAAO,GAAG,SAAS,CAAA;IACtD,6BAA6B,EAAE,OAAO,GAAG,SAAS,CAAA;CACnD;AAED,eAAO,MAAM,yBAAyB,EAAE,gBAGvC,CAAA;AA+BD;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,cAAc,EACrB,MAAM,GAAE,gBAA4C,GACnD,gBAAgB,CA0ElB;AA6TD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAqBjF;AAyGD,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAyCvE"}