soloforge 1.2.19 → 1.2.20

package/dist/engine/verification_contract.js

@@ -0,0 +1,296 @@
+/**
+ * 验证契约 — 问题十二 (Verification Contract)。
+ *
+ * 核心规则:
+ * - VerificationPlan 只是计划，不是结果
+ * - VerificationResult 必须来自真实执行或明确 not_executed
+ * - 未验证不得 delivered
+ * - delivery_readiness 不得触发 delivery_execution
+ */
+/**
+ * 创建验证计划（不执行）。
+ */
+export function createVerificationPlan(taskId, commands, acceptanceCriteria) {
+    return {
+        plan_id: `vp-${taskId}-${Date.now()}`,
+        task_id: taskId,
+        commands,
+        acceptance_criteria: acceptanceCriteria,
+        created_at: new Date().toISOString(),
+        status: "plan_only",
+    };
+}
+/**
+ * 检查是否为 plan_only（无真实执行）。
+ * VerificationPlan.status === "plan_only" 时不得视为 VerificationResult。
+ */
+export function isPlanOnly(plan) {
+    return plan.status === "plan_only";
+}
+/**
+ * 创建验证结果（内部使用，provenance = "direct"）。
+ * delivery_readiness 必须拒绝 provenance="direct" 的 passed 结果。
+ * 唯一合法 passed 入口是 recordVerificationExecution。
+ */
+export function createVerificationResult(taskId, planId, evidenceIds, commandResults) {
+    // 不允许空 evidenceIds + 空 commandResults 时返回 passed
+    const hasEvidence = evidenceIds.length > 0;
+    const hasCommands = commandResults.length > 0;
+    // 无 evidence 或无 commands → 强制 failed
+    if (!hasEvidence || !hasCommands) {
+        return {
+            result_id: `vr-${taskId}-${Date.now()}`,
+            task_id: taskId,
+            plan_id: planId,
+            status: "failed",
+            total_commands: commandResults.length,
+            passed_commands: 0,
+            failed_commands: 0,
+            evidence_ids: evidenceIds,
+            findings: [{
+                    rule: "evidence_required",
+                    severity: "hard_fail",
+                    message_zh: `验证结果缺少${!hasEvidence ? " evidence" : ""}${!hasEvidence && !hasCommands ? " 和" : ""}${!hasCommands ? " commands" : ""}，不得 passed`,
+                    diagnostic_code: "SF-VERIFY-0003",
+                }],
+            completed_at: new Date().toISOString(),
+            provenance: "direct",
+        };
+    }
+    const passedCount = commandResults.filter((r) => r.passed).length;
+    const failedCount = commandResults.filter((r) => !r.passed).length;
+    const findings = commandResults
+        .filter((r) => !r.passed && r.diagnostic_code)
+        .map((r) => ({
+        rule: "command_failed",
+        severity: "hard_fail",
+        message_zh: `验证命令失败: ${r.diagnostic_code}`,
+        diagnostic_code: r.diagnostic_code,
+    }));
+    return {
+        result_id: `vr-${taskId}-${Date.now()}`,
+        task_id: taskId,
+        plan_id: planId,
+        status: failedCount === 0 ? "passed" : "failed",
+        total_commands: commandResults.length,
+        passed_commands: passedCount,
+        failed_commands: failedCount,
+        evidence_ids: evidenceIds,
+        findings,
+        completed_at: new Date().toISOString(),
+        provenance: "direct",
+    };
+}
+/**
+ * 创建未执行的验证结果。
+ */
+export function createNotExecutedResult(taskId, planId, reason) {
+    return {
+        result_id: `vr-${taskId}-${Date.now()}`,
+        task_id: taskId,
+        plan_id: planId,
+        status: "not_executed",
+        total_commands: 0,
+        passed_commands: 0,
+        failed_commands: 0,
+        evidence_ids: [],
+        findings: [{
+                rule: "not_executed",
+                severity: "warning",
+                message_zh: `验证未执行: ${reason}`,
+                diagnostic_code: "SF-VERIFY-0001",
+            }],
+        completed_at: new Date().toISOString(),
+        provenance: "direct",
+    };
+}
+/** SHA256 hex 格式 */
+const SHA256_RE = /^[a-f0-9]{64}$/i;
+/** ISO 8601 日期格式 */
+const ISO8601_RE = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}/;
+/**
+ * 校验执行记录: 证据格式、命令合法性、evidence_id 唯一性、时间合法性。
+ * 返回校验失败的记录索引及对应的 diagnostic_code。
+ */
+export function validateExecutionRecords(plan, records) {
+    const errors = [];
+    const seenEvidenceIds = new Set();
+    const planCommands = new Set(plan.commands);
+    for (let i = 0; i < records.length; i++) {
+        const r = records[i];
+        if (!r.command) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5001", message_zh: `记录 ${i}: command 为空` });
+            continue;
+        }
+        if (!planCommands.has(r.command)) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5006", message_zh: `记录 ${i}: 命令 "${r.command}" 不在 plan.commands 中` });
+        }
+        if (!r.stdout_hash || !SHA256_RE.test(r.stdout_hash)) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5007", message_zh: `记录 ${i}: stdout_hash 为空或格式非法` });
+        }
+        if (!r.stderr_hash || !SHA256_RE.test(r.stderr_hash)) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5008", message_zh: `记录 ${i}: stderr_hash 为空或格式非法` });
+        }
+        if (!r.evidence_id) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5009", message_zh: `记录 ${i}: evidence_id 为空` });
+        }
+        else if (seenEvidenceIds.has(r.evidence_id)) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5010", message_zh: `记录 ${i}: evidence_id "${r.evidence_id}" 重复` });
+        }
+        else {
+            seenEvidenceIds.add(r.evidence_id);
+        }
+        if (!r.started_at || !ISO8601_RE.test(r.started_at)) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5011", message_zh: `记录 ${i}: started_at 格式非法` });
+        }
+        if (!r.finished_at || !ISO8601_RE.test(r.finished_at)) {
+            errors.push({ index: i, diagnostic_code: "SF-VERIFY-5012", message_zh: `记录 ${i}: finished_at 格式非法` });
+        }
+        if (r.started_at && r.finished_at && ISO8601_RE.test(r.started_at) && ISO8601_RE.test(r.finished_at)) {
+            if (new Date(r.finished_at).getTime() < new Date(r.started_at).getTime()) {
+                errors.push({ index: i, diagnostic_code: "SF-VERIFY-5013", message_zh: `记录 ${i}: finished_at 早于 started_at` });
+            }
+        }
+    }
+    return errors;
+}
+/**
+ * 计算命令覆盖率: plan.commands 中被 records 覆盖的比例。
+ */
+export function computeCommandCoverage(plan, records) {
+    const covered = new Set(records.map((r) => r.command));
+    const coveredCommands = [];
+    const missingCommands = [];
+    for (const cmd of plan.commands) {
+        if (covered.has(cmd)) {
+            coveredCommands.push(cmd);
+        }
+        else {
+            missingCommands.push(cmd);
+        }
+    }
+    return { covered_commands: coveredCommands, missing_commands: missingCommands };
+}
+/** 构造带 diagnostic_code 的 failed 结果 */
+function createFailedResult(taskId, planId, diagnosticCode, message) {
+    return {
+        result_id: `vr-${taskId}-${Date.now()}`,
+        task_id: taskId,
+        plan_id: planId,
+        status: "failed",
+        total_commands: 0,
+        passed_commands: 0,
+        failed_commands: 0,
+        evidence_ids: [],
+        findings: [{
+                rule: "plan_binding_required",
+                severity: "hard_fail",
+                message_zh: message,
+                diagnostic_code: diagnosticCode,
+            }],
+        completed_at: new Date().toISOString(),
+        provenance: "direct",
+        covered_commands: [],
+        missing_commands: [],
+        evidence_integrity_passed: false,
+    };
+}
+/**
+ * 录入真实执行结果 — 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 function recordVerificationExecution(taskId, planId, records, plan) {
+    if (!plan) {
+        return createFailedResult(taskId, planId, "SF-VERIFY-5002", "无关联 VerificationPlan，不得录入执行结果");
+    }
+    if (planId !== plan.plan_id) {
+        return createFailedResult(taskId, planId, "SF-VERIFY-5014", `plan_id 不匹配: 传入 "${planId}"，plan 中 "${plan.plan_id}"`);
+    }
+    if (taskId !== plan.task_id) {
+        return createFailedResult(taskId, planId, "SF-VERIFY-5015", `task_id 不匹配: 传入 "${taskId}"，plan 中 "${plan.task_id}"`);
+    }
+    if (records.length === 0) {
+        return createNotExecutedResult(taskId, planId, "无执行记录");
+    }
+    // 校验证据格式和命令合法性
+    const validationErrors = validateExecutionRecords(plan, records);
+    const errorIndices = new Set(validationErrors.map((e) => e.index));
+    // 校验命令覆盖
+    const { covered_commands, missing_commands } = computeCommandCoverage(plan, records);
+    const hasMissing = missing_commands.length > 0;
+    // 逐条判定: 合法记录按 exit_code 判，非法记录直接 failed
+    const commandResults = records.map((r, i) => {
+        if (errorIndices.has(i)) {
+            return { passed: false, diagnostic_code: "SF-VERIFY-5001" };
+        }
+        return {
+            passed: r.exit_code === 0,
+            diagnostic_code: r.exit_code !== 0 ? "SF-VERIFY-0004" : undefined,
+        };
+    });
+    // 所有校验错误转为 findings（每条记录可能有多个错误）
+    const validationFindings = validationErrors.map((e) => ({
+        rule: "evidence_validation",
+        severity: "hard_fail",
+        message_zh: e.message_zh,
+        diagnostic_code: e.diagnostic_code,
+    }));
+    const evidenceIds = records.map((r) => r.evidence_id);
+    const base = createVerificationResult(taskId, planId, evidenceIds, commandResults);
+    // 合并所有 findings
+    const allFindings = [...base.findings, ...validationFindings];
+    // 命令未全覆盖 → 强制 failed 并追加 finding
+    if (hasMissing) {
+        return {
+            ...base,
+            status: "failed",
+            provenance: "record_verification_execution",
+            findings: [...allFindings, {
+                    rule: "plan_coverage_incomplete",
+                    severity: "hard_fail",
+                    message_zh: `plan 命令未全覆盖，缺少: ${missing_commands.join(", ")}`,
+                    diagnostic_code: "SF-VERIFY-5003",
+                }],
+            covered_commands,
+            missing_commands,
+            evidence_integrity_passed: errorIndices.size === 0,
+        };
+    }
+    return {
+        ...base,
+        provenance: "record_verification_execution",
+        findings: allFindings,
+        covered_commands,
+        missing_commands,
+        evidence_integrity_passed: errorIndices.size === 0,
+    };
+}
+/**
+ * 验证: VerificationPlan 不得当作 VerificationEvidence。
+ */
+export function validateVerificationSeparation(plan, result) {
+    const errors = [];
+    if (!result) {
+        errors.push({
+            error: `验证计划 ${plan.plan_id} 存在但无 VerificationResult`,
+            severity: "hard_fail",
+        });
+    }
+    else if (result.status === "not_executed") {
+        errors.push({
+            error: `验证结果状态为 not_executed，不得视为通过`,
+            severity: "hard_fail",
+        });
+    }
+    return errors;
+}
+//# sourceMappingURL=verification_contract.js.map

