soloforge 1.1.2 → 1.1.30

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

@@ -0,0 +1,59 @@
+/**
+ * 控制面可信契约。
+ *
+ * MCP 工具是 SoloForge 规则、契约、状态与证据的主控制面。
+ * 本模块把可用性、可调用性、旁路、状态可信、证据真实性和恢复路径统一成可测试契约。
+ */
+import type { ToolInvocationContract, SideEffect } from "./tool_invocation_contract_registry.js";
+export type ControlPlaneCategory = "mcp_availability" | "tool_callability" | "contract_mislabel" | "dead_chain" | "bypass" | "provenance" | "state_trust" | "evidence_truth" | "scope_completeness" | "invisible_degradation" | "fake_delivery_closure" | "adapter_drift" | "version_drift" | "concurrency_race" | "recovery_path";
+export interface ControlPlaneMatrixItem {
+    id: ControlPlaneCategory;
+    title: string;
+    invariant: string;
+    must_fail: string;
+    recovery: string;
+}
+export interface ControlPlaneBranchDetail {
+    id: string;
+    category: ControlPlaneCategory;
+    detail: string;
+    gate: string;
+}
+export interface ControlPlaneFinding {
+    severity: "hard_fail" | "warning" | "advisory";
+    category: ControlPlaneCategory;
+    code: string;
+    message: string;
+    recovery: string;
+}
+export interface ControlPlaneAuditReport {
+    passed: boolean;
+    matrix_count: number;
+    branch_detail_count: number;
+    findings: ControlPlaneFinding[];
+}
+export interface GenerationTrace {
+    tool_name: string;
+    task_id?: string;
+    side_effects?: SideEffect[];
+    status?: "passed" | "failed" | "blocked" | "degraded";
+    evidence_kind?: "plan" | "result" | "command_execution" | "user_confirmation";
+}
+export interface GenerationChainInput {
+    changed_files: string[];
+    verified_files: string[];
+    traces: GenerationTrace[];
+    delivery_status?: "delivered" | "blocked" | "manual_required";
+}
+export interface GenerationChainAssessment {
+    accepted: boolean;
+    confidence: "full" | "limited" | "blocked";
+    findings: ControlPlaneFinding[];
+}
+export declare const CONTROL_PLANE_MATRIX: ControlPlaneMatrixItem[];
+export declare const CONTROL_PLANE_BRANCH_DETAILS: ControlPlaneBranchDetail[];
+export declare function isSoloforgeStateBypassCommand(commandText: string): boolean;
+export declare function validateControlPlaneToolContracts(contracts: readonly ToolInvocationContract[]): ControlPlaneFinding[];
+export declare function assessControlledGenerationChain(input: GenerationChainInput): GenerationChainAssessment;
+export declare function auditControlPlaneProject(projectPath: string): ControlPlaneAuditReport;
+//# sourceMappingURL=control_plane_contract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"control_plane_contract.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/control_plane_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,wCAAwC,CAAC;AAEjG,MAAM,MAAM,oBAAoB,GAC5B,kBAAkB,GAClB,kBAAkB,GAClB,mBAAmB,GACnB,YAAY,GACZ,QAAQ,GACR,YAAY,GACZ,aAAa,GACb,gBAAgB,GAChB,oBAAoB,GACpB,uBAAuB,GACvB,uBAAuB,GACvB,eAAe,GACf,eAAe,GACf,kBAAkB,GAClB,eAAe,CAAC;AAEpB,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,oBAAoB,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,oBAAoB,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC;IAC/C,QAAQ,EAAE,oBAAoB,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,uBAAuB;IACtC,MAAM,EAAE,OAAO,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,QAAQ,EAAE,mBAAmB,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,UAAU,EAAE,CAAC;IAC5B,MAAM,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAC;IACtD,aAAa,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;CAC/E;AAED,MAAM,WAAW,oBAAoB;IACnC,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,eAAe,CAAC,EAAE,WAAW,GAAG,SAAS,GAAG,iBAAiB,CAAC;CAC/D;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;IAC3C,QAAQ,EAAE,mBAAmB,EAAE,CAAC;CACjC;AAmBD,eAAO,MAAM,oBAAoB,EAAE,sBAAsB,EAgBxD,CAAC;AAEF,eAAO,MAAM,4BAA4B,EAAE,wBAAwB,EAqClE,CAAC;AAEF,wBAAgB,6BAA6B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAU1E;AAED,wBAAgB,iCAAiC,CAAC,SAAS,EAAE,SAAS,sBAAsB,EAAE,GAAG,mBAAmB,EAAE,CA+CrH;AAED,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,oBAAoB,GAAG,yBAAyB,CAuDtG;AAED,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,MAAM,GAAG,uBAAuB,CAsErF"}

package/dist/engine/contracts/control_plane_contract.js

