speccore 8.3.21 → 8.3.26

package/dist/core/arbitration/l1-auto-arbiter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"l1-auto-arbiter.d.ts","sourceRoot":"","sources":["../../../src/core/arbitration/l1-auto-arbiter.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAAC,mBAAmB,CAAC,CA4BlF"}

package/dist/core/arbitration/l1-auto-arbiter.js

@@ -0,0 +1,41 @@
+"use strict";
+/**
+ * l1-auto-arbiter.ts — L1 机器契约自动裁决器
+ *
+ * v8.3.24+: 全自动裁决，无需人工参与
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.arbitrateL1 = arbitrateL1;
+/**
+ * L1 裁决：机器自动裁决
+ * 当前实现：L1 冲突（编译失败等）直接裁决为 reject，因为编译器已尝试修复
+ * 未来可扩展：集成 AI 自动修复循环
+ */
+async function arbitrateL1(conflict) {
+    const verdict = {
+        id: `V-${conflict.id}`,
+        taskId: conflict.taskId,
+        conflictId: conflict.id,
+        level: 'L1',
+        outcome: conflict.violation.severity === 'fatal' ? 'reject' : 'pass',
+        reasoning: conflict.violation.severity === 'fatal'
+            ? 'L1 机器契约被违反且为致命错误，自动裁决驳回。修复后需重新执行。'
+            : 'L1 机器契约警告级别，自动裁决通过但需关注。',
+        arbiter: 'L1-Auto-Arbiter',
+        timestamp: new Date().toISOString(),
+    };
+    const updatedConflict = {
+        ...conflict,
+        status: conflict.violation.severity === 'fatal' ? 'resolved' : 'overridden',
+        resolvedAt: new Date().toISOString(),
+        resolvedBy: 'machine',
+        resolution: verdict.reasoning,
+        arbiter: verdict.arbiter,
+    };
+    return {
+        verdict,
+        conflict: updatedConflict,
+        passed: conflict.violation.severity !== 'fatal',
+    };
+}
+//# sourceMappingURL=l1-auto-arbiter.js.map

package/dist/core/arbitration/l1-auto-arbiter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"l1-auto-arbiter.js","sourceRoot":"","sources":["../../../src/core/arbitration/l1-auto-arbiter.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;AAgBH,kCA4BC;AAjCD;;;;GAIG;AACI,KAAK,UAAU,WAAW,CAAC,QAAkB;IAClD,MAAM,OAAO,GAAY;QACvB,EAAE,EAAE,KAAK,QAAQ,CAAC,EAAE,EAAE;QACtB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,UAAU,EAAE,QAAQ,CAAC,EAAE;QACvB,KAAK,EAAE,IAAI;QACX,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM;QACpE,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,QAAQ,KAAK,OAAO;YAChD,CAAC,CAAC,mCAAmC;YACrC,CAAC,CAAC,yBAAyB;QAC7B,OAAO,EAAE,iBAAiB;QAC1B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC;IAEF,MAAM,eAAe,GAAa;QAChC,GAAG,QAAQ;QACX,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;QAC3E,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,UAAU,EAAE,SAAS;QACrB,UAAU,EAAE,OAAO,CAAC,SAAS;QAC7B,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC;IAEF,OAAO;QACL,OAAO;QACP,QAAQ,EAAE,eAAe;QACzB,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,QAAQ,KAAK,OAAO;KAChD,CAAC;AACJ,CAAC"}

package/dist/core/arbitration/l2-ai-arbiter.d.ts

@@ -0,0 +1,19 @@
+/**
+ * l2-ai-arbiter.ts — L2 规范契约 AI 辅助裁决器
+ *
+ * v8.3.24+: AI 生成修复建议，等待开发者确认
+ */
+import type { Conflict } from './conflict-types';
+import type { Verdict } from './verdict-types';
+export interface L2ArbitrationResult {
+    verdict?: Verdict;
+    conflict: Conflict;
+    suggestedFix?: string;
+    needsHumanConfirm: boolean;
+}
+/**
+ * L2 裁决：AI 辅助裁决
+ * 生成修复建议，将冲突状态改为 pending-fix 等待确认
+ */
+export declare function arbitrateL2(conflict: Conflict): Promise<L2ArbitrationResult>;
+//# sourceMappingURL=l2-ai-arbiter.d.ts.map

package/dist/core/arbitration/l2-ai-arbiter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"l2-ai-arbiter.d.ts","sourceRoot":"","sources":["../../../src/core/arbitration/l2-ai-arbiter.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,WAAW,mBAAmB;IAClC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,QAAQ,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iBAAiB,EAAE,OAAO,CAAC;CAC5B;AAED;;;GAGG;AACH,wBAAsB,WAAW,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAmBlF"}

package/dist/core/arbitration/l2-ai-arbiter.js

