soloforge 1.2.19 → 1.3.0

package/dist/engine/user_promise.js

@@ -0,0 +1,436 @@
+/**
+ * 用户承诺契约 — 问题三十 (CLI / README User Promise)。
+ *
+ * 管理 CLI 命令行为矩阵、README 命令漂移检测和用户心智边界。
+ * - CliCommandContract 必须反映真实能力状态
+ * - README 命令漂移必须检测
+ * - 文档承诺不得超出真实能力
+ */
+// ── 内置 CLI 命令契约 ──
+const BUILTIN_CLI_COMMANDS = [
+    {
+        command: "soloforge init",
+        capability_ids: [],
+        contract_ids: ["init_command"],
+        default_mode: "write",
+        reads: ["项目结构"],
+        writes: ["目录", "模板"],
+        side_effects: ["file_write"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge init --auto",
+        capability_ids: [],
+        contract_ids: ["init_auto_command"],
+        default_mode: "write",
+        reads: ["项目结构", "语言指纹"],
+        writes: ["config"],
+        side_effects: ["file_write", "config_write"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge init --auto --dry-run",
+        capability_ids: [],
+        contract_ids: ["init_auto_dry_run_command"],
+        default_mode: "dry_run",
+        reads: ["项目结构", "语言指纹"],
+        writes: [],
+        side_effects: ["none"],
+        requires_confirmation: false,
+        dry_run_available: true,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge init --interactive",
+        capability_ids: [],
+        contract_ids: ["init_interactive_command"],
+        default_mode: "write",
+        reads: ["项目结构"],
+        writes: ["config", "目录", "模板"],
+        side_effects: ["file_write", "config_write"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge init --adapter claude",
+        capability_ids: [],
+        contract_ids: ["init_adapter_claude_command"],
+        default_mode: "write",
+        reads: [],
+        writes: ["适配器配置"],
+        side_effects: ["file_write", "config_write"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge init --adapter codex",
+        capability_ids: [],
+        contract_ids: ["init_adapter_codex_command"],
+        default_mode: "write",
+        reads: [],
+        writes: ["适配器配置"],
+        side_effects: ["file_write", "config_write"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge init --adapter trae",
+        capability_ids: [],
+        contract_ids: ["init_adapter_trae_command"],
+        default_mode: "write",
+        reads: [],
+        writes: ["适配器配置"],
+        side_effects: ["file_write", "config_write"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge init --adapter all",
+        capability_ids: [],
+        contract_ids: ["init_adapter_all_command"],
+        default_mode: "write",
+        reads: [],
+        writes: ["适配器配置"],
+        side_effects: ["file_write", "config_write"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge status",
+        capability_ids: [],
+        contract_ids: ["status_command"],
+        default_mode: "read_only",
+        reads: ["项目状态", "版本信息"],
+        writes: [],
+        side_effects: ["none"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge validate",
+        capability_ids: [],
+        contract_ids: ["validate_command"],
+        default_mode: "read_only",
+        reads: ["配置", "知识", "机制"],
+        writes: [],
+        side_effects: ["none"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge validate-release",
+        capability_ids: [],
+        contract_ids: ["validate_release_command"],
+        default_mode: "read_only",
+        reads: ["全部契约", "场景矩阵", "消费 trace", "双层机制"],
+        writes: [],
+        side_effects: ["none"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge cleanup --dry-run",
+        capability_ids: [],
+        contract_ids: ["cleanup_dry_run_command"],
+        default_mode: "dry_run",
+        reads: ["任务状态", "evidence 引用"],
+        writes: [],
+        side_effects: ["none"],
+        requires_confirmation: false,
+        dry_run_available: true,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge cleanup --apply",
+        capability_ids: [],
+        contract_ids: ["cleanup_apply_command"],
+        default_mode: "write",
+        reads: ["任务状态", "evidence 引用"],
+        writes: ["状态文件", "evidence 文件"],
+        side_effects: ["file_write", "state_write"],
+        requires_confirmation: true,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge audit-template-mechanisms",
+        capability_ids: [],
+        contract_ids: ["audit_template_mechanisms_command"],
+        default_mode: "read_only",
+        reads: ["模板", "机制注册表", "资产清单"],
+        writes: [],
+        side_effects: ["none"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge sync-templates",
+        capability_ids: [],
+        contract_ids: ["sync_templates_command"],
+        default_mode: "dry_run",
+        reads: ["模板清单", "版本信息"],
+        writes: [],
+        side_effects: ["none"],
+        requires_confirmation: false,
+        dry_run_available: true,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge sync-templates --apply --confirm",
+        capability_ids: [],
+        contract_ids: ["sync_templates_apply_command"],
+        default_mode: "write",
+        reads: ["模板清单"],
+        writes: ["模板文件"],
+        side_effects: ["file_write", "knowledge_write"],
+        requires_confirmation: true,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge sync-adapters",
+        capability_ids: [],
+        contract_ids: ["sync_adapters_command"],
+        default_mode: "dry_run",
+        reads: ["适配器 Prompt"],
+        writes: [],
+        side_effects: ["none"],
+        requires_confirmation: false,
+        dry_run_available: true,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge sync-adapters --apply --confirm",
+        capability_ids: [],
+        contract_ids: ["sync_adapters_apply_command"],
+        default_mode: "write",
+        reads: ["适配器 Prompt"],
+        writes: ["适配器文件"],
+        side_effects: ["file_write", "config_write"],
+        requires_confirmation: true,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge migrate",
+        capability_ids: [],
+        contract_ids: ["migrate_command"],
+        default_mode: "dry_run",
+        reads: ["项目版本", "schema 信息"],
+        writes: [],
+        side_effects: ["none"],
+        requires_confirmation: false,
+        dry_run_available: true,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge migrate --apply --confirm",
+        capability_ids: [],
+        contract_ids: ["migrate_apply_command"],
+        default_mode: "write",
+        reads: ["项目版本"],
+        writes: ["schema 文件", "config"],
+        side_effects: ["file_write", "state_write", "config_write"],
+        requires_confirmation: true,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge config resolve",
+        capability_ids: [],
+        contract_ids: ["config_resolve_command"],
+        default_mode: "read_only",
+        reads: ["配置"],
+        writes: [],
+        side_effects: ["none"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge config explain",
+        capability_ids: [],
+        contract_ids: ["config_explain_command"],
+        default_mode: "read_only",
+        reads: ["配置"],
+        writes: [],
+        side_effects: ["none"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+    {
+        command: "soloforge generate-hooks",
+        capability_ids: [],
+        contract_ids: ["generate_hooks_command"],
+        default_mode: "write",
+        reads: [],
+        writes: ["hooks 配置"],
+        side_effects: ["file_write", "config_write"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: false,
+    },
+    {
+        command: "soloforge generate-claude-md",
+        capability_ids: [],
+        contract_ids: ["generate_claude_md_command"],
+        default_mode: "write",
+        reads: [],
+        writes: ["CLAUDE.md"],
+        side_effects: ["file_write"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: false,
+    },
+    {
+        command: "soloforge version",
+        capability_ids: [],
+        contract_ids: ["version_command"],
+        default_mode: "read_only",
+        reads: [],
+        writes: [],
+        side_effects: ["none"],
+        requires_confirmation: false,
+        dry_run_available: false,
+        documented_in_readme: true,
+    },
+];
+// ── 核心函数 ──
+/**
+ * 获取所有内置 CLI 命令契约。
+ */
+export function getCliCommandContracts() {
+    return BUILTIN_CLI_COMMANDS.map((c) => ({ ...c }));
+}
+/**
+ * 按命令名查找契约。
+ */
+export function findCliCommandContract(command) {
+    return BUILTIN_CLI_COMMANDS.find((c) => c.command === command);
+}
+/**
+ * 检测 README 命令漂移。
+ * 硬规则：README 命令必须映射到真实 CliCommandContract。
+ */
+export function detectReadmeDrift(readmeCommands, cliContracts) {
+    const driftItems = [];
+    const cliCommandSet = new Set(cliContracts.map((c) => c.command));
+    // README 中存在但 CLI 中不存在的命令
+    for (const cmd of readmeCommands) {
+        if (!cliCommandSet.has(cmd)) {
+            driftItems.push({
+                command: cmd,
+                drift_type: "missing_in_cli",
+                message_zh: `README 命令 "${cmd}" 在 CLI 契约中不存在`,
+            });
+        }
+    }
+    // CLI 中存在且标记 documented_in_readme 但 README 中不存在的命令
+    for (const contract of cliContracts) {
+        if (contract.documented_in_readme && !readmeCommands.includes(contract.command)) {
+            driftItems.push({
+                command: contract.command,
+                drift_type: "missing_in_readme",
+                cli_contract: contract,
+                message_zh: `CLI 命令 "${contract.command}" 标记为需要在 README 中说明但未找到`,
+            });
+        }
+    }
+    return {
+        has_drift: driftItems.length > 0,
+        drift_items: driftItems,
+    };
+}
+/**
+ * 验证用户承诺一致性。
+ * 硬规则：
+ * - README 不得出现未实现命令
+ * - advisory 能力不得写成 enforced
+ * - removed/deprecated 命令不得写成可用
+ * - dry-run 命令不得写成 apply
+ */
+export function validateUserPromise(readmeCommands, cliContracts) {
+    const findings = [];
+    const driftResult = detectReadmeDrift(readmeCommands, cliContracts);
+    for (const item of driftResult.drift_items) {
+        if (item.drift_type === "missing_in_cli") {
+            findings.push({
+                severity: "hard_fail",
+                rule: "readme_command_must_exist",
+                command: item.command,
+                message_zh: item.message_zh,
+            });
+        }
+        if (item.drift_type === "missing_in_readme") {
+            findings.push({
+                severity: "warning",
+                rule: "cli_command_should_be_documented",
+                command: item.command,
+                message_zh: item.message_zh,
+            });
+        }
+    }
+    return {
+        valid: !findings.some((f) => f.severity === "hard_fail"),
+        findings,
+    };
+}
+/**
+ * 验证 CLI 命令默认行为安全性。
+ * 硬规则：
+ * - sync-templates 默认 dry_run
+ * - migrate 默认 dry_run
+ * - sync-adapters 默认 dry_run
+ * - init 不得覆盖已有知识
+ */
+export function validateCommandDefaults(contracts) {
+    const findings = [];
+    for (const c of contracts) {
+        if (c.command.includes("sync-templates") &&
+            !c.command.includes("--apply") &&
+            c.default_mode !== "dry_run") {
+            findings.push({
+                severity: "hard_fail",
+                rule: "sync_templates_default_dry_run",
+                command: c.command,
+                message_zh: `sync-templates 默认模式必须是 dry_run，当前为 ${c.default_mode}`,
+            });
+        }
+        if (c.command.includes("sync-adapters") &&
+            !c.command.includes("--apply") &&
+            c.default_mode !== "dry_run") {
+            findings.push({
+                severity: "hard_fail",
+                rule: "sync_adapters_default_dry_run",
+                command: c.command,
+                message_zh: `sync-adapters 默认模式必须是 dry_run，当前为 ${c.default_mode}`,
+            });
+        }
+        if (c.command.includes("migrate") &&
+            !c.command.includes("--apply") &&
+            c.default_mode !== "dry_run") {
+            findings.push({
+                severity: "hard_fail",
+                rule: "migrate_default_dry_run",
+                command: c.command,
+                message_zh: `migrate 默认模式必须是 dry_run，当前为 ${c.default_mode}`,
+            });
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=user_promise.js.map

package/dist/engine/user_promise.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"user_promise.js","sourceRoot":"","sources":["../../src/engine/user_promise.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAqCH,oBAAoB;AAEpB,MAAM,oBAAoB,GAAyB;IACjD;QACE,OAAO,EAAE,gBAAgB;QACzB,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,cAAc,CAAC;QAC9B,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,CAAC,MAAM,CAAC;QACf,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;QACpB,YAAY,EAAE,CAAC,YAAY,CAAC;QAC5B,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,uBAAuB;QAChC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,mBAAmB,CAAC;QACnC,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;QACvB,MAAM,EAAE,CAAC,QAAQ,CAAC;QAClB,YAAY,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;QAC5C,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,iCAAiC;QAC1C,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,2BAA2B,CAAC;QAC3C,YAAY,EAAE,SAAS;QACvB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;QACvB,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,8BAA8B;QACvC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,0BAA0B,CAAC;QAC1C,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,CAAC,MAAM,CAAC;QACf,MAAM,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC;QAC9B,YAAY,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;QAC5C,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,iCAAiC;QAC1C,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,6BAA6B,CAAC;QAC7C,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,CAAC,OAAO,CAAC;QACjB,YAAY,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;QAC5C,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,gCAAgC;QACzC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,4BAA4B,CAAC;QAC5C,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,CAAC,OAAO,CAAC;QACjB,YAAY,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;QAC5C,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,+BAA+B;QACxC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,2BAA2B,CAAC;QAC3C,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,CAAC,OAAO,CAAC;QACjB,YAAY,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;QAC5C,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,8BAA8B;QACvC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,0BAA0B,CAAC;QAC1C,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,CAAC,OAAO,CAAC;QACjB,YAAY,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;QAC5C,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,kBAAkB;QAC3B,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,gBAAgB,CAAC;QAChC,YAAY,EAAE,WAAW;QACzB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;QACvB,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,oBAAoB;QAC7B,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,kBAAkB,CAAC;QAClC,YAAY,EAAE,WAAW;QACzB,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;QACzB,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,4BAA4B;QACrC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,0BAA0B,CAAC;QAC1C,YAAY,EAAE,WAAW;QACzB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC;QAC3C,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,6BAA6B;QACtC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,yBAAyB,CAAC;QACzC,YAAY,EAAE,SAAS;QACvB,KAAK,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC9B,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,2BAA2B;QACpC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,uBAAuB,CAAC;QACvC,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC9B,MAAM,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC/B,YAAY,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;QAC3C,qBAAqB,EAAE,IAAI;QAC3B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,qCAAqC;QAC9C,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,mCAAmC,CAAC;QACnD,YAAY,EAAE,WAAW;QACzB,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC;QAC9B,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,0BAA0B;QACnC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,wBAAwB,CAAC;QACxC,YAAY,EAAE,SAAS;QACvB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;QACvB,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,4CAA4C;QACrD,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,8BAA8B,CAAC;QAC9C,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,CAAC,MAAM,CAAC;QACf,MAAM,EAAE,CAAC,MAAM,CAAC;QAChB,YAAY,EAAE,CAAC,YAAY,EAAE,iBAAiB,CAAC;QAC/C,qBAAqB,EAAE,IAAI;QAC3B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,yBAAyB;QAClC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,uBAAuB,CAAC;QACvC,YAAY,EAAE,SAAS;QACvB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,2CAA2C;QACpD,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,6BAA6B,CAAC;QAC7C,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,MAAM,EAAE,CAAC,OAAO,CAAC;QACjB,YAAY,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;QAC5C,qBAAqB,EAAE,IAAI;QAC3B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,mBAAmB;QAC5B,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,iBAAiB,CAAC;QACjC,YAAY,EAAE,SAAS;QACvB,KAAK,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC;QAC5B,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,IAAI;QACvB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,qCAAqC;QAC9C,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,uBAAuB,CAAC;QACvC,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,CAAC,MAAM,CAAC;QACf,MAAM,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC;QAC/B,YAAY,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,cAAc,CAAC;QAC3D,qBAAqB,EAAE,IAAI;QAC3B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,0BAA0B;QACnC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,wBAAwB,CAAC;QACxC,YAAY,EAAE,WAAW;QACzB,KAAK,EAAE,CAAC,IAAI,CAAC;QACb,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,0BAA0B;QACnC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,wBAAwB,CAAC;QACxC,YAAY,EAAE,WAAW;QACzB,KAAK,EAAE,CAAC,IAAI,CAAC;QACb,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;IACD;QACE,OAAO,EAAE,0BAA0B;QACnC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,wBAAwB,CAAC;QACxC,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,CAAC,UAAU,CAAC;QACpB,YAAY,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;QAC5C,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,KAAK;KAC5B;IACD;QACE,OAAO,EAAE,8BAA8B;QACvC,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,4BAA4B,CAAC;QAC5C,YAAY,EAAE,OAAO;QACrB,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,YAAY,EAAE,CAAC,YAAY,CAAC;QAC5B,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,KAAK;KAC5B;IACD;QACE,OAAO,EAAE,mBAAmB;QAC5B,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,CAAC,iBAAiB,CAAC;QACjC,YAAY,EAAE,WAAW;QACzB,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,EAAE;QACV,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,KAAK;QACxB,oBAAoB,EAAE,IAAI;KAC3B;CACF,CAAC;AAEF,aAAa;AAEb;;GAEG;AACH,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACrD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAe;IACpD,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;AACjE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,cAAwB,EACxB,YAAkC;IAElC,MAAM,UAAU,GAAsB,EAAE,CAAC;IACzC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAElE,0BAA0B;IAC1B,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,UAAU,CAAC,IAAI,CAAC;gBACd,OAAO,EAAE,GAAG;gBACZ,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,cAAc,GAAG,gBAAgB;aAC9C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mDAAmD;IACnD,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QACpC,IAAI,QAAQ,CAAC,oBAAoB,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAChF,UAAU,CAAC,IAAI,CAAC;gBACd,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,UAAU,EAAE,mBAAmB;gBAC/B,YAAY,EAAE,QAAQ;gBACtB,UAAU,EAAE,WAAW,QAAQ,CAAC,OAAO,yBAAyB;aACjE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,SAAS,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC;QAChC,WAAW,EAAE,UAAU;KACxB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CACjC,cAAwB,EACxB,YAAkC;IAElC,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,MAAM,WAAW,GAAG,iBAAiB,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;IAEpE,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,UAAU,KAAK,gBAAgB,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,UAAU,EAAE,IAAI,CAAC,UAAU;aAC5B,CAAC,CAAC;QACL,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,KAAK,mBAAmB,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,kCAAkC;gBACxC,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,UAAU,EAAE,IAAI,CAAC,UAAU;aAC5B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC;QACxD,QAAQ;KACT,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACrC,SAA+B;IAE/B,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAE1C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IACE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YACpC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC9B,CAAC,CAAC,YAAY,KAAK,SAAS,EAC5B,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,gCAAgC;gBACtC,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,UAAU,EAAE,sCAAsC,CAAC,CAAC,YAAY,EAAE;aACnE,CAAC,CAAC;QACL,CAAC;QAED,IACE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC;YACnC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC9B,CAAC,CAAC,YAAY,KAAK,SAAS,EAC5B,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,UAAU,EAAE,qCAAqC,CAAC,CAAC,YAAY,EAAE;aAClE,CAAC,CAAC;QACL,CAAC;QAED,IACE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC7B,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC9B,CAAC,CAAC,YAAY,KAAK,SAAS,EAC5B,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,UAAU,EAAE,+BAA+B,CAAC,CAAC,YAAY,EAAE;aAC5D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/engine/verification_contract.d.ts

@@ -0,0 +1,132 @@
+/**
+ * 验证契约 — 问题十二 (Verification Contract)。
+ *
+ * 核心规则:
+ * - VerificationPlan 只是计划，不是结果
+ * - VerificationResult 必须来自真实执行或明确 not_executed
+ * - 未验证不得 delivered
+ * - delivery_readiness 不得触发 delivery_execution
+ */
+export type VerificationStatus = "pending" | "executing" | "passed" | "failed" | "not_executed" | "skipped";
+export interface VerificationPlan {
+    plan_id: string;
+    task_id: string;
+    commands: string[];
+    acceptance_criteria: string[];
+    created_at: string;
+    status: "plan_only";
+}
+export interface VerificationEvidence {
+    evidence_id: string;
+    plan_id: string;
+    task_id: string;
+    command: string;
+    exit_code: number | null;
+    stdout_hash: string;
+    stderr_hash: string;
+    duration_ms: number;
+    executed_at: string;
+    redacted: boolean;
+}
+export interface VerificationResult {
+    result_id: string;
+    task_id: string;
+    plan_id: string;
+    status: VerificationStatus;
+    total_commands: number;
+    passed_commands: number;
+    failed_commands: number;
+    evidence_ids: string[];
+    findings: VerificationFinding[];
+    completed_at: string;
+    /**
+     * 来源标记 — 只有 "record_verification_execution" 的 passed 结果可被 delivery 消费。
+     * "direct" 表示通过 createVerificationResult 直接构造，delivery 必须拒绝。
+     */
+    provenance: "record_verification_execution" | "direct";
+    /** plan.commands 中已被 execution_records 覆盖的命令 */
+    covered_commands?: string[];
+    /** plan.commands 中缺少对应 execution_record 的命令 */
+    missing_commands?: string[];
+    /** 证据格式校验是否全部通过 */
+    evidence_integrity_passed?: boolean;
+}
+export interface VerificationFinding {
+    rule: string;
+    severity: "hard_fail" | "warning" | "advisory";
+    message_zh: string;
+    diagnostic_code: string;
+}
+/**
+ * 创建验证计划（不执行）。
+ */
+export declare function createVerificationPlan(taskId: string, commands: string[], acceptanceCriteria: string[]): VerificationPlan;
+/**
+ * 检查是否为 plan_only（无真实执行）。
+ * VerificationPlan.status === "plan_only" 时不得视为 VerificationResult。
+ */
+export declare function isPlanOnly(plan: VerificationPlan): boolean;
+/**
+ * 创建验证结果（内部使用，provenance = "direct"）。
+ * delivery_readiness 必须拒绝 provenance="direct" 的 passed 结果。
+ * 唯一合法 passed 入口是 recordVerificationExecution。
+ */
+export declare function createVerificationResult(taskId: string, planId: string, evidenceIds: string[], commandResults: Array<{
+    passed: boolean;
+    diagnostic_code?: string;
+}>): VerificationResult;
+/**
+ * 创建未执行的验证结果。
+ */
+export declare function createNotExecutedResult(taskId: string, planId: string, reason: string): VerificationResult;
+/**
+ * 真实执行记录 — recordVerificationExecution 的输入。
+ * 每条记录必须包含完整的执行证据，缺字段则该条判定为失败。
+ */
+export interface ExecutionRecord {
+    command: string;
+    exit_code: number;
+    stdout_hash: string;
+    stderr_hash: string;
+    started_at: string;
+    finished_at: string;
+    evidence_id: string;
+}
+/**
+ * 校验执行记录: 证据格式、命令合法性、evidence_id 唯一性、时间合法性。
+ * 返回校验失败的记录索引及对应的 diagnostic_code。
+ */
+export declare function validateExecutionRecords(plan: VerificationPlan, records: ExecutionRecord[]): Array<{
+    index: number;
+    diagnostic_code: string;
+    message_zh: string;
+}>;
+/**
+ * 计算命令覆盖率: plan.commands 中被 records 覆盖的比例。
+ */
+export declare function computeCommandCoverage(plan: VerificationPlan, records: ExecutionRecord[]): {
+    covered_commands: string[];
+    missing_commands: string[];
+};
+/**
+ * 录入真实执行结果 — VerificationResult.status = "passed" 的唯一合法入口。
+ *
+ * 规则:
+ * - plan 为 null → hard fail (SF-VERIFY-5002)
+ * - records 为空 → not_executed
+ * - 非计划命令 → 该条 failed (SF-VERIFY-5006)
+ * - stdout/stderr hash 格式非法 → 该条 failed
+ * - evidence_id 重复 → 该条 failed
+ * - 时间倒挂 → 该条 failed
+ * - plan.commands 未全覆盖 → failed (SF-VERIFY-5003)
+ * - 所有 exit_code === 0 且全覆盖且无格式错误 → passed
+ */
+export declare function recordVerificationExecution(taskId: string, planId: string, records: ExecutionRecord[], plan: VerificationPlan | null): VerificationResult;
+/**
+ * 验证: VerificationPlan 不得当作 VerificationEvidence。
+ */
+export declare function validateVerificationSeparation(plan: VerificationPlan, result: VerificationResult | undefined): Array<{
+    error: string;
+    severity: "hard_fail" | "warning";
+}>;
+//# sourceMappingURL=verification_contract.d.ts.map

package/dist/engine/verification_contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification_contract.d.ts","sourceRoot":"","sources":["../../src/engine/verification_contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,MAAM,kBAAkB,GAAG,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,cAAc,GAAG,SAAS,CAAC;AAE5G,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,WAAW,CAAC;CACrB;AAED,MAAM,WAAW,oBAAoB;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,UAAU,EAAE,+BAA+B,GAAG,QAAQ,CAAC;IACvD,gDAAgD;IAChD,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,+CAA+C;IAC/C,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,mBAAmB;IACnB,yBAAyB,CAAC,EAAE,OAAO,CAAC;CACrC;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC;IAC/C,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAAE,EAClB,kBAAkB,EAAE,MAAM,EAAE,GAC3B,gBAAgB,CASlB;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAE1D;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EAAE,EACrB,cAAc,EAAE,KAAK,CAAC;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GACnE,kBAAkB,CAmDpB;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,kBAAkB,CAmB1G;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB;AAQD;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,gBAAgB,EACtB,OAAO,EAAE,eAAe,EAAE,GACzB,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC,CAyCvE;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,gBAAgB,EACtB,OAAO,EAAE,eAAe,EAAE,GACzB;IAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAAC,gBAAgB,EAAE,MAAM,EAAE,CAAA;CAAE,CAY5D;AAgCD;;;;;;;;;;;;GAYG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,eAAe,EAAE,EAC1B,IAAI,EAAE,gBAAgB,GAAG,IAAI,GAC5B,kBAAkB,CA4EpB;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,kBAAkB,GAAG,SAAS,GACrC,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAA;CAAE,CAAC,CAgB7D"}