@@ -0,0 +1,251 @@
+/**
+ * 控制面可信契约。
+ *
+ * MCP 工具是 SoloForge 规则、契约、状态与证据的主控制面。
+ * 本模块把可用性、可调用性、旁路、状态可信、证据真实性和恢复路径统一成可测试契约。
+ */
+import fs from "node:fs";
+import path from "node:path";
+const WRITE_SIDE_EFFECTS = [
+    "file_write",
+    "knowledge_write",
+    "config_write",
+    "command_execution",
+    "git_commit",
+    "git_push",
+    "pr_create",
+    "external_write",
+];
+/** read_only_bypass 工具不得声明任何非 none 的副作用（含 task_context_write） */
+const READ_ONLY_FORBIDDEN_EFFECTS = new Set([
+    ...WRITE_SIDE_EFFECTS,
+    "task_context_write",
+]);
+export const CONTROL_PLANE_MATRIX = [
+    { id: "mcp_availability", title: "MCP 可用性", invariant: "MCP 服务、工具注册、依赖、PATH 和版本必须可用且可诊断。", must_fail: "工具未注册或服务不可启动仍允许进入实现。", recovery: "运行 soloforge doctor 并按诊断修复 MCP 配置或版本。" },
+    { id: "tool_callability", title: "工具可调用性", invariant: "工具 schema 必须能被适配器合法调用，参数不能形成永远不可达的死链路。", must_fail: "工具需要 task_id 但入口无法产生 task_id。", recovery: "修复 schema 或入口链路，先 sf_classify 再进入受控工具。" },
+    { id: "contract_mislabel", title: "契约错标", invariant: "会写状态、文件、知识或外部系统的工具不得标成 read_only_bypass。", must_fail: "read_only_bypass 声明非 none 副作用。", recovery: "重标为 normal_controlled 或 strict_controlled 并补授权。" },
+    { id: "dead_chain", title: "死链路", invariant: "工具前置条件必须能由上游工具或显式授权满足。", must_fail: "strict 工具既要求 workflow 又无 task_id 路径。", recovery: "补 task_id、confirm 或专用恢复 action。" },
+    { id: "bypass", title: "旁路", invariant: "Bash/Edit/Write/脚本不得直接改 .soloforge/state 或绕过受控工具改业务代码后自证。", must_fail: "Bash 写 .soloforge/state。", recovery: "使用 sf_status archive_stale 或相应 MCP 工具恢复。" },
+    { id: "provenance", title: "来源归因", invariant: "代码变更必须能说明来自哪个任务、工具链和工作包。", must_fail: "非 MCP 计划内变更被当成完整验证通过。", recovery: "重新分类并建立 task_id，或把验证标记为 limited。" },
+    { id: "state_trust", title: "状态可信", invariant: "current-task、任务终态和状态文件必须可校验，陈旧指针不得阻塞正常任务。", must_fail: "陈旧 current-task 无合法恢复动作。", recovery: "sf_status action=archive_stale confirm=true。" },
+    { id: "evidence_truth", title: "证据真实性", invariant: "验证计划不得冒充验证结果，命令必须有真实执行证据。", must_fail: "validation_plan 被标记为 passed。", recovery: "执行真实命令并记录 command_execution 证据。" },
+    { id: "scope_completeness", title: "范围完整性", invariant: "changed_files 必须覆盖实际改动，验证不得只看子集。", must_fail: "未验证文件仍允许 deliver。", recovery: "补齐 changed_files 或声明 limited_verification 并阻断交付。" },
+    { id: "invisible_degradation", title: "降级可见", invariant: "工具失败、跳过或降级必须用户可见，不得静默 advisory 化。", must_fail: "degraded trace 仍 delivered 且无说明。", recovery: "输出降级原因、影响范围和恢复命令。" },
+    { id: "fake_delivery_closure", title: "交付假闭环", invariant: "交付必须闭合设计、验证、本地验收、用户确认和 PR 前检查的适用条件。", must_fail: "仅 build/test 通过即 delivered。", recovery: "补齐适用验收或进入 manual_required。" },
+    { id: "adapter_drift", title: "适配器漂移", invariant: "Claude/Codex/Trae 的 hook、prompt、MCP 配置必须共享同一控制面边界。", must_fail: "某适配器缺少 check-bash 或 MCP 配置。", recovery: "重新 soloforge init 或 sync-adapters。" },
+    { id: "version_drift", title: "版本漂移", invariant: "用户项目调用的全局 soloforge 必须与发布能力兼容。", must_fail: "repo 已修复但全局命令仍旧版。", recovery: "npm update -g soloforge 后运行 soloforge doctor。" },
+    { id: "concurrency_race", title: "并发竞态", invariant: "多会话写状态和代码必须有租约或冲突检测。", must_fail: "两个会话同时覆盖 current-task。", recovery: "检查 active lease，必要时人工确认归档。" },
+    { id: "recovery_path", title: "恢复路径", invariant: "每个 hard_fail 都必须给合法恢复动作，不得引导手动清理状态。", must_fail: "错误只提示手动删除 .soloforge/state。", recovery: "返回 MCP/CLI 恢复命令和确认条件。" },
+];
+export const CONTROL_PLANE_BRANCH_DETAILS = [
+    { id: "mcp-process-health", category: "mcp_availability", detail: "MCP 进程启动失败必须可诊断。", gate: "CONTROL_PLANE_MATRIX" },
+    { id: "tool-registry-complete", category: "mcp_availability", detail: "注册工具必须与契约一一对应。", gate: "CONTROL_PLANE_TOOL_CONTRACT" },
+    { id: "path-and-bin", category: "mcp_availability", detail: "PATH 与 bin 指向错误必须暴露版本漂移。", gate: "CONTROL_PLANE_DOCTOR" },
+    { id: "dependency-load", category: "mcp_availability", detail: "依赖缺失不得降级成普通建议。", gate: "CONTROL_PLANE_DOCTOR" },
+    { id: "schema-required-fields", category: "tool_callability", detail: "schema required 字段必须可由上游满足。", gate: "CONTROL_PLANE_SCHEMA_REACHABILITY" },
+    { id: "sdk-compatible-shape", category: "tool_callability", detail: "工具参数结构必须兼容 MCP SDK。", gate: "CONTROL_PLANE_SCHEMA_REACHABILITY" },
+    { id: "confirm-field", category: "tool_callability", detail: "需要确认的工具必须有 confirm 或 authorized。", gate: "CONTROL_PLANE_TOOL_CONTRACT" },
+    { id: "read-only-side-effect", category: "contract_mislabel", detail: "read_only_bypass 不得声明写副作用。", gate: "CONTROL_PLANE_TOOL_CONTRACT" },
+    { id: "state-write-label", category: "contract_mislabel", detail: "写 task_context 的工具不得伪装只读。", gate: "CONTROL_PLANE_TOOL_CONTRACT" },
+    { id: "workflow-taskid", category: "dead_chain", detail: "requires_workflow 工具必须有 task_id 路径。", gate: "CONTROL_PLANE_SCHEMA_REACHABILITY" },
+    { id: "strict-standalone-auth", category: "dead_chain", detail: "独立 strict 工具必须显式授权。", gate: "CONTROL_PLANE_TOOL_CONTRACT" },
+    { id: "bash-state-write", category: "bypass", detail: "Bash 不得写 .soloforge/state。", gate: "CONTROL_PLANE_BYPASS_GUARD" },
+    { id: "bash-implementation-write", category: "bypass", detail: "Bash 不得绕过 sf_classify/sf_expand 直接写业务实现文件。", gate: "CONTROL_PLANE_BYPASS_GUARD" },
+    { id: "edit-state-write", category: "bypass", detail: "Edit/Write 不得直接篡改状态。", gate: "CONTROL_PLANE_BYPASS_GUARD" },
+    { id: "business-code-without-task", category: "provenance", detail: "业务代码变更缺少任务来源只能 limited。", gate: "CONTROLLED_GENERATION_CHAIN" },
+    { id: "tool-trace-taskid", category: "provenance", detail: "写入 trace 必须带 task_id 或显式授权。", gate: "CONTROLLED_GENERATION_CHAIN" },
+    { id: "stale-current-task", category: "state_trust", detail: "陈旧 current-task 必须可受控归档。", gate: "CONTROL_PLANE_DOCTOR" },
+    { id: "terminal-task-blocking", category: "state_trust", detail: "终态任务不得继续阻塞新任务。", gate: "CONTROL_PLANE_DOCTOR" },
+    { id: "manual-state-tamper", category: "state_trust", detail: "手工改状态必须降级可信度。", gate: "CONTROL_PLANE_DOCTOR" },
+    { id: "plan-vs-result", category: "evidence_truth", detail: "计划证据不得等同执行结果。", gate: "CONTROLLED_GENERATION_CHAIN" },
+    { id: "command-execution-proof", category: "evidence_truth", detail: "测试通过必须有真实命令执行证据。", gate: "CONTROLLED_GENERATION_CHAIN" },
+    { id: "changed-files-subset", category: "scope_completeness", detail: "未覆盖 changed_files 的验证不得交付。", gate: "CONTROLLED_GENERATION_CHAIN" },
+    { id: "git-diff-crosscheck", category: "scope_completeness", detail: "验证范围需可与实际变更交叉检查。", gate: "CONTROLLED_GENERATION_CHAIN" },
+    { id: "degraded-user-visible", category: "invisible_degradation", detail: "degraded 必须进入用户可见输出。", gate: "CONTROLLED_GENERATION_CHAIN" },
+    { id: "advisory-not-pass", category: "invisible_degradation", detail: "advisory 不得伪装 enforced pass。", gate: "CONTROLLED_GENERATION_CHAIN" },
+    { id: "local-acceptance", category: "fake_delivery_closure", detail: "适用场景必须有本地验收闭环。", gate: "CONTROLLED_GENERATION_CHAIN" },
+    { id: "user-confirmation", category: "fake_delivery_closure", detail: "需要用户确认的交付不得自动完成。", gate: "CONTROLLED_GENERATION_CHAIN" },
+    { id: "claude-hook", category: "adapter_drift", detail: "Claude Code hook 必须包含状态旁路拦截。", gate: "CONTROL_PLANE_ADAPTER_DRIFT" },
+    { id: "codex-hook", category: "adapter_drift", detail: "Codex hook 必须包含状态旁路拦截。", gate: "CONTROL_PLANE_ADAPTER_DRIFT" },
+    { id: "trae-config", category: "adapter_drift", detail: "Trae 配置不得绕过 MCP 主链路。", gate: "CONTROL_PLANE_ADAPTER_DRIFT" },
+    { id: "global-version", category: "version_drift", detail: "全局安装旧版必须提示升级。", gate: "CONTROL_PLANE_DOCTOR" },
+    { id: "package-dist-version", category: "version_drift", detail: "dist 与 package 版本能力必须一致。", gate: "CONTROL_PLANE_DOCTOR" },
+    { id: "workspace-lease", category: "concurrency_race", detail: "写操作必须尊重工作区租约。", gate: "CONTROLLED_GENERATION_CHAIN" },
+    { id: "parallel-session", category: "concurrency_race", detail: "并发会话冲突必须人工确认。", gate: "CONTROLLED_GENERATION_CHAIN" },
+    { id: "legal-recovery-command", category: "recovery_path", detail: "每类阻断必须提供合法恢复命令。", gate: "CONTROL_PLANE_MATRIX" },
+    { id: "no-manual-rm-state", category: "recovery_path", detail: "恢复建议不得要求手动 rm 状态文件。", gate: "CONTROL_PLANE_BYPASS_GUARD" },
+];
+export function isSoloforgeStateBypassCommand(commandText) {
+    const command = commandText.replace(/\s+/g, " ").trim();
+    if (!/\.soloforge[\/\\]state(?:[\/\\]|\b)/.test(command))
+        return false;
+    const writeCommandPattern = /(^|[\s;&|()])(?:rm|mv|cp|mkdir|touch|tee|chmod|chown|python3?|node|ruby|perl)\b/i;
+    const inPlaceEditPattern = /(^|[\s;&|()])(?:sed|gsed)\s+[^;&|]*\s-i\b/i;
+    const redirectionPattern = /(^|[^<])>>?\s*(?:"[^"]*\.soloforge[\/\\]state|'[^']*\.soloforge[\/\\]state|[^\s;&|]*\.soloforge[\/\\]state)/i;
+    return writeCommandPattern.test(command) || inPlaceEditPattern.test(command) || redirectionPattern.test(command);
+}
+export function validateControlPlaneToolContracts(contracts) {
+    const findings = [];
+    const names = new Set();
+    for (const contract of contracts) {
+        if (names.has(contract.tool_name)) {
+            findings.push({
+                severity: "hard_fail",
+                category: "mcp_availability",
+                code: "CONTROL_PLANE_DUPLICATE_TOOL_CONTRACT",
+                message: `工具契约重复: ${contract.tool_name}`,
+                recovery: "删除重复契约并保持工具注册一一对应。",
+            });
+        }
+        names.add(contract.tool_name);
+        const hasWrite = contract.side_effects.some((effect) => READ_ONLY_FORBIDDEN_EFFECTS.has(effect));
+        if (contract.category === "read_only_bypass" && hasWrite) {
+            findings.push({
+                severity: "hard_fail",
+                category: "contract_mislabel",
+                code: "CONTROL_PLANE_READ_ONLY_HAS_SIDE_EFFECT",
+                message: `${contract.tool_name} 标记为 read_only_bypass 但声明写副作用: ${contract.side_effects.join(", ")}`,
+                recovery: "把工具重标为 normal_controlled/strict_controlled，或移除写副作用。",
+            });
+        }
+        if (contract.category === "strict_controlled" && !contract.requires_workflow && !contract.requires_authorization) {
+            findings.push({
+                severity: "hard_fail",
+                category: "dead_chain",
+                code: "CONTROL_PLANE_STRICT_WITHOUT_AUTH_OR_WORKFLOW",
+                message: `${contract.tool_name} 是 strict_controlled，但既无 workflow 约束也无显式授权。`,
+                recovery: "补 requires_workflow 或 requires_authorization，并在 schema 中暴露 task_id/confirm。",
+            });
+        }
+        if (hasWrite && contract.requires_authorization && !/确认|授权|confirm|authorized/i.test(contract.description)) {
+            findings.push({
+                severity: "warning",
+                category: "tool_callability",
+                code: "CONTROL_PLANE_AUTH_DESCRIPTION_WEAK",
+                message: `${contract.tool_name} 需要授权，但描述未说明确认语义。`,
+                recovery: "在工具说明和 schema 中明确 confirm/authorized 的含义。",
+            });
+        }
+    }
+    return findings;
+}
+export function assessControlledGenerationChain(input) {
+    const findings = [];
+    const toolNames = new Set(input.traces.map((trace) => trace.tool_name));
+    const changed = new Set(input.changed_files);
+    const verified = new Set(input.verified_files);
+    if (input.changed_files.length > 0 && (!toolNames.has("sf_classify") || !toolNames.has("sf_expand"))) {
+        findings.push({
+            severity: "hard_fail",
+            category: "provenance",
+            code: "CONTROLLED_GENERATION_MISSING_MCP_PROVENANCE",
+            message: "存在代码变更，但缺少 sf_classify/sf_expand 受控生成来源。",
+            recovery: "重新通过 SoloForge 分类和膨胀任务，或把后续验证标记为 limited 并阻断交付。",
+        });
+    }
+    const unverified = [...changed].filter((file) => !verified.has(file));
+    if (unverified.length > 0) {
+        findings.push({
+            severity: "hard_fail",
+            category: "scope_completeness",
+            code: "CONTROLLED_GENERATION_CHANGED_FILE_UNVERIFIED",
+            message: `存在未验证变更文件: ${unverified.join(", ")}`,
+            recovery: "把所有实际变更加入 changed_files 并重新 sf_verify。",
+        });
+    }
+    const fakeEvidence = input.traces.find((trace) => trace.tool_name === "sf_deliver" && trace.evidence_kind === "plan" && trace.status === "passed");
+    if (fakeEvidence) {
+        findings.push({
+            severity: "hard_fail",
+            category: "evidence_truth",
+            code: "CONTROLLED_GENERATION_PLAN_AS_RESULT",
+            message: "sf_verify 把验证计划当成验证结果。",
+            recovery: "执行真实测试命令并记录 command_execution 证据。",
+        });
+    }
+    const degraded = input.traces.find((trace) => trace.status === "degraded");
+    if (degraded && input.delivery_status === "delivered") {
+        findings.push({
+            severity: "hard_fail",
+            category: "invisible_degradation",
+            code: "CONTROLLED_GENERATION_DEGRADED_DELIVERED",
+            message: "存在 degraded 工具 trace，但交付仍标记 delivered。",
+            recovery: "向用户暴露降级原因，恢复后重新验证，或进入 manual_required。",
+        });
+    }
+    const hasHardFail = findings.some((finding) => finding.severity === "hard_fail");
+    return {
+        accepted: !hasHardFail,
+        confidence: hasHardFail ? "blocked" : "full",
+        findings,
+    };
+}
+export function auditControlPlaneProject(projectPath) {
+    const findings = [];
+    const mcpPath = path.join(projectPath, ".mcp.json");
+    const claudeSettings = path.join(projectPath, ".claude", "settings.json");
+    const codexHooks = path.join(projectPath, ".codex", "hooks.json");
+    if (!fs.existsSync(mcpPath)) {
+        findings.push({
+            severity: "warning",
+            category: "mcp_availability",
+            code: "CONTROL_PLANE_MCP_CONFIG_MISSING",
+            message: ".mcp.json 不存在，AI 可能无法看到 SoloForge MCP 工具。",
+            recovery: "运行 soloforge init 或 soloforge sync-adapters。",
+        });
+    }
+    const claudeText = fs.existsSync(claudeSettings) ? fs.readFileSync(claudeSettings, "utf-8") : "";
+    if (claudeText && !claudeText.includes("check-bash")) {
+        findings.push({
+            severity: "hard_fail",
+            category: "adapter_drift",
+            code: "CONTROL_PLANE_CLAUDE_HOOK_MISSING_BYPASS_GUARD",
+            message: "Claude Code hooks 未包含 check-bash，可能绕过状态保护。",
+            recovery: "运行 soloforge generate-hooks 或 soloforge init。",
+        });
+    }
+    const codexText = fs.existsSync(codexHooks) ? fs.readFileSync(codexHooks, "utf-8") : "";
+    if (codexText && !codexText.includes("check-bash")) {
+        findings.push({
+            severity: "hard_fail",
+            category: "adapter_drift",
+            code: "CONTROL_PLANE_CODEX_HOOK_MISSING_BYPASS_GUARD",
+            message: "Codex hooks 未包含 check-bash，可能绕过状态保护。",
+            recovery: "运行 soloforge generate-codex。",
+        });
+    }
+    const stateDir = path.join(projectPath, ".soloforge", "state");
+    const currentPath = path.join(stateDir, "current-task.json");
+    if (fs.existsSync(currentPath)) {
+        try {
+            const current = JSON.parse(fs.readFileSync(currentPath, "utf-8"));
+            const taskId = current.task_id ?? current.current_task_id;
+            if (taskId && !fs.existsSync(path.join(stateDir, `${taskId}.json`))) {
+                findings.push({
+                    severity: "warning",
+                    category: "state_trust",
+                    code: "CONTROL_PLANE_STALE_CURRENT_TASK",
+                    message: `current-task 指向不存在任务: ${taskId}`,
+                    recovery: "运行 sf_status action=archive_stale confirm=true，或 soloforge cleanup --stale。",
+                });
+            }
+        }
+        catch {
+            findings.push({
+                severity: "hard_fail",
+                category: "state_trust",
+                code: "CONTROL_PLANE_STATE_JSON_INVALID",
+                message: "current-task.json 不是合法 JSON。",
+                recovery: "使用 sf_status 受控恢复，不要手动删除状态目录。",
+            });
+        }
+    }
+    return {
+        passed: findings.every((finding) => finding.severity !== "hard_fail"),
+        matrix_count: CONTROL_PLANE_MATRIX.length,
+        branch_detail_count: CONTROL_PLANE_BRANCH_DETAILS.length,
+        findings,
+    };
+}
+//# sourceMappingURL=control_plane_contract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"control_plane_contract.js","sourceRoot":"","sources":["../../../src/engine/contracts/control_plane_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAuE7B,MAAM,kBAAkB,GAAiB;IACvC,YAAY;IACZ,iBAAiB;IACjB,cAAc;IACd,mBAAmB;IACnB,YAAY;IACZ,UAAU;IACV,WAAW;IACX,gBAAgB;CACjB,CAAC;AAEF,iEAAiE;AACjE,MAAM,2BAA2B,GAAgB,IAAI,GAAG,CAAC;IACvD,GAAG,kBAAkB;IACrB,oBAAoB;CACrB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAA6B;IAC5D,EAAE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,kCAAkC,EAAE,SAAS,EAAE,sBAAsB,EAAE,QAAQ,EAAE,uCAAuC,EAAE;IACjL,EAAE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,wCAAwC,EAAE,SAAS,EAAE,+BAA+B,EAAE,QAAQ,EAAE,wCAAwC,EAAE;IAChM,EAAE,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,0CAA0C,EAAE,SAAS,EAAE,gCAAgC,EAAE,QAAQ,EAAE,iDAAiD,EAAE;IAC3M,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,wBAAwB,EAAE,SAAS,EAAE,sCAAsC,EAAE,QAAQ,EAAE,iCAAiC,EAAE;IACvK,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,2DAA2D,EAAE,SAAS,EAAE,0BAA0B,EAAE,QAAQ,EAAE,0CAA0C,EAAE;IAClM,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,0BAA0B,EAAE,SAAS,EAAE,uBAAuB,EAAE,QAAQ,EAAE,kCAAkC,EAAE;IAC5J,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,2CAA2C,EAAE,SAAS,EAAE,0BAA0B,EAAE,QAAQ,EAAE,8CAA8C,EAAE;IAC7L,EAAE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,2BAA2B,EAAE,SAAS,EAAE,8BAA8B,EAAE,QAAQ,EAAE,iCAAiC,EAAE;IACxK,EAAE,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,kCAAkC,EAAE,SAAS,EAAE,mBAAmB,EAAE,QAAQ,EAAE,kDAAkD,EAAE;IACzL,EAAE,EAAE,EAAE,uBAAuB,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,mCAAmC,EAAE,SAAS,EAAE,kCAAkC,EAAE,QAAQ,EAAE,mBAAmB,EAAE;IAC5K,EAAE,EAAE,EAAE,uBAAuB,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,qCAAqC,EAAE,SAAS,EAAE,6BAA6B,EAAE,QAAQ,EAAE,4BAA4B,EAAE;IACnL,EAAE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,oDAAoD,EAAE,SAAS,EAAE,6BAA6B,EAAE,QAAQ,EAAE,oCAAoC,EAAE;IAClM,EAAE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,gCAAgC,EAAE,SAAS,EAAE,mBAAmB,EAAE,QAAQ,EAAE,+CAA+C,EAAE;IAC9K,EAAE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,sBAAsB,EAAE,SAAS,EAAE,wBAAwB,EAAE,QAAQ,EAAE,4BAA4B,EAAE;IACzJ,EAAE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,qCAAqC,EAAE,SAAS,EAAE,6BAA6B,EAAE,QAAQ,EAAE,uBAAuB,EAAE;CACtK,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAA+B;IACtE,EAAE,EAAE,EAAE,oBAAoB,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,kBAAkB,EAAE,IAAI,EAAE,sBAAsB,EAAE;IACpH,EAAE,EAAE,EAAE,wBAAwB,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAC7H,EAAE,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,0BAA0B,EAAE,IAAI,EAAE,sBAAsB,EAAE;IACtH,EAAE,EAAE,EAAE,iBAAiB,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,sBAAsB,EAAE;IAC/G,EAAE,EAAE,EAAE,wBAAwB,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,6BAA6B,EAAE,IAAI,EAAE,mCAAmC,EAAE;IAChJ,EAAE,EAAE,EAAE,sBAAsB,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,qBAAqB,EAAE,IAAI,EAAE,mCAAmC,EAAE;IACtI,EAAE,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,kCAAkC,EAAE,IAAI,EAAE,6BAA6B,EAAE;IACtI,EAAE,EAAE,EAAE,uBAAuB,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,EAAE,4BAA4B,EAAE,IAAI,EAAE,6BAA6B,EAAE;IACzI,EAAE,EAAE,EAAE,mBAAmB,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,EAAE,2BAA2B,EAAE,IAAI,EAAE,6BAA6B,EAAE;IACpI,EAAE,EAAE,EAAE,iBAAiB,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,qCAAqC,EAAE,IAAI,EAAE,mCAAmC,EAAE;IAC3I,EAAE,EAAE,EAAE,wBAAwB,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,qBAAqB,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAC5H,EAAE,EAAE,EAAE,kBAAkB,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,4BAA4B,EAAE,IAAI,EAAE,4BAA4B,EAAE;IACxH,EAAE,EAAE,EAAE,2BAA2B,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,4CAA4C,EAAE,IAAI,EAAE,4BAA4B,EAAE;IACjJ,EAAE,EAAE,EAAE,kBAAkB,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,sBAAsB,EAAE,IAAI,EAAE,4BAA4B,EAAE;IAClH,EAAE,EAAE,EAAE,4BAA4B,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,yBAAyB,EAAE,IAAI,EAAE,6BAA6B,EAAE;IACpI,EAAE,EAAE,EAAE,mBAAmB,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,6BAA6B,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAC/H,EAAE,EAAE,EAAE,oBAAoB,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,0BAA0B,EAAE,IAAI,EAAE,sBAAsB,EAAE;IACvH,EAAE,EAAE,EAAE,wBAAwB,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,sBAAsB,EAAE;IACjH,EAAE,EAAE,EAAE,qBAAqB,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,sBAAsB,EAAE;IAC7G,EAAE,EAAE,EAAE,gBAAgB,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAClH,EAAE,EAAE,EAAE,yBAAyB,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,EAAE,kBAAkB,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAC9H,EAAE,EAAE,EAAE,sBAAsB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,MAAM,EAAE,4BAA4B,EAAE,IAAI,EAAE,6BAA6B,EAAE;IACzI,EAAE,EAAE,EAAE,qBAAqB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,MAAM,EAAE,kBAAkB,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAC9H,EAAE,EAAE,EAAE,uBAAuB,EAAE,QAAQ,EAAE,uBAAuB,EAAE,MAAM,EAAE,sBAAsB,EAAE,IAAI,EAAE,6BAA6B,EAAE;IACvI,EAAE,EAAE,EAAE,mBAAmB,EAAE,QAAQ,EAAE,uBAAuB,EAAE,MAAM,EAAE,8BAA8B,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAC3I,EAAE,EAAE,EAAE,kBAAkB,EAAE,QAAQ,EAAE,uBAAuB,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAC5H,EAAE,EAAE,EAAE,mBAAmB,EAAE,QAAQ,EAAE,uBAAuB,EAAE,MAAM,EAAE,kBAAkB,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAC/H,EAAE,EAAE,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,8BAA8B,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAC7H,EAAE,EAAE,EAAE,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,wBAAwB,EAAE,IAAI,EAAE,6BAA6B,EAAE;IACtH,EAAE,EAAE,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,sBAAsB,EAAE,IAAI,EAAE,6BAA6B,EAAE;IACrH,EAAE,EAAE,EAAE,gBAAgB,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,sBAAsB,EAAE;IAC1G,EAAE,EAAE,EAAE,sBAAsB,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,0BAA0B,EAAE,IAAI,EAAE,sBAAsB,EAAE;IAC3H,EAAE,EAAE,EAAE,iBAAiB,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,6BAA6B,EAAE;IACrH,EAAE,EAAE,EAAE,kBAAkB,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,6BAA6B,EAAE;IACtH,EAAE,EAAE,EAAE,wBAAwB,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,sBAAsB,EAAE;IACpH,EAAE,EAAE,EAAE,oBAAoB,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,qBAAqB,EAAE,IAAI,EAAE,4BAA4B,EAAE;CAC3H,CAAC;AAEF,MAAM,UAAU,6BAA6B,CAAC,WAAmB;IAC/D,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACxD,IAAI,CAAC,qCAAqC,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAEvE,MAAM,mBAAmB,GACvB,kFAAkF,CAAC;IACrF,MAAM,kBAAkB,GAAG,4CAA4C,CAAC;IACxE,MAAM,kBAAkB,GAAG,8GAA8G,CAAC;IAE1I,OAAO,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACnH,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,SAA4C;IAC5F,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,uCAAuC;gBAC7C,OAAO,EAAE,WAAW,QAAQ,CAAC,SAAS,EAAE;gBACxC,QAAQ,EAAE,oBAAoB;aAC/B,CAAC,CAAC;QACL,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAE9B,MAAM,QAAQ,GAAG,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,2BAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QACjG,IAAI,QAAQ,CAAC,QAAQ,KAAK,kBAAkB,IAAI,QAAQ,EAAE,CAAC;YACzD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,QAAQ,EAAE,mBAAmB;gBAC7B,IAAI,EAAE,yCAAyC;gBAC/C,OAAO,EAAE,GAAG,QAAQ,CAAC,SAAS,kCAAkC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAClG,QAAQ,EAAE,qDAAqD;aAChE,CAAC,CAAC;QACL,CAAC;QACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,mBAAmB,IAAI,CAAC,QAAQ,CAAC,iBAAiB,IAAI,CAAC,QAAQ,CAAC,sBAAsB,EAAE,CAAC;YACjH,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,QAAQ,EAAE,YAAY;gBACtB,IAAI,EAAE,+CAA+C;gBACrD,OAAO,EAAE,GAAG,QAAQ,CAAC,SAAS,6CAA6C;gBAC3E,QAAQ,EAAE,6EAA6E;aACxF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,QAAQ,IAAI,QAAQ,CAAC,sBAAsB,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3G,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,qCAAqC;gBAC3C,OAAO,EAAE,GAAG,QAAQ,CAAC,SAAS,mBAAmB;gBACjD,QAAQ,EAAE,2CAA2C;aACtD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,KAA2B;IACzE,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAE/C,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;QACrG,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,YAAY;YACtB,IAAI,EAAE,8CAA8C;YACpD,OAAO,EAAE,0CAA0C;YACnD,QAAQ,EAAE,iDAAiD;SAC5D,CAAC,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACtE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,oBAAoB;YAC9B,IAAI,EAAE,+CAA+C;YACrD,OAAO,EAAE,cAAc,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC9C,QAAQ,EAAE,wCAAwC;SACnD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,YAAY,IAAI,KAAK,CAAC,aAAa,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACnJ,IAAI,YAAY,EAAE,CAAC;QACjB,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,gBAAgB;YAC1B,IAAI,EAAE,sCAAsC;YAC5C,OAAO,EAAE,wBAAwB;YACjC,QAAQ,EAAE,mCAAmC;SAC9C,CAAC,CAAC;IACL,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC3E,IAAI,QAAQ,IAAI,KAAK,CAAC,eAAe,KAAK,WAAW,EAAE,CAAC;QACtD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,uBAAuB;YACjC,IAAI,EAAE,0CAA0C;YAChD,OAAO,EAAE,wCAAwC;YACjD,QAAQ,EAAE,wCAAwC;SACnD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;IACjF,OAAO;QACL,QAAQ,EAAE,CAAC,WAAW;QACtB,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;QAC5C,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,WAAmB;IAC1D,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACpD,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IAElE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,SAAS;YACnB,QAAQ,EAAE,kBAAkB;YAC5B,IAAI,EAAE,kCAAkC;YACxC,OAAO,EAAE,2CAA2C;YACpD,QAAQ,EAAE,8CAA8C;SACzD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjG,IAAI,UAAU,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACrD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,eAAe;YACzB,IAAI,EAAE,gDAAgD;YACtD,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,+CAA+C;SAC1D,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACnD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,eAAe;YACzB,IAAI,EAAE,+CAA+C;YACrD,OAAO,EAAE,sCAAsC;YAC/C,QAAQ,EAAE,8BAA8B;SACzC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IAC7D,IAAI,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;YAClE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,eAAe,CAAC;YAC1D,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC;gBACpE,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,aAAa;oBACvB,IAAI,EAAE,kCAAkC;oBACxC,OAAO,EAAE,yBAAyB,MAAM,EAAE;oBAC1C,QAAQ,EAAE,6EAA6E;iBACxF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,QAAQ,EAAE,aAAa;gBACvB,IAAI,EAAE,kCAAkC;gBACxC,OAAO,EAAE,8BAA8B;gBACvC,QAAQ,EAAE,+BAA+B;aAC1C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,WAAW,CAAC;QACrE,YAAY,EAAE,oBAAoB,CAAC,MAAM;QACzC,mBAAmB,EAAE,4BAA4B,CAAC,MAAM;QACxD,QAAQ;KACT,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,38 @@
+/**
+ * 默认决策输出契约 — advisory 状态。
+ * 校验 sf_expand / sf_review / sf_analyze / sf_explore 的输出是否包含
+ * 备忘录要求的 10 个决策字段。不 hard block，只出 advisory 告警。
+ */
+/**
+ * 决策输出契约要求包含的 10 个字段。
+ * 涵盖推荐方案、理由、被否决方案、替代方案、攻击性测试、
+ * 证伪测试、执行计划、验证计划、回滚计划和人工确认。
+ */
+export declare const DECISION_FIELDS: readonly ["recommended_option", "why_this", "rejected_options", "steelman_alternatives", "attack_recommended_option", "falsification_tests", "execution_plan", "verification_plan", "rollback_plan", "human_confirmation_required"];
+/** 决策字段名称类型，为 DECISION_FIELDS 中定义的字段名联合类型 */
+export type DecisionField = (typeof DECISION_FIELDS)[number];
+export interface DecisionContractResult {
+    /** 是否通过契约校验（advisory） */
+    passed: boolean;
+    /** 缺失字段列表 */
+    missing_fields: DecisionField[];
+    /** 当前覆盖率 */
+    coverage: number;
+    /** advisory 消息 */
+    advisory: string;
+    /** 各字段存在状态 */
+    field_status: Array<{
+        field: DecisionField;
+        present: boolean;
+    }>;
+}
+/**
+ * 校验决策输出是否满足契约。
+ * 输入为任意对象，检查其顶层键是否覆盖 DECISION_FIELDS 中定义的 10 个决策字段。
+ * 此校验为 advisory 级别，不会硬阻断流程，missing_fields 仅为建议性提示。
+ *
+ * @param output - 待校验的决策输出对象
+ * @returns 校验结果，包含是否通过、缺失字段、覆盖率和各字段存在状态
+ */
+export declare function validateDecisionOutput(output: Record<string, unknown>): DecisionContractResult;
+//# sourceMappingURL=decision_contract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"decision_contract.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/decision_contract.ts"],"names":[],"mappings":"AACA;;;;GAIG;AAGH;;;;GAIG;AACH,eAAO,MAAM,eAAe,qOAWlB,CAAC;AAEX,6CAA6C;AAC7C,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D,MAAM,WAAW,sBAAsB;IACrC,yBAAyB;IACzB,MAAM,EAAE,OAAO,CAAC;IAChB,aAAa;IACb,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC,YAAY;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,kBAAkB;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc;IACd,YAAY,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,aAAa,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CACjE;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,sBAAsB,CA0B9F"}