@@ -0,0 +1,57 @@
+"use strict";
+/**
+ * l2-ai-arbiter.ts — L2 规范契约 AI 辅助裁决器
+ *
+ * v8.3.24+: AI 生成修复建议，等待开发者确认
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.arbitrateL2 = arbitrateL2;
+/**
+ * L2 裁决：AI 辅助裁决
+ * 生成修复建议，将冲突状态改为 pending-fix 等待确认
+ */
+async function arbitrateL2(conflict) {
+    // 生成基于契约类型的修复建议
+    const fix = generateFixSuggestion(conflict);
+    const updatedConflict = {
+        ...conflict,
+        status: 'pending-fix',
+        violation: {
+            ...conflict.violation,
+            suggestedFix: fix,
+        },
+        arbiter: 'L2-AI-Arbiter',
+    };
+    return {
+        conflict: updatedConflict,
+        suggestedFix: fix,
+        needsHumanConfirm: true,
+    };
+}
+/** 根据契约类型生成修复建议 */
+function generateFixSuggestion(conflict) {
+    const { contractId, message } = conflict.violation;
+    switch (contractId) {
+        case 'L2-spec-consistency':
+            return `【Spec 不一致修复建议】\n1. 对比 REQ.md 验收标准与代码实现\n2. 补充缺失的逻辑分支或校验\n3. 重新运行 speccore execute 验证\n\n具体: ${message}`;
+        case 'L2-api-contract':
+            return `【API 契约修复建议】\n1. 检查 API_CONTRACT.yaml 中的字段定义\n2. 确保响应 DTO 包含所有必需字段\n3. 确保请求参数校验与契约一致\n\n具体: ${message}`;
+        case 'L2-schema':
+            return `【Schema 修复建议】\n1. 对比 SCHEMA.md 中的实体定义\n2. 确保数据库字段、Entity、DTO 三者一致\n3. 如有变更，同步更新迁移脚本\n\n具体: ${message}`;
+        case 'L2-lint':
+            return `【Lint 修复建议】\n1. 运行自动格式化: npx eslint --fix\n2. 检查剩余的手动修复项\n3. 确保代码风格与项目规范一致\n\n具体: ${message}`;
+        case 'L2-dev-guide':
+            return `【DEV_GUIDE 修复建议】\n1. 对照 DEV_GUIDE 中的改造范围清单\n2. 确认所有要求项已实现\n3. 如有偏差，在 TASK.md 中说明原因\n\n具体: ${message}`;
+        case 'L2-test-coverage':
+            return `【测试覆盖修复建议】\n1. 对照 TEST.md 中的测试用例\n2. 为新增代码补充单元测试\n3. 确保边界条件和异常路径有覆盖\n\n具体: ${message}`;
+        case 'L2-review':
+            return `【评审项修复建议】\n1. 对照 REVIEW.md 中的评审清单\n2. 逐项确认已实现或已说明例外\n3. 如有未满足项，补充实现\n\n具体: ${message}`;
+        case 'L2-error-code':
+            return `【错误码修复建议】\n1. 检查 ERROR_CODES.md 中的定义\n2. 确保代码中使用的错误码与文档一致\n3. 新增错误码需同步更新文档\n\n具体: ${message}`;
+        case 'L2-spec-doc-quality':
+            return `【文档质量修复建议】\n1. 确保 REQ.md 有明确的验收标准\n2. 确保 TECH.md 有技术方案细节\n3. 补充缺失的字段说明或流程图\n\n具体: ${message}`;
+        default:
+            return `【通用修复建议】\n1. 分析冲突原因: ${message}\n2. 参考项目规范文档修复\n3. 重新运行验证确认`;
+    }
+}
+//# sourceMappingURL=l2-ai-arbiter.js.map

package/dist/core/arbitration/l2-ai-arbiter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"l2-ai-arbiter.js","sourceRoot":"","sources":["../../../src/core/arbitration/l2-ai-arbiter.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;AAgBH,kCAmBC;AAvBD;;;GAGG;AACI,KAAK,UAAU,WAAW,CAAC,QAAkB;IAClD,gBAAgB;IAChB,MAAM,GAAG,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAE5C,MAAM,eAAe,GAAa;QAChC,GAAG,QAAQ;QACX,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE;YACT,GAAG,QAAQ,CAAC,SAAS;YACrB,YAAY,EAAE,GAAG;SAClB;QACD,OAAO,EAAE,eAAe;KACzB,CAAC;IAEF,OAAO;QACL,QAAQ,EAAE,eAAe;QACzB,YAAY,EAAE,GAAG;QACjB,iBAAiB,EAAE,IAAI;KACxB,CAAC;AACJ,CAAC;AAED,mBAAmB;AACnB,SAAS,qBAAqB,CAAC,QAAkB;IAC/C,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC;IAEnD,QAAQ,UAAU,EAAE,CAAC;QACnB,KAAK,qBAAqB;YACxB,OAAO,+FAA+F,OAAO,EAAE,CAAC;QAElH,KAAK,iBAAiB;YACpB,OAAO,+FAA+F,OAAO,EAAE,CAAC;QAElH,KAAK,WAAW;YACd,OAAO,8FAA8F,OAAO,EAAE,CAAC;QAEjH,KAAK,SAAS;YACZ,OAAO,qFAAqF,OAAO,EAAE,CAAC;QAExG,KAAK,cAAc;YACjB,OAAO,6FAA6F,OAAO,EAAE,CAAC;QAEhH,KAAK,kBAAkB;YACrB,OAAO,8EAA8E,OAAO,EAAE,CAAC;QAEjG,KAAK,WAAW;YACd,OAAO,8EAA8E,OAAO,EAAE,CAAC;QAEjG,KAAK,eAAe;YAClB,OAAO,qFAAqF,OAAO,EAAE,CAAC;QAExG,KAAK,qBAAqB;YACxB,OAAO,qFAAqF,OAAO,EAAE,CAAC;QAExG;YACE,OAAO,wBAAwB,OAAO,8BAA8B,CAAC;IACzE,CAAC;AACH,CAAC"}

