soloforge 1.1.2 → 1.1.30

package/dist/engine/audit/delivery_readiness.d.ts

@@ -0,0 +1,70 @@
+/**
+ * 交付就绪报告 — 问题十二 (Delivery Readiness Gate)。
+ *
+ * 核心规则:
+ * - DeliveryReadinessReport 只判断 readiness，不隐式执行 commit/push/PR/deploy
+ * - delivery_allowed=true 不等于 delivery executed
+ * - 未验证不得 delivered
+ * - blocking human confirmation 存在时 delivery_allowed 必须为 false
+ */
+import type { VerificationResult } from "../contracts/verification_contract.js";
+import type { GuardFinding } from "../contracts/enforcement_guard.js";
+import type { MetricSample, FinalLocalReviewAccess } from "../contracts/extension_platform_contracts.js";
+export type DeliveryReadinessStatus = "pending" | "ready" | "not_ready" | "blocked" | "manual_required";
+export interface DeliveryReadinessReport {
+    report_id: string;
+    task_id: string;
+    delivery_readiness_status: DeliveryReadinessStatus;
+    delivery_allowed: boolean;
+    verification_result_id?: string;
+    scope_check_passed: boolean;
+    lease_check_passed: boolean;
+    privacy_check_passed: boolean;
+    artifact_acceptance_passed: boolean;
+    blocking_findings: Array<{
+        rule: string;
+        message_zh: string;
+    }>;
+    warnings: Array<{
+        rule: string;
+        message_zh: string;
+    }>;
+    evaluated_at: string;
+    /** 交付是否已执行 — 必须独立于 readiness 判断 */
+    delivery_executed: boolean;
+}
+export interface DeliveryExecutionRecord {
+    execution_id: string;
+    task_id: string;
+    trigger: "联调验证" | "manual";
+    commit_sha?: string;
+    pr_url?: string;
+    changelog_entry?: string;
+    executed_at: string;
+    rolled_back: boolean;
+}
+/**
+ * 评估交付就绪状态。
+ * 只做判断，不执行任何交付动作。
+ */
+export declare function evaluateDeliveryReadiness(taskId: string, verificationResult: VerificationResult | undefined, guardFindings: GuardFinding[], scopeCheckPassed: boolean, leaseCheckPassed: boolean, privacyCheckPassed: boolean, artifactAcceptancePassed: boolean, metricsData?: MetricSample[], acceptanceConfig?: {
+    final_access: FinalLocalReviewAccess;
+    project_run_mode: "not_applicable" | "docker_compose" | "dockerfile" | "local_dev_server";
+}): DeliveryReadinessReport;
+/**
+ * 创建交付执行记录。
+ * 必须由 sf_deliver 或手动触发，不能由 readiness 自动触发。
+ */
+export declare function createDeliveryExecutionRecord(taskId: string, trigger: "联调验证" | "manual", details: {
+    commit_sha?: string;
+    pr_url?: string;
+    changelog_entry?: string;
+}): DeliveryExecutionRecord;
+/**
+ * 验证: delivery_readiness 不得触发 delivery_execution。
+ */
+export declare function validateDeliverySeparation(report: DeliveryReadinessReport, executionRecord: DeliveryExecutionRecord | undefined): Array<{
+    error: string;
+    severity: "hard_fail" | "warning";
+}>;
+//# sourceMappingURL=delivery_readiness.d.ts.map

package/dist/engine/audit/delivery_readiness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"delivery_readiness.d.ts","sourceRoot":"","sources":["../../../src/engine/audit/delivery_readiness.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,8CAA8C,CAAC;AAIzG,MAAM,MAAM,uBAAuB,GAAG,SAAS,GAAG,OAAO,GAAG,WAAW,GAAG,SAAS,GAAG,iBAAiB,CAAC;AAExG,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB,EAAE,uBAAuB,CAAC;IACnD,gBAAgB,EAAE,OAAO,CAAC;IAC1B,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,kBAAkB,EAAE,OAAO,CAAC;IAC5B,kBAAkB,EAAE,OAAO,CAAC;IAC5B,oBAAoB,EAAE,OAAO,CAAC;IAC9B,0BAA0B,EAAE,OAAO,CAAC;IACpC,iBAAiB,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/D,QAAQ,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACtD,YAAY,EAAE,MAAM,CAAC;IACrB,mCAAmC;IACnC,iBAAiB,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,uBAAuB;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,GAAG,QAAQ,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,OAAO,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,MAAM,EACd,kBAAkB,EAAE,kBAAkB,GAAG,SAAS,EAClD,aAAa,EAAE,YAAY,EAAE,EAC7B,gBAAgB,EAAE,OAAO,EACzB,gBAAgB,EAAE,OAAO,EACzB,kBAAkB,EAAE,OAAO,EAC3B,wBAAwB,EAAE,OAAO,EACjC,WAAW,CAAC,EAAE,YAAY,EAAE,EAC5B,gBAAgB,CAAC,EAAE;IAAE,YAAY,EAAE,sBAAsB,CAAC;IAAC,gBAAgB,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,YAAY,GAAG,kBAAkB,CAAA;CAAE,GACrJ,uBAAuB,CAkJzB;AAED;;;GAGG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,GAAG,QAAQ,EAC1B,OAAO,EAAE;IAAE,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1E,uBAAuB,CAWzB;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,uBAAuB,EAC/B,eAAe,EAAE,uBAAuB,GAAG,SAAS,GACnD,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAA;CAAE,CAAC,CAyB7D"}