package/dist/engine/verification_contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification_contract.js","sourceRoot":"","sources":["../../src/engine/verification_contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAyDH;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAAc,EACd,QAAkB,EAClB,kBAA4B;IAE5B,OAAO;QACL,OAAO,EAAE,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACrC,OAAO,EAAE,MAAM;QACf,QAAQ;QACR,mBAAmB,EAAE,kBAAkB;QACvC,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,MAAM,EAAE,WAAW;KACpB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,IAAsB;IAC/C,OAAO,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,MAAc,EACd,MAAc,EACd,WAAqB,EACrB,cAAoE;IAEpE,iDAAiD;IACjD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3C,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;IAE9C,qCAAqC;IACrC,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,OAAO;YACL,SAAS,EAAE,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;YACvC,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,QAAQ;YAChB,cAAc,EAAE,cAAc,CAAC,MAAM;YACrC,eAAe,EAAE,CAAC;YAClB,eAAe,EAAE,CAAC;YAClB,YAAY,EAAE,WAAW;YACzB,QAAQ,EAAE,CAAC;oBACT,IAAI,EAAE,mBAAmB;oBACzB,QAAQ,EAAE,WAAW;oBACrB,UAAU,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,YAAY;oBAC7I,eAAe,EAAE,gBAAgB;iBAClC,CAAC;YACF,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACtC,UAAU,EAAE,QAAQ;SACrB,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IAClE,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IACnE,MAAM,QAAQ,GAA0B,cAAc;SACnD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,eAAe,CAAC;SAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,gBAAgB;QACtB,QAAQ,EAAE,WAAoB;QAC9B,UAAU,EAAE,WAAW,CAAC,CAAC,eAAe,EAAE;QAC1C,eAAe,EAAE,CAAC,CAAC,eAAgB;KACpC,CAAC,CAAC,CAAC;IAEN,OAAO;QACL,SAAS,EAAE,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACvC,OAAO,EAAE,MAAM;QACf,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC/C,cAAc,EAAE,cAAc,CAAC,MAAM;QACrC,eAAe,EAAE,WAAW;QAC5B,eAAe,EAAE,WAAW;QAC5B,YAAY,EAAE,WAAW;QACzB,QAAQ;QACR,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtC,UAAU,EAAE,QAAQ;KACrB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,MAAc,EAAE,MAAc,EAAE,MAAc;IACpF,OAAO;QACL,SAAS,EAAE,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACvC,OAAO,EAAE,MAAM;QACf,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,cAAc;QACtB,cAAc,EAAE,CAAC;QACjB,eAAe,EAAE,CAAC;QAClB,eAAe,EAAE,CAAC;QAClB,YAAY,EAAE,EAAE;QAChB,QAAQ,EAAE,CAAC;gBACT,IAAI,EAAE,cAAc;gBACpB,QAAQ,EAAE,SAAS;gBACnB,UAAU,EAAE,UAAU,MAAM,EAAE;gBAC9B,eAAe,EAAE,gBAAgB;aAClC,CAAC;QACF,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtC,UAAU,EAAE,QAAQ;KACrB,CAAC;AACJ,CAAC;AAgBD,oBAAoB;AACpB,MAAM,SAAS,GAAG,iBAAiB,CAAC;AAEpC,oBAAoB;AACpB,MAAM,UAAU,GAAG,sCAAsC,CAAC;AAE1D;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAAsB,EACtB,OAA0B;IAE1B,MAAM,MAAM,GAA0E,EAAE,CAAC;IACzF,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAE5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;YAChG,SAAS;QACX,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,sBAAsB,EAAE,CAAC,CAAC;QAC5H,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,uBAAuB,EAAE,CAAC,CAAC;QAC3G,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,uBAAuB,EAAE,CAAC,CAAC;QAC3G,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC;QACtG,CAAC;aAAM,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC;QACzH,CAAC;aAAM,CAAC;YACN,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,mBAAmB,EAAE,CAAC,CAAC;QACvG,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC;QACxG,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;YACrG,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;gBACzE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,CAAC,6BAA6B,EAAE,CAAC,CAAC;YACjH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAsB,EACtB,OAA0B;IAE1B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACvD,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,gBAAgB,EAAE,eAAe,EAAE,CAAC;AAClF,CAAC;AAED,sCAAsC;AACtC,SAAS,kBAAkB,CACzB,MAAc,EACd,MAAc,EACd,cAAsB,EACtB,OAAe;IAEf,OAAO;QACL,SAAS,EAAE,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACvC,OAAO,EAAE,MAAM;QACf,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,QAAQ;QAChB,cAAc,EAAE,CAAC;QACjB,eAAe,EAAE,CAAC;QAClB,eAAe,EAAE,CAAC;QAClB,YAAY,EAAE,EAAE;QAChB,QAAQ,EAAE,CAAC;gBACT,IAAI,EAAE,uBAAuB;gBAC7B,QAAQ,EAAE,WAAW;gBACrB,UAAU,EAAE,OAAO;gBACnB,eAAe,EAAE,cAAc;aAChC,CAAC;QACF,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtC,UAAU,EAAE,QAAQ;QACpB,gBAAgB,EAAE,EAAE;QACpB,gBAAgB,EAAE,EAAE;QACpB,yBAAyB,EAAE,KAAK;KACjC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,2BAA2B,CACzC,MAAc,EACd,MAAc,EACd,OAA0B,EAC1B,IAA6B;IAE7B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,+BAA+B,CAAC,CAAC;IAC/F,CAAC;IAED,IAAI,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,OAAO,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,oBAAoB,MAAM,aAAa,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;IACtH,CAAC;IAED,IAAI,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,OAAO,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,oBAAoB,MAAM,aAAa,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;IACtH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IAED,eAAe;IACf,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAEnE,SAAS;IACT,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,GAAG,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrF,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC;IAE/C,wCAAwC;IACxC,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1C,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,gBAAyB,EAAE,CAAC;QACvE,CAAC;QACD,OAAO;YACL,MAAM,EAAE,CAAC,CAAC,SAAS,KAAK,CAAC;YACzB,eAAe,EAAE,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS;SAClE,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,iCAAiC;IACjC,MAAM,kBAAkB,GAA0B,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7E,IAAI,EAAE,qBAAqB;QAC3B,QAAQ,EAAE,WAAoB;QAC9B,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,eAAe,EAAE,CAAC,CAAC,eAAe;KACnC,CAAC,CAAC,CAAC;IAEJ,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC;IAEnF,gBAAgB;IAChB,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,kBAAkB,CAAC,CAAC;IAE9D,iCAAiC;IACjC,IAAI,UAAU,EAAE,CAAC;QACf,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE,+BAA+B;YAC3C,QAAQ,EAAE,CAAC,GAAG,WAAW,EAAE;oBACzB,IAAI,EAAE,0BAA0B;oBAChC,QAAQ,EAAE,WAAoB;oBAC9B,UAAU,EAAE,mBAAmB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;oBAC5D,eAAe,EAAE,gBAAgB;iBAClC,CAAC;YACF,gBAAgB;YAChB,gBAAgB;YAChB,yBAAyB,EAAE,YAAY,CAAC,IAAI,KAAK,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,+BAA+B;QAC3C,QAAQ,EAAE,WAAW;QACrB,gBAAgB;QAChB,gBAAgB;QAChB,yBAAyB,EAAE,YAAY,CAAC,IAAI,KAAK,CAAC;KACnD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,8BAA8B,CAC5C,IAAsB,EACtB,MAAsC;IAEtC,MAAM,MAAM,GAAgE,EAAE,CAAC;IAE/E,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,QAAQ,IAAI,CAAC,OAAO,0BAA0B;YACrD,QAAQ,EAAE,WAAW;SACtB,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,6BAA6B;YACpC,QAAQ,EAAE,WAAW;SACtB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/engine/workspace_lease.d.ts