package/dist/core/arbitration/l3-human-arbiter.d.ts

@@ -0,0 +1,24 @@
+/**
+ * l3-human-arbiter.ts — L3 架构契约人工裁决器
+ *
+ * v8.3.24+: 人工最终裁决，AI 提供决策支持
+ */
+import type { Conflict } from './conflict-types';
+import type { Verdict, VerdictOutcome } from './verdict-types';
+export interface L3ArbitrationResult {
+    verdict: Verdict;
+    conflict: Conflict;
+}
+/**
+ * L3 裁决：初始化人工裁决流程
+ * 将冲突状态改为 pending-review，等待人工决策
+ */
+export declare function initiateL3Arbitration(conflict: Conflict): Promise<L3ArbitrationResult>;
+/**
+ * 人工做出裁决
+ */
+export declare function makeHumanVerdict(conflict: Conflict, outcome: VerdictOutcome, reasoning: string, options?: {
+    conditions?: string[];
+    signature?: string;
+}): L3ArbitrationResult;
+//# sourceMappingURL=l3-human-arbiter.d.ts.map

package/dist/core/arbitration/l3-human-arbiter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"l3-human-arbiter.d.ts","sourceRoot":"","sources":["../../../src/core/arbitration/l3-human-arbiter.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAE/D,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,QAAQ,CAAC;CACpB;AAED;;;GAGG;AACH,wBAAsB,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAuB5F;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,cAAc,EACvB,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE;IACR,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GACA,mBAAmB,CA2BrB"}

package/dist/core/arbitration/l3-human-arbiter.js

@@ -0,0 +1,65 @@
+"use strict";
+/**
+ * l3-human-arbiter.ts — L3 架构契约人工裁决器
+ *
+ * v8.3.24+: 人工最终裁决，AI 提供决策支持
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.initiateL3Arbitration = initiateL3Arbitration;
+exports.makeHumanVerdict = makeHumanVerdict;
+/**
+ * L3 裁决：初始化人工裁决流程
+ * 将冲突状态改为 pending-review，等待人工决策
+ */
+async function initiateL3Arbitration(conflict) {
+    const updatedConflict = {
+        ...conflict,
+        status: 'pending-review',
+        arbiter: 'L3-Human-Arbiter (pending)',
+    };
+    // 生成一个占位裁决，表示等待人工决策
+    const verdict = {
+        id: `V-${conflict.id}`,
+        taskId: conflict.taskId,
+        conflictId: conflict.id,
+        level: 'L3',
+        outcome: 'defer',
+        reasoning: 'L3 架构契约冲突需人工最终裁决。AI 已生成影响分析，请执行 speccore verdict --conflict {id} --decide 进行裁决。',
+        arbiter: 'L3-Human-Arbiter (pending)',
+        timestamp: new Date().toISOString(),
+    };
+    return {
+        verdict,
+        conflict: updatedConflict,
+    };
+}
+/**
+ * 人工做出裁决
+ */
+function makeHumanVerdict(conflict, outcome, reasoning, options) {
+    const verdict = {
+        id: `V-${conflict.id}-final`,
+        taskId: conflict.taskId,
+        conflictId: conflict.id,
+        level: 'L3',
+        outcome,
+        reasoning,
+        conditions: options?.conditions,
+        arbiter: 'Human',
+        timestamp: new Date().toISOString(),
+        signature: options?.signature,
+    };
+    const updatedConflict = {
+        ...conflict,
+        status: outcome === 'reject' ? 'resolved' : outcome === 'pass' || outcome === 'pass-with-conditions' ? 'overridden' : 'escalated',
+        resolvedAt: new Date().toISOString(),
+        resolvedBy: 'human',
+        resolution: reasoning,
+        arbiter: verdict.arbiter,
+    };
+    return {
+        verdict,
+        conflict: updatedConflict,
+    };
+}
+//# sourceMappingURL=l3-human-arbiter.js.map

