soloforge 1.1.42 → 1.1.43

package/dist/gate/contracts/tool_invocation_contract_registry.js

@@ -0,0 +1,492 @@
+/**
+ * Tool Invocation Contract Registry — 契约层模块。
+ *
+ * 职责边界：
+ * - 负责：ADAPTER_WORKFLOW_POLICY 等 契约层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：契约验证、注册表查询
+ * 调用谁：pipeline、logger
+ *
+ * 数据流：契约定义 → 验证逻辑 → 通过/拒绝结果
+ * 持久化：无持久化（纯计算/内存态）
+ */
+import { debug } from "../../shared/logger.js";
+// ── 类型定义（保留本地别名供运行时使用） ──
+// 注意: 以下类型已移至 types/pipeline.ts，此处通过 import 获取
+// ── 域架构驱动工具名称（用于治理规则豁免判断） ──
+// 重要: 此集合必须与中间件 STATE_TRANSITION_TOOLS (middleware.ts) 保持同步。
+// sf_scaffold 是独立 strict_controlled 工具（requires_authorization: true），
+// 不属于域驱动路由，因此不在豁免集合中。
+const STATE_MACHINE_TOOLS = new Set([
+    // v2 域架构工具
+    "sf_task",
+    "sf_work",
+    "sf_gate",
+    "sf_doctor",
+    "sf_knowledge",
+    "sf_analyze",
+    "sf_scaffold",
+]);
+// ── 适配器工作流策略 ──
+/** 适配器工作流策略规则集 */
+export const ADAPTER_WORKFLOW_POLICY = [
+    {
+        id: "awp-01",
+        rule: "工具返回的 next_allowed_tools 是下一步默认允许集合",
+        enforcement: "hard_fail",
+        description: "适配器必须使用工具返回的 next_allowed_tools 作为下一步调用的允许集合",
+    },
+    {
+        id: "awp-02",
+        rule: "适配器不得隐式调用 strict controlled 工具",
+        enforcement: "hard_fail",
+        description: "strict controlled 工具必须在 next_allowed_tools 中且显式授权才能调用",
+    },
+    {
+        id: "awp-03",
+        rule: "适配器不得把 read-only bypass 结果当成完成态",
+        enforcement: "hard_fail",
+        description: "read-only bypass 工具的输出只能作为参考，不能作为任务完成标志",
+    },
+    {
+        id: "awp-04",
+        rule: "适配器不得把 advisory warning 当成 enforced gate",
+        enforcement: "warning",
+        description: "advisory warning 不应阻止正常流程，除非用户明确要求",
+    },
+    {
+        id: "awp-05",
+        rule: "适配器遇到 ToolInvocationViolation 必须按 severity 处理",
+        enforcement: "hard_fail",
+        description: "hard_fail 违规必须停止执行，require_human 必须等待用户确认，warning 必须记录",
+    },
+    {
+        id: "awp-06",
+        rule: "适配器最终输出必须中文优先，暴露 warning、degraded、manual_required",
+        enforcement: "advisory",
+        description: "最终输出应暴露必要 warning、degraded、manual_required 信息",
+    },
+];
+// ── MCP 工具契约 ──
+const TOOL_INVOCATION_CONTRACTS = [
+    // ── v2 域架构核心工具（7 个） ──
+    {
+        tool_name: "sf_task",
+        category: "normal_controlled",
+        side_effects: [],
+        requires_authorization: false,
+        requires_workflow: false,
+        description: "任务管理：start/query/cancel/archive_stale。start 创建受控任务，query 查看状态，cancel 取消任务，archive_stale 归档陈旧指针",
+        default_next_tools: ["sf_work", "sf_task", "sf_doctor", "sf_gate"],
+        forbidden_next_tools: [],
+    },
+    {
+        tool_name: "sf_work",
+        category: "strict_controlled",
+        side_effects: ["task_context_write"],
+        requires_authorization: false,
+        requires_workflow: false,
+        description: "域工作循环：observe（派生状态）/ act（组装 prompt）/ verify（执行门禁）。合并旧 sf_work + sf_work + sf_task + sf_task",
+        default_next_tools: ["sf_work", "sf_gate", "sf_task", "sf_doctor", "sf_scaffold"],
+        forbidden_next_tools: [],
+    },
+    {
+        tool_name: "sf_gate",
+        category: "normal_controlled",
+        side_effects: ["task_context_write"],
+        requires_authorization: false,
+        requires_workflow: false,
+        description: "独立门禁检查：对指定产物执行门禁，返回通过/失败和恢复指引",
+        default_next_tools: ["sf_work", "sf_task", "sf_doctor"],
+        forbidden_next_tools: [],
+    },
+    {
+        tool_name: "sf_doctor",
+        category: "read_only_bypass",
+        side_effects: [],
+        requires_authorization: false,
+        requires_workflow: false,
+        description: "诊断工具：state/gates/scope/full 四种检查模式 + 治理报告",
+        default_next_tools: ["sf_work", "sf_task", "sf_gate", "sf_doctor"],
+        forbidden_next_tools: [],
+    },
+    {
+        tool_name: "sf_knowledge",
+        category: "normal_controlled",
+        side_effects: ["knowledge_write"],
+        requires_authorization: false,
+        requires_workflow: false,
+        description: "知识库管理：audit/add/update 统一入口",
+        default_next_tools: ["sf_work", "sf_task", "sf_doctor"],
+        forbidden_next_tools: [],
+    },
+    {
+        tool_name: "sf_analyze",
+        category: "read_only_bypass",
+        side_effects: ["none"],
+        requires_authorization: false,
+        requires_workflow: false,
+        description: "影响分析，评估变更范围和风险",
+        default_next_tools: ["sf_work", "sf_task", "sf_doctor"],
+        forbidden_next_tools: [],
+    },
+    {
+        tool_name: "sf_scaffold",
+        category: "strict_controlled",
+        side_effects: ["file_write", "task_context_write"],
+        requires_authorization: true,
+        requires_workflow: true,
+        description: "脚手架生成，写入新文件到项目",
+        default_next_tools: ["sf_work", "sf_task", "sf_doctor"],
+        forbidden_next_tools: ["sf_scaffold"],
+    },
+    // ── 只读分析工具（read_only_bypass）由 sf_doctor / sf_analyze 承载，不再单列 ──
+];
+// ── 查询函数 ──
+/** 列出所有已注册的工具调用契约 */
+export function listToolInvocationContracts() {
+    debug("工具调用契约", "列出所有工具契约");
+    return TOOL_INVOCATION_CONTRACTS;
+}
+/** 按工具名称查找对应的调用契约 */
+export function findToolInvocationContractByName(toolName) {
+    debug("工具调用契约", "按名称查找契约 ", toolName);
+    return TOOL_INVOCATION_CONTRACTS.find((c) => c.tool_name === toolName);
+}
+/** 查找所有严格受控工具的契约 */
+export function findStrictControlledTools() {
+    debug("工具调用契约", "查找严格受控工具");
+    return TOOL_INVOCATION_CONTRACTS.filter((c) => c.category === "strict_controlled");
+}
+/** 查找所有只读旁路工具的契约 */
+export function findReadOnlyBypassTools() {
+    debug("工具调用契约", "查找只读旁路工具");
+    return TOOL_INVOCATION_CONTRACTS.filter((c) => c.category === "read_only_bypass");
+}
+/** 按类别查找工具调用契约 */
+export function findByCategory(category) {
+    debug("工具调用契约", "按类别查找工具 ", category);
+    return TOOL_INVOCATION_CONTRACTS.filter((c) => c.category === category);
+}
+// ── 副作用辅助函数 ──
+const WRITE_SIDE_EFFECTS = [
+    "file_write",
+    "knowledge_write",
+    "config_write",
+    "command_execution",
+    "git_commit",
+    "git_push",
+    "pr_create",
+    "external_write",
+];
+/** 检查副作用列表是否包含写入类副作用 */
+export function hasWriteSideEffect(effects) {
+    debug("工具调用契约", "检查写入副作用 ", effects);
+    return effects.some((e) => WRITE_SIDE_EFFECTS.includes(e));
+}
+// ── 运行时: 创建工具追踪 ──
+/** 创建工具调用追踪记录 */
+export function createToolTrace(params) {
+    debug("工具调用契约", "创建工具追踪 ", { tool_name: params.tool_name, invocation_id: params.invocation_id });
+    const contract = findToolInvocationContractByName(params.tool_name);
+    if (!contract) {
+        debug("工具调用契约", "未找到契约定义，使用默认值 ", params.tool_name);
+    }
+    return {
+        tool_name: params.tool_name,
+        invocation_id: params.invocation_id,
+        task_id: params.task_id,
+        workflow_id: params.workflow_id,
+        contract_ids: params.contract_ids ?? [],
+        capability_ids: params.capability_ids ?? [],
+        guard_report_id: params.guard_report_id,
+        degraded: params.degraded ?? false,
+        warnings: params.warnings ?? [],
+        side_effects: params.actual_side_effects,
+        next_allowed_tools: params.next_allowed_tools ?? contract?.default_next_tools ?? [],
+        forbidden_tools: params.forbidden_tools ?? contract?.forbidden_next_tools ?? [],
+        authorization: params.authorization,
+        bypass: params.bypass,
+    };
+}
+// ── 运行时: 创建违规记录 ──
+/** 创建工具调用违规记录 */
+export function createViolation(params) {
+    debug("工具调用契约", "创建违规记录 ", { tool_name: params.tool_name, violation_type: params.violation_type });
+    const contract = findToolInvocationContractByName(params.tool_name);
+    const severity = classifyViolationSeverity(params.violation_type, contract?.category);
+    return {
+        invocation_id: params.invocation_id,
+        tool_name: params.tool_name,
+        violation_type: params.violation_type,
+        severity,
+        reason: params.reason,
+        recovery: params.recovery,
+    };
+}
+// ── 运行时: 分类违规严重度 ──
+/** 根据违规类型和工具类别分类违规严重级别 */
+export function classifyViolationSeverity(violationType, toolCategory) {
+    debug("工具调用契约", "分类违规严重度 ", { violationType, toolCategory });
+    switch (violationType) {
+        case "not_allowed_next_tool":
+            debug("工具调用契约", "不允许的后续工具 ", toolCategory);
+            return toolCategory === "strict_controlled"
+                ? "hard_fail"
+                : toolCategory === "read_only_bypass"
+                    ? "warning"
+                    : "require_human";
+        case "side_effect_exceeded":
+            return "hard_fail";
+        case "missing_authorization":
+            return toolCategory === "strict_controlled"
+                ? "hard_fail"
+                : "require_human";
+        case "guard_blocked":
+            return "hard_fail";
+        case "read_only_bypass_write":
+            return "hard_fail";
+        case "contract_state_mismatch":
+            return "hard_fail";
+        case "trace_missing":
+            return "warning";
+    }
+}
+/** 验证工具调用是否符合契约约束，返回违规列表 */
+export function validateToolInvocation(params) {
+    debug("工具调用契约", "验证工具调用 ", { tool_name: params.tool_name, workflow_id: params.workflow_id });
+    const violations = [];
+    const iid = `violation-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
+    const baseContract = findToolInvocationContractByName(params.tool_name);
+    const contract = params._contractOverride ?? baseContract;
+    if (params._contractOverride) {
+        debug("工具调用契约", "使用覆盖契约 ", params.tool_name);
+    }
+    else if (!baseContract) {
+        debug("工具调用契约", "未找到契约定义 ", params.tool_name);
+    }
+    // 1. 检查工具是否在 next_allowed 列表中
+    debug("工具调用契约", "检查后续工具允许列表");
+    if (params.current_next_allowed.length > 0 &&
+        !params.current_next_allowed.includes(params.tool_name)) {
+        const bypassAllowed = contract?.category === "read_only_bypass" &&
+            params.bypass?.allowed === true;
+        if (!bypassAllowed) {
+            debug("工具调用契约", "后续工具不在允许列表且未旁路 ", params.tool_name);
+            violations.push(createViolation({
+                invocation_id: iid,
+                tool_name: params.tool_name,
+                violation_type: "not_allowed_next_tool",
+                reason: `工具 ${params.tool_name} 不在 next_allowed_tools [${params.current_next_allowed.join(", ")}] 中`,
+                recovery: "回到 workflow contract 确认工具调用顺序",
+            }));
+        }
+    }
+    // 2. 检查禁止列表
+    debug("工具调用契约", "检查禁止工具列表");
+    if (params.current_forbidden.includes(params.tool_name)) {
+        debug("工具调用契约", "工具在禁止列表中 ", params.tool_name);
+        violations.push(createViolation({
+            invocation_id: iid,
+            tool_name: params.tool_name,
+            violation_type: "not_allowed_next_tool",
+            reason: `工具 ${params.tool_name} 在 forbidden_tools 中`,
+            recovery: "确认 workflow 状态，选择允许的工具",
+        }));
+    }
+    // 3. 需要授权的工具必须检查授权
+    debug("工具调用契约", "检查授权要求");
+    if (contract?.requires_authorization) {
+        if (!params.authorization || !params.authorization.granted) {
+            debug("工具调用契约", "缺少必要授权 ", params.tool_name);
+            violations.push(createViolation({
+                invocation_id: iid,
+                tool_name: params.tool_name,
+                violation_type: "missing_authorization",
+                reason: `工具 ${params.tool_name} 需要授权但缺少授权`,
+                recovery: "获取用户显式授权后再调用",
+            }));
+        }
+    }
+    // 4. 只读旁路工具不得产生写入副作用
+    debug("工具调用契约", "检查只读旁路工具写入副作用");
+    if (contract?.category === "read_only_bypass") {
+        if (hasWriteSideEffect(params.actual_side_effects)) {
+            debug("工具调用契约", "只读旁路工具产生写入副作用 ", params.tool_name);
+            violations.push(createViolation({
+                invocation_id: iid,
+                tool_name: params.tool_name,
+                violation_type: "read_only_bypass_write",
+                reason: `read-only bypass 工具 ${params.tool_name} 产生了写入副作用: ${params.actual_side_effects.join(", ")}`,
+                recovery: "回到 workflow contract，通过 strict controlled 工具执行写入",
+            }));
+        }
+    }
+    // 5. 副作用不得超过契约声明
+    debug("工具调用契约", "检查未声明副作用");
+    if (contract) {
+        const undeclared = params.actual_side_effects.filter((e) => !contract.side_effects.includes(e));
+        if (undeclared.length > 0) {
+            debug("工具调用契约", "发现未声明副作用 ", { tool_name: params.tool_name, undeclared });
+            violations.push(createViolation({
+                invocation_id: iid,
+                tool_name: params.tool_name,
+                violation_type: "side_effect_exceeded",
+                reason: `工具 ${params.tool_name} 产生未声明的副作用: ${undeclared.join(", ")}`,
+                recovery: "检查工具实现是否与契约一致",
+            }));
+        }
+    }
+    // 6. 严格受控工具必须要求工作流（状态机工具豁免）
+    debug("工具调用契约", "检查严格受控工具工作流要求");
+    if (contract?.category === "strict_controlled" &&
+        contract.requires_workflow &&
+        !STATE_MACHINE_TOOLS.has(contract.tool_name) &&
+        !params.workflow_id) {
+        debug("工具调用契约", "严格受控工具缺少工作流ID ", params.tool_name);
+        violations.push(createViolation({
+            invocation_id: iid,
+            tool_name: params.tool_name,
+            violation_type: "contract_state_mismatch",
+            reason: `strict controlled 工具 ${params.tool_name} 需要 workflow 但未提供 workflow_id`,
+            recovery: "先完成状态机管线初始化再调用此工具",
+        }));
+    }
+    if (violations.length > 0) {
+        debug("工具调用契约", "验证发现违规 ", violations.length, "项");
+    }
+    else {
+        debug("工具调用契约", "验证通过，无违规");
+    }
+    return violations;
+}
+// ── 治理验证 ──
+/** 治理验证所有工具调用契约的结构完整性 */
+export function validateToolInvocationContracts(contracts = TOOL_INVOCATION_CONTRACTS) {
+    debug("工具调用契约", "治理验证 ", { contractCount: contracts.length });
+    const findings = [];
+    const allNames = new Set(contracts.map((c) => c.tool_name));
+    for (const tc of contracts) {
+        const isStateMachine = STATE_MACHINE_TOOLS.has(tc.tool_name);
+        // 规则 1: every tool must have default_next_tools (trace requirement implies this)
+        if (tc.default_next_tools.length === 0 && tc.category !== "read_only_bypass") {
+            findings.push({
+                severity: "hard_fail",
+                tool_name: tc.tool_name,
+                rule: "gc-next-tools-missing",
+                message: `工具 ${tc.tool_name} 没有声明 default_next_tools`,
+            });
+        }
+        // 规则 2: strict controlled 必须要求授权（状态机工具豁免，通过内部门禁校验）
+        if (tc.category === "strict_controlled" && !tc.requires_authorization && !isStateMachine) {
+            findings.push({
+                severity: "hard_fail",
+                tool_name: tc.tool_name,
+                rule: "gc-strict-no-auth",
+                message: `strict controlled 工具 ${tc.tool_name} 未声明 requires_authorization`,
+            });
+        }
+        // 规则 3: read-only bypass must not have write side effects
+        if (tc.category === "read_only_bypass" && hasWriteSideEffect(tc.side_effects)) {
+            findings.push({
+                severity: "hard_fail",
+                tool_name: tc.tool_name,
+                rule: "gc-readonly-write-effect",
+                message: `read-only bypass 工具 ${tc.tool_name} 有写入副作用: ${tc.side_effects.join(", ")}`,
+            });
+        }
+        // 规则 4: strict controlled 必须要么要求 workflow，要么要求显式授权（状态机工具豁免）
+        if (tc.category === "strict_controlled" && !tc.requires_workflow && !tc.requires_authorization && !isStateMachine) {
+            findings.push({
+                severity: "hard_fail",
+                tool_name: tc.tool_name,
+                rule: "gc-strict-standalone-no-auth",
+                message: `standalone strict controlled 工具 ${tc.tool_name} 未声明 requires_authorization`,
+            });
+        }
+        // 规则 5: read_only_bypass 工具的 side_effects 必须为空或仅 none
+        if (tc.category === "read_only_bypass" &&
+            tc.side_effects.length > 0 &&
+            !tc.side_effects.every((e) => e === "none")) {
+            findings.push({
+                severity: "hard_fail",
+                tool_name: tc.tool_name,
+                rule: "gc-side-effect-category-mismatch",
+                message: `read-only bypass 工具 ${tc.tool_name} 的 side_effects 包含非 none 值`,
+            });
+        }
+        // 规则 6: strict controlled must have forbidden_next_tools
+        if (tc.category === "strict_controlled" && tc.forbidden_next_tools.length === 0) {
+            findings.push({
+                severity: "advisory",
+                tool_name: tc.tool_name,
+                rule: "gc-strict-no-forbidden",
+                message: `strict controlled 工具 ${tc.tool_name} 没有声明 forbidden_next_tools`,
+            });
+        }
+        // 规则 7: description must not be empty
+        if (!tc.description) {
+            findings.push({
+                severity: "hard_fail",
+                tool_name: tc.tool_name,
+                rule: "gc-no-description",
+                message: `工具 ${tc.tool_name} 没有描述`,
+            });
+        }
+        // 规则 8: referenced next tools must exist
+        for (const next of tc.default_next_tools) {
+            if (!allNames.has(next)) {
+                findings.push({
+                    severity: "hard_fail",
+                    tool_name: tc.tool_name,
+                    rule: "gc-invalid-next-tool",
+                    message: `工具 ${tc.tool_name} 引用了不存在的 next tool: ${next}`,
+                });
+            }
+        }
+        for (const forbidden of tc.forbidden_next_tools) {
+            if (!allNames.has(forbidden)) {
+                findings.push({
+                    severity: "advisory",
+                    tool_name: tc.tool_name,
+                    rule: "gc-invalid-forbidden-tool",
+                    message: `工具 ${tc.tool_name} 引用了不存在的 forbidden tool: ${forbidden}`,
+                });
+            }
+        }
+        // 规则 9: no duplicate tool in default_next_tools
+        const uniqueNext = new Set(tc.default_next_tools);
+        if (uniqueNext.size !== tc.default_next_tools.length) {
+            findings.push({
+                severity: "advisory",
+                tool_name: tc.tool_name,
+                rule: "gc-duplicate-next-tool",
+                message: `工具 ${tc.tool_name} 的 default_next_tools 包含重复项`,
+            });
+        }
+    }
+    // 跨注册表: 检查重复工具名
+    const nameCounts = new Map();
+    for (const tc of contracts) {
+        nameCounts.set(tc.tool_name, (nameCounts.get(tc.tool_name) ?? 0) + 1);
+    }
+    for (const [name, count] of nameCounts) {
+        if (count > 1) {
+            findings.push({
+                severity: "hard_fail",
+                tool_name: name,
+                rule: "gc-duplicate-tool-name",
+                message: `工具名 ${name} 注册了 ${count} 次`,
+            });
+        }
+    }
+    if (findings.length > 0) {
+        debug("工具调用契约", "治理验证发现 ", findings.length, "项问题");
+    }
+    else {
+        debug("工具调用契约", "治理验证通过，无问题");
+    }
+    return findings;
+}
+//# sourceMappingURL=tool_invocation_contract_registry.js.map

package/dist/gate/contracts/tool_invocation_contract_registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool_invocation_contract_registry.js","sourceRoot":"","sources":["../../../src/gate/contracts/tool_invocation_contract_registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAeH,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAiB/C,2BAA2B;AAC3B,+CAA+C;AAE/C,8BAA8B;AAC9B,6DAA6D;AAC7D,sEAAsE;AACtE,sBAAsB;AACtB,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC;IACvD,WAAW;IACX,SAAS;IACT,SAAS;IACT,SAAS;IACT,WAAW;IACX,cAAc;IACd,YAAY;IACZ,aAAa;CACd,CAAC,CAAC;AAEH,iBAAiB;AAEjB,kBAAkB;AAClB,MAAM,CAAC,MAAM,uBAAuB,GAAgC;IAClE;QACE,EAAE,EAAE,QAAQ;QACZ,IAAI,EAAE,qCAAqC;QAC3C,WAAW,EAAE,WAAW;QACxB,WAAW,EAAE,8CAA8C;KAC5D;IACD;QACE,EAAE,EAAE,QAAQ;QACZ,IAAI,EAAE,gCAAgC;QACtC,WAAW,EAAE,WAAW;QACxB,WAAW,EAAE,uDAAuD;KACrE;IACD;QACE,EAAE,EAAE,QAAQ;QACZ,IAAI,EAAE,iCAAiC;QACvC,WAAW,EAAE,WAAW;QACxB,WAAW,EAAE,yCAAyC;KACvD;IACD;QACE,EAAE,EAAE,QAAQ;QACZ,IAAI,EAAE,0CAA0C;QAChD,WAAW,EAAE,SAAS;QACtB,WAAW,EAAE,oCAAoC;KAClD;IACD;QACE,EAAE,EAAE,QAAQ;QACZ,IAAI,EAAE,+CAA+C;QACrD,WAAW,EAAE,WAAW;QACxB,WAAW,EAAE,wDAAwD;KACtE;IACD;QACE,EAAE,EAAE,QAAQ;QACZ,IAAI,EAAE,mDAAmD;QACzD,WAAW,EAAE,UAAU;QACvB,WAAW,EAAE,+CAA+C;KAC7D;CACF,CAAC;AAEF,iBAAiB;AAEjB,MAAM,yBAAyB,GAA6B;IAC1D,wBAAwB;IAExB;QACE,SAAS,EAAE,SAAS;QACpB,QAAQ,EAAE,mBAAmB;QAC7B,YAAY,EAAE,EAAE;QAChB,sBAAsB,EAAE,KAAK;QAC7B,iBAAiB,EAAE,KAAK;QACxB,WAAW,EAAE,gGAAgG;QAC7G,kBAAkB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,CAAC;QAClE,oBAAoB,EAAE,EAAE;KACzB;IACD;QACE,SAAS,EAAE,SAAS;QACpB,QAAQ,EAAE,mBAAmB;QAC7B,YAAY,EAAE,CAAC,oBAAoB,CAAC;QACpC,sBAAsB,EAAE,KAAK;QAC7B,iBAAiB,EAAE,KAAK;QACxB,WAAW,EAAE,6FAA6F;QAC1G,kBAAkB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,CAAC;QACjF,oBAAoB,EAAE,EAAE;KACzB;IACD;QACE,SAAS,EAAE,SAAS;QACpB,QAAQ,EAAE,mBAAmB;QAC7B,YAAY,EAAE,CAAC,oBAAoB,CAAC;QACpC,sBAAsB,EAAE,KAAK;QAC7B,iBAAiB,EAAE,KAAK;QACxB,WAAW,EAAE,+BAA+B;QAC5C,kBAAkB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC;QACvD,oBAAoB,EAAE,EAAE;KACzB;IACD;QACE,SAAS,EAAE,WAAW;QACtB,QAAQ,EAAE,kBAAkB;QAC5B,YAAY,EAAE,EAAE;QAChB,sBAAsB,EAAE,KAAK;QAC7B,iBAAiB,EAAE,KAAK;QACxB,WAAW,EAAE,2CAA2C;QACxD,kBAAkB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC;QAClE,oBAAoB,EAAE,EAAE;KACzB;IACD;QACE,SAAS,EAAE,cAAc;QACzB,QAAQ,EAAE,mBAAmB;QAC7B,YAAY,EAAE,CAAC,iBAAiB,CAAC;QACjC,sBAAsB,EAAE,KAAK;QAC7B,iBAAiB,EAAE,KAAK;QACxB,WAAW,EAAE,6BAA6B;QAC1C,kBAAkB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC;QACvD,oBAAoB,EAAE,EAAE;KACzB;IACD;QACE,SAAS,EAAE,YAAY;QACvB,QAAQ,EAAE,kBAAkB;QAC5B,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,sBAAsB,EAAE,KAAK;QAC7B,iBAAiB,EAAE,KAAK;QACxB,WAAW,EAAE,gBAAgB;QAC7B,kBAAkB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC;QACvD,oBAAoB,EAAE,EAAE;KACzB;IACD;QACE,SAAS,EAAE,aAAa;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,YAAY,EAAE,CAAC,YAAY,EAAE,oBAAoB,CAAC;QAClD,sBAAsB,EAAE,IAAI;QAC5B,iBAAiB,EAAE,IAAI;QACvB,WAAW,EAAE,gBAAgB;QAC7B,kBAAkB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC;QACvD,oBAAoB,EAAE,CAAC,aAAa,CAAC;KACtC;IAED,iEAAiE;CAElE,CAAC;AAEF,aAAa;AAEb,qBAAqB;AACrB,MAAM,UAAU,2BAA2B;IACzC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC5B,OAAO,yBAAyB,CAAC;AACnC,CAAC;AAED,qBAAqB;AACrB,MAAM,UAAU,gCAAgC,CAC9C,QAAgB;IAEhB,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IACtC,OAAO,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC;AACzE,CAAC;AAED,oBAAoB;AACpB,MAAM,UAAU,yBAAyB;IACvC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC5B,OAAO,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,mBAAmB,CAAC,CAAC;AACrF,CAAC;AAED,oBAAoB;AACpB,MAAM,UAAU,uBAAuB;IACrC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC5B,OAAO,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,kBAAkB,CAAC,CAAC;AACpF,CAAC;AAED,kBAAkB;AAClB,MAAM,UAAU,cAAc,CAAC,QAAsB;IACnD,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IACtC,OAAO,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;AAC1E,CAAC;AAED,gBAAgB;AAEhB,MAAM,kBAAkB,GAAiB;IACvC,YAAY;IACZ,iBAAiB;IACjB,cAAc;IACd,mBAAmB;IACnB,YAAY;IACZ,UAAU;IACV,WAAW;IACX,gBAAgB;CACjB,CAAC;AAEF,wBAAwB;AACxB,MAAM,UAAU,kBAAkB,CAAC,OAAqB;IACtD,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IACrC,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,oBAAoB;AAEpB,iBAAiB;AACjB,MAAM,UAAU,eAAe,CAAC,MAe/B;IACC,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAG,gCAAgC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACpE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,CAAC,QAAQ,EAAE,gBAAgB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACtD,CAAC;IACD,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,YAAY,EAAE,MAAM,CAAC,YAAY,IAAI,EAAE;QACvC,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,EAAE;QAC3C,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,KAAK;QAClC,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,EAAE;QAC/B,YAAY,EAAE,MAAM,CAAC,mBAAmB;QACxC,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,IAAI,QAAQ,EAAE,kBAAkB,IAAI,EAAE;QACnF,eAAe,EAAE,MAAM,CAAC,eAAe,IAAI,QAAQ,EAAE,oBAAoB,IAAI,EAAE;QAC/E,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC;AACJ,CAAC;AAED,oBAAoB;AAEpB,iBAAiB;AACjB,MAAM,UAAU,eAAe,CAAC,MAM/B;IACC,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;IACnG,MAAM,QAAQ,GAAG,gCAAgC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,yBAAyB,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACtF,OAAO;QACL,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,QAAQ;QACR,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC;AACJ,CAAC;AAED,qBAAqB;AAErB,0BAA0B;AAC1B,MAAM,UAAU,yBAAyB,CACvC,aAA4B,EAC5B,YAA2B;IAE3B,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC;IAC7D,QAAQ,aAAa,EAAE,CAAC;QACtB,KAAK,uBAAuB;YAC1B,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;YAC3C,OAAO,YAAY,KAAK,mBAAmB;gBACzC,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,YAAY,KAAK,kBAAkB;oBACnC,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,eAAe,CAAC;QACxB,KAAK,sBAAsB;YACzB,OAAO,WAAW,CAAC;QACrB,KAAK,uBAAuB;YAC1B,OAAO,YAAY,KAAK,mBAAmB;gBACzC,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,eAAe,CAAC;QACtB,KAAK,eAAe;YAClB,OAAO,WAAW,CAAC;QACrB,KAAK,wBAAwB;YAC3B,OAAO,WAAW,CAAC;QACrB,KAAK,yBAAyB;YAC5B,OAAO,WAAW,CAAC;QACrB,KAAK,eAAe;YAClB,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAgBD,4BAA4B;AAC5B,MAAM,UAAU,sBAAsB,CACpC,MAAoC;IAEpC,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IAC7F,MAAM,UAAU,GAA8B,EAAE,CAAC;IACjD,MAAM,GAAG,GAAG,aAAa,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IAChF,MAAM,YAAY,GAAG,gCAAgC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACxE,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,IAAI,YAAY,CAAC;IAC1D,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;QAC7B,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IAC/C,CAAC;SAAM,IAAI,CAAC,YAAY,EAAE,CAAC;QACzB,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IAChD,CAAC;IAED,8BAA8B;IAC9B,KAAK,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAC9B,IACE,MAAM,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;QACtC,CAAC,MAAM,CAAC,oBAAoB,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,EACvD,CAAC;QACD,MAAM,aAAa,GACjB,QAAQ,EAAE,QAAQ,KAAK,kBAAkB;YACzC,MAAM,CAAC,MAAM,EAAE,OAAO,KAAK,IAAI,CAAC;QAClC,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,KAAK,CAAC,QAAQ,EAAE,iBAAiB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;YACrD,UAAU,CAAC,IAAI,CACb,eAAe,CAAC;gBACd,aAAa,EAAE,GAAG;gBAClB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,cAAc,EAAE,uBAAuB;gBACvC,MAAM,EAAE,MAAM,MAAM,CAAC,SAAS,2BAA2B,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBACpG,QAAQ,EAAE,+BAA+B;aAC1C,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,YAAY;IACZ,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC5B,IAAI,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QACxD,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/C,UAAU,CAAC,IAAI,CACb,eAAe,CAAC;YACd,aAAa,EAAE,GAAG;YAClB,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,cAAc,EAAE,uBAAuB;YACvC,MAAM,EAAE,MAAM,MAAM,CAAC,SAAS,sBAAsB;YACpD,QAAQ,EAAE,wBAAwB;SACnC,CAAC,CACH,CAAC;IACJ,CAAC;IAED,mBAAmB;IACnB,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1B,IAAI,QAAQ,EAAE,sBAAsB,EAAE,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,aAAa,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC;YAC3D,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;YAC7C,UAAU,CAAC,IAAI,CACb,eAAe,CAAC;gBACd,aAAa,EAAE,GAAG;gBAClB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,cAAc,EAAE,uBAAuB;gBACvC,MAAM,EAAE,MAAM,MAAM,CAAC,SAAS,YAAY;gBAC1C,QAAQ,EAAE,cAAc;aACzB,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,qBAAqB;IACrB,KAAK,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IACjC,IAAI,QAAQ,EAAE,QAAQ,KAAK,kBAAkB,EAAE,CAAC;QAC9C,IAAI,kBAAkB,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACnD,KAAK,CAAC,QAAQ,EAAE,gBAAgB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;YACpD,UAAU,CAAC,IAAI,CACb,eAAe,CAAC;gBACd,aAAa,EAAE,GAAG;gBAClB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,cAAc,EAAE,wBAAwB;gBACxC,MAAM,EAAE,uBAAuB,MAAM,CAAC,SAAS,cAAc,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACpG,QAAQ,EAAE,kDAAkD;aAC7D,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,iBAAiB;IACjB,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC5B,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,UAAU,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAC1C,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;YAC1E,UAAU,CAAC,IAAI,CACb,eAAe,CAAC;gBACd,aAAa,EAAE,GAAG;gBAClB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,cAAc,EAAE,sBAAsB;gBACtC,MAAM,EAAE,MAAM,MAAM,CAAC,SAAS,eAAe,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACpE,QAAQ,EAAE,eAAe;aAC1B,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,KAAK,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IACjC,IACE,QAAQ,EAAE,QAAQ,KAAK,mBAAmB;QAC1C,QAAQ,CAAC,iBAAiB;QAC1B,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC5C,CAAC,MAAM,CAAC,WAAW,EACnB,CAAC;QACD,KAAK,CAAC,QAAQ,EAAE,gBAAgB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACpD,UAAU,CAAC,IAAI,CACb,eAAe,CAAC;YACd,aAAa,EAAE,GAAG;YAClB,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,cAAc,EAAE,yBAAyB;YACzC,MAAM,EAAE,wBAAwB,MAAM,CAAC,SAAS,+BAA+B;YAC/E,QAAQ,EAAE,mBAAmB;SAC9B,CAAC,CACH,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACrD,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,aAAa;AAEb,yBAAyB;AACzB,MAAM,UAAU,+BAA+B,CAC7C,YAAsC,yBAAyB;IAE/D,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,aAAa,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAsC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAE5D,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,cAAc,GAAG,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAE7D,iFAAiF;QACjF,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,KAAK,kBAAkB,EAAE,CAAC;YAC7E,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,SAAS,EAAE,EAAE,CAAC,SAAS;gBACvB,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,MAAM,EAAE,CAAC,SAAS,0BAA0B;aACtD,CAAC,CAAC;QACL,CAAC;QAED,mDAAmD;QACnD,IAAI,EAAE,CAAC,QAAQ,KAAK,mBAAmB,IAAI,CAAC,EAAE,CAAC,sBAAsB,IAAI,CAAC,cAAc,EAAE,CAAC;YACzF,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,SAAS,EAAE,EAAE,CAAC,SAAS;gBACvB,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,wBAAwB,EAAE,CAAC,SAAS,6BAA6B;aAC3E,CAAC,CAAC;QACL,CAAC;QAED,0DAA0D;QAC1D,IAAI,EAAE,CAAC,QAAQ,KAAK,kBAAkB,IAAI,kBAAkB,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;YAC9E,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,SAAS,EAAE,EAAE,CAAC,SAAS;gBACvB,IAAI,EAAE,0BAA0B;gBAChC,OAAO,EAAE,uBAAuB,EAAE,CAAC,SAAS,YAAY,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aACrF,CAAC,CAAC;QACL,CAAC;QAED,4DAA4D;QAC5D,IAAI,EAAE,CAAC,QAAQ,KAAK,mBAAmB,IAAI,CAAC,EAAE,CAAC,iBAAiB,IAAI,CAAC,EAAE,CAAC,sBAAsB,IAAI,CAAC,cAAc,EAAE,CAAC;YAClH,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,SAAS,EAAE,EAAE,CAAC,SAAS;gBACvB,IAAI,EAAE,8BAA8B;gBACpC,OAAO,EAAE,mCAAmC,EAAE,CAAC,SAAS,6BAA6B;aACtF,CAAC,CAAC;QACL,CAAC;QAED,sDAAsD;QACtD,IACE,EAAE,CAAC,QAAQ,KAAK,kBAAkB;YAClC,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;YAC1B,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,EAC3C,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,SAAS,EAAE,EAAE,CAAC,SAAS;gBACvB,IAAI,EAAE,kCAAkC;gBACxC,OAAO,EAAE,uBAAuB,EAAE,CAAC,SAAS,4BAA4B;aACzE,CAAC,CAAC;QACL,CAAC;QAED,yDAAyD;QACzD,IAAI,EAAE,CAAC,QAAQ,KAAK,mBAAmB,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChF,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,UAAU;gBACpB,SAAS,EAAE,EAAE,CAAC,SAAS;gBACvB,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,wBAAwB,EAAE,CAAC,SAAS,4BAA4B;aAC1E,CAAC,CAAC;QACL,CAAC;QAED,sCAAsC;QACtC,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,SAAS,EAAE,EAAE,CAAC,SAAS;gBACvB,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,MAAM,EAAE,CAAC,SAAS,OAAO;aACnC,CAAC,CAAC;QACL,CAAC;QAED,yCAAyC;QACzC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,kBAAkB,EAAE,CAAC;YACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,SAAS,EAAE,EAAE,CAAC,SAAS;oBACvB,IAAI,EAAE,sBAAsB;oBAC5B,OAAO,EAAE,MAAM,EAAE,CAAC,SAAS,uBAAuB,IAAI,EAAE;iBACzD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,EAAE,CAAC,oBAAoB,EAAE,CAAC;YAChD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,UAAU;oBACpB,SAAS,EAAE,EAAE,CAAC,SAAS;oBACvB,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,MAAM,EAAE,CAAC,SAAS,4BAA4B,SAAS,EAAE;iBACnE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,gDAAgD;QAChD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC;QAClD,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC;YACrD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,UAAU;gBACpB,SAAS,EAAE,EAAE,CAAC,SAAS;gBACvB,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,MAAM,EAAE,CAAC,SAAS,6BAA6B;aACzD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC;QACvC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,SAAS,EAAE,IAAI;gBACf,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,OAAO,IAAI,QAAQ,KAAK,IAAI;aACtC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACrD,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/gate/diff_ownership.d.ts

@@ -0,0 +1,72 @@
+/**
+ * Diff Ownership — 管线层模块。
+ *
+ * 职责边界：
+ * - 负责：DiffOwnership 等 管线层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：状态机、工具层
+ * 调用谁：node:fs、node:path、node:crypto、logger
+ *
+ * 数据流：用户意图 → 解析/扩展 → 执行 → 输出
+ * 持久化：读写本地文件（详见代码内路径）
+ */
+export type DiffOwnership = "baseline" | "task_owned" | "human_external" | "unknown";
+export interface FileSnapshot {
+    /** 文件绝对路径 */
+    file_path: string;
+    /** SHA-256 hex of file content at snapshot time; null if file did not exist */
+    content_hash: string | null;
+    /** 归属分类 */
+    ownership: DiffOwnership;
+    /** 哪个任务写的（task_owned 时非空） */
+    task_id: string | null;
+    /** 快照时间 ISO */
+    captured_at: string;
+}
+export interface CasCheckResult {
+    file_path: string;
+    /** true = 文件内容与预期一致，可以写入 */
+    cas_ok: boolean;
+    /** 当前文件 hash（null 表示文件不存在） */
+    current_hash: string | null;
+    /** 预期的文件 hash（null 表示预期文件不存在） */
+    expected_hash: string | null;
+    /** 冲突描述 */
+    conflict_reason: string | null;
+    /** 根据冲突推断的归属 */
+    inferred_ownership: DiffOwnership;
+}
+export interface DiffOwnershipState {
+    /** 哪个任务持有这个状态 */
+    task_id: string;
+    /** 快照录时间 */
+    baseline_captured_at: string;
+    /** baseline 快照 */
+    file_snapshots: FileSnapshot[];
+}
+/**
+ * 捕获一组文件的 baseline 快照。
+ * 文件不存在时 content_hash=null，ownership=baseline。
+ */
+export declare function captureBaseline(filePaths: string[], taskId: string, now?: Date): FileSnapshot[];
+/**
+ * 写前 CAS 校验: 比较文件当前 hash 与期望 hash。
+ * - expected=null 且文件不存在 → ok（新文件）
+ * - expected=hash 且文件当前 hash 一致 → ok
+ * - 不一致 → 校验失败，推断归属
+ */
+export declare function casCheck(filePath: string, expectedHash: string | null, taskId: string, snapshots: FileSnapshot[]): CasCheckResult;
+/**
+ * 记录一次任务写入，返回新的 snapshot。
+ */
+export declare function recordTaskWrite(filePath: string, taskId: string, now?: Date): FileSnapshot;
+/**
+ * 根据文件路径查找最新快照（反向遍历，兼容 ES2022）。
+ */
+export declare function findLatestSnapshot(filePath: string, snapshots: readonly FileSnapshot[]): FileSnapshot | undefined;
+/**
+ * 统计各归属的文件数。
+ */
+export declare function summarizeOwnership(snapshots: readonly FileSnapshot[]): Record<DiffOwnership, number>;
+//# sourceMappingURL=diff_ownership.d.ts.map

package/dist/gate/diff_ownership.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff_ownership.d.ts","sourceRoot":"","sources":["../../src/gate/diff_ownership.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAOH,MAAM,MAAM,aAAa,GACrB,UAAU,GACV,YAAY,GACZ,gBAAgB,GAChB,SAAS,CAAC;AAEd,MAAM,WAAW,YAAY;IAC3B,aAAa;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,+EAA+E;IAC/E,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,WAAW;IACX,SAAS,EAAE,aAAa,CAAC;IACzB,6BAA6B;IAC7B,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,eAAe;IACf,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,4BAA4B;IAC5B,MAAM,EAAE,OAAO,CAAC;IAChB,8BAA8B;IAC9B,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,iCAAiC;IACjC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW;IACX,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,gBAAgB;IAChB,kBAAkB,EAAE,aAAa,CAAC;CACnC;AAED,MAAM,WAAW,kBAAkB;IACjC,iBAAiB;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY;IACZ,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kBAAkB;IAClB,cAAc,EAAE,YAAY,EAAE,CAAC;CAChC;AAuBD;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,SAAS,EAAE,MAAM,EAAE,EACnB,MAAM,EAAE,MAAM,EACd,GAAG,CAAC,EAAE,IAAI,GACT,YAAY,EAAE,CAahB;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CACtB,QAAQ,EAAE,MAAM,EAChB,YAAY,EAAE,MAAM,GAAG,IAAI,EAC3B,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,YAAY,EAAE,GACxB,cAAc,CA6DhB;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,GAAG,CAAC,EAAE,IAAI,GACT,YAAY,CASd;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,SAAS,YAAY,EAAE,GACjC,YAAY,GAAG,SAAS,CAO1B;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,SAAS,YAAY,EAAE,GACjC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAY/B"}