@@ -0,0 +1,69 @@
+/**
+ * 工作区隔离 — 问题二十八 (Workspace Isolation / Concurrency Contract)。
+ *
+ * 核心规则:
+ * - 同 scope code_write 冲突必须 blocked 或 require_human
+ * - delivery 必须互斥
+ * - lease active/conflicted 不得交付
+ * - out-of-scope write 必须 blocked
+ */
+import { type DiagnosticEvent } from "./diagnostic_registry.js";
+export type LeaseType = "code_write" | "delivery" | "output_artifact";
+export type LeaseStatus = "active" | "released" | "expired" | "conflicted";
+export interface WorkspaceLease {
+    lease_id: string;
+    task_id: string;
+    lease_type: LeaseType;
+    scope_paths: string[];
+    status: LeaseStatus;
+    acquired_at: string;
+    expires_at?: string;
+    diagnostic_event: DiagnosticEvent | null;
+}
+export interface WorkspaceIsolationReport {
+    report_id: string;
+    task_id: string;
+    active_leases: WorkspaceLease[];
+    conflicts: LeaseConflict[];
+    out_of_scope_writes: Array<{
+        path: string;
+        allowed_paths: string[];
+    }>;
+    delivery_blocked: boolean;
+    evaluated_at: string;
+}
+export interface LeaseConflict {
+    lease_a_id: string;
+    lease_b_id: string;
+    conflict_path: string;
+    conflict_type: "scope_overlap" | "delivery_overlap";
+    resolved: boolean;
+}
+/** 获取 lease */
+export declare function getLease(leaseId: string): WorkspaceLease | undefined;
+/** 列出所有活跃 lease */
+export declare function listActiveLeases(): WorkspaceLease[];
+/**
+ * 尝试获取 lease。
+ * 如果同 scope 有冲突，返回冲突信息。
+ */
+export declare function acquireLease(taskId: string, leaseType: LeaseType, scopePaths: string[]): {
+    lease: WorkspaceLease | null;
+    conflicts: LeaseConflict[];
+};
+/** 释放 lease */
+export declare function releaseLease(leaseId: string): boolean;
+/**
+ * 检查是否超出 scope 写入。
+ */
+export declare function checkOutOfScopeWrite(taskId: string, targetPath: string, allowedPaths: string[]): {
+    allowed: boolean;
+    reason?: string;
+};
+/**
+ * 生成工作区隔离报告。
+ */
+export declare function generateIsolationReport(taskId: string): WorkspaceIsolationReport;
+/** 重置 lease 存储（测试用） */
+export declare function resetLeaseStore(): void;
+//# sourceMappingURL=workspace_lease.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workspace_lease.d.ts","sourceRoot":"","sources":["../../src/engine/workspace_lease.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAyB,KAAK,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEvF,MAAM,MAAM,SAAS,GAAG,YAAY,GAAG,UAAU,GAAG,iBAAiB,CAAC;AACtE,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,UAAU,GAAG,SAAS,GAAG,YAAY,CAAC;AAE3E,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,SAAS,CAAC;IACtB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,MAAM,EAAE,WAAW,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gBAAgB,EAAE,eAAe,GAAG,IAAI,CAAC;CAC1C;AAED,MAAM,WAAW,wBAAwB;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,cAAc,EAAE,CAAC;IAChC,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,mBAAmB,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IACtE,gBAAgB,EAAE,OAAO,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,eAAe,GAAG,kBAAkB,CAAC;IACpD,QAAQ,EAAE,OAAO,CAAC;CACnB;AAKD,eAAe;AACf,wBAAgB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAEpE;AAED,mBAAmB;AACnB,wBAAgB,gBAAgB,IAAI,cAAc,EAAE,CAEnD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,MAAM,EAAE,GACnB;IAAE,KAAK,EAAE,cAAc,GAAG,IAAI,CAAC;IAAC,SAAS,EAAE,aAAa,EAAE,CAAA;CAAE,CAqE9D;AAED,eAAe;AACf,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CASrD;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EAAE,GACrB;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CASvC;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,MAAM,GAAG,wBAAwB,CAyChF;AAED,uBAAuB;AACvB,wBAAgB,eAAe,IAAI,IAAI,CAEtC"}