package/dist/core/arbitration/l3-human-arbiter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"l3-human-arbiter.js","sourceRoot":"","sources":["../../../src/core/arbitration/l3-human-arbiter.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;AAcH,sDAuBC;AAKD,4CAmCC;AAnED;;;GAGG;AACI,KAAK,UAAU,qBAAqB,CAAC,QAAkB;IAC5D,MAAM,eAAe,GAAa;QAChC,GAAG,QAAQ;QACX,MAAM,EAAE,gBAAgB;QACxB,OAAO,EAAE,4BAA4B;KACtC,CAAC;IAEF,oBAAoB;IACpB,MAAM,OAAO,GAAY;QACvB,EAAE,EAAE,KAAK,QAAQ,CAAC,EAAE,EAAE;QACtB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,UAAU,EAAE,QAAQ,CAAC,EAAE;QACvB,KAAK,EAAE,IAAI;QACX,OAAO,EAAE,OAAO;QAChB,SAAS,EAAE,iFAAiF;QAC5F,OAAO,EAAE,4BAA4B;QACrC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC;IAEF,OAAO;QACL,OAAO;QACP,QAAQ,EAAE,eAAe;KAC1B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,gBAAgB,CAC9B,QAAkB,EAClB,OAAuB,EACvB,SAAiB,EACjB,OAGC;IAED,MAAM,OAAO,GAAY;QACvB,EAAE,EAAE,KAAK,QAAQ,CAAC,EAAE,QAAQ;QAC5B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,UAAU,EAAE,QAAQ,CAAC,EAAE;QACvB,KAAK,EAAE,IAAI;QACX,OAAO;QACP,SAAS;QACT,UAAU,EAAE,OAAO,EAAE,UAAU;QAC/B,OAAO,EAAE,OAAO;QAChB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,SAAS,EAAE,OAAO,EAAE,SAAS;KAC9B,CAAC;IAEF,MAAM,eAAe,GAAa;QAChC,GAAG,QAAQ;QACX,MAAM,EAAE,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,sBAAsB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW;QACjI,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,UAAU,EAAE,OAAO;QACnB,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,OAAO,CAAC,OAAO;KACzB,CAAC;IAEF,OAAO;QACL,OAAO;QACP,QAAQ,EAAE,eAAe;KAC1B,CAAC;AACJ,CAAC"}

package/dist/core/arbitration/verdict-generator.d.ts

@@ -0,0 +1,16 @@
+/**
+ * verdict-generator.ts — 裁决书生成器
+ *
+ * v8.3.24+: 生成标准化的 ARBITRATION_REPORT.md
+ */
+import type { Conflict, ConflictDetectionResult } from './conflict-types';
+import type { Verdict, ArbitrationReport } from './verdict-types';
+/**
+ * 生成裁决书对象
+ */
+export declare function generateArbitrationReport(taskId: string, detection: ConflictDetectionResult, resolvedConflicts: Conflict[], verdicts: Verdict[]): ArbitrationReport;
+/**
+ * 生成并写入 ARBITRATION_REPORT.md
+ */
+export declare function writeArbitrationReport(report: ArbitrationReport, taskDir: string): Promise<void>;
+//# sourceMappingURL=verdict-generator.d.ts.map

package/dist/core/arbitration/verdict-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verdict-generator.d.ts","sourceRoot":"","sources":["../../../src/core/arbitration/verdict-generator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,OAAO,KAAK,EAAE,QAAQ,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAElE;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,uBAAuB,EAClC,iBAAiB,EAAE,QAAQ,EAAE,EAC7B,QAAQ,EAAE,OAAO,EAAE,GAClB,iBAAiB,CA8DnB;AAED;;GAEG;AACH,wBAAsB,sBAAsB,CAC1C,MAAM,EAAE,iBAAiB,EACzB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,IAAI,CAAC,CA8Ff"}

package/dist/core/arbitration/verdict-generator.js