package/dist/engine/audit/delivery_readiness.js

@@ -0,0 +1,198 @@
+/**
+ * 交付就绪报告 — 问题十二 (Delivery Readiness Gate)。
+ *
+ * 核心规则:
+ * - DeliveryReadinessReport 只判断 readiness，不隐式执行 commit/push/PR/deploy
+ * - delivery_allowed=true 不等于 delivery executed
+ * - 未验证不得 delivered
+ * - blocking human confirmation 存在时 delivery_allowed 必须为 false
+ */
+import { evaluateMetrics } from "../contracts/metric_governance.js";
+import { validateFinalAccess } from "../contracts/local_docker_acceptance.js";
+/**
+ * 评估交付就绪状态。
+ * 只做判断，不执行任何交付动作。
+ */
+export function evaluateDeliveryReadiness(taskId, verificationResult, guardFindings, scopeCheckPassed, leaseCheckPassed, privacyCheckPassed, artifactAcceptancePassed, metricsData, acceptanceConfig) {
+    const blockingFindings = [];
+    const warnings = [];
+    // 1. 验证结果检查
+    if (!verificationResult) {
+        blockingFindings.push({
+            rule: "verification_required",
+            message_zh: "无验证结果，不得交付",
+        });
+    }
+    else if (verificationResult.status !== "passed") {
+        blockingFindings.push({
+            rule: "verification_passed_required",
+            message_zh: `验证状态为 ${verificationResult.status}，不是 passed，不得交付`,
+        });
+    }
+    else if (verificationResult.provenance !== "record_verification_execution") {
+        blockingFindings.push({
+            rule: "verification_provenance_required",
+            message_zh: `验证结果 provenance 为 "${verificationResult.provenance}"，必须通过 recordVerificationExecution 录入，不得交付`,
+        });
+    }
+    else if (!verificationResult.evidence_ids || verificationResult.evidence_ids.length === 0) {
+        blockingFindings.push({
+            rule: "verification_evidence_required",
+            message_zh: "验证结果缺少 evidence_ids，不得交付",
+        });
+    }
+    else if (!verificationResult.total_commands || verificationResult.total_commands === 0) {
+        blockingFindings.push({
+            rule: "verification_commands_required",
+            message_zh: "验证结果 total_commands 为 0，不得交付",
+        });
+    }
+    else if (verificationResult.missing_commands && verificationResult.missing_commands.length > 0) {
+        blockingFindings.push({
+            rule: "verification_plan_coverage_required",
+            message_zh: `plan 命令未全覆盖，缺少: ${verificationResult.missing_commands.join(", ")}，不得交付`,
+        });
+    }
+    else if (verificationResult.evidence_integrity_passed === false) {
+        blockingFindings.push({
+            rule: "verification_evidence_integrity_required",
+            message_zh: "证据格式校验未全部通过，不得交付",
+        });
+    }
+    // 2. Scope 检查
+    if (!scopeCheckPassed) {
+        blockingFindings.push({
+            rule: "scope_check",
+            message_zh: "范围检查未通过",
+        });
+    }
+    // 3. Lease 检查
+    if (!leaseCheckPassed) {
+        blockingFindings.push({
+            rule: "lease_check",
+            message_zh: "存在活跃 lease 冲突，不得交付",
+        });
+    }
+    // 4. 隐私检查
+    if (!privacyCheckPassed) {
+        blockingFindings.push({
+            rule: "privacy_check",
+            message_zh: "隐私检查未通过，存在未脱敏内容",
+        });
+    }
+    // 5. Artifact 检查
+    if (!artifactAcceptancePassed) {
+        blockingFindings.push({
+            rule: "artifact_acceptance",
+            message_zh: "产物验收未通过",
+        });
+    }
+    // 6. Guard 阻断检查
+    const blockedGuards = guardFindings.filter((f) => f.blocked);
+    for (const g of blockedGuards) {
+        blockingFindings.push({
+            rule: g.guard_id,
+            message_zh: g.reason_zh,
+        });
+    }
+    // 7. 守卫警告
+    const warningGuards = guardFindings.filter((f) => !f.blocked && f.severity === "warning");
+    for (const g of warningGuards) {
+        warnings.push({
+            rule: g.guard_id,
+            message_zh: g.reason_zh,
+        });
+    }
+    // 8. 指标治理门控 (problem-19: evaluateMetrics) — 仅当提供真实指标数据时检查
+    if (metricsData && metricsData.length > 0) {
+        const metricResult = evaluateMetrics(metricsData);
+        if (!metricResult.passed) {
+            blockingFindings.push({
+                rule: "metric_governance",
+                message_zh: `指标治理检查: ${metricResult.falsified_count} 个指标未通过`,
+            });
+        }
+    }
+    // 9. 最终验收门控 (problem-52: validateFinalAccess) — 仅当提供真实验收配置时检查
+    if (acceptanceConfig) {
+        const finalAccessResult = validateFinalAccess(acceptanceConfig.final_access, acceptanceConfig.project_run_mode);
+        if (!finalAccessResult.passed) {
+            blockingFindings.push({
+                rule: "local_acceptance_final_access",
+                message_zh: `最终验收检查: ${finalAccessResult.blocking_reasons.join(", ")}`,
+            });
+        }
+    }
+    // 判断就绪状态
+    let status;
+    const deliveryAllowed = blockingFindings.length === 0;
+    if (blockedGuards.some((g) => g.action === "require_human")) {
+        status = "manual_required";
+    }
+    else if (!deliveryAllowed) {
+        status = "blocked";
+    }
+    else if (warnings.length > 0) {
+        status = "ready";
+    }
+    else {
+        status = "ready";
+    }
+    return {
+        report_id: `dr-${taskId}-${Date.now()}`,
+        task_id: taskId,
+        delivery_readiness_status: status,
+        delivery_allowed: deliveryAllowed,
+        verification_result_id: verificationResult?.result_id,
+        scope_check_passed: scopeCheckPassed,
+        lease_check_passed: leaseCheckPassed,
+        privacy_check_passed: privacyCheckPassed,
+        artifact_acceptance_passed: artifactAcceptancePassed,
+        blocking_findings: blockingFindings,
+        warnings,
+        evaluated_at: new Date().toISOString(),
+        delivery_executed: false, // 就绪报告不触发执行
+    };
+}
+/**
+ * 创建交付执行记录。
+ * 必须由 sf_deliver 或手动触发，不能由 readiness 自动触发。
+ */
+export function createDeliveryExecutionRecord(taskId, trigger, details) {
+    return {
+        execution_id: `de-${taskId}-${Date.now()}`,
+        task_id: taskId,
+        trigger,
+        commit_sha: details.commit_sha,
+        pr_url: details.pr_url,
+        changelog_entry: details.changelog_entry,
+        executed_at: new Date().toISOString(),
+        rolled_back: false,
+    };
+}
+/**
+ * 验证: delivery_readiness 不得触发 delivery_execution。
+ */
+export function validateDeliverySeparation(report, executionRecord) {
+    const errors = [];
+    if (report.delivery_allowed && report.delivery_executed) {
+        errors.push({
+            error: "delivery_readiness 报告不应触发 delivery_execution",
+            severity: "hard_fail",
+        });
+    }
+    if (executionRecord && !report.delivery_allowed) {
+        errors.push({
+            error: "交付已执行但 delivery_readiness 未允许",
+            severity: "hard_fail",
+        });
+    }
+    if (executionRecord && executionRecord.trigger === undefined) {
+        errors.push({
+            error: "交付执行记录缺少显式触发来源",
+            severity: "hard_fail",
+        });
+    }
+    return errors;
+}
+//# sourceMappingURL=delivery_readiness.js.map