package/dist/engine/workspace_lease.js

@@ -0,0 +1,153 @@
+/**
+ * 工作区隔离 — 问题二十八 (Workspace Isolation / Concurrency Contract)。
+ *
+ * 核心规则:
+ * - 同 scope code_write 冲突必须 blocked 或 require_human
+ * - delivery 必须互斥
+ * - lease active/conflicted 不得交付
+ * - out-of-scope write 必须 blocked
+ */
+import { createDiagnosticEvent } from "./diagnostic_registry.js";
+/** 内存存储 */
+const leaseStore = new Map();
+/** 获取 lease */
+export function getLease(leaseId) {
+    return leaseStore.get(leaseId);
+}
+/** 列出所有活跃 lease */
+export function listActiveLeases() {
+    return [...leaseStore.values()].filter((l) => l.status === "active");
+}
+/**
+ * 尝试获取 lease。
+ * 如果同 scope 有冲突，返回冲突信息。
+ */
+export function acquireLease(taskId, leaseType, scopePaths) {
+    const conflicts = [];
+    const leaseId = `wl-${taskId}-${Date.now()}`;
+    // 检查冲突
+    const activeLeases = listActiveLeases();
+    for (const existing of activeLeases) {
+        if (existing.task_id === taskId)
+            continue;
+        // 同 scope 重叠检查
+        const overlap = existing.scope_paths.some((p) => scopePaths.some((sp) => p === sp || p.startsWith(sp + "/") || sp.startsWith(p + "/")));
+        if (overlap) {
+            if (leaseType === "delivery" || existing.lease_type === "delivery") {
+                // delivery 必须互斥
+                conflicts.push({
+                    lease_a_id: existing.lease_id,
+                    lease_b_id: leaseId,
+                    conflict_path: existing.scope_paths.find((p) => scopePaths.some((sp) => p === sp || p.startsWith(sp + "/"))) ?? "unknown",
+                    conflict_type: "delivery_overlap",
+                    resolved: false,
+                });
+            }
+            else if (leaseType === "code_write" && existing.lease_type === "code_write") {
+                // code_write 同文件冲突
+                conflicts.push({
+                    lease_a_id: existing.lease_id,
+                    lease_b_id: leaseId,
+                    conflict_path: existing.scope_paths.find((p) => scopePaths.some((sp) => p === sp)) ?? "unknown",
+                    conflict_type: "scope_overlap",
+                    resolved: false,
+                });
+            }
+        }
+    }
+    if (conflicts.length > 0) {
+        // 创建冲突 lease
+        const diagEvent = createDiagnosticEvent("SF-WORKSPACE-0001", { taskId, leaseType });
+        const lease = {
+            lease_id: leaseId,
+            task_id: taskId,
+            lease_type: leaseType,
+            scope_paths: scopePaths,
+            status: "conflicted",
+            acquired_at: new Date().toISOString(),
+            diagnostic_event: diagEvent,
+        };
+        leaseStore.set(leaseId, lease);
+        return { lease, conflicts };
+    }
+    // 无冲突，创建活跃 lease
+    const lease = {
+        lease_id: leaseId,
+        task_id: taskId,
+        lease_type: leaseType,
+        scope_paths: scopePaths,
+        status: "active",
+        acquired_at: new Date().toISOString(),
+        diagnostic_event: null,
+    };
+    leaseStore.set(leaseId, lease);
+    return { lease, conflicts: [] };
+}
+/** 释放 lease */
+export function releaseLease(leaseId) {
+    const lease = leaseStore.get(leaseId);
+    if (!lease)
+        return false;
+    if (lease.status === "conflicted") {
+        // conflicted lease 不得标记 released
+        return false;
+    }
+    lease.status = "released";
+    return true;
+}
+/**
+ * 检查是否超出 scope 写入。
+ */
+export function checkOutOfScopeWrite(taskId, targetPath, allowedPaths) {
+    const inScope = allowedPaths.some((p) => targetPath === p || targetPath.startsWith(p + "/"));
+    if (!inScope) {
+        return {
+            allowed: false,
+            reason: `写入 ${targetPath} 超出允许范围`,
+        };
+    }
+    return { allowed: true };
+}
+/**
+ * 生成工作区隔离报告。
+ */
+export function generateIsolationReport(taskId) {
+    const activeLeases = listActiveLeases();
+    const conflicts = [];
+    // 检测冲突
+    for (let i = 0; i < activeLeases.length; i++) {
+        for (let j = i + 1; j < activeLeases.length; j++) {
+            const a = activeLeases[i];
+            const b = activeLeases[j];
+            if (a.task_id === b.task_id)
+                continue;
+            const overlap = a.scope_paths.some((p) => b.scope_paths.some((bp) => p === bp || p.startsWith(bp + "/") || bp.startsWith(p + "/")));
+            if (overlap) {
+                conflicts.push({
+                    lease_a_id: a.lease_id,
+                    lease_b_id: b.lease_id,
+                    conflict_path: a.scope_paths[0],
+                    conflict_type: "scope_overlap",
+                    resolved: false,
+                });
+            }
+        }
+    }
+    const taskLeases = activeLeases.filter((l) => l.task_id === taskId);
+    const hasDeliveryLease = taskLeases.some((l) => l.lease_type === "delivery" && l.status === "active");
+    const hasConflict = conflicts.some((c) => taskLeases.some((l) => l.lease_id === c.lease_a_id || l.lease_id === c.lease_b_id));
+    return {
+        report_id: `wir-${taskId}-${Date.now()}`,
+        task_id: taskId,
+        active_leases: taskLeases,
+        conflicts,
+        out_of_scope_writes: [],
+        delivery_blocked: hasConflict || !hasDeliveryLease,
+        evaluated_at: new Date().toISOString(),
+    };
+}
+/** 重置 lease 存储（测试用） */
+export function resetLeaseStore() {
+    leaseStore.clear();
+}
+//# sourceMappingURL=workspace_lease.js.map