@@ -0,0 +1,166 @@
+"use strict";
+/**
+ * verdict-generator.ts — 裁决书生成器
+ *
+ * v8.3.24+: 生成标准化的 ARBITRATION_REPORT.md
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.generateArbitrationReport = generateArbitrationReport;
+exports.writeArbitrationReport = writeArbitrationReport;
+const path_1 = require("path");
+const fs_extra_1 = require("fs-extra");
+const contract_registry_1 = require("./contract-registry");
+/**
+ * 生成裁决书对象
+ */
+function generateArbitrationReport(taskId, detection, resolvedConflicts, verdicts) {
+    const conflictMap = new Map();
+    for (const c of resolvedConflicts) {
+        conflictMap.set(c.id, c);
+    }
+    const verdictMap = new Map();
+    for (const v of verdicts) {
+        verdictMap.set(v.conflictId, v);
+    }
+    // v8.3.24+: 使用 resolvedConflicts（已裁决状态）而非 detection.conflicts（原始 detected 状态）
+    const l1List = resolvedConflicts.filter((c) => c.contractId.startsWith('L1-'));
+    const l2List = resolvedConflicts.filter((c) => c.contractId.startsWith('L2-'));
+    const l3List = resolvedConflicts.filter((c) => c.contractId.startsWith('L3-'));
+    const L1Passed = l1List.filter((c) => c.status === 'overridden' || c.status === 'resolved').length;
+    const L2Passed = l2List.filter((c) => c.status === 'overridden' || c.status === 'resolved').length;
+    const L3Passed = l3List.filter((c) => c.status === 'overridden' || c.status === 'resolved').length;
+    const status = detection.summary.total === 0
+        ? 'resolved'
+        : resolvedConflicts.some((c) => c.status === 'pending-review')
+            ? 'pending'
+            : resolvedConflicts.some((c) => c.status === 'pending-fix')
+                ? 'partial'
+                : 'resolved';
+    return {
+        taskId,
+        timestamp: new Date().toISOString().replace('T', ' ').slice(0, 19),
+        status,
+        L1: {
+            total: detection.summary.L1,
+            passed: L1Passed,
+            failed: detection.summary.L1 - L1Passed,
+        },
+        L2: {
+            total: detection.summary.L2,
+            passed: L2Passed,
+            pending: l2List.filter((c) => c.status === 'pending-fix').length,
+            failed: detection.summary.L2 - L2Passed - l2List.filter((c) => c.status === 'pending-fix').length,
+        },
+        L3: {
+            total: detection.summary.L3,
+            passed: L3Passed,
+            pending: l3List.filter((c) => c.status === 'pending-review').length,
+            failed: detection.summary.L3 - L3Passed - l3List.filter((c) => c.status === 'pending-review').length,
+        },
+        conflicts: resolvedConflicts.map((c) => {
+            const contract = (0, contract_registry_1.getContractById)(c.contractId);
+            return {
+                id: c.id,
+                level: contract?.level || 'unknown',
+                contractName: contract?.name || c.contractId,
+                status: c.status,
+                message: c.violation.message,
+                verdict: verdictMap.get(c.id),
+            };
+        }),
+    };
+}
+/**
+ * 生成并写入 ARBITRATION_REPORT.md
+ */
+async function writeArbitrationReport(report, taskDir) {
+    const lines = [];
+    lines.push(`# 冲突裁决书 — ${report.taskId}`);
+    lines.push('');
+    lines.push(`> 裁决时间: ${report.timestamp}`);
+    const statusIcon = report.status === 'resolved' ? '✅ 全部通过'
+        : report.status === 'partial' ? '🟡 部分通过'
+            : report.status === 'pending' ? '⏳ 等待裁决'
+                : '❌ 已驳回';
+    lines.push(`> 裁决状态: ${statusIcon}`);
+    lines.push('');
+    // L1
+    lines.push('---');
+    lines.push('');
+    lines.push('## 一、L1 机器契约裁决（⚙️ 全自动）');
+    lines.push('');
+    if (report.L1.total === 0) {
+        lines.push('**全部通过，机器契约履行完毕。**');
+    }
+    else {
+        lines.push(`| 契约 | 状态 | 详情 |`);
+        lines.push(`| :--- | :--- | :--- |`);
+        for (const c of report.conflicts.filter((c) => c.level === 'L1')) {
+            const icon = c.status === 'resolved' ? '❌' : c.status === 'overridden' ? '⚠️' : '⏳';
+            lines.push(`| ${c.contractName} | ${icon} ${c.status} | ${c.message} |`);
+        }
+        lines.push('');
+        lines.push(`**L1 裁决结论: ${report.L1.failed > 0 ? '存在致命错误，已阻断。' : '全部通过。'}**`);
+    }
+    lines.push('');
+    // L2
+    lines.push('---');
+    lines.push('');
+    lines.push('## 二、L2 规范契约裁决（🤖 AI 辅助）');
+    lines.push('');
+    if (report.L2.total === 0) {
+        lines.push('**全部通过，规范契约履行完毕。**');
+    }
+    else {
+        for (const c of report.conflicts.filter((c) => c.level === 'L2')) {
+            lines.push(`### ${c.contractName}`);
+            lines.push(`- **状态**: ${c.status}`);
+            lines.push(`- **说明**: ${c.message}`);
+            if (c.verdict) {
+                lines.push(`- **裁决**: ${c.verdict.outcome} (${c.verdict.arbiter})`);
+            }
+            lines.push('');
+        }
+    }
+    lines.push('');
+    // L3
+    lines.push('---');
+    lines.push('');
+    lines.push('## 三、L3 架构契约裁决（👤 人工最终）');
+    lines.push('');
+    if (report.L3.total === 0) {
+        lines.push('**全部通过，架构契约履行完毕。**');
+    }
+    else {
+        for (const c of report.conflicts.filter((c) => c.level === 'L3')) {
+            lines.push(`### ${c.contractName}`);
+            lines.push(`- **状态**: ${c.status}`);
+            lines.push(`- **说明**: ${c.message}`);
+            if (c.status === 'pending-review') {
+                lines.push(`- **⚠️ 此冲突需人工裁决，请执行: \`speccore verdict --conflict ${c.id} --decide\`**`);
+            }
+            if (c.verdict) {
+                lines.push(`- **裁决**: ${c.verdict.outcome}`);
+                lines.push(`- **理由**: ${c.verdict.reasoning}`);
+            }
+            lines.push('');
+        }
+    }
+    lines.push('');
+    // 汇总
+    lines.push('---');
+    lines.push('');
+    lines.push('## 四、裁决汇总');
+    lines.push('');
+    lines.push(`| 层级 | 冲突数 | 已通过 | 待确认 | 待裁决 | 已驳回 |`);
+    lines.push(`| :--- | :--- | :--- | :--- | :--- | :--- |`);
+    lines.push(`| L1 机器契约 | ${report.L1.total} | ${report.L1.passed} | — | — | ${report.L1.failed} |`);
+    lines.push(`| L2 规范契约 | ${report.L2.total} | ${report.L2.passed} | ${report.L2.pending} | — | ${report.L2.failed} |`);
+    lines.push(`| L3 架构契约 | ${report.L3.total} | ${report.L3.passed} | — | ${report.L3.pending} | ${report.L3.failed} |`);
+    lines.push('');
+    lines.push(`**当前任务状态**: ${statusIcon}`);
+    lines.push('');
+    const content = lines.join('\n');
+    await (0, fs_extra_1.writeFile)((0, path_1.join)(taskDir, 'ARBITRATION_REPORT.md'), content, 'utf-8');
+}
+//# sourceMappingURL=verdict-generator.js.map

