soloforge 1.1.2 → 1.1.31

package/dist/engine/contracts/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/contracts/verification_contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification_contract.js","sourceRoot":"","sources":["../../../src/engine/contracts/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/contracts/workflow_template_pack.d.ts

@@ -0,0 +1,71 @@
+/**
+ * 问题五十三: Workflow Template Pack — 工作流模板包契约。
+ *
+ * 强制执行:
+ * - workflow template pack 不得只新增文件，必须 indexed → registered → injected → consumed → verified
+ * - verified 状态必须有真实链路证据，禁止手工置绿
+ * - 链路验证: 文件存在、ConsumableAssetRegistry 登记、workflow contract 引用、scenario 可达
+ */
+import type { WorkflowTemplatePackContract, WorkflowTemplateEntry, MechanismConsumptionMap, TemplateConsumptionEvidence, TemplateConsumptionStatus } from "./extension_platform_contracts.js";
+export interface TemplatePackValidationResult {
+    valid: boolean;
+    violations: string[];
+    pipeline_progress: Array<{
+        template_path: string;
+        current_status: TemplateConsumptionStatus;
+        next_required: TemplateConsumptionStatus | "done";
+    }>;
+}
+/**
+ * 创建工作流模板包契约。
+ */
+export declare function createWorkflowTemplatePackContract(overrides?: Partial<WorkflowTemplatePackContract>): WorkflowTemplatePackContract;
+/**
+ * 创建工作流模板条目。
+ */
+export declare function createWorkflowTemplateEntry(workflowId: WorkflowTemplateEntry["workflow_id"], templatePath: string): WorkflowTemplateEntry;
+/**
+ * 创建模板消费证据。
+ */
+export declare function createTemplateConsumptionEvidence(templatePath: string): TemplateConsumptionEvidence;
+/**
+ * 推进模板消费状态。
+ */
+export declare function advanceTemplateConsumptionStatus(currentStatus: TemplateConsumptionStatus): {
+    allowed: boolean;
+    next: TemplateConsumptionStatus;
+    reason: string;
+};
+/**
+ * 检查 workflow contract 是否引用了指定 workflow_id 的模板。
+ */
+export declare function findWorkflowContractForTemplate(workflowId: string): {
+    found: boolean;
+    prompt_template: string;
+};
+/**
+ * 验证模板消费证据链路的真实性。
+ * 1. template_path 文件真实存在
+ * 2. template_path 通过 ConsumableAssetRegistry path 查到对应 asset
+ * 3. asset.owner_mechanism_id 与 workflow.owner_mechanism_ids 一致
+ * 4. workflow contract 真实存在且 prompt_template 匹配
+ * 5. workflow_template_refs 指向真实 contract
+ * 6. sync_migration_refs 解析 manifest:<path> 并确认路径真实存在
+ * 7. scenario_refs 必须指向真实 scenario ID
+ */
+export declare function validateEvidenceChain(workflow: WorkflowTemplateEntry, evidence: TemplateConsumptionEvidence): string[];
+/**
+ * 验证模板包完整性。
+ * - 不得只新增文件而不走完消费 pipeline
+ * - 禁止手工置绿: verified 必须有真实链路证据
+ * - 链路真实性验证: ConsumableAssetRegistry、WorkflowContract、scenario 格式
+ */
+export declare function validateWorkflowTemplatePack(pack: WorkflowTemplatePackContract, consumptionEvidences: TemplateConsumptionEvidence[]): TemplatePackValidationResult;
+/**
+ * 验证机制消费地图。
+ */
+export declare function validateMechanismConsumptionMap(map: MechanismConsumptionMap[], templatePaths: string[]): {
+    valid: boolean;
+    missing: string[];
+};
+//# sourceMappingURL=workflow_template_pack.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow_template_pack.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/workflow_template_pack.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,4BAA4B,EAC5B,qBAAqB,EACrB,uBAAuB,EACvB,2BAA2B,EAC3B,yBAAyB,EAC1B,MAAM,mCAAmC,CAAC;AAY3C,MAAM,WAAW,4BAA4B;IAC3C,KAAK,EAAE,OAAO,CAAC;IACf,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,iBAAiB,EAAE,KAAK,CAAC;QACvB,aAAa,EAAE,MAAM,CAAC;QACtB,cAAc,EAAE,yBAAyB,CAAC;QAC1C,aAAa,EAAE,yBAAyB,GAAG,MAAM,CAAC;KACnD,CAAC,CAAC;CACJ;AAED;;GAEG;AACH,wBAAgB,kCAAkC,CAChD,SAAS,CAAC,EAAE,OAAO,CAAC,4BAA4B,CAAC,GAChD,4BAA4B,CAU9B;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,qBAAqB,CAAC,aAAa,CAAC,EAChD,YAAY,EAAE,MAAM,GACnB,qBAAqB,CAavB;AAED;;GAEG;AACH,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,GACnB,2BAA2B,CAU7B;AAED;;GAEG;AACH,wBAAgB,gCAAgC,CAC9C,aAAa,EAAE,yBAAyB,GACvC;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,yBAAyB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAUvE;AAED;;GAEG;AACH,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,MAAM,GACjB;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,CAY7C;AASD;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,qBAAqB,EAC/B,QAAQ,EAAE,2BAA2B,GACpC,MAAM,EAAE,CA8FV;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,4BAA4B,EAClC,oBAAoB,EAAE,2BAA2B,EAAE,GAClD,4BAA4B,CAsD9B;AAED;;GAEG;AACH,wBAAgB,+BAA+B,CAC7C,GAAG,EAAE,uBAAuB,EAAE,EAC9B,aAAa,EAAE,MAAM,EAAE,GACtB;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAWvC"}