package/dist/engine/workspace_lease.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace_lease.js","sourceRoot":"","sources":["../../src/engine/workspace_lease.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,qBAAqB,EAAwB,MAAM,0BAA0B,CAAC;AAkCvF,WAAW;AACX,MAAM,UAAU,GAAG,IAAI,GAAG,EAA0B,CAAC;AAErD,eAAe;AACf,MAAM,UAAU,QAAQ,CAAC,OAAe;IACtC,OAAO,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC;AAED,mBAAmB;AACnB,MAAM,UAAU,gBAAgB;IAC9B,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;AACvE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAc,EACd,SAAoB,EACpB,UAAoB;IAEpB,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,MAAM,OAAO,GAAG,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;IAE7C,OAAO;IACP,MAAM,YAAY,GAAG,gBAAgB,EAAE,CAAC;IACxC,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QACpC,IAAI,QAAQ,CAAC,OAAO,KAAK,MAAM;YAAE,SAAS;QAE1C,eAAe;QACf,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9C,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CACtF,CAAC;QAEF,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,SAAS,KAAK,UAAU,IAAI,QAAQ,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACnE,gBAAgB;gBAChB,SAAS,CAAC,IAAI,CAAC;oBACb,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,UAAU,EAAE,OAAO;oBACnB,aAAa,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7C,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAC5D,IAAI,SAAS;oBACd,aAAa,EAAE,kBAAkB;oBACjC,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,SAAS,KAAK,YAAY,IAAI,QAAQ,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;gBAC9E,mBAAmB;gBACnB,SAAS,CAAC,IAAI,CAAC;oBACb,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,UAAU,EAAE,OAAO;oBACnB,aAAa,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7C,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAClC,IAAI,SAAS;oBACd,aAAa,EAAE,eAAe;oBAC9B,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,aAAa;QACb,MAAM,SAAS,GAAG,qBAAqB,CAAC,mBAAmB,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACpF,MAAM,KAAK,GAAmB;YAC5B,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,MAAM;YACf,UAAU,EAAE,SAAS;YACrB,WAAW,EAAE,UAAU;YACvB,MAAM,EAAE,YAAY;YACpB,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACrC,gBAAgB,EAAE,SAAS;SAC5B,CAAC;QACF,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC/B,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC9B,CAAC;IAED,iBAAiB;IACjB,MAAM,KAAK,GAAmB;QAC5B,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,SAAS;QACrB,WAAW,EAAE,UAAU;QACvB,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,gBAAgB,EAAE,IAAI;KACvB,CAAC;IACF,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;AAClC,CAAC;AAED,eAAe;AACf,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAClC,iCAAiC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC;IAC1B,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAc,EACd,UAAkB,EAClB,YAAsB;IAEtB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,KAAK,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;IAC7F,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,MAAM,UAAU,SAAS;SAClC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,MAAc;IACpD,MAAM,YAAY,GAAG,gBAAgB,EAAE,CAAC;IACxC,MAAM,SAAS,GAAoB,EAAE,CAAC;IAEtC,OAAO;IACP,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;gBAAE,SAAS;YAEtC,MAAM,OAAO,GAAG,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACvC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CACzF,CAAC;YACF,IAAI,OAAO,EAAE,CAAC;gBACZ,SAAS,CAAC,IAAI,CAAC;oBACb,UAAU,EAAE,CAAC,CAAC,QAAQ;oBACtB,UAAU,EAAE,CAAC,CAAC,QAAQ;oBACtB,aAAa,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;oBAC/B,aAAa,EAAE,eAAe;oBAC9B,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACtG,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,UAAU,CAAC,CAC1F,CAAC;IAEF,OAAO;QACL,SAAS,EAAE,OAAO,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACxC,OAAO,EAAE,MAAM;QACf,aAAa,EAAE,UAAU;QACzB,SAAS;QACT,mBAAmB,EAAE,EAAE;QACvB,gBAAgB,EAAE,WAAW,IAAI,CAAC,gBAAgB;QAClD,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACvC,CAAC;AACJ,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,eAAe;IAC7B,UAAU,CAAC,KAAK,EAAE,CAAC;AACrB,CAAC"}