package/dist/core/arbitration/verdict-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verdict-generator.js","sourceRoot":"","sources":["../../../src/core/arbitration/verdict-generator.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;AAWH,8DAmEC;AAKD,wDAiGC;AAlLD,+BAA4B;AAC5B,uCAAqC;AACrC,2DAAsD;AAItD;;GAEG;AACH,SAAgB,yBAAyB,CACvC,MAAc,EACd,SAAkC,EAClC,iBAA6B,EAC7B,QAAmB;IAEnB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;QAClC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3B,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAClC,CAAC;IAED,8EAA8E;IAC9E,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IAE/E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IACnG,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IACnG,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IAEnG,MAAM,MAAM,GACV,SAAS,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC;QAC3B,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,gBAAgB,CAAC;YAC5D,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC;gBACzD,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,UAAU,CAAC;IAErB,OAAO;QACL,MAAM;QACN,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAClE,MAAM;QACN,EAAE,EAAE;YACF,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE;YAC3B,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ;SACxC;QACD,EAAE,EAAE;YACF,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE;YAC3B,MAAM,EAAE,QAAQ;YAChB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,MAAM;YAChE,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,MAAM;SAClG;QACD,EAAE,EAAE;YACF,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE;YAC3B,MAAM,EAAE,QAAQ;YAChB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,MAAM;YACnE,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,MAAM;SACrG;QACD,SAAS,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACrC,MAAM,QAAQ,GAAG,IAAA,mCAAe,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YAC/C,OAAO;gBACL,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,KAAK,EAAE,QAAQ,EAAE,KAAK,IAAI,SAAS;gBACnC,YAAY,EAAE,QAAQ,EAAE,IAAI,IAAI,CAAC,CAAC,UAAU;gBAC5C,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO;gBAC5B,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9B,CAAC;QACJ,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,sBAAsB,CAC1C,MAAyB,EACzB,OAAe;IAEf,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;IAE1C,MAAM,UAAU,GACd,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ;QACrC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS;YACvC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ;gBACtC,CAAC,CAAC,OAAO,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,WAAW,UAAU,EAAE,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK;IACL,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACnC,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,EAAE,CAAC;YACjE,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;YACpF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,MAAM,IAAI,IAAI,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;QAC3E,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;IAC/E,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK;IACL,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACnC,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,EAAE,CAAC;YACjE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACrC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC;YACtE,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK;IACL,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACnC,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,EAAE,CAAC;YACjE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACrC,IAAI,CAAC,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;gBAClC,KAAK,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC;YACxF,CAAC;YACD,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC7C,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;YACjD,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK;IACL,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACnD,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC1D,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,EAAE,CAAC,KAAK,MAAM,MAAM,CAAC,EAAE,CAAC,MAAM,cAAc,MAAM,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC;IACnG,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,EAAE,CAAC,KAAK,MAAM,MAAM,CAAC,EAAE,CAAC,MAAM,MAAM,MAAM,CAAC,EAAE,CAAC,OAAO,UAAU,MAAM,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC;IACtH,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,EAAE,CAAC,KAAK,MAAM,MAAM,CAAC,EAAE,CAAC,MAAM,UAAU,MAAM,CAAC,EAAE,CAAC,OAAO,MAAM,MAAM,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC;IACtH,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,eAAe,UAAU,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,IAAA,oBAAS,EAAC,IAAA,WAAI,EAAC,OAAO,EAAE,uBAAuB,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAC5E,CAAC"}

package/dist/core/arbitration/verdict-types.d.ts