package/dist/engine/contracts/decision_contract.js

@@ -0,0 +1,57 @@
+import { debug } from "../core/logger.js";
+/**
+ * 默认决策输出契约 — advisory 状态。
+ * 校验 sf_expand / sf_review / sf_analyze / sf_explore 的输出是否包含
+ * 备忘录要求的 10 个决策字段。不 hard block，只出 advisory 告警。
+ */
+/**
+ * 决策输出契约要求包含的 10 个字段。
+ * 涵盖推荐方案、理由、被否决方案、替代方案、攻击性测试、
+ * 证伪测试、执行计划、验证计划、回滚计划和人工确认。
+ */
+export const DECISION_FIELDS = [
+    "recommended_option",
+    "why_this",
+    "rejected_options",
+    "steelman_alternatives",
+    "attack_recommended_option",
+    "falsification_tests",
+    "execution_plan",
+    "verification_plan",
+    "rollback_plan",
+    "human_confirmation_required",
+];
+/**
+ * 校验决策输出是否满足契约。
+ * 输入为任意对象，检查其顶层键是否覆盖 DECISION_FIELDS 中定义的 10 个决策字段。
+ * 此校验为 advisory 级别，不会硬阻断流程，missing_fields 仅为建议性提示。
+ *
+ * @param output - 待校验的决策输出对象
+ * @returns 校验结果，包含是否通过、缺失字段、覆盖率和各字段存在状态
+ */
+export function validateDecisionOutput(output) {
+    debug("决策契约", "开始校验决策输出");
+    const fieldStatus = DECISION_FIELDS.map((field) => ({
+        field,
+        present: field in output && output[field] != null && output[field] !== "",
+    }));
+    const presentCount = fieldStatus.filter((f) => f.present).length;
+    const missing = fieldStatus.filter((f) => !f.present).map((f) => f.field);
+    const coverage = presentCount / DECISION_FIELDS.length;
+    if (missing.length > 0) {
+        debug("决策契约", `缺少 ${missing.length} 个字段 (${missing.join(", ")})`);
+    }
+    else {
+        debug("决策契约", `校验通过 (${presentCount}/${DECISION_FIELDS.length})`);
+    }
+    return {
+        passed: missing.length === 0,
+        missing_fields: missing,
+        coverage,
+        advisory: missing.length === 0
+            ? `决策输出契约完整 (${presentCount}/${DECISION_FIELDS.length})`
+            : `advisory: 决策输出缺少 ${missing.length} 个字段 (${missing.join(", ")})`,
+        field_status: fieldStatus,
+    };
+}
+//# sourceMappingURL=decision_contract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"decision_contract.js","sourceRoot":"","sources":["../../../src/engine/contracts/decision_contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C;;;;GAIG;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,oBAAoB;IACpB,UAAU;IACV,kBAAkB;IAClB,uBAAuB;IACvB,2BAA2B;IAC3B,qBAAqB;IACrB,gBAAgB;IAChB,mBAAmB;IACnB,eAAe;IACf,6BAA6B;CACrB,CAAC;AAkBX;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAA+B;IACpE,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC1B,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAClD,KAAK;QACL,OAAO,EAAE,KAAK,IAAI,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE;KAC1E,CAAC,CAAC,CAAC;IAEJ,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IACjE,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC;IAEvD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,MAAM,EAAE,MAAM,OAAO,CAAC,MAAM,SAAS,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,MAAM,EAAE,SAAS,YAAY,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;IACpE,CAAC;IAED,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;QAC5B,cAAc,EAAE,OAAO;QACvB,QAAQ;QACR,QAAQ,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;YAC5B,CAAC,CAAC,aAAa,YAAY,IAAI,eAAe,CAAC,MAAM,GAAG;YACxD,CAAC,CAAC,oBAAoB,OAAO,CAAC,MAAM,SAAS,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACpE,YAAY,EAAE,WAAW;KAC1B,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,168 @@
+/**
+ * 通用决策研讨机制 — 覆盖所有高影响/不确定任务的决策前置确认。
+ *
+ * 问题六十一要求:
+ * - DecisionPackRegistry 支持独立、可组合的决策包
+ * - business_process 和 delivery_validation 可独立触发
+ * - 同一任务可组合多个 pack
+ * - 架构决策六域作为 builtin 子包
+ */
+import { type ArchitectureDecisionWorkshopContract, type ArchitectureDecisionDomain, type ArchitectureDecisionStatus, type ArchitectureProjectContext } from "./architecture_decision_workshop.js";
+export declare const DECISION_PACKS: {
+    readonly architecture: {
+        readonly pack_id: "architecture";
+        readonly domains: string[];
+        readonly trigger_patterns: readonly [RegExp];
+        readonly trigger_intent: readonly ["architecture_design"];
+        readonly reason: "架构设计任务需要六域决策研讨";
+    };
+    readonly technology_selection: {
+        readonly pack_id: "technology_selection";
+        readonly domains: readonly ["technology_selection"];
+        readonly trigger_patterns: readonly [RegExp];
+        readonly trigger_intent: readonly [];
+        readonly reason: "技术选型需要决策研讨与用户确认";
+    };
+    readonly data_migration: {
+        readonly pack_id: "data_migration";
+        readonly domains: readonly ["data_migration"];
+        readonly trigger_patterns: readonly [RegExp];
+        readonly trigger_intent: readonly [];
+        readonly reason: "数据迁移需要决策研讨";
+    };
+    readonly security_policy: {
+        readonly pack_id: "security_policy";
+        readonly domains: readonly ["security_policy"];
+        readonly trigger_patterns: readonly [RegExp];
+        readonly trigger_intent: readonly [];
+        readonly reason: "安全策略变更需要决策研讨";
+    };
+    readonly deployment_infrastructure: {
+        readonly pack_id: "deployment_infrastructure";
+        readonly domains: readonly ["deployment_infrastructure"];
+        readonly trigger_patterns: readonly [RegExp];
+        readonly trigger_intent: readonly [];
+        readonly reason: "部署基础设施变更需要决策研讨";
+    };
+    readonly product_scope: {
+        readonly pack_id: "product_scope";
+        readonly domains: readonly ["product_scope"];
+        readonly trigger_patterns: readonly [RegExp];
+        readonly trigger_intent: readonly [];
+        readonly reason: "产品范围变更需要决策研讨";
+    };
+    readonly business_process: {
+        readonly pack_id: "business_process";
+        readonly domains: readonly ["business_process"];
+        readonly trigger_patterns: readonly [RegExp];
+        readonly trigger_intent: readonly [];
+        readonly reason: "业务流程变更需要决策研讨";
+    };
+    readonly delivery_validation: {
+        readonly pack_id: "delivery_validation";
+        readonly domains: readonly ["delivery_validation"];
+        readonly trigger_patterns: readonly [RegExp];
+        readonly trigger_intent: readonly [];
+        readonly reason: "交付验证策略需要决策研讨";
+    };
+    readonly refactor_migration: {
+        readonly pack_id: "refactor_migration";
+        readonly domains: readonly ["refactor_migration"];
+        readonly trigger_patterns: readonly [RegExp];
+        readonly trigger_intent: readonly [];
+        readonly reason: "重构/迁移需要决策研讨";
+    };
+    readonly third_party_integration: {
+        readonly pack_id: "third_party_integration";
+        readonly domains: readonly ["third_party_integration", "security_policy"];
+        readonly trigger_patterns: readonly [RegExp];
+        readonly trigger_intent: readonly [];
+        readonly reason: "第三方集成需要决策研讨";
+    };
+};
+export type DecisionPackId = keyof typeof DECISION_PACKS;
+export declare const EXTENDED_DECISION_DOMAINS: readonly ["technology_selection", "data_migration", "security_policy", "deployment_infrastructure", "product_scope", "business_process", "delivery_validation", "refactor_migration", "third_party_integration"];
+export type ExtendedDecisionDomain = typeof EXTENDED_DECISION_DOMAINS[number];
+export type DecisionDomain = ArchitectureDecisionDomain | ExtendedDecisionDomain;
+export interface DecisionRecord {
+    decision_id: string;
+    domain: DecisionDomain;
+    status: ArchitectureDecisionStatus;
+    required: boolean;
+    facts_and_constraints: string[];
+    evidence_refs: string[];
+    options: Array<{
+        option_id: string;
+        summary: string;
+        benefits: string[];
+        risks: string[];
+        rejected_reason?: string;
+    }>;
+    recommendation?: {
+        option_id: string;
+        rationale: string[];
+    };
+    user_confirmation_ref?: string;
+    not_applicable_reason?: string;
+    deferred_impact?: string[];
+}
+export interface DecisionWorkshopContract {
+    task_id: string;
+    /** 已激活的决策包列表（可组合多个） */
+    activated_packs: DecisionPackId[];
+    status: "draft" | "awaiting_confirmation" | "confirmed" | "rework_required" | "blocked";
+    project_context: ArchitectureProjectContext;
+    /** 架构子包 — 当 activated_packs 包含 architecture 时使用 */
+    architecture_subpack?: ArchitectureDecisionWorkshopContract;
+    /** 扩展域记录（所有激活包的域合并） */
+    extended_domains: Partial<Record<ExtendedDecisionDomain, DecisionRecord>>;
+    /** 触发原因 */
+    trigger_reason: string;
+    prerequisite_evidence_refs: string[];
+    generation_allowed: boolean;
+    blocking_findings: string[];
+}
+/** @deprecated 使用 activated_packs 替代 */
+export type DecisionWorkshopType = "architecture" | "technology_selection" | "data_migration" | "security_policy" | "deployment" | "product_scope" | "refactor" | "third_party_integration" | "multi_domain";
+export interface DecisionWorkshopGateResult {
+    allowed: boolean;
+    status: DecisionWorkshopContract["status"];
+    blocking_findings: string[];
+    missing_domains: string[];
+    next_domain?: string;
+}
+export declare function matchDecisionPacks(params: {
+    workflow_intent?: string;
+    intent?: string;
+    route_decision?: string;
+    task_type?: string;
+}): {
+    packs: DecisionPackId[];
+    reasons: string[];
+};
+/**
+ * 旧接口兼容 — 返回第一个匹配的包类型。
+ * 新代码应使用 matchDecisionPacks 获取所有匹配包。
+ */
+export declare function requiresDecisionWorkshop(params: {
+    workflow_intent?: string;
+    intent?: string;
+    route_decision?: string;
+    task_type?: string;
+}): {
+    required: boolean;
+    workshop_type: DecisionWorkshopType;
+    reason: string;
+};
+export declare function createDecisionWorkshop(taskId: string, activatedPacks: DecisionPackId | DecisionPackId[], projectContext?: ArchitectureProjectContext, triggerReason?: string): DecisionWorkshopContract;
+/**
+ * 兼容 MCP 客户端自然 JSON 回传的研讨结构。
+ *
+ * AI 常会把 `{ delivery_validation: {...}, status: ... }` 这样的领域字典
+ * 当作合同回传。这里把可恢复结构规范化成正式合同；不可恢复结构交给
+ * evaluateDecisionWorkshop 返回字段级阻断，避免死锁或 JS 运行时异常。
+ */
+export declare function normalizeDecisionWorkshopContract(input: unknown, fallbackTaskId?: string): DecisionWorkshopContract | undefined;
+export declare function evaluateDecisionWorkshop(contract: DecisionWorkshopContract | undefined): DecisionWorkshopGateResult;
+export declare function applyDecisionWorkshopGate(contract: DecisionWorkshopContract | undefined): DecisionWorkshopContract | undefined;
+//# sourceMappingURL=decision_workshop.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"decision_workshop.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/decision_workshop.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAGL,KAAK,oCAAoC,EACzC,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,EAChC,MAAM,qCAAqC,CAAC;AAI7C,eAAO,MAAM,cAAc;;;0BAGR,MAAM,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAwFjB,CAAC;AAEX,MAAM,MAAM,cAAc,GAAG,MAAM,OAAO,cAAc,CAAC;AAEzD,eAAO,MAAM,yBAAyB,kNAU5B,CAAC;AAEX,MAAM,MAAM,sBAAsB,GAAG,OAAO,yBAAyB,CAAC,MAAM,CAAC,CAAC;AAC9E,MAAM,MAAM,cAAc,GAAG,0BAA0B,GAAG,sBAAsB,CAAC;AAEjF,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,0BAA0B,CAAC;IACnC,QAAQ,EAAE,OAAO,CAAC;IAClB,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,OAAO,EAAE,KAAK,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;QACnB,KAAK,EAAE,MAAM,EAAE,CAAC;QAChB,eAAe,CAAC,EAAE,MAAM,CAAC;KAC1B,CAAC,CAAC;IACH,cAAc,CAAC,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAC5D,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,uBAAuB;IACvB,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,MAAM,EAAE,OAAO,GAAG,uBAAuB,GAAG,WAAW,GAAG,iBAAiB,GAAG,SAAS,CAAC;IACxF,eAAe,EAAE,0BAA0B,CAAC;IAC5C,mDAAmD;IACnD,oBAAoB,CAAC,EAAE,oCAAoC,CAAC;IAC5D,uBAAuB;IACvB,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,sBAAsB,EAAE,cAAc,CAAC,CAAC,CAAC;IAC1E,WAAW;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,0BAA0B,EAAE,MAAM,EAAE,CAAC;IACrC,kBAAkB,EAAE,OAAO,CAAC;IAC5B,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED,wCAAwC;AACxC,MAAM,MAAM,oBAAoB,GAC5B,cAAc,GACd,sBAAsB,GACtB,gBAAgB,GAChB,iBAAiB,GACjB,YAAY,GACZ,eAAe,GACf,UAAU,GACV,yBAAyB,GACzB,cAAc,CAAC;AAEnB,MAAM,WAAW,0BAA0B;IACzC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAC3C,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAID,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IACzC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GAAG;IAAE,KAAK,EAAE,cAAc,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAiBjD;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE;IAC/C,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GAAG;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,aAAa,EAAE,oBAAoB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAwB7E;AAID,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,cAAc,GAAG,cAAc,EAAE,EACjD,cAAc,GAAE,0BAAyC,EACzD,aAAa,GAAE,MAAW,GACzB,wBAAwB,CAkC1B;AAyDD;;;;;;GAMG;AACH,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,OAAO,EACd,cAAc,SAAsB,GACnC,wBAAwB,GAAG,SAAS,CAgDtC;AAkBD,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,wBAAwB,GAAG,SAAS,GAC7C,0BAA0B,CAuE5B;AAUD,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,wBAAwB,GAAG,SAAS,GAC7C,wBAAwB,GAAG,SAAS,CAUtC"}