package/dist/types.d.ts

@@ -260,6 +260,16 @@ export interface TaskContext {
     sensitivity_labels?: import("./engine/privacy_secret_contract.js").DataSensitivityLabel[];
     /** 脱敏记录列表（ 隐私） */
     redaction_records?: import("./engine/privacy_secret_contract.js").RedactionRecord[];
+    /** Batch2 验证计划（plan_only，非执行结果） */
+    batch2_verification_plan?: import("./engine/verification_contract.js").VerificationPlan;
+    /** Batch2 验证结果（真实执行产出） */
+    batch2_verification_result?: import("./engine/verification_contract.js").VerificationResult;
+    /** Batch2 失败报告（脱敏，非 raw error_output） */
+    batch2_failure_report?: import("./engine/failure_report.js").FailureReport;
+    /** Batch2 降级事件 */
+    batch2_degradation_event?: import("./engine/degradation.js").DegradationEvent;
+    /** Batch2 交付就绪报告 */
+    batch2_delivery_readiness?: import("./engine/delivery_readiness.js").DeliveryReadinessReport;
 }
 /** 失败记录 */
 export interface FailureRecord {
@@ -1218,8 +1228,10 @@ export interface TestSuggestion {
 export interface DebugSession {
     /** 任务 ID */
     task_id: string;
-    /** 原始错误输出 */
+    /** 脱敏后的错误输出摘要（Batch2: 不保留 raw 原文） */
     error_output: string;
+    /** 原始输出稳定哈希（Batch2: 用于追溯，不存原文） */
+    error_output_hash?: string;
     /** 解析后的错误 */
     parsed_error: ParsedError;
     /** 调用链 */