@@ -0,0 +1,49 @@
+/**
+ * verdict-types.ts — 裁决书类型定义
+ *
+ * v8.3.24+: 契约冲突裁决模型核心类型
+ */
+export type VerdictOutcome = 'pass' | 'pass-with-conditions' | 'reject' | 'defer' | 'escalate';
+export interface Verdict {
+    id: string;
+    taskId: string;
+    conflictId: string;
+    level: 'L1' | 'L2' | 'L3';
+    outcome: VerdictOutcome;
+    reasoning: string;
+    conditions?: string[];
+    arbiter: string;
+    timestamp: string;
+    signature?: string;
+}
+export interface ArbitrationReport {
+    taskId: string;
+    timestamp: string;
+    status: 'pending' | 'partial' | 'resolved' | 'rejected';
+    L1: {
+        total: number;
+        passed: number;
+        failed: number;
+    };
+    L2: {
+        total: number;
+        passed: number;
+        pending: number;
+        failed: number;
+    };
+    L3: {
+        total: number;
+        passed: number;
+        pending: number;
+        failed: number;
+    };
+    conflicts: Array<{
+        id: string;
+        level: string;
+        contractName: string;
+        status: string;
+        message: string;
+        verdict?: Verdict;
+    }>;
+}
+//# sourceMappingURL=verdict-types.d.ts.map

package/dist/core/arbitration/verdict-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verdict-types.d.ts","sourceRoot":"","sources":["../../../src/core/arbitration/verdict-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,MAAM,MAAM,cAAc,GACtB,MAAM,GACN,sBAAsB,GACtB,QAAQ,GACR,OAAO,GACP,UAAU,CAAC;AAEf,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IAC1B,OAAO,EAAE,cAAc,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;IACxD,EAAE,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACtD,EAAE,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACvE,EAAE,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACvE,SAAS,EAAE,KAAK,CAAC;QACf,EAAE,EAAE,MAAM,CAAC;QACX,KAAK,EAAE,MAAM,CAAC;QACd,YAAY,EAAE,MAAM,CAAC;QACrB,MAAM,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,CAAC,EAAE,OAAO,CAAC;KACnB,CAAC,CAAC;CACJ"}

package/dist/core/arbitration/verdict-types.js

@@ -0,0 +1,8 @@
+"use strict";
+/**
+ * verdict-types.ts — 裁决书类型定义
+ *
+ * v8.3.24+: 契约冲突裁决模型核心类型
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=verdict-types.js.map

package/dist/core/arbitration/verdict-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verdict-types.js","sourceRoot":"","sources":["../../../src/core/arbitration/verdict-types.ts"],"names":[],"mappings":";AAAA;;;;GAIG"}

package/dist/core/ask-config.d.ts

@@ -27,13 +27,13 @@ export interface AskConfig {
 export interface LlmProviderConfig {
     name: string;
     enabled: boolean;
-    /** provider 类型：openai / ollama / custom */
-    type: 'openai' | 'ollama' | 'custom';
+    /** provider 类型：openai / ollama / anthropic / custom */
+    type: 'openai' | 'ollama' | 'anthropic' | 'custom';
     /** API endpoint（OpenAI兼容格式或Ollama本地地址） */
     endpoint?: string;
     /** 模型名称 */
     model?: string;
-    /** API Key（优先读取环境变量 SPECCORE_LLM_KEY） */
+    /** API Key（支持环境变量引用：${SPECCORE_LLM_KEY}） */
     apiKey?: string;
     /** 优先级：数字越小越优先 */
     priority: number;
