soloforge 1.1.40 → 1.1.43

package/dist/engine/contracts/verification_contract.js

@@ -1,296 +0,0 @@
-/**
- * 验证契约 — 问题十二 (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

@@ -1 +0,0 @@
-{"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

@@ -1,71 +0,0 @@
-/**
- * 问题五十三: 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、ResolvedWorkflowInfo、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

@@ -1 +0,0 @@
-{"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

@@ -1,246 +0,0 @@
-/**
- * 问题五十三: 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 { listAllWorkflowContractIds } 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 = listAllWorkflowContractIds();
-    // 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 = listAllWorkflowContractIds();
-        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}" 不指向任何已注册的 ResolvedWorkflowInfo`);
-            }
-        }
-    }
-    // 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、ResolvedWorkflowInfo、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

@@ -1 +0,0 @@
-{"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,0BAA0B,EAAE,MAAM,2CAA2C,CAAC;AACvF,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,0BAA0B,EAAE,CAAC;IAC/C,+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,0BAA0B,EAAE,CAAC;QAC/C,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,kCAAkC,CAChE,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"}