soloforge 1.1.2 → 1.1.30

package/dist/engine/contracts/route_decision_contract_verifier.js

@@ -0,0 +1,154 @@
+/**
+ * RouteDecision 合同验证器 — 验证 route_decision 与 workflow_trace 的一致性。
+ *
+ * 被 sf_verify、scenario runner、negative tests 共用。
+ */
+export function verifyRouteDecisionContract(input) {
+    const findings = [];
+    const rd = input.route_decision;
+    const wt = input.workflow_trace;
+    // 1. route_decision 必须存在
+    if (!rd) {
+        findings.push({ severity: "hard_fail", rule: "rd-missing", message: "route_decision 不存在，验证无法继续" });
+        return findings;
+    }
+    // 2. route_decision 存在时 workflow_trace 也必须存在
+    if (!wt) {
+        findings.push({ severity: "hard_fail", rule: "wt-missing", message: "workflow_trace 不存在，无法验证路由一致性" });
+    }
+    // 3. workflow_trace.route 必须与 route_decision.route 一致
+    if (wt && wt.route !== rd.route) {
+        findings.push({
+            severity: "hard_fail",
+            rule: "wt-route-mismatch",
+            message: `workflow_trace.route="${wt.route}" !== route_decision.route="${rd.route}"`,
+        });
+    }
+    // 4. workflow_trace.execution_shape 必须与 route_decision.execution_shape 一致
+    if (wt && wt.execution_shape !== rd.execution_shape) {
+        findings.push({
+            severity: "hard_fail",
+            rule: "wt-shape-mismatch",
+            message: `workflow_trace.execution_shape="${wt.execution_shape}" !== route_decision.execution_shape="${rd.execution_shape}"`,
+        });
+    }
+    // 5. missing_required_inputs 非空时必须阻止正常验证
+    if (rd.missing_required_inputs && rd.missing_required_inputs.length > 0) {
+        findings.push({
+            severity: "blocked",
+            rule: "rd-missing-inputs",
+            message: `missing_required_inputs 非空: ${rd.missing_required_inputs.join(", ")}`,
+        });
+    }
+    // 6. input_materials 保留检查
+    if (rd.input_materials && rd.input_materials.length > 0 && input.expansion_input_materials) {
+        const rdKinds = new Set(rd.input_materials.map(m => m.kind));
+        const expRefs = input.expansion_input_materials.map(m => m.path_or_ref ?? "").filter(r => r.length > 0);
+        // 至少一个 expansion input_material 应对应一个 rd input_material
+        const rdPaths = rd.input_materials.filter(m => m.path).map(m => m.path);
+        if (rdPaths.length > 0 && expRefs.length > 0) {
+            const anyPreserved = rdPaths.some(p => expRefs.some(e => e.includes(p)));
+            if (!anyPreserved) {
+                findings.push({
+                    severity: "degraded",
+                    rule: "rd-inputs-lost",
+                    message: `route_decision input_materials 路径 [${rdPaths.join(",")}] 未在 expansion input_materials 中保留`,
+                });
+            }
+        }
+    }
+    // 7. mutation_allowed / scope 一致性
+    if (rd.scope && rd.scope.read_only !== undefined && rd.scope.read_only !== !rd.mutation_allowed) {
+        findings.push({
+            severity: "hard_fail",
+            rule: "rd-scope-mutation-mismatch",
+            message: `scope.read_only=${rd.scope.read_only} 与 mutation_allowed=${rd.mutation_allowed} 不一致`,
+        });
+    }
+    // 8. mutation_allowed 升级检测（source_extraction 必须为 false）
+    if (rd.route === "source_extraction" && rd.mutation_allowed === true) {
+        findings.push({
+            severity: "hard_fail",
+            rule: "rd-mutation-upgraded",
+            message: "source_extraction 路由必须设置 mutation_allowed=false，当前为 true（检测到升级）",
+        });
+    }
+    // 9. output_artifact 一致性检查
+    const rdArtifact = rd.output_artifact;
+    const expArtifact = input.expansion_output_artifact;
+    if (rdArtifact) {
+        if (!expArtifact) {
+            findings.push({
+                severity: "hard_fail",
+                rule: "rd-output-artifact-missing",
+                message: `route_decision.output_artifact 存在 (kind=${rdArtifact.kind ?? "?"}) 但 expansion output artifact 缺失`,
+            });
+        }
+        else {
+            if (rdArtifact.kind && expArtifact.kind && rdArtifact.kind !== expArtifact.kind) {
+                findings.push({
+                    severity: "hard_fail",
+                    rule: "rd-output-artifact-kind-mismatch",
+                    message: `route_decision.output_artifact.kind="${rdArtifact.kind}" !== expansion output kind="${expArtifact.kind}"`,
+                });
+            }
+            if (rdArtifact.path && expArtifact.path && rdArtifact.path !== expArtifact.path) {
+                findings.push({
+                    severity: "hard_fail",
+                    rule: "rd-output-artifact-path-mismatch",
+                    message: `route_decision.output_artifact.path="${rdArtifact.path}" !== expansion output path="${expArtifact.path}"`,
+                });
+            }
+        }
+    }
+    // 10. constraints 保留检查
+    // 10a. 如果显式提供了 expansion_constraints，与 rd.constraints 对比
+    if (rd.constraints && rd.constraints.length > 0 && Array.isArray(input.expansion_constraints)) {
+        const expConstraints = input.expansion_constraints;
+        if (expConstraints.length === 0) {
+            findings.push({
+                severity: "hard_fail",
+                rule: "rd-constraints-lost",
+                message: `route_decision.constraints [${rd.constraints.join(",")}] 未在 expansion 中保留（为空）`,
+            });
+        }
+        else {
+            if (rd.route === "source_extraction" && rd.constraints.includes("no_mutation") && !expConstraints.includes("no_mutation")) {
+                findings.push({
+                    severity: "hard_fail",
+                    rule: "rd-constraint-no-mutation-lost",
+                    message: "source_extraction 的 no_mutation 约束在 expansion 中丢失",
+                });
+            }
+        }
+    }
+    // 10b. 自洽性: source_extraction 且 mutation_allowed=false 时必须有 no_mutation 约束
+    if (rd.route === "source_extraction" && !rd.mutation_allowed && rd.constraints && !rd.constraints.includes("no_mutation")) {
+        findings.push({
+            severity: "hard_fail",
+            rule: "rd-constraint-no-mutation-missing",
+            message: "source_extraction 且 mutation_allowed=false 时必须有 no_mutation 约束",
+        });
+    }
+    // 10c. 如果 rd 有 constraints 但被完全移除（constraints 字段为空或缺失）
+    if (rd.route === "source_extraction" && !rd.mutation_allowed && (!rd.constraints || rd.constraints.length === 0)) {
+        findings.push({
+            severity: "hard_fail",
+            rule: "rd-constraints-empty",
+            message: "source_extraction 且 mutation_allowed=false 时 constraints 为空",
+        });
+    }
+    // 11. input_materials 存在但 expansion_input_materials 缺失/为空 → blocked
+    if (rd.input_materials && rd.input_materials.length > 0) {
+        const expInputs = input.expansion_input_materials;
+        if (!expInputs || expInputs.length === 0) {
+            findings.push({
+                severity: "blocked",
+                rule: "rd-inputs-no-expansion",
+                message: `route_decision 有 ${rd.input_materials.length} 个 input_materials 但 expansion_input_materials 为空或缺失`,
+            });
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=route_decision_contract_verifier.js.map

package/dist/engine/contracts/route_decision_contract_verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"route_decision_contract_verifier.js","sourceRoot":"","sources":["../../../src/engine/contracts/route_decision_contract_verifier.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA4BH,MAAM,UAAU,2BAA2B,CAAC,KAAiC;IAC3E,MAAM,QAAQ,GAAmC,EAAE,CAAC;IACpD,MAAM,EAAE,GAAG,KAAK,CAAC,cAAc,CAAC;IAChC,MAAM,EAAE,GAAG,KAAK,CAAC,cAAc,CAAC;IAEhC,yBAAyB;IACzB,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;QACnG,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,6CAA6C;IAC7C,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC,CAAC;IACxG,CAAC;IAED,sDAAsD;IACtD,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC;QAChC,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,yBAAyB,EAAE,CAAC,KAAK,+BAA+B,EAAE,CAAC,KAAK,GAAG;SACrF,CAAC,CAAC;IACL,CAAC;IAED,0EAA0E;IAC1E,IAAI,EAAE,IAAI,EAAE,CAAC,eAAe,KAAK,EAAE,CAAC,eAAe,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,mCAAmC,EAAE,CAAC,eAAe,yCAAyC,EAAE,CAAC,eAAe,GAAG;SAC7H,CAAC,CAAC;IACL,CAAC;IAED,yCAAyC;IACzC,IAAI,EAAE,CAAC,uBAAuB,IAAI,EAAE,CAAC,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxE,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,+BAA+B,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SAChF,CAAC,CAAC;IACL,CAAC;IAED,0BAA0B;IAC1B,IAAI,EAAE,CAAC,eAAe,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,yBAAyB,EAAE,CAAC;QAC3F,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,KAAK,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxG,wDAAwD;QACxD,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC;QACzE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7C,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzE,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,UAAU;oBACpB,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,sCAAsC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,oCAAoC;iBACrG,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,CAAC,EAAE,CAAC,gBAAgB,EAAE,CAAC;QAChG,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,mBAAmB,EAAE,CAAC,KAAK,CAAC,SAAS,uBAAuB,EAAE,CAAC,gBAAgB,MAAM;SAC/F,CAAC,CAAC;IACL,CAAC;IAED,wDAAwD;IACxD,IAAI,EAAE,CAAC,KAAK,KAAK,mBAAmB,IAAI,EAAE,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;QACrE,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,iEAAiE;SAC3E,CAAC,CAAC;IACL,CAAC;IAED,2BAA2B;IAC3B,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,CAAC;IACtC,MAAM,WAAW,GAAG,KAAK,CAAC,yBAAyB,CAAC;IACpD,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,2CAA2C,UAAU,CAAC,IAAI,IAAI,GAAG,kCAAkC;aAC7G,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,UAAU,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,EAAE,CAAC;gBAChF,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,kCAAkC;oBACxC,OAAO,EAAE,wCAAwC,UAAU,CAAC,IAAI,gCAAgC,WAAW,CAAC,IAAI,GAAG;iBACpH,CAAC,CAAC;YACL,CAAC;YACD,IAAI,UAAU,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,EAAE,CAAC;gBAChF,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,kCAAkC;oBACxC,OAAO,EAAE,wCAAwC,UAAU,CAAC,IAAI,gCAAgC,WAAW,CAAC,IAAI,GAAG;iBACpH,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,yDAAyD;IACzD,IAAI,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC;QAC9F,MAAM,cAAc,GAAG,KAAK,CAAC,qBAAsB,CAAC;QACpD,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,+BAA+B,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,wBAAwB;aACzF,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,EAAE,CAAC,KAAK,KAAK,mBAAmB,IAAI,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC1H,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,gCAAgC;oBACtC,OAAO,EAAE,mDAAmD;iBAC7D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,2EAA2E;IAC3E,IAAI,EAAE,CAAC,KAAK,KAAK,mBAAmB,IAAI,CAAC,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAC1H,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,mCAAmC;YACzC,OAAO,EAAE,gEAAgE;SAC1E,CAAC,CAAC;IACL,CAAC;IACD,uDAAuD;IACvD,IAAI,EAAE,CAAC,KAAK,KAAK,mBAAmB,IAAI,CAAC,EAAE,CAAC,gBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QACjH,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,6DAA6D;SACvE,CAAC,CAAC;IACL,CAAC;IAED,oEAAoE;IACpE,IAAI,EAAE,CAAC,eAAe,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,MAAM,SAAS,GAAG,KAAK,CAAC,yBAAyB,CAAC;QAClD,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,oBAAoB,EAAE,CAAC,eAAe,CAAC,MAAM,sDAAsD;aAC7G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/engine/contracts/technology_decision.d.ts

@@ -0,0 +1,40 @@
+/**
+ * 问题十六: Technology Decision Sovereignty — 技术决策主权。
+ *
+ * 强制执行:
+ * - destructive / irreversible 技术决策必须 human gate
+ * - 技术推荐不等于可执行决策
+ */
+import type { TechnologyDecisionContract, TechnologyDecisionRecord } from "./extension_platform_contracts.js";
+export interface DecisionEvaluationResult {
+    allowed: boolean;
+    requires_human_gate: boolean;
+    executable_without_human: boolean;
+    reason: string;
+}
+export interface DecisionValidationResult {
+    valid: boolean;
+    violations: string[];
+    warnings: string[];
+    /** 期望的 JSON 结构，供 AI 修正输入时参考 */
+    expected_schema?: Record<string, unknown>;
+}
+/**
+ * 创建技术决策契约。
+ */
+export declare function createTechnologyDecision(overrides: Partial<TechnologyDecisionContract> & Pick<TechnologyDecisionContract, "decision_id">): TechnologyDecisionContract;
+/**
+ * 验证技术决策契约完整性。
+ */
+export declare function validateTechnologyDecision(contract: TechnologyDecisionContract): DecisionValidationResult;
+/**
+ * 评估决策是否可执行。
+ * - 推荐不等于可执行
+ * - 高范围决策需要 human gate
+ */
+export declare function evaluateDecisionExecution(contract: TechnologyDecisionContract, record?: TechnologyDecisionRecord): DecisionEvaluationResult;
+/**
+ * 创建决策记录。
+ */
+export declare function createDecisionRecord(decisionId: string, overrides?: Partial<TechnologyDecisionRecord>): TechnologyDecisionRecord;
+//# sourceMappingURL=technology_decision.d.ts.map

package/dist/engine/contracts/technology_decision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"technology_decision.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/technology_decision.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,0BAA0B,EAC1B,wBAAwB,EAGzB,MAAM,mCAAmC,CAAC;AAE3C,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,OAAO,CAAC;IACjB,mBAAmB,EAAE,OAAO,CAAC;IAC7B,wBAAwB,EAAE,OAAO,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,wBAAwB;IACvC,KAAK,EAAE,OAAO,CAAC;IACf,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,+BAA+B;IAC/B,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC3C;AAUD;;GAEG;AACH,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,OAAO,CAAC,0BAA0B,CAAC,GAAG,IAAI,CAAC,0BAA0B,EAAE,aAAa,CAAC,GAC/F,0BAA0B,CAe5B;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,0BAA0B,GACnC,wBAAwB,CAwD1B;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,0BAA0B,EACpC,MAAM,CAAC,EAAE,wBAAwB,GAChC,wBAAwB,CAqC1B;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,MAAM,EAClB,SAAS,CAAC,EAAE,OAAO,CAAC,wBAAwB,CAAC,GAC5C,wBAAwB,CAO1B"}

package/dist/engine/contracts/technology_decision.js

@@ -0,0 +1,137 @@
+/**
+ * 问题十六: Technology Decision Sovereignty — 技术决策主权。
+ *
+ * 强制执行:
+ * - destructive / irreversible 技术决策必须 human gate
+ * - 技术推荐不等于可执行决策
+ */
+/** 需要 human gate 的决策范围 */
+const HUMAN_GATE_SCOPES = new Set([
+    "architecture",
+    "infrastructure",
+    "data_store",
+    "security_or_compliance",
+]);
+/**
+ * 创建技术决策契约。
+ */
+export function createTechnologyDecision(overrides) {
+    return {
+        decision_scope: "local_implementation",
+        options: [],
+        recommended_option: "",
+        rejected_options: [],
+        evidence: [],
+        falsification: [],
+        failure_conditions: [],
+        validation_plan: [],
+        rollback_or_exit_plan: [],
+        human_gate_required: false,
+        executable_without_human: true,
+        ...overrides,
+    };
+}
+/**
+ * 验证技术决策契约完整性。
+ */
+export function validateTechnologyDecision(contract) {
+    const violations = [];
+    const warnings = [];
+    if ((contract.options?.length ?? 0) === 0) {
+        violations.push("技术决策必须提供至少一个选项");
+    }
+    if (!contract.recommended_option) {
+        violations.push("技术决策必须提供推荐选项");
+    }
+    if (contract.recommended_option && contract.options && !contract.options.some(o => o.option_id === contract.recommended_option)) {
+        violations.push("推荐选项不在选项列表中");
+    }
+    if ((contract.evidence?.length ?? 0) === 0) {
+        warnings.push("技术决策缺少证据支撑");
+    }
+    if ((contract.falsification?.length ?? 0) === 0) {
+        warnings.push("技术决策缺少证伪条件");
+    }
+    if ((contract.failure_conditions?.length ?? 0) === 0) {
+        warnings.push("技术决策缺少失败条件");
+    }
+    // 检查是否需要 human gate
+    if (HUMAN_GATE_SCOPES.has(contract.decision_scope)) {
+        if (!contract.human_gate_required) {
+            violations.push(`${contract.decision_scope} 范围的决策必须 human gate`);
+        }
+        if (contract.executable_without_human) {
+            violations.push(`${contract.decision_scope} 范围的决策不得标记为 executable_without_human`);
+        }
+    }
+    const result = { valid: violations.length === 0, violations, warnings };
+    if (!result.valid) {
+        result.expected_schema = {
+            decision_id: "string — 唯一标识，如 TECH-001",
+            decision_scope: "local_implementation | library_choice | architecture | infrastructure | data_store | external_service | security_or_compliance",
+            options: [{ option_id: "string", title: "string", description: "string" }],
+            recommended_option: "string — 必须匹配 options[].option_id",
+            rejected_options: [{ option: "string", reason: "string" }],
+            evidence: [{ claim: "string", supporting_facts: ["string"] }],
+            falsification: ["string — 可证伪的条件"],
+            failure_conditions: ["string — 失败条件"],
+            validation_plan: ["string — 验证步骤"],
+            rollback_or_exit_plan: ["string — 回滚方案"],
+            human_gate_required: "boolean — architecture/infrastructure/data_store/security_or_compliance 范围必须为 true",
+            executable_without_human: "boolean — 上述范围必须为 false",
+        };
+    }
+    return result;
+}
+/**
+ * 评估决策是否可执行。
+ * - 推荐不等于可执行
+ * - 高范围决策需要 human gate
+ */
+export function evaluateDecisionExecution(contract, record) {
+    // 技术推荐不等于可执行决策
+    if (!record || record.decision_status === "recommended") {
+        return {
+            allowed: false,
+            requires_human_gate: HUMAN_GATE_SCOPES.has(contract.decision_scope),
+            executable_without_human: false,
+            reason: "技术推荐不等于可执行决策，需要显式批准",
+        };
+    }
+    // 需要人类审批但未获得
+    if (contract.human_gate_required && record.decision_status !== "approved" && record.decision_status !== "implemented") {
+        return {
+            allowed: false,
+            requires_human_gate: true,
+            executable_without_human: false,
+            reason: `${contract.decision_scope} 范围决策需要人类审批，当前状态: ${record.decision_status}`,
+        };
+    }
+    // 已批准或已实现
+    if (record.decision_status === "approved" || record.decision_status === "implemented") {
+        return {
+            allowed: true,
+            requires_human_gate: false,
+            executable_without_human: contract.executable_without_human,
+            reason: "决策已批准，可执行",
+        };
+    }
+    return {
+        allowed: false,
+        requires_human_gate: contract.human_gate_required,
+        executable_without_human: false,
+        reason: `决策状态不允许执行: ${record.decision_status}`,
+    };
+}
+/**
+ * 创建决策记录。
+ */
+export function createDecisionRecord(decisionId, overrides) {
+    return {
+        decision_id: decisionId,
+        decision_status: "recommended",
+        evidence_ids: [],
+        ...overrides,
+    };
+}
+//# sourceMappingURL=technology_decision.js.map

package/dist/engine/contracts/technology_decision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"technology_decision.js","sourceRoot":"","sources":["../../../src/engine/contracts/technology_decision.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAwBH,0BAA0B;AAC1B,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC;IAChC,cAAc;IACd,gBAAgB;IAChB,YAAY;IACZ,wBAAwB;CACzB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,UAAU,wBAAwB,CACtC,SAAgG;IAEhG,OAAO;QACL,cAAc,EAAE,sBAAsB;QACtC,OAAO,EAAE,EAAE;QACX,kBAAkB,EAAE,EAAE;QACtB,gBAAgB,EAAE,EAAE;QACpB,QAAQ,EAAE,EAAE;QACZ,aAAa,EAAE,EAAE;QACjB,kBAAkB,EAAE,EAAE;QACtB,eAAe,EAAE,EAAE;QACnB,qBAAqB,EAAE,EAAE;QACzB,mBAAmB,EAAE,KAAK;QAC1B,wBAAwB,EAAE,IAAI;QAC9B,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACxC,QAAoC;IAEpC,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1C,UAAU,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACpC,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,kBAAkB,EAAE,CAAC;QACjC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAClC,CAAC;IAED,IAAI,QAAQ,CAAC,kBAAkB,IAAI,QAAQ,CAAC,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAChI,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACjC,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9B,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9B,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9B,CAAC;IAED,oBAAoB;IACpB,IAAI,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC,QAAQ,CAAC,mBAAmB,EAAE,CAAC;YAClC,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,cAAc,qBAAqB,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,QAAQ,CAAC,wBAAwB,EAAE,CAAC;YACtC,UAAU,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,cAAc,sCAAsC,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAA6B,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;IAClG,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClB,MAAM,CAAC,eAAe,GAAG;YACvB,WAAW,EAAE,0BAA0B;YACvC,cAAc,EAAE,gIAAgI;YAChJ,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;YAC1E,kBAAkB,EAAE,mCAAmC;YACvD,gBAAgB,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC1D,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7D,aAAa,EAAE,CAAC,iBAAiB,CAAC;YAClC,kBAAkB,EAAE,CAAC,eAAe,CAAC;YACrC,eAAe,EAAE,CAAC,eAAe,CAAC;YAClC,qBAAqB,EAAE,CAAC,eAAe,CAAC;YACxC,mBAAmB,EAAE,oFAAoF;YACzG,wBAAwB,EAAE,yBAAyB;SACpD,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,QAAoC,EACpC,MAAiC;IAEjC,eAAe;IACf,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,eAAe,KAAK,aAAa,EAAE,CAAC;QACxD,OAAO;YACL,OAAO,EAAE,KAAK;YACd,mBAAmB,EAAE,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC;YACnE,wBAAwB,EAAE,KAAK;YAC/B,MAAM,EAAE,qBAAqB;SAC9B,CAAC;IACJ,CAAC;IAED,aAAa;IACb,IAAI,QAAQ,CAAC,mBAAmB,IAAI,MAAM,CAAC,eAAe,KAAK,UAAU,IAAI,MAAM,CAAC,eAAe,KAAK,aAAa,EAAE,CAAC;QACtH,OAAO;YACL,OAAO,EAAE,KAAK;YACd,mBAAmB,EAAE,IAAI;YACzB,wBAAwB,EAAE,KAAK;YAC/B,MAAM,EAAE,GAAG,QAAQ,CAAC,cAAc,qBAAqB,MAAM,CAAC,eAAe,EAAE;SAChF,CAAC;IACJ,CAAC;IAED,UAAU;IACV,IAAI,MAAM,CAAC,eAAe,KAAK,UAAU,IAAI,MAAM,CAAC,eAAe,KAAK,aAAa,EAAE,CAAC;QACtF,OAAO;YACL,OAAO,EAAE,IAAI;YACb,mBAAmB,EAAE,KAAK;YAC1B,wBAAwB,EAAE,QAAQ,CAAC,wBAAwB;YAC3D,MAAM,EAAE,WAAW;SACpB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO,EAAE,KAAK;QACd,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB;QACjD,wBAAwB,EAAE,KAAK;QAC/B,MAAM,EAAE,cAAc,MAAM,CAAC,eAAe,EAAE;KAC/C,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,UAAkB,EAClB,SAA6C;IAE7C,OAAO;QACL,WAAW,EAAE,UAAU;QACvB,eAAe,EAAE,aAAa;QAC9B,YAAY,EAAE,EAAE;QAChB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC"}

package/dist/engine/contracts/tool_invocation_contract_registry.d.ts

@@ -0,0 +1,136 @@
+/**
+ * Tool Invocation Contract Registry
+ *
+ * MCP 工具 / 适配器边界受控自由契约。
+ * 每个工具声明类别 (strict_controlled / read_only_bypass / normal_controlled)、
+ * 副作用、授权要求、允许/禁止后续工具。
+ * 适配器必须遵守 Adapter Workflow Policy。
+ * 治理检查防止 8 类退化。
+ */
+import type { IntentRoute, ExecutionShape } from "../pipeline/intent_router.js";
+export type ToolCategory = "strict_controlled" | "read_only_bypass" | "normal_controlled";
+export type SideEffect = "none" | "task_context_write" | "file_write" | "knowledge_write" | "config_write" | "command_execution" | "git_commit" | "git_push" | "pr_create" | "external_write";
+export type ViolationType = "not_allowed_next_tool" | "side_effect_exceeded" | "missing_authorization" | "guard_blocked" | "read_only_bypass_write" | "contract_state_mismatch" | "trace_missing";
+export type ViolationSeverity = "warning" | "require_human" | "hard_fail";
+export interface ToolTrace {
+    tool_name: string;
+    invocation_id: string;
+    task_id?: string;
+    workflow_id?: string;
+    route?: IntentRoute;
+    execution_shape?: ExecutionShape;
+    contract_ids: string[];
+    capability_ids: string[];
+    guard_report_id?: string;
+    degraded: boolean;
+    warnings: string[];
+    side_effects: SideEffect[];
+    next_allowed_tools: string[];
+    forbidden_tools: string[];
+    authorization?: ToolAuthorization;
+    bypass?: ToolBypass;
+}
+export interface ToolAuthorization {
+    required: boolean;
+    granted: boolean;
+    reason?: string;
+}
+export interface ToolBypass {
+    allowed: boolean;
+    reason: "read_only" | "user_explicit" | "diagnostic";
+}
+export interface ToolInvocationViolation {
+    invocation_id: string;
+    tool_name: string;
+    violation_type: ViolationType;
+    severity: ViolationSeverity;
+    reason: string;
+    recovery: string;
+}
+export interface ToolInvocationContract {
+    tool_name: string;
+    category: ToolCategory;
+    side_effects: SideEffect[];
+    requires_authorization: boolean;
+    requires_workflow: boolean;
+    description: string;
+    default_next_tools: string[];
+    forbidden_next_tools: string[];
+}
+export interface AdapterWorkflowPolicyRule {
+    id: string;
+    rule: string;
+    enforcement: "hard_fail" | "warning" | "advisory";
+    description: string;
+}
+export interface ToolInvocationGovernanceFinding {
+    severity: "hard_fail" | "advisory";
+    tool_name: string;
+    rule: string;
+    message: string;
+}
+/** 适配器工作流策略规则集 */
+export declare const ADAPTER_WORKFLOW_POLICY: AdapterWorkflowPolicyRule[];
+/** 列出所有已注册的工具调用契约 */
+export declare function listToolInvocationContracts(): ToolInvocationContract[];
+/** 按工具名称查找对应的调用契约 */
+export declare function findToolInvocationContractByName(toolName: string): ToolInvocationContract | undefined;
+/** 查找所有严格受控工具的契约 */
+export declare function findStrictControlledTools(): ToolInvocationContract[];
+/** 查找所有只读旁路工具的契约 */
+export declare function findReadOnlyBypassTools(): ToolInvocationContract[];
+/** 按类别查找工具调用契约 */
+export declare function findByCategory(category: ToolCategory): ToolInvocationContract[];
+/** 检查副作用列表是否包含写入类副作用 */
+export declare function hasWriteSideEffect(effects: SideEffect[]): boolean;
+/** 创建工具调用追踪记录 */
+export declare function createToolTrace(params: {
+    tool_name: string;
+    invocation_id: string;
+    task_id?: string;
+    workflow_id?: string;
+    route?: IntentRoute;
+    execution_shape?: ExecutionShape;
+    contract_ids?: string[];
+    capability_ids?: string[];
+    guard_report_id?: string;
+    degraded?: boolean;
+    warnings?: string[];
+    actual_side_effects: SideEffect[];
+    next_allowed_tools?: string[];
+    forbidden_tools?: string[];
+    authorization?: ToolAuthorization;
+    bypass?: ToolBypass;
+}): ToolTrace;
+/** 创建工具调用违规记录 */
+export declare function createViolation(params: {
+    invocation_id: string;
+    tool_name: string;
+    violation_type: ViolationType;
+    reason: string;
+    recovery: string;
+}): ToolInvocationViolation;
+/** 根据违规类型和工具类别分类违规严重级别 */
+export declare function classifyViolationSeverity(violationType: ViolationType, toolCategory?: ToolCategory): ViolationSeverity;
+export interface ValidateToolInvocationParams {
+    tool_name: string;
+    current_next_allowed: string[];
+    current_forbidden: string[];
+    authorization?: {
+        granted: boolean;
+        reason?: string;
+    };
+    bypass?: {
+        allowed: boolean;
+        reason: string;
+    };
+    actual_side_effects: SideEffect[];
+    workflow_id?: string;
+    /** @internal Override contract lookup for dynamic category tools */
+    _contractOverride?: ToolInvocationContract;
+}
+/** 验证工具调用是否符合契约约束，返回违规列表 */
+export declare function validateToolInvocation(params: ValidateToolInvocationParams): ToolInvocationViolation[];
+/** 治理验证所有工具调用契约的结构完整性 */
+export declare function validateToolInvocationContracts(contracts?: ToolInvocationContract[]): ToolInvocationGovernanceFinding[];
+//# sourceMappingURL=tool_invocation_contract_registry.d.ts.map

package/dist/engine/contracts/tool_invocation_contract_registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool_invocation_contract_registry.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/tool_invocation_contract_registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAKhF,MAAM,MAAM,YAAY,GACpB,mBAAmB,GACnB,kBAAkB,GAClB,mBAAmB,CAAC;AAExB,MAAM,MAAM,UAAU,GAClB,MAAM,GACN,oBAAoB,GACpB,YAAY,GACZ,iBAAiB,GACjB,cAAc,GACd,mBAAmB,GACnB,YAAY,GACZ,UAAU,GACV,WAAW,GACX,gBAAgB,CAAC;AAErB,MAAM,MAAM,aAAa,GACrB,uBAAuB,GACvB,sBAAsB,GACtB,uBAAuB,GACvB,eAAe,GACf,wBAAwB,GACxB,yBAAyB,GACzB,eAAe,CAAC;AAEpB,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,eAAe,GAAG,WAAW,CAAC;AAE1E,MAAM,WAAW,SAAS;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,eAAe,CAAC,EAAE,cAAc,CAAC;IACjC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAClC,MAAM,CAAC,EAAE,UAAU,CAAC;CACrB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,WAAW,GAAG,eAAe,GAAG,YAAY,CAAC;CACtD;AAED,MAAM,WAAW,uBAAuB;IACtC,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,aAAa,CAAC;IAC9B,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,sBAAsB;IACrC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,YAAY,CAAC;IACvB,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,sBAAsB,EAAE,OAAO,CAAC;IAChC,iBAAiB,EAAE,OAAO,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,oBAAoB,EAAE,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,yBAAyB;IACxC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC;IAClD,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,EAAE,WAAW,GAAG,UAAU,CAAC;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAID,kBAAkB;AAClB,eAAO,MAAM,uBAAuB,EAAE,yBAAyB,EAqC9D,CAAC;AAyXF,qBAAqB;AACrB,wBAAgB,2BAA2B,IAAI,sBAAsB,EAAE,CAGtE;AAED,qBAAqB;AACrB,wBAAgB,gCAAgC,CAC9C,QAAQ,EAAE,MAAM,GACf,sBAAsB,GAAG,SAAS,CAGpC;AAED,oBAAoB;AACpB,wBAAgB,yBAAyB,IAAI,sBAAsB,EAAE,CAGpE;AAED,oBAAoB;AACpB,wBAAgB,uBAAuB,IAAI,sBAAsB,EAAE,CAGlE;AAED,kBAAkB;AAClB,wBAAgB,cAAc,CAAC,QAAQ,EAAE,YAAY,GAAG,sBAAsB,EAAE,CAG/E;AAeD,wBAAwB;AACxB,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,OAAO,CAGjE;AAID,iBAAiB;AACjB,wBAAgB,eAAe,CAAC,MAAM,EAAE;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,eAAe,CAAC,EAAE,cAAc,CAAC;IACjC,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,mBAAmB,EAAE,UAAU,EAAE,CAAC;IAClC,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAClC,MAAM,CAAC,EAAE,UAAU,CAAC;CACrB,GAAG,SAAS,CAwBZ;AAID,iBAAiB;AACjB,wBAAgB,eAAe,CAAC,MAAM,EAAE;IACtC,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,aAAa,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB,GAAG,uBAAuB,CAY1B;AAID,0BAA0B;AAC1B,wBAAgB,yBAAyB,CACvC,aAAa,EAAE,aAAa,EAC5B,YAAY,CAAC,EAAE,YAAY,GAC1B,iBAAiB,CAyBnB;AAID,MAAM,WAAW,4BAA4B;IAC3C,SAAS,EAAE,MAAM,CAAC;IAClB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,aAAa,CAAC,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACtD,MAAM,CAAC,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9C,mBAAmB,EAAE,UAAU,EAAE,CAAC;IAClC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,oEAAoE;IACpE,iBAAiB,CAAC,EAAE,sBAAsB,CAAC;CAC5C;AAED,4BAA4B;AAC5B,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,4BAA4B,GACnC,uBAAuB,EAAE,CA6H3B;AAID,yBAAyB;AACzB,wBAAgB,+BAA+B,CAC7C,SAAS,GAAE,sBAAsB,EAA8B,GAC9D,+BAA+B,EAAE,CAyInC"}