package/dist/engine/audit/delivery_readiness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"delivery_readiness.js","sourceRoot":"","sources":["../../../src/engine/audit/delivery_readiness.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAKH,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AAgC9E;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAc,EACd,kBAAkD,EAClD,aAA6B,EAC7B,gBAAyB,EACzB,gBAAyB,EACzB,kBAA2B,EAC3B,wBAAiC,EACjC,WAA4B,EAC5B,gBAAsJ;IAEtJ,MAAM,gBAAgB,GAAgD,EAAE,CAAC;IACzE,MAAM,QAAQ,GAAgD,EAAE,CAAC;IAEjE,YAAY;IACZ,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,gBAAgB,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,uBAAuB;YAC7B,UAAU,EAAE,YAAY;SACzB,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,kBAAkB,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAClD,gBAAgB,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,8BAA8B;YACpC,UAAU,EAAE,SAAS,kBAAkB,CAAC,MAAM,iBAAiB;SAChE,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,kBAAkB,CAAC,UAAU,KAAK,+BAA+B,EAAE,CAAC;QAC7E,gBAAgB,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,kCAAkC;YACxC,UAAU,EAAE,sBAAsB,kBAAkB,CAAC,UAAU,4CAA4C;SAC5G,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,kBAAkB,CAAC,YAAY,IAAI,kBAAkB,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5F,gBAAgB,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,gCAAgC;YACtC,UAAU,EAAE,0BAA0B;SACvC,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,kBAAkB,CAAC,cAAc,IAAI,kBAAkB,CAAC,cAAc,KAAK,CAAC,EAAE,CAAC;QACzF,gBAAgB,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,gCAAgC;YACtC,UAAU,EAAE,8BAA8B;SAC3C,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,kBAAkB,CAAC,gBAAgB,IAAI,kBAAkB,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjG,gBAAgB,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,qCAAqC;YAC3C,UAAU,EAAE,mBAAmB,kBAAkB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;SACrF,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,kBAAkB,CAAC,yBAAyB,KAAK,KAAK,EAAE,CAAC;QAClE,gBAAgB,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,0CAA0C;YAChD,UAAU,EAAE,kBAAkB;SAC/B,CAAC,CAAC;IACL,CAAC;IAED,cAAc;IACd,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,gBAAgB,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,SAAS;SACtB,CAAC,CAAC;IACL,CAAC;IAED,cAAc;IACd,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,gBAAgB,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,oBAAoB;SACjC,CAAC,CAAC;IACL,CAAC;IAED,UAAU;IACV,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,gBAAgB,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,eAAe;YACrB,UAAU,EAAE,iBAAiB;SAC9B,CAAC,CAAC;IACL,CAAC;IAED,iBAAiB;IACjB,IAAI,CAAC,wBAAwB,EAAE,CAAC;QAC9B,gBAAgB,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,SAAS;SACtB,CAAC,CAAC;IACL,CAAC;IAED,gBAAgB;IAChB,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,gBAAgB,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,CAAC,CAAC,QAAQ;YAChB,UAAU,EAAE,CAAC,CAAC,SAAS;SACxB,CAAC,CAAC;IACL,CAAC;IAED,UAAU;IACV,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IAC1F,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,CAAC,CAAC,QAAQ;YAChB,UAAU,EAAE,CAAC,CAAC,SAAS;SACxB,CAAC,CAAC;IACL,CAAC;IAED,0DAA0D;IAC1D,IAAI,WAAW,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,YAAY,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;QAClD,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;YACzB,gBAAgB,CAAC,IAAI,CAAC;gBACpB,IAAI,EAAE,mBAAmB;gBACzB,UAAU,EAAE,WAAW,YAAY,CAAC,eAAe,SAAS;aAC7D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,8DAA8D;IAC9D,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,iBAAiB,GAAG,mBAAmB,CAC3C,gBAAgB,CAAC,YAAY,EAC7B,gBAAgB,CAAC,gBAAgB,CAClC,CAAC;QACF,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC;YAC9B,gBAAgB,CAAC,IAAI,CAAC;gBACpB,IAAI,EAAE,+BAA+B;gBACrC,UAAU,EAAE,WAAW,iBAAiB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aACvE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,SAAS;IACT,IAAI,MAA+B,CAAC;IACpC,MAAM,eAAe,GAAG,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC;IAEtD,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,eAAe,CAAC,EAAE,CAAC;QAC5D,MAAM,GAAG,iBAAiB,CAAC;IAC7B,CAAC;SAAM,IAAI,CAAC,eAAe,EAAE,CAAC;QAC5B,MAAM,GAAG,SAAS,CAAC;IACrB,CAAC;SAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,GAAG,OAAO,CAAC;IACnB,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,OAAO,CAAC;IACnB,CAAC;IAED,OAAO;QACL,SAAS,EAAE,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACvC,OAAO,EAAE,MAAM;QACf,yBAAyB,EAAE,MAAM;QACjC,gBAAgB,EAAE,eAAe;QACjC,sBAAsB,EAAE,kBAAkB,EAAE,SAAS;QACrD,kBAAkB,EAAE,gBAAgB;QACpC,kBAAkB,EAAE,gBAAgB;QACpC,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,wBAAwB;QACpD,iBAAiB,EAAE,gBAAgB;QACnC,QAAQ;QACR,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtC,iBAAiB,EAAE,KAAK,EAAE,YAAY;KACvC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,6BAA6B,CAC3C,MAAc,EACd,OAA0B,EAC1B,OAA2E;IAE3E,OAAO;QACL,YAAY,EAAE,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QAC1C,OAAO,EAAE,MAAM;QACf,OAAO;QACP,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,WAAW,EAAE,KAAK;KACnB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAA+B,EAC/B,eAAoD;IAEpD,MAAM,MAAM,GAAgE,EAAE,CAAC;IAE/E,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;QACxD,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,8CAA8C;YACrD,QAAQ,EAAE,WAAW;SACtB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,eAAe,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,+BAA+B;YACtC,QAAQ,EAAE,WAAW;SACtB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,eAAe,IAAI,eAAe,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC7D,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,gBAAgB;YACvB,QAAQ,EAAE,WAAW;SACtB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/engine/audit/developer_sovereignty.d.ts

@@ -0,0 +1,62 @@
+/**
+ * Developer Sovereignty — 交付前 raw diff 展示、证据链、回滚路径、否决入口。
+ * R11 advisory: 不 hard block，提供信息供开发者决策。
+ *
+ * 职责:
+ * - preDeliveryReview: 交付前预览（raw diff + 风险摘要 + 证据链 + 回滚命令）
+ * - vetoDelivery: 开发者否决入口
+ */
+import type { TaskContext, RequirementPoint } from "../../types/index.js";
+import type { GitOperations } from "../core/git_deps.js";
+export interface PreDeliveryReview {
+    task_id: string;
+    /** raw diff 摘要（变更文件列表 + 行数统计） */
+    diff_summary: {
+        changed_files: string[];
+        additions: number;
+        deletions: number;
+        file_details: Array<{
+            file_path: string;
+            additions: number;
+            deletions: number;
+        }>;
+    };
+    /** 风险摘要 */
+    risk_summary: {
+        risk_level: "low" | "medium" | "high";
+        factors: string[];
+        advisory: string;
+    };
+    /** 证据链（requirement → change → test → evidence） */
+    evidence_chain: {
+        requirements: RequirementPoint[];
+        coverage_summary: string;
+        uncovered_points: string[];
+    } | null;
+    /** 回滚命令 */
+    rollback_command: string;
+    /** 是否可以交付 */
+    can_deliver: boolean;
+    /** 阻断原因（can_deliver=false 时） */
+    delivery_blockers: string[];
+    /** advisory 信息 */
+    advisory: string;
+}
+export interface VetoResult {
+    vetoed: boolean;
+    task_id: string;
+    reason: string;
+    timestamp: string;
+    advisory: string;
+}
+/**
+ * 交付前预览 — 收集 raw diff、风险摘要、证据链、回滚命令。
+ * 使用 git_deps.GitOperations 获取真实 diff 统计和 commit/branch 信息。
+ */
+export declare function preDeliveryReview(taskContext: TaskContext, gitOps: GitOperations, projectPath: string): Promise<PreDeliveryReview>;
+/**
+ * 否决交付 — 开发者行使否决权。
+ * 返回 VetoResult 记录否决事件，不修改任何状态。
+ */
+export declare function vetoDelivery(taskId: string, reason: string): VetoResult;
+//# sourceMappingURL=developer_sovereignty.d.ts.map

package/dist/engine/audit/developer_sovereignty.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"developer_sovereignty.d.ts","sourceRoot":"","sources":["../../../src/engine/audit/developer_sovereignty.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,WAAW,EAEX,gBAAgB,EAEjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAIzD,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,YAAY,EAAE;QACZ,aAAa,EAAE,MAAM,EAAE,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;QAClB,YAAY,EAAE,KAAK,CAAC;YAAE,SAAS,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;KAClF,CAAC;IACF,WAAW;IACX,YAAY,EAAE;QACZ,UAAU,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;QACtC,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,QAAQ,EAAE,MAAM,CAAC;KAClB,CAAC;IACF,kDAAkD;IAClD,cAAc,EAAE;QACd,YAAY,EAAE,gBAAgB,EAAE,CAAC;QACjC,gBAAgB,EAAE,MAAM,CAAC;QACzB,gBAAgB,EAAE,MAAM,EAAE,CAAC;KAC5B,GAAG,IAAI,CAAC;IACT,WAAW;IACX,gBAAgB,EAAE,MAAM,CAAC;IACzB,aAAa;IACb,WAAW,EAAE,OAAO,CAAC;IACrB,gCAAgC;IAChC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,kBAAkB;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;GAGG;AACH,wBAAsB,iBAAiB,CACrC,WAAW,EAAE,WAAW,EACxB,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,MAAM,GAClB,OAAO,CAAC,iBAAiB,CAAC,CAsH5B;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb,UAAU,CASZ"}

package/dist/engine/audit/developer_sovereignty.js

@@ -0,0 +1,141 @@
+/**
+ * Developer Sovereignty — 交付前 raw diff 展示、证据链、回滚路径、否决入口。
+ * R11 advisory: 不 hard block，提供信息供开发者决策。
+ *
+ * 职责:
+ * - preDeliveryReview: 交付前预览（raw diff + 风险摘要 + 证据链 + 回滚命令）
+ * - vetoDelivery: 开发者否决入口
+ */
+import { buildDeliveryEvidenceChain } from "./semantic_evidence.js";
+import { debug } from "../core/logger.js";
+/**
+ * 交付前预览 — 收集 raw diff、风险摘要、证据链、回滚命令。
+ * 使用 git_deps.GitOperations 获取真实 diff 统计和 commit/branch 信息。
+ */
+export async function preDeliveryReview(taskContext, gitOps, projectPath) {
+    debug("开发者主权", "preDeliveryReview() 开始 — taskId:", taskContext.task_id);
+    const changedFiles = taskContext.execution?.changed_files ?? [];
+    const attemptCount = taskContext.execution?.attempt_count ?? 0;
+    const failureCount = taskContext.execution?.failure_history?.length ?? 0;
+    const risk = taskContext.classification?.risk ?? "low";
+    // Diff 摘要 — 合并 unstaged 和 cached diff（按文件）
+    const [unstaged, staged] = await Promise.all([
+        gitOps.getDiff(projectPath, { cached: false }),
+        gitOps.getDiff(projectPath, { cached: true }),
+    ]);
+    const diffFiles = new Set(changedFiles);
+    // 合并by file: sum additions/deletions from both sources
+    const merged = new Map();
+    for (const h of [...unstaged, ...staged]) {
+        if (!diffFiles.has(h.file))
+            continue;
+        const existing = merged.get(h.file);
+        if (existing) {
+            existing.additions += h.additions;
+            existing.deletions += h.deletions;
+        }
+        else {
+            merged.set(h.file, { file_path: h.file, additions: h.additions, deletions: h.deletions });
+        }
+    }
+    // 未出现在 diff 输出中的变更文件，补充零计数字段
+    for (const f of changedFiles) {
+        if (!merged.has(f)) {
+            merged.set(f, { file_path: f, additions: 0, deletions: 0 });
+        }
+    }
+    const fileDetails = [...merged.values()];
+    const totalAdditions = fileDetails.reduce((s, d) => s + d.additions, 0);
+    const totalDeletions = fileDetails.reduce((s, d) => s + d.deletions, 0);
+    const diffSummary = {
+        changed_files: changedFiles,
+        additions: totalAdditions,
+        deletions: totalDeletions,
+        file_details: fileDetails,
+    };
+    // 风险摘要
+    const riskFactors = [];
+    if (risk === "high")
+        riskFactors.push(`任务风险: ${risk}`);
+    if (attemptCount > 1)
+        riskFactors.push(`多次尝试: ${attemptCount} 次`);
+    if (failureCount > 0)
+        riskFactors.push(`历史失败: ${failureCount} 次`);
+    if (changedFiles.length > 10)
+        riskFactors.push(`变更文件多: ${changedFiles.length} 个`);
+    const riskLevel = riskFactors.length === 0 ? "low" : riskFactors.length <= 2 ? "medium" : "high";
+    debug("开发者主权", "风险评估 — level:", riskLevel, "factors:", riskFactors.join(", "));
+    // 证据链
+    const chain = buildDeliveryEvidenceChain(taskContext);
+    const evidenceChain = chain
+        ? {
+            requirements: chain.requirement_points,
+            coverage_summary: chain.completeness.advisory,
+            uncovered_points: chain.completeness.uncovered_points,
+        }
+        : null;
+    // 回滚命令 — 绑定真实 commit hash 和 branch
+    let commitHash = "HEAD";
+    let branch = "HEAD";
+    try {
+        commitHash = await gitOps.getHeadCommitHash(projectPath);
+    }
+    catch (e) {
+        debug("开发者主权", "获取commit hash失败，使用默认值 —", e);
+    }
+    try {
+        branch = await gitOps.getCurrentBranch(projectPath);
+    }
+    catch { /* use default */ }
+    const rollbackCommand = `git revert ${commitHash} --no-edit`;
+    // can_deliver advisory 逻辑: advisory 级阻断，非 hard block
+    const deliveryBlockers = [];
+    if (riskLevel === "high") {
+        deliveryBlockers.push("advisory: 高风险 — 建议交付前人工审查");
+    }
+    if (evidenceChain && evidenceChain.uncovered_points.length > 0) {
+        deliveryBlockers.push(`advisory:  个未覆盖的需求点`);
+    }
+    const hasVerification = taskContext.verification?.summary != null;
+    if (!hasVerification && changedFiles.length > 0) {
+        deliveryBlockers.push("advisory: 无验证结果 — 建议交付前运行测试");
+    }
+    debug("开发者主权", "delivery blockers:", deliveryBlockers.length > 0 ? deliveryBlockers.join("; ") : "无");
+    // can_deliver 始终为 true（advisory 模式，非 hard block），但阻断信息供开发者参考
+    const canDeliver = true;
+    return {
+        task_id: taskContext.task_id,
+        diff_summary: diffSummary,
+        risk_summary: {
+            risk_level: riskLevel,
+            factors: riskFactors,
+            advisory: riskLevel === "high"
+                ? "advisory: 高风险交付，建议人工审查后再继续"
+                : riskLevel === "medium"
+                    ? "advisory: 中等风险，交付前请审查变更"
+                    : "低风险，可安全继续",
+        },
+        evidence_chain: evidenceChain,
+        rollback_command: rollbackCommand,
+        can_deliver: canDeliver,
+        delivery_blockers: deliveryBlockers,
+        advisory: deliveryBlockers.length > 0
+            ? deliveryBlockers.join("; ")
+            : "确认交付前请审查 diff 和证据链",
+    };
+}
+/**
+ * 否决交付 — 开发者行使否决权。
+ * 返回 VetoResult 记录否决事件，不修改任何状态。
+ */
+export function vetoDelivery(taskId, reason) {
+    debug("开发者主权", "vetoDelivery() — taskId:", taskId, "原因:", reason);
+    return {
+        vetoed: true,
+        task_id: taskId,
+        reason,
+        timestamp: new Date().toISOString(),
+        advisory: "交付已被开发者否决 — 未提交或推送任何代码变更",
+    };
+}
+//# sourceMappingURL=developer_sovereignty.js.map

package/dist/engine/audit/developer_sovereignty.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"developer_sovereignty.js","sourceRoot":"","sources":["../../../src/engine/audit/developer_sovereignty.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AASH,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AACpE,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAyC1C;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,WAAwB,EACxB,MAAqB,EACrB,WAAmB;IAEjB,KAAK,CAAC,OAAO,EAAE,kCAAkC,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;IAC1E,MAAM,YAAY,GAAG,WAAW,CAAC,SAAS,EAAE,aAAa,IAAI,EAAE,CAAC;IAChE,MAAM,YAAY,GAAG,WAAW,CAAC,SAAS,EAAE,aAAa,IAAI,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,WAAW,CAAC,SAAS,EAAE,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,WAAW,CAAC,cAAc,EAAE,IAAI,IAAI,KAAK,CAAC;IAEvD,2CAA2C;IAC3C,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC3C,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAC9C,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;KAC9C,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;IAExC,uDAAuD;IACvD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuE,CAAC;IAC9F,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QACrC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,CAAC;YAClC,QAAQ,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,CAAC;QACpC,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;IAED,6BAA6B;IAC7B,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACnB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACzC,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAExE,MAAM,WAAW,GAAG;QAClB,aAAa,EAAE,YAAY;QAC3B,SAAS,EAAE,cAAc;QACzB,SAAS,EAAE,cAAc;QACzB,YAAY,EAAE,WAAW;KAC1B,CAAC;IAEF,OAAO;IACP,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,IAAI,KAAK,MAAM;QAAE,WAAW,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IACvD,IAAI,YAAY,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,SAAS,YAAY,IAAI,CAAC,CAAC;IAClE,IAAI,YAAY,GAAG,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,SAAS,YAAY,IAAI,CAAC,CAAC;IAClE,IAAI,YAAY,CAAC,MAAM,GAAG,EAAE;QAAE,WAAW,CAAC,IAAI,CAAC,UAAU,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC;IAElF,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IACjG,KAAK,CAAC,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAE/E,MAAM;IACN,MAAM,KAAK,GAAG,0BAA0B,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,aAAa,GAAG,KAAK;QACzB,CAAC,CAAC;YACE,YAAY,EAAE,KAAK,CAAC,kBAAkB;YACtC,gBAAgB,EAAE,KAAK,CAAC,YAAY,CAAC,QAAQ;YAC7C,gBAAgB,EAAE,KAAK,CAAC,YAAY,CAAC,gBAAgB;SACtD;QACH,CAAC,CAAC,IAAI,CAAC;IAET,mCAAmC;IACnC,IAAI,UAAU,GAAG,MAAM,CAAC;IACxB,IAAI,MAAM,GAAG,MAAM,CAAC;IACpB,IAAI,CAAC;QACH,UAAU,GAAG,MAAM,MAAM,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,CAAU,EAAE,CAAC;QACpB,KAAK,CAAC,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,MAAM,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC,CAAC,iBAAiB,CAAC,CAAC;IAC7B,MAAM,eAAe,GAAG,cAAc,UAAU,YAAY,CAAC;IAE7D,qDAAqD;IACrD,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,gBAAgB,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,aAAa,IAAI,aAAa,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,gBAAgB,CAAC,IAAI,CACnB,qBAAqB,CACtB,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAAG,WAAW,CAAC,YAAY,EAAE,OAAO,IAAI,IAAI,CAAC;IAClE,IAAI,CAAC,eAAe,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,gBAAgB,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IACvD,CAAC;IAED,KAAK,CAAC,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACtG,6DAA6D;IAC7D,MAAM,UAAU,GAAG,IAAI,CAAC;IAExB,OAAO;QACL,OAAO,EAAE,WAAW,CAAC,OAAO;QAC5B,YAAY,EAAE,WAAW;QACzB,YAAY,EAAE;YACZ,UAAU,EAAE,SAAsC;YAClD,OAAO,EAAE,WAAW;YACpB,QAAQ,EACN,SAAS,KAAK,MAAM;gBAClB,CAAC,CAAC,4BAA4B;gBAC9B,CAAC,CAAC,SAAS,KAAK,QAAQ;oBACtB,CAAC,CAAC,yBAAyB;oBAC3B,CAAC,CAAC,WAAW;SACpB;QACD,cAAc,EAAE,aAAa;QAC7B,gBAAgB,EAAE,eAAe;QACjC,WAAW,EAAE,UAAU;QACvB,iBAAiB,EAAE,gBAAgB;QACnC,QAAQ,EAAE,gBAAgB,CAAC,MAAM,GAAG,CAAC;YACnC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7B,CAAC,CAAC,oBAAoB;KACzB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAc,EACd,MAAc;IAEd,KAAK,CAAC,OAAO,EAAE,0BAA0B,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAClE,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,MAAM;QACf,MAAM;QACN,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,QAAQ,EAAE,0BAA0B;KACrC,CAAC;AACJ,CAAC"}

package/dist/engine/audit/diagnostic_registry.d.ts

@@ -0,0 +1,81 @@
+/**
+ * 诊断码注册表 — 问题三十六 (Diagnostic Code Contract)。
+ *
+ * 核心规则:
+ * - 诊断码格式 SF-{AREA}-{NNNN}，一旦发布不得复用
+ * - blocking/critical 事件没有诊断码不得输出
+ * - 每个 active code 必须有 title_zh、user_message_zh、recovery_hint_zh
+ * - deprecated/removed code 不得复用
+ */
+export type DiagnosticSeverity = "blocking" | "critical" | "warning" | "advisory" | "info";
+export type DiagnosticStatus = "active" | "deprecated" | "removed";
+export type DiagnosticArea = "STATE" | "GUARD" | "VERIFY" | "DELIVER" | "FAILURE" | "DEGRADE" | "WORKSPACE" | "OBSERVE" | "DIAG" | "TEST" | "LANG" | "CONTRACT" | "PRIVACY" | "CMD";
+export interface DiagnosticCodeEntry {
+    code: string;
+    area: DiagnosticArea;
+    severity: DiagnosticSeverity;
+    status: DiagnosticStatus;
+    title_zh: string;
+    user_message_zh: string;
+    recovery_hint_zh: string;
+    owner_component: string;
+    evidence_refs: string[];
+    replaced_by?: string;
+}
+export interface DiagnosticEvent {
+    code: string;
+    occurred_at: string;
+    context: Record<string, unknown>;
+    user_visible_message: string;
+    contract_id?: string;
+    task_id?: string;
+}
+export declare const TOOL_DIAGNOSTIC_CODES: {
+    readonly planGate: "SF-PLAN-5001";
+    readonly instructionContract: "SF-INSTR-5801";
+    readonly oodMissingSummary: "SF-OOD-6601";
+    readonly oodDeliveryBlock: "SF-OOD-6602";
+    readonly backendMissingSummary: "SF-BACKEND-6701";
+    readonly backendDeliveryBlock: "SF-BACKEND-6702";
+    readonly codeObservabilityWorkPackage: "SF-OBS-6801";
+    readonly codeObservabilityFinding: "SF-OBS-6802";
+    readonly projectKnowledgeBlocked: "SF-PK-6901";
+    readonly contractDraft: "SF-CONTRACT-0003";
+    readonly verifyPlanMismatch: "SF-VERIFY-5002";
+    readonly traceabilityMissing: "SF-TRACE-7301";
+    readonly traceabilityBindingMissing: "SF-TRACE-7302";
+    readonly traceabilityVerifyFailed: "SF-TRACE-7303";
+    readonly traceabilityDeliveryBlocked: "SF-TRACE-7304";
+};
+/** 按 code 获取诊断码 */
+export declare function getDiagnosticByCode(code: string): DiagnosticCodeEntry | undefined;
+/** 列出所有诊断码 */
+export declare function listAllDiagnostics(): DiagnosticCodeEntry[];
+/** 按领域列出诊断码 */
+export declare function listDiagnosticsByArea(area: DiagnosticArea): DiagnosticCodeEntry[];
+/** 按 severity 列出诊断码 */
+export declare function listDiagnosticsBySeverity(severity: DiagnosticSeverity): DiagnosticCodeEntry[];
+/** 注册新诊断码（运行时） */
+export declare function registerDiagnostic(entry: DiagnosticCodeEntry): {
+    success: boolean;
+    error?: string;
+};
+/** 创建诊断事件 */
+export declare function createDiagnosticEvent(code: string, context?: Record<string, unknown>, contractId?: string, taskId?: string): DiagnosticEvent | null;
+/** 验证所有 blocking/critical 事件必须有诊断码 */
+export declare function validateDiagnosticCoverage(eventSeverities: Array<{
+    severity: DiagnosticSeverity;
+    has_code: boolean;
+}>): Array<{
+    severity: DiagnosticSeverity;
+    error: string;
+}>;
+/** 重置注册表（测试用） */
+export declare function resetDiagnosticRegistry(): void;
+/** 获取诊断码统计 */
+export declare function getDiagnosticStats(): {
+    total: number;
+    by_area: Record<string, number>;
+    by_severity: Record<string, number>;
+};
+//# sourceMappingURL=diagnostic_registry.d.ts.map

package/dist/engine/audit/diagnostic_registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic_registry.d.ts","sourceRoot":"","sources":["../../../src/engine/audit/diagnostic_registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,MAAM,kBAAkB,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,MAAM,CAAC;AAC3F,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,YAAY,GAAG,SAAS,CAAC;AACnE,MAAM,MAAM,cAAc,GACtB,OAAO,GACP,OAAO,GACP,QAAQ,GACR,SAAS,GACT,SAAS,GACT,SAAS,GACT,WAAW,GACX,SAAS,GACT,MAAM,GACN,MAAM,GACN,MAAM,GACN,UAAU,GACV,SAAS,GACT,KAAK,CAAC;AAEV,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,cAAc,CAAC;IACrB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,MAAM,EAAE,gBAAgB,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;CAgBxB,CAAC;AA+LX,mBAAmB;AACnB,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,mBAAmB,GAAG,SAAS,CAEjF;AAED,cAAc;AACd,wBAAgB,kBAAkB,IAAI,mBAAmB,EAAE,CAE1D;AAED,eAAe;AACf,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,cAAc,GAAG,mBAAmB,EAAE,CAEjF;AAED,uBAAuB;AACvB,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,kBAAkB,GAAG,mBAAmB,EAAE,CAE7F;AAED,kBAAkB;AAClB,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,mBAAmB,GAAG;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAanG;AAED,aAAa;AACb,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjC,UAAU,CAAC,EAAE,MAAM,EACnB,MAAM,CAAC,EAAE,MAAM,GACd,eAAe,GAAG,IAAI,CAYxB;AAED,sCAAsC;AACtC,wBAAgB,0BAA0B,CAAC,eAAe,EAAE,KAAK,CAAC;IAAE,QAAQ,EAAE,kBAAkB,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,CAAC,GAAG,KAAK,CAAC;IAAE,QAAQ,EAAE,kBAAkB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAW9K;AAED,iBAAiB;AACjB,wBAAgB,uBAAuB,IAAI,IAAI,CAE9C;AAED,cAAc;AACd,wBAAgB,kBAAkB,IAAI;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,CAS5H"}