@@ -41,6 +41,7 @@ export interface LlmProviderConfig {
 export declare const DEFAULT_ASK_CONFIG: AskConfig;
 /**
  * 加载 Ask 引擎配置（带缓存）
+ * v8.3.25+: 优先从 .speccore.yml 读取，回退到 ask.json
  */
 export declare function loadAskConfig(): Promise<AskConfig>;
 /**

package/dist/core/ask-config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ask-config.d.ts","sourceRoot":"","sources":["../../src/core/ask-config.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAUH,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE;QACP,IAAI,EAAE,QAAQ,GAAG,YAAY,GAAG,UAAU,CAAC;QAC3C,6BAA6B;QAC7B,aAAa,EAAE,MAAM,CAAC;QACtB,+BAA+B;QAC/B,YAAY,EAAE,MAAM,CAAC;QACrB,yBAAyB;QACzB,UAAU,EAAE,OAAO,CAAC;QACpB,eAAe;QACf,YAAY,EAAE,OAAO,CAAC;QACtB,4BAA4B;QAC5B,YAAY,EAAE,MAAM,CAAC;KACtB,CAAC;IACF,KAAK,EAAE;QACL,oCAAoC;QACpC,WAAW,EAAE,OAAO,CAAC;KACtB,CAAC;IACF,YAAY,EAAE,iBAAiB,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,2CAA2C;IAC3C,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACrC,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW;IACX,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,yCAAyC;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,kBAAkB;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAMD,eAAO,MAAM,kBAAkB,EAAE,SAiChC,CAAC;AAYF;;GAEG;AACH,wBAAsB,aAAa,IAAI,OAAO,CAAC,SAAS,CAAC,CAsBxD;AAED;;GAEG;AACH,wBAAsB,aAAa,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAKpE;AAED;;GAEG;AACH,wBAAsB,YAAY,IAAI,OAAO,CAAC,OAAO,CAAC,CAErD"}
+{"version":3,"file":"ask-config.d.ts","sourceRoot":"","sources":["../../src/core/ask-config.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAUH,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE;QACP,IAAI,EAAE,QAAQ,GAAG,YAAY,GAAG,UAAU,CAAC;QAC3C,6BAA6B;QAC7B,aAAa,EAAE,MAAM,CAAC;QACtB,+BAA+B;QAC/B,YAAY,EAAE,MAAM,CAAC;QACrB,yBAAyB;QACzB,UAAU,EAAE,OAAO,CAAC;QACpB,eAAe;QACf,YAAY,EAAE,OAAO,CAAC;QACtB,4BAA4B;QAC5B,YAAY,EAAE,MAAM,CAAC;KACtB,CAAC;IACF,KAAK,EAAE;QACL,oCAAoC;QACpC,WAAW,EAAE,OAAO,CAAC;KACtB,CAAC;IACF,YAAY,EAAE,iBAAiB,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,uDAAuD;IACvD,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,QAAQ,CAAC;IACnD,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW;IACX,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,4CAA4C;IAC5C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,kBAAkB;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAMD,eAAO,MAAM,kBAAkB,EAAE,SAiChC,CAAC;AAYF;;;GAGG;AACH,wBAAsB,aAAa,IAAI,OAAO,CAAC,SAAS,CAAC,CAuCxD;AAiDD;;GAEG;AACH,wBAAsB,aAAa,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAKpE;AAED;;GAEG;AACH,wBAAsB,YAAY,IAAI,OAAO,CAAC,OAAO,CAAC,CAErD"}

package/dist/core/ask-config.js

@@ -5,6 +5,39 @@
  * 读取优先级：环境变量 > .speccore/config/ask.json > 内置默认值
  * 支持用户通过配置文件持久化偏好，也支持命令行临时覆盖（--rules）
  */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.DEFAULT_ASK_CONFIG = void 0;
 exports.loadAskConfig = loadAskConfig;
@@ -58,6 +91,7 @@ let configLoadTime = 0;
 const CONFIG_TTL = 5000; // 5秒内复用缓存
 /**
  * 加载 Ask 引擎配置（带缓存）
+ * v8.3.25+: 优先从 .speccore.yml 读取，回退到 ask.json
  */
 async function loadAskConfig() {
     const now = Date.now();
@@ -65,9 +99,26 @@ async function loadAskConfig() {
         return cachedConfig;
     }
     let fileConfig = {};
-    if (await (0, fs_extra_1.pathExists)(CONFIG_PATH)) {
+    let source = 'default';
+    // v8.3.25+: 优先从 .speccore.yml 统一配置读取
+    try {
+        const { loadConfig } = await Promise.resolve().then(() => __importStar(require('./unified-config')));
+        const unified = await loadConfig();
+        if (unified.ask && (unified.ask.llm_providers.length > 0 || unified.ask.routing.mode)) {
+            fileConfig = mapUnifiedToAskConfig(unified.ask);
+            source = '.speccore.yml';
+        }
+    }
+    catch { /* 静默回退到 ask.json */ }
+    // 回退到 ask.json（旧的独立配置）
+    if (source === 'default' && (await (0, fs_extra_1.pathExists)(CONFIG_PATH))) {
         try {
             fileConfig = (await (0, fs_extra_1.readJson)(CONFIG_PATH));
+            // v8.3.25+: 解析环境变量引用（如 apiKey: "${SPECCORE_LLM_KEY}"）
+            const { resolveEnvVars } = await Promise.resolve().then(() => __importStar(require('./unified-config')));
+            const envResult = resolveEnvVars(fileConfig);
+            fileConfig = envResult.value;
+            source = 'ask.json';
         }
         catch (e) {
             logger_1.logger.warn(`ask-config 读取失败，使用默认值: ${e.message}`);
@@ -79,6 +130,33 @@ async function loadAskConfig() {
     configLoadTime = now;
     return cachedConfig;
 }
+/**
+ * 将 .speccore.yml 的 ask 配置映射为 AskConfig（snake_case → camelCase）
+ */
+function mapUnifiedToAskConfig(ask) {
+    return {
+        routing: {
+            mode: ask.routing.mode,
+            highThreshold: ask.routing.high_threshold,
+            lowThreshold: ask.routing.low_threshold,
+            autoHostAi: ask.routing.auto_host_ai,
+            cacheEnabled: ask.routing.cache_enabled,
+            cacheMinHits: ask.routing.cache_min_hits,
+        },
+        rules: {
+            forceHostAi: ask.rules.force_host_ai,
+        },
+        llmProviders: ask.llm_providers.map((p) => ({
+            name: p.name,
+            enabled: p.enabled,
+            type: p.type,
+            endpoint: p.endpoint,
+            model: p.model,
+            apiKey: p.apiKey,
+            priority: p.priority,
+        })),
+    };
+}
 /**
  * 保存 Ask 引擎配置
  */