package/dist/engine/contracts/workflow_template_pack.js

@@ -0,0 +1,246 @@
+/**
+ * 问题五十三: Workflow Template Pack — 工作流模板包契约。
+ *
+ * 强制执行:
+ * - workflow template pack 不得只新增文件，必须 indexed → registered → injected → consumed → verified
+ * - verified 状态必须有真实链路证据，禁止手工置绿
+ * - 链路验证: 文件存在、ConsumableAssetRegistry 登记、workflow contract 引用、scenario 可达
+ */
+import { findConsumableAssetByPath } from "../templates/consumable_asset_registry.js";
+import { listWorkflowContracts } from "../workflow/workflow_contract_registry.js";
+import { EXTENSION_SCENARIOS } from "./extension_scenario_definitions.js";
+import fs from "node:fs";
+/** 模板消费必须按此顺序推进 */
+const CONSUMPTION_PIPELINE = [
+    "missing", "file_created", "indexed", "registered",
+    "injected", "consumed", "verified",
+];
+/**
+ * 创建工作流模板包契约。
+ */
+export function createWorkflowTemplatePackContract(overrides) {
+    return {
+        pack_id: "default-pack",
+        workflows: [],
+        mechanism_consumption_map: [],
+        adapter_injection_points: [],
+        registry_entries: [],
+        scenario_coverage: [],
+        ...overrides,
+    };
+}
+/**
+ * 创建工作流模板条目。
+ */
+export function createWorkflowTemplateEntry(workflowId, templatePath) {
+    return {
+        workflow_id: workflowId,
+        template_path: templatePath,
+        owner_mechanism_ids: [],
+        consumed_contracts: [],
+        required_sections: [],
+        hard_rules: [],
+        acceptance_checks: [],
+        applies_to: ["soloforge_self", "user_project"],
+        project_context: ["existing_system", "new_system", "empty_project", "unknown"],
+        not_applicable_conditions: [],
+    };
+}
+/**
+ * 创建模板消费证据。
+ */
+export function createTemplateConsumptionEvidence(templatePath) {
+    return {
+        template_path: templatePath,
+        template_consumption_status: "missing",
+        workflow_template_refs: [],
+        adapter_prompt_refs: [],
+        route_trigger_refs: [],
+        sync_migration_refs: [],
+        scenario_refs: [],
+    };
+}
+/**
+ * 推进模板消费状态。
+ */
+export function advanceTemplateConsumptionStatus(currentStatus) {
+    const idx = CONSUMPTION_PIPELINE.indexOf(currentStatus);
+    if (idx === -1) {
+        return { allowed: false, next: currentStatus, reason: `未知状态: ${currentStatus}` };
+    }
+    if (idx === CONSUMPTION_PIPELINE.length - 1) {
+        return { allowed: false, next: currentStatus, reason: "已达到最终状态 verified" };
+    }
+    const next = CONSUMPTION_PIPELINE[idx + 1];
+    return { allowed: true, next, reason: `${currentStatus} → ${next}` };
+}
+/**
+ * 检查 workflow contract 是否引用了指定 workflow_id 的模板。
+ */
+export function findWorkflowContractForTemplate(workflowId) {
+    const contracts = listWorkflowContracts();
+    // workflow_id 可能是 "architecture_design"，contract id 是 "wf-architecture-design"
+    const match = contracts.find(c => c.id === workflowId ||
+        c.id === `wf-${workflowId.replace(/_/g, "-")}` ||
+        c.id.endsWith(workflowId.replace(/_/g, "-")));
+    if (match) {
+        return { found: true, prompt_template: match.prompt_template };
+    }
+    return { found: false, prompt_template: "" };
+}
+/**
+ * 已注册的 scenario ID 集合（从 EXTENSION_SCENARIOS 提取）。
+ */
+function getRegisteredScenarioIds() {
+    return EXTENSION_SCENARIOS.map(s => s.id);
+}
+/**
+ * 验证模板消费证据链路的真实性。
+ * 1. template_path 文件真实存在
+ * 2. template_path 通过 ConsumableAssetRegistry path 查到对应 asset
+ * 3. asset.owner_mechanism_id 与 workflow.owner_mechanism_ids 一致
+ * 4. workflow contract 真实存在且 prompt_template 匹配
+ * 5. workflow_template_refs 指向真实 contract
+ * 6. sync_migration_refs 解析 manifest:<path> 并确认路径真实存在
+ * 7. scenario_refs 必须指向真实 scenario ID
+ */
+export function validateEvidenceChain(workflow, evidence) {
+    const chainViolations = [];
+    // 1. template_path 文件真实存在
+    if (!fs.existsSync(workflow.template_path)) {
+        chainViolations.push(`模板路径 "${workflow.template_path}" 文件不存在`);
+    }
+    // 2. template_path 在 ConsumableAssetRegistry 中通过 path 查找
+    const asset = findConsumableAssetByPath(workflow.template_path);
+    if (!asset) {
+        chainViolations.push(`模板路径 "${workflow.template_path}" 未在 ConsumableAssetRegistry 登记（path 查找无结果）`);
+    }
+    else {
+        // 3. asset.owner_mechanism_id 与 workflow.owner_mechanism_ids 一致
+        const ownerId = asset.owner_mechanism_id ?? "";
+        const ownerMatch = workflow.owner_mechanism_ids.includes(ownerId);
+        if (!ownerMatch) {
+            chainViolations.push(`模板 "${workflow.template_path}" 的 asset.owner_mechanism_id "${ownerId}" 不在 workflow.owner_mechanism_ids [${workflow.owner_mechanism_ids.join(", ")}] 中`);
+        }
+    }
+    // 4. workflow contract 引用检查
+    const contractMatch = findWorkflowContractForTemplate(workflow.workflow_id);
+    if (!contractMatch.found) {
+        chainViolations.push(`模板 ${workflow.template_path} (workflow_id=${workflow.workflow_id}) 未在 WorkflowContractRegistry 找到对应契约`);
+    }
+    // 5. workflow_template_refs 指向真实 workflow contract
+    if (evidence.workflow_template_refs.length > 0) {
+        const contracts = listWorkflowContracts();
+        for (const ref of evidence.workflow_template_refs) {
+            const exists = contracts.some(c => c.id === ref || c.prompt_template === ref);
+            if (!exists) {
+                chainViolations.push(`workflow_template_ref "${ref}" 不指向任何已注册的 WorkflowContract`);
+            }
+        }
+    }
+    // 6. sync_migration_refs 必须解析 manifest:<path> 并确认路径存在
+    if (evidence.sync_migration_refs.length > 0) {
+        const registeredIds = getRegisteredScenarioIds();
+        for (const ref of evidence.sync_migration_refs) {
+            if (ref.startsWith("manifest:")) {
+                const manifestPath = ref.slice("manifest:".length);
+                if (!fs.existsSync(manifestPath)) {
+                    chainViolations.push(`sync_migration_ref "${ref}" 解析路径 "${manifestPath}" 文件不存在`);
+                }
+            }
+            else if (ref.startsWith("sha256:")) {
+                // hash 格式，跳过文件检查
+            }
+            else if (ref.startsWith("scenario-ref:")) {
+                // 场景引用格式
+                const scenarioId = ref.slice("scenario-ref:".length);
+                if (!registeredIds.includes(scenarioId)) {
+                    chainViolations.push(`sync_migration_ref "${ref}" 引用的 scenario "${scenarioId}" 不在 EXTENSION_SCENARIOS 中`);
+                }
+            }
+            else if (!ref.includes("/")) {
+                chainViolations.push(`sync_migration_ref "${ref}" 格式不合法，应为 manifest:<path>、sha256:<hash> 或 scenario-ref:<id>`);
+            }
+            else if (!fs.existsSync(ref)) {
+                chainViolations.push(`sync_migration_ref "${ref}" 路径文件不存在`);
+            }
+        }
+    }
+    // 7. scenario_refs 必须指向真实 scenario ID
+    if (evidence.scenario_refs.length > 0) {
+        const registeredIds = getRegisteredScenarioIds();
+        for (const ref of evidence.scenario_refs) {
+            if (!registeredIds.includes(ref)) {
+                chainViolations.push(`scenario_ref "${ref}" 不在已注册的 scenario ID 中 [${registeredIds.join(", ")}]`);
+            }
+        }
+    }
+    return chainViolations;
+}
+/**
+ * 验证模板包完整性。
+ * - 不得只新增文件而不走完消费 pipeline
+ * - 禁止手工置绿: verified 必须有真实链路证据
+ * - 链路真实性验证: ConsumableAssetRegistry、WorkflowContract、scenario 格式
+ */
+export function validateWorkflowTemplatePack(pack, consumptionEvidences) {
+    const violations = [];
+    const pipelineProgress = [];
+    for (const workflow of pack.workflows) {
+        const evidence = consumptionEvidences.find(e => e.template_path === workflow.template_path);
+        const status = evidence?.template_consumption_status ?? "missing";
+        if (status !== "verified") {
+            const nextRequired = advanceTemplateConsumptionStatus(status);
+            if (nextRequired.allowed) {
+                violations.push(`模板 ${workflow.template_path} 停在 ${status}，未走完消费 pipeline（下一步: ${nextRequired.next}）`);
+            }
+        }
+        if (status === "verified" && evidence) {
+            const hasWorkflowRef = evidence.workflow_template_refs && evidence.workflow_template_refs.length > 0;
+            const hasRouteRef = evidence.route_trigger_refs && evidence.route_trigger_refs.length > 0;
+            const hasSyncRef = evidence.sync_migration_refs && evidence.sync_migration_refs.length > 0;
+            const hasScenarioRef = evidence.scenario_refs && evidence.scenario_refs.length > 0;
+            if (!hasWorkflowRef && !hasRouteRef) {
+                violations.push(`模板 ${workflow.template_path} 标记 verified 但缺少 workflow_template_refs 或 route_trigger_refs，疑似手工置绿`);
+            }
+            if (!hasSyncRef) {
+                violations.push(`模板 ${workflow.template_path} 标记 verified 但缺少 sync_migration_refs，未证明 sync/migrate 可追踪`);
+            }
+            if (!hasScenarioRef) {
+                violations.push(`模板 ${workflow.template_path} 标记 verified 但缺少 scenario_refs，未证明场景矩阵引用`);
+            }
+            // 链路真实性验证
+            const chainViolations = validateEvidenceChain(workflow, evidence);
+            violations.push(...chainViolations);
+        }
+        const hasMap = pack.mechanism_consumption_map.some(m => m.template_path === workflow.template_path);
+        if (!hasMap) {
+            violations.push(`模板 ${workflow.template_path} 缺少机制消费地图`);
+        }
+        const nextStep = advanceTemplateConsumptionStatus(status);
+        pipelineProgress.push({
+            template_path: workflow.template_path,
+            current_status: status,
+            next_required: nextStep.allowed ? nextStep.next : "done",
+        });
+    }
+    return {
+        valid: violations.length === 0,
+        violations,
+        pipeline_progress: pipelineProgress,
+    };
+}
+/**
+ * 验证机制消费地图。
+ */
+export function validateMechanismConsumptionMap(map, templatePaths) {
+    const missing = [];
+    for (const path of templatePaths) {
+        const hasEntries = map.some(m => m.template_path === path);
+        if (!hasEntries) {
+            missing.push(`模板 ${path} 缺少机制消费条目`);
+        }
+    }
+    return { valid: missing.length === 0, missing };
+}
+//# sourceMappingURL=workflow_template_pack.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow_template_pack.js","sourceRoot":"","sources":["../../../src/engine/contracts/workflow_template_pack.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AASH,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,EAAE,MAAM,SAAS,CAAC;AAEzB,mBAAmB;AACnB,MAAM,oBAAoB,GAAgC;IACxD,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,YAAY;IAClD,UAAU,EAAE,UAAU,EAAE,UAAU;CACnC,CAAC;AAYF;;GAEG;AACH,MAAM,UAAU,kCAAkC,CAChD,SAAiD;IAEjD,OAAO;QACL,OAAO,EAAE,cAAc;QACvB,SAAS,EAAE,EAAE;QACb,yBAAyB,EAAE,EAAE;QAC7B,wBAAwB,EAAE,EAAE;QAC5B,gBAAgB,EAAE,EAAE;QACpB,iBAAiB,EAAE,EAAE;QACrB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,2BAA2B,CACzC,UAAgD,EAChD,YAAoB;IAEpB,OAAO;QACL,WAAW,EAAE,UAAU;QACvB,aAAa,EAAE,YAAY;QAC3B,mBAAmB,EAAE,EAAE;QACvB,kBAAkB,EAAE,EAAE;QACtB,iBAAiB,EAAE,EAAE;QACrB,UAAU,EAAE,EAAE;QACd,iBAAiB,EAAE,EAAE;QACrB,UAAU,EAAE,CAAC,gBAAgB,EAAE,cAAc,CAAC;QAC9C,eAAe,EAAE,CAAC,iBAAiB,EAAE,YAAY,EAAE,eAAe,EAAE,SAAS,CAAC;QAC9E,yBAAyB,EAAE,EAAE;KAC9B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iCAAiC,CAC/C,YAAoB;IAEpB,OAAO;QACL,aAAa,EAAE,YAAY;QAC3B,2BAA2B,EAAE,SAAS;QACtC,sBAAsB,EAAE,EAAE;QAC1B,mBAAmB,EAAE,EAAE;QACvB,kBAAkB,EAAE,EAAE;QACtB,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,EAAE;KAClB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gCAAgC,CAC9C,aAAwC;IAExC,MAAM,GAAG,GAAG,oBAAoB,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACxD,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;QACf,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,aAAa,EAAE,EAAE,CAAC;IACnF,CAAC;IACD,IAAI,GAAG,KAAK,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAC7E,CAAC;IACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;IAC3C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,aAAa,MAAM,IAAI,EAAE,EAAE,CAAC;AACvE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,+BAA+B,CAC7C,UAAkB;IAElB,MAAM,SAAS,GAAG,qBAAqB,EAAE,CAAC;IAC1C,+EAA+E;IAC/E,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC/B,CAAC,CAAC,EAAE,KAAK,UAAU;QACnB,CAAC,CAAC,EAAE,KAAK,MAAM,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE;QAC9C,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAC7C,CAAC;IACF,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,CAAC,eAAe,EAAE,CAAC;IACjE,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC;AAC/C,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB;IAC/B,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAA+B,EAC/B,QAAqC;IAErC,MAAM,eAAe,GAAa,EAAE,CAAC;IAErC,0BAA0B;IAC1B,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAC3C,eAAe,CAAC,IAAI,CAClB,SAAS,QAAQ,CAAC,aAAa,SAAS,CACzC,CAAC;IACJ,CAAC;IAED,yDAAyD;IACzD,MAAM,KAAK,GAAG,yBAAyB,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IAChE,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,eAAe,CAAC,IAAI,CAClB,SAAS,QAAQ,CAAC,aAAa,6CAA6C,CAC7E,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,gEAAgE;QAChE,MAAM,OAAO,GAAG,KAAK,CAAC,kBAAkB,IAAI,EAAE,CAAC;QAC/C,MAAM,UAAU,GAAG,QAAQ,CAAC,mBAAmB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAClE,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,eAAe,CAAC,IAAI,CAClB,OAAO,QAAQ,CAAC,aAAa,iCAAiC,OAAO,sCAAsC,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CACxJ,CAAC;QACJ,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,MAAM,aAAa,GAAG,+BAA+B,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC5E,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QACzB,eAAe,CAAC,IAAI,CAClB,MAAM,QAAQ,CAAC,aAAa,iBAAiB,QAAQ,CAAC,WAAW,sCAAsC,CACxG,CAAC;IACJ,CAAC;IAED,mDAAmD;IACnD,IAAI,QAAQ,CAAC,sBAAsB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,SAAS,GAAG,qBAAqB,EAAE,CAAC;QAC1C,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,sBAAsB,EAAE,CAAC;YAClD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,eAAe,KAAK,GAAG,CAAC,CAAC;YAC9E,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,eAAe,CAAC,IAAI,CAClB,0BAA0B,GAAG,8BAA8B,CAC5D,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,IAAI,QAAQ,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,aAAa,GAAG,wBAAwB,EAAE,CAAC;QACjD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,mBAAmB,EAAE,CAAC;YAC/C,IAAI,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;gBAChC,MAAM,YAAY,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBACnD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;oBACjC,eAAe,CAAC,IAAI,CAClB,uBAAuB,GAAG,WAAW,YAAY,SAAS,CAC3D,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,IAAI,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBACrC,iBAAiB;YACnB,CAAC;iBAAM,IAAI,GAAG,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;gBAC3C,SAAS;gBACT,MAAM,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;gBACrD,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;oBACxC,eAAe,CAAC,IAAI,CAClB,uBAAuB,GAAG,mBAAmB,UAAU,4BAA4B,CACpF,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9B,eAAe,CAAC,IAAI,CAClB,uBAAuB,GAAG,8DAA8D,CACzF,CAAC;YACJ,CAAC;iBAAM,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/B,eAAe,CAAC,IAAI,CAClB,uBAAuB,GAAG,WAAW,CACtC,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,sCAAsC;IACtC,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,aAAa,GAAG,wBAAwB,EAAE,CAAC;QACjD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;YACzC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjC,eAAe,CAAC,IAAI,CAClB,iBAAiB,GAAG,2BAA2B,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC3E,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,eAAe,CAAC;AACzB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAC1C,IAAkC,EAClC,oBAAmD;IAEnD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,gBAAgB,GAAsD,EAAE,CAAC;IAE/E,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,CAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,QAAQ,EAAE,2BAA2B,IAAI,SAAS,CAAC;QAElE,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;YAC1B,MAAM,YAAY,GAAG,gCAAgC,CAAC,MAAM,CAAC,CAAC;YAC9D,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC;gBACzB,UAAU,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,aAAa,OAAO,MAAM,wBAAwB,YAAY,CAAC,IAAI,GAAG,CAAC,CAAC;YACzG,CAAC;QACH,CAAC;QAED,IAAI,MAAM,KAAK,UAAU,IAAI,QAAQ,EAAE,CAAC;YACtC,MAAM,cAAc,GAAG,QAAQ,CAAC,sBAAsB,IAAI,QAAQ,CAAC,sBAAsB,CAAC,MAAM,GAAG,CAAC,CAAC;YACrG,MAAM,WAAW,GAAG,QAAQ,CAAC,kBAAkB,IAAI,QAAQ,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;YAC1F,MAAM,UAAU,GAAG,QAAQ,CAAC,mBAAmB,IAAI,QAAQ,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC;YAC3F,MAAM,cAAc,GAAG,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;YAEnF,IAAI,CAAC,cAAc,IAAI,CAAC,WAAW,EAAE,CAAC;gBACpC,UAAU,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,aAAa,qEAAqE,CAAC,CAAC;YACrH,CAAC;YACD,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,UAAU,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,aAAa,2DAA2D,CAAC,CAAC;YAC3G,CAAC;YACD,IAAI,CAAC,cAAc,EAAE,CAAC;gBACpB,UAAU,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,aAAa,0CAA0C,CAAC,CAAC;YAC1F,CAAC;YAED,UAAU;YACV,MAAM,eAAe,GAAG,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAClE,UAAU,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC;QACtC,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,CAAC,CAAC;QACpG,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,UAAU,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,aAAa,WAAW,CAAC,CAAC;QAC3D,CAAC;QAED,MAAM,QAAQ,GAAG,gCAAgC,CAAC,MAAM,CAAC,CAAC;QAC1D,gBAAgB,CAAC,IAAI,CAAC;YACpB,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,cAAc,EAAE,MAAM;YACtB,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM;SACzD,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,KAAK,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;QAC9B,UAAU;QACV,iBAAiB,EAAE,gBAAgB;KACpC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,+BAA+B,CAC7C,GAA8B,EAC9B,aAAuB;IAEvB,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC;AAClD,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"convention_detector.d.ts","sourceRoot":"","sources":["../../src/engine/convention_detector.ts"],"names":[],"mappings":"AAKA;;;;GAIG;AAEH;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,2BAA2B;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,iBAAiB;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;GAQG;AACH,wBAAsB,iBAAiB,CACrC,SAAS,EAAE,MAAM,EAAE,EACnB,WAAW,EAAE,MAAM,EACnB,eAAe,CAAC,EAAE,MAAM,GACvB,OAAO,CAAC,UAAU,EAAE,CAAC,CA0CvB"}
+{"version":3,"file":"convention_detector.d.ts","sourceRoot":"","sources":["../../src/engine/convention_detector.ts"],"names":[],"mappings":"AAMA;;;;GAIG;AAEH;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,2BAA2B;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,iBAAiB;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;GAQG;AACH,wBAAsB,iBAAiB,CACrC,SAAS,EAAE,MAAM,EAAE,EACnB,WAAW,EAAE,MAAM,EACnB,eAAe,CAAC,EAAE,MAAM,GACvB,OAAO,CAAC,UAAU,EAAE,CAAC,CA6CvB"}