speccore 8.3.21 → 8.3.26

package/dist/core/arbitration/arbitration-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arbitration-engine.d.ts","sourceRoot":"","sources":["../../../src/core/arbitration/arbitration-engine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,OAAO,KAAK,EAAE,QAAQ,EAA2B,MAAM,kBAAkB,CAAC;AAC1E,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAElE,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,SAAS,GAAG,aAAa,CAAC;AAEjE,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,eAAe,CAAC;CACvB;AAED;;;GAGG;AACH,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,iBAAiB,CAAC,CAYvE;AAED,MAAM,WAAW,uBAAuB;IACtC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,EAAE,OAAO,CAAC;IACpB,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrB;AAED;;GAEG;AACH,wBAAsB,cAAc,CAClC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,eAAe,CAAA;CAAE,GACjG,OAAO,CAAC,uBAAuB,CAAC,CAwElC"}

package/dist/core/arbitration/arbitration-engine.js

@@ -0,0 +1,142 @@
+"use strict";
+/**
+ * arbitration-engine.ts — 裁决引擎主入口
+ *
+ * v8.3.24+: 契约冲突裁决模型核心引擎
+ * 按层级路由冲突到对应的裁决器
+ */
+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.getArbitrationConfig = getArbitrationConfig;
+exports.runArbitration = runArbitration;
+const conflict_detector_1 = require("./conflict-detector");
+const l1_auto_arbiter_1 = require("./l1-auto-arbiter");
+const l2_ai_arbiter_1 = require("./l2-ai-arbiter");
+const l3_human_arbiter_1 = require("./l3-human-arbiter");
+const verdict_generator_1 = require("./verdict-generator");
+/**
+ * 读取 arbitration 配置（从 .speccore.yml）
+ * 默认: enabled=true, mode='full'
+ */
+async function getArbitrationConfig() {
+    try {
+        const { loadConfig } = await Promise.resolve().then(() => __importStar(require('../unified-config')));
+        const config = await loadConfig();
+        return {
+            enabled: config.arbitration?.enabled ?? true,
+            mode: ['full', 'l1-only', 'report-only'].includes(config.arbitration?.mode)
+                ? config.arbitration.mode
+                : 'full',
+        };
+    }
+    catch { /* 静默失败 */ }
+    return { enabled: true, mode: 'full' };
+}
+/**
+ * 运行完整的契约冲突裁决流程
+ */
+async function runArbitration(taskId, codePath, taskDir, options) {
+    const mode = options?.mode || 'full';
+    // 1. 检测冲突
+    const detection = await (0, conflict_detector_1.detectConflicts)(taskId, codePath, taskDir, options);
+    // 2. 按层级分组裁决（根据 mode 调整行为）
+    const verdicts = [];
+    const resolvedConflicts = [];
+    const pendingL2 = [];
+    const pendingL3 = [];
+    for (const conflict of detection.conflicts) {
+        if (conflict.contractId.startsWith('L1-')) {
+            // L1 始终裁决（即使是 report-only，也至少标记状态）
+            const result = await (0, l1_auto_arbiter_1.arbitrateL1)(conflict);
+            verdicts.push(result.verdict);
+            resolvedConflicts.push(result.conflict);
+        }
+        else if (conflict.contractId.startsWith('L2-')) {
+            if (mode === 'report-only') {
+                // report-only: 不裁决，只保留在报告中
+                resolvedConflicts.push(conflict);
+            }
+            else {
+                const result = await (0, l2_ai_arbiter_1.arbitrateL2)(conflict);
+                resolvedConflicts.push(result.conflict);
+                if (result.needsHumanConfirm && mode !== 'l1-only') {
+                    pendingL2.push(result.conflict);
+                }
+            }
+        }
+        else if (conflict.contractId.startsWith('L3-')) {
+            if (mode === 'report-only') {
+                // report-only: 不裁决，只保留在报告中
+                resolvedConflicts.push(conflict);
+            }
+            else if (mode === 'l1-only') {
+                // l1-only: 只标记为报告，不进入 pending-review
+                resolvedConflicts.push(conflict);
+            }
+            else {
+                const result = await (0, l3_human_arbiter_1.initiateL3Arbitration)(conflict);
+                verdicts.push(result.verdict);
+                resolvedConflicts.push(result.conflict);
+                pendingL3.push(result.conflict);
+            }
+        }
+    }
+    // 3. 生成裁决书
+    const report = (0, verdict_generator_1.generateArbitrationReport)(taskId, detection, resolvedConflicts, verdicts);
+    // 4. 判断是否可以继续（根据 mode 调整）
+    // full: L1 fatal 阻断 + L3 pending 阻断 + L2 pending 阻断
+    // l1-only: 仅 L1 fatal 阻断，L2/L3 不阻塞
+    // report-only: 永不阻断，只出报告
+    const l1Fatal = detection.summary.fatal > 0;
+    const allPassed = mode === 'report-only'
+        ? true
+        : mode === 'l1-only'
+            ? !l1Fatal
+            : !l1Fatal && pendingL3.length === 0 && pendingL2.length === 0;
+    const canProceed = mode === 'report-only'
+        ? true
+        : mode === 'l1-only'
+            ? !l1Fatal
+            : !l1Fatal && pendingL3.length === 0;
+    return {
+        report,
+        allPassed,
+        canProceed,
+        pendingL2,
+        pendingL3,
+        verdicts,
+    };
+}
+//# sourceMappingURL=arbitration-engine.js.map

package/dist/core/arbitration/arbitration-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arbitration-engine.js","sourceRoot":"","sources":["../../../src/core/arbitration/arbitration-engine.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuBH,oDAYC;AAcD,wCA6EC;AA1HD,2DAAsD;AACtD,uDAAgD;AAChD,mDAA8C;AAC9C,yDAA2D;AAC3D,2DAAgE;AAWhE;;;GAGG;AACI,KAAK,UAAU,oBAAoB;IACxC,IAAI,CAAC;QACH,MAAM,EAAE,UAAU,EAAE,GAAG,wDAAa,mBAAmB,GAAC,CAAC;QACzD,MAAM,MAAM,GAAG,MAAM,UAAU,EAAE,CAAC;QAClC,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,WAAW,EAAE,OAAO,IAAI,IAAI;YAC5C,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;gBACzE,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,IAAuB;gBAC5C,CAAC,CAAC,MAAM;SACX,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;IACtB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACzC,CAAC;AAWD;;GAEG;AACI,KAAK,UAAU,cAAc,CAClC,MAAc,EACd,QAAgB,EAChB,OAAe,EACf,OAAkG;IAElG,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,IAAI,MAAM,CAAC;IAErC,UAAU;IACV,MAAM,SAAS,GAAG,MAAM,IAAA,mCAAe,EAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAE5E,2BAA2B;IAC3B,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,iBAAiB,GAAe,EAAE,CAAC;IACzC,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,MAAM,SAAS,GAAe,EAAE,CAAC;IAEjC,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QAC3C,IAAI,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,mCAAmC;YACnC,MAAM,MAAM,GAAG,MAAM,IAAA,6BAAW,EAAC,QAAQ,CAAC,CAAC;YAC3C,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9B,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;aAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC3B,2BAA2B;gBAC3B,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACnC,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,MAAM,IAAA,2BAAW,EAAC,QAAQ,CAAC,CAAC;gBAC3C,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACxC,IAAI,MAAM,CAAC,iBAAiB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACnD,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC3B,2BAA2B;gBAC3B,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACnC,CAAC;iBAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC9B,qCAAqC;gBACrC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACnC,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,MAAM,IAAA,wCAAqB,EAAC,QAAQ,CAAC,CAAC;gBACrD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC9B,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACxC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED,WAAW;IACX,MAAM,MAAM,GAAG,IAAA,6CAAyB,EAAC,MAAM,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,CAAC,CAAC;IAEzF,0BAA0B;IAC1B,oDAAoD;IACpD,mCAAmC;IACnC,yBAAyB;IACzB,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,IAAI,KAAK,aAAa;QACtC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,KAAK,SAAS;YAClB,CAAC,CAAC,CAAC,OAAO;YACV,CAAC,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,IAAI,KAAK,aAAa;QACvC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,KAAK,SAAS;YAClB,CAAC,CAAC,CAAC,OAAO;YACV,CAAC,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC;IAEzC,OAAO;QACL,MAAM;QACN,SAAS;QACT,UAAU;QACV,SAAS;QACT,SAAS;QACT,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/core/arbitration/conflict-detector.d.ts

@@ -0,0 +1,15 @@
+/**
+ * conflict-detector.ts — 冲突检测引擎
+ *
+ * v8.3.24+: 包装现有 verify-engine，将 CheckResult 转换为 Conflict
+ */
+import type { ConflictDetectionResult } from './conflict-types';
+/**
+ * 运行质量门禁并转换为冲突检测 result
+ */
+export declare function detectConflicts(taskId: string, codePath: string, taskDir: string, options?: {
+    timeout?: number;
+    withAgents?: boolean;
+    projectRoot?: string;
+}): Promise<ConflictDetectionResult>;
+//# sourceMappingURL=conflict-detector.d.ts.map

package/dist/core/arbitration/conflict-detector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflict-detector.d.ts","sourceRoot":"","sources":["../../../src/core/arbitration/conflict-detector.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,KAAK,EAAY,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAE1E;;GAEG;AACH,wBAAsB,eAAe,CACnC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GACzE,OAAO,CAAC,uBAAuB,CAAC,CA+DlC"}

package/dist/core/arbitration/conflict-detector.js

@@ -0,0 +1,78 @@
+"use strict";
+/**
+ * conflict-detector.ts — 冲突检测引擎
+ *
+ * v8.3.24+: 包装现有 verify-engine，将 CheckResult 转换为 Conflict
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.detectConflicts = detectConflicts;
+const verify_engine_1 = require("../verify-engine");
+const contract_registry_1 = require("./contract-registry");
+/**
+ * 运行质量门禁并转换为冲突检测 result
+ */
+async function detectConflicts(taskId, codePath, taskDir, options) {
+    const gateResult = await (0, verify_engine_1.runQualityGate)(taskId, codePath, taskDir, options);
+    const conflicts = [];
+    let L1 = 0, L2 = 0, L3 = 0;
+    let fatal = 0, critical = 0, warning = 0, info = 0;
+    for (const check of gateResult.report.checks) {
+        // pass / skip 不生成冲突
+        if (check.status === 'pass' || check.status === 'skip')
+            continue;
+        const contractId = (0, contract_registry_1.mapCheckNameToContractId)(check.name);
+        if (!contractId)
+            continue; // 未映射的检查项跳过
+        const contract = (0, contract_registry_1.getContractById)(contractId);
+        if (!contract)
+            continue;
+        const severity = check.status === 'fail' && check.blocking
+            ? 'fatal'
+            : check.status === 'fail'
+                ? 'critical'
+                : 'warning';
+        const conflict = {
+            id: `${contract.level}-${contractId.split('-')[1]}-${Date.now()}-${Math.random().toString(36).slice(2, 6)}`,
+            taskId,
+            contractId,
+            violation: {
+                contractId,
+                severity,
+                message: check.details,
+                evidence: check.output || check.details,
+                suggestedFix: undefined,
+            },
+            status: 'detected',
+            detectedAt: gateResult.report.timestamp,
+        };
+        conflicts.push(conflict);
+        if (contract.level === 'L1')
+            L1++;
+        else if (contract.level === 'L2')
+            L2++;
+        else if (contract.level === 'L3')
+            L3++;
+        if (severity === 'fatal')
+            fatal++;
+        else if (severity === 'critical')
+            critical++;
+        else if (severity === 'warning')
+            warning++;
+        else
+            info++;
+    }
+    return {
+        conflicts,
+        summary: {
+            total: conflicts.length,
+            L1,
+            L2,
+            L3,
+            fatal,
+            critical,
+            warning,
+            info,
+        },
+    };
+}
+//# sourceMappingURL=conflict-detector.js.map

package/dist/core/arbitration/conflict-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflict-detector.js","sourceRoot":"","sources":["../../../src/core/arbitration/conflict-detector.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;AASH,0CAoEC;AA3ED,oDAA0E;AAC1E,2DAAgF;AAGhF;;GAEG;AACI,KAAK,UAAU,eAAe,CACnC,MAAc,EACd,QAAgB,EAChB,OAAe,EACf,OAA0E;IAE1E,MAAM,UAAU,GAAG,MAAM,IAAA,8BAAc,EAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAE5E,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,EAAE,QAAQ,GAAG,CAAC,EAAE,OAAO,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;IAEnD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC7C,oBAAoB;QACpB,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;YAAE,SAAS;QAEjE,MAAM,UAAU,GAAG,IAAA,4CAAwB,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,CAAC,UAAU;YAAE,SAAS,CAAC,YAAY;QAEvC,MAAM,QAAQ,GAAG,IAAA,mCAAe,EAAC,UAAU,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,QAAQ;YACxD,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM;gBACvB,CAAC,CAAC,UAAU;gBACZ,CAAC,CAAC,SAAS,CAAC;QAEhB,MAAM,QAAQ,GAAa;YACzB,EAAE,EAAE,GAAG,QAAQ,CAAC,KAAK,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAC3G,MAAM;YACN,UAAU;YACV,SAAS,EAAE;gBACT,UAAU;gBACV,QAAQ;gBACR,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,QAAQ,EAAE,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO;gBACvC,YAAY,EAAE,SAAS;aACxB;YACD,MAAM,EAAE,UAAU;YAClB,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,SAAS;SACxC,CAAC;QAEF,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEzB,IAAI,QAAQ,CAAC,KAAK,KAAK,IAAI;YAAE,EAAE,EAAE,CAAC;aAC7B,IAAI,QAAQ,CAAC,KAAK,KAAK,IAAI;YAAE,EAAE,EAAE,CAAC;aAClC,IAAI,QAAQ,CAAC,KAAK,KAAK,IAAI;YAAE,EAAE,EAAE,CAAC;QAEvC,IAAI,QAAQ,KAAK,OAAO;YAAE,KAAK,EAAE,CAAC;aAC7B,IAAI,QAAQ,KAAK,UAAU;YAAE,QAAQ,EAAE,CAAC;aACxC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;;YACtC,IAAI,EAAE,CAAC;IACd,CAAC;IAED,OAAO;QACL,SAAS;QACT,OAAO,EAAE;YACP,KAAK,EAAE,SAAS,CAAC,MAAM;YACvB,EAAE;YACF,EAAE;YACF,EAAE;YACF,KAAK;YACL,QAAQ;YACR,OAAO;YACP,IAAI;SACL;KACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,34 @@
+/**
+ * conflict-types.ts — 冲突类型定义
+ *
+ * v8.3.24+: 契约冲突裁决模型核心类型
+ */
+import type { ContractViolation } from './contract-types';
+export type ConflictStatus = 'detected' | 'auto-fixing' | 'pending-fix' | 'pending-review' | 'resolved' | 'overridden' | 'escalated';
+export interface Conflict {
+    id: string;
+    taskId: string;
+    contractId: string;
+    violation: ContractViolation;
+    status: ConflictStatus;
+    detectedAt: string;
+    resolvedAt?: string;
+    resolvedBy?: 'machine' | 'ai' | 'human';
+    resolution?: string;
+    arbiter?: string;
+    parentConflictId?: string;
+}
+export interface ConflictDetectionResult {
+    conflicts: Conflict[];
+    summary: {
+        total: number;
+        L1: number;
+        L2: number;
+        L3: number;
+        fatal: number;
+        critical: number;
+        warning: number;
+        info: number;
+    };
+}
+//# sourceMappingURL=conflict-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"conflict-types.d.ts","sourceRoot":"","sources":["../../../src/core/arbitration/conflict-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAE1D,MAAM,MAAM,cAAc,GACtB,UAAU,GACV,aAAa,GACb,aAAa,GACb,gBAAgB,GAChB,UAAU,GACV,YAAY,GACZ,WAAW,CAAC;AAEhB,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,iBAAiB,CAAC;IAC7B,MAAM,EAAE,cAAc,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,SAAS,GAAG,IAAI,GAAG,OAAO,CAAC;IACxC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,OAAO,EAAE;QACP,KAAK,EAAE,MAAM,CAAC;QACd,EAAE,EAAE,MAAM,CAAC;QACX,EAAE,EAAE,MAAM,CAAC;QACX,EAAE,EAAE,MAAM,CAAC;QACX,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;CACH"}

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

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

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

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

package/dist/core/arbitration/contract-registry.d.ts

@@ -0,0 +1,15 @@
+/**
+ * contract-registry.ts — 契约注册表
+ *
+ * v8.3.24+: 定义所有 L1/L2/L3 契约规则，映射到现有检查项
+ */
+import type { Contract } from './contract-types';
+/** 按 ID 查找契约 */
+export declare function getContractById(id: string): Contract | undefined;
+/** 按层级获取契约列表 */
+export declare function getContractsByLevel(level: 'L1' | 'L2' | 'L3'): Contract[];
+/** 获取所有活跃契约 */
+export declare function getAllActiveContracts(): Contract[];
+/** CheckResult.name → Contract.id 映射 */
+export declare function mapCheckNameToContractId(checkName: string): string | undefined;
+//# sourceMappingURL=contract-registry.d.ts.map

package/dist/core/arbitration/contract-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-registry.d.ts","sourceRoot":"","sources":["../../../src/core/arbitration/contract-registry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAgJjD,gBAAgB;AAChB,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAEhE;AAED,gBAAgB;AAChB,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,QAAQ,EAAE,CAEzE;AAED,eAAe;AACf,wBAAgB,qBAAqB,IAAI,QAAQ,EAAE,CAElD;AAED,wCAAwC;AACxC,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAoB9E"}

package/dist/core/arbitration/contract-registry.js

@@ -0,0 +1,185 @@
+"use strict";
+/**
+ * contract-registry.ts — 契约注册表
+ *
+ * v8.3.24+: 定义所有 L1/L2/L3 契约规则，映射到现有检查项
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getContractById = getContractById;
+exports.getContractsByLevel = getContractsByLevel;
+exports.getAllActiveContracts = getAllActiveContracts;
+exports.mapCheckNameToContractId = mapCheckNameToContractId;
+const CONTRACTS = [
+    // ═══════════════════════════════════════════════════════════
+    // L1 机器契约
+    // ═══════════════════════════════════════════════════════════
+    {
+        id: 'L1-compile',
+        name: '编译通过',
+        level: 'L1',
+        description: '代码必须能通过编译，零错误',
+        priority: 100,
+        status: 'active',
+    },
+    {
+        id: 'L1-test',
+        name: '单元测试通过',
+        level: 'L1',
+        description: '所有单元测试必须通过',
+        priority: 90,
+        status: 'active',
+    },
+    {
+        id: 'L1-code-exist',
+        name: '代码文件存在',
+        level: 'L1',
+        description: 'src/ 目录下必须有实际代码文件',
+        priority: 80,
+        status: 'active',
+    },
+    // ═══════════════════════════════════════════════════════════
+    // L2 规范契约
+    // ═══════════════════════════════════════════════════════════
+    {
+        id: 'L2-lint',
+        name: 'Lint 合规',
+        level: 'L2',
+        description: '代码必须符合项目 Lint 规范',
+        priority: 70,
+        status: 'active',
+    },
+    {
+        id: 'L2-spec-consistency',
+        name: 'Spec 一致性',
+        level: 'L2',
+        description: '代码实现必须与 REQ.md 中的验收标准一致',
+        priority: 85,
+        status: 'active',
+    },
+    {
+        id: 'L2-api-contract',
+        name: 'API 契约合规',
+        level: 'L2',
+        description: '接口实现必须与 API_CONTRACT.yaml 一致',
+        priority: 80,
+        status: 'active',
+    },
+    {
+        id: 'L2-schema',
+        name: 'Schema 一致性',
+        level: 'L2',
+        description: '实体字段必须与 SCHEMA.md 一致',
+        priority: 75,
+        status: 'active',
+    },
+    {
+        id: 'L2-dev-guide',
+        name: 'DEV_GUIDE 合规',
+        level: 'L2',
+        description: '改造范围必须符合 DEV_GUIDE 要求',
+        priority: 70,
+        status: 'active',
+    },
+    {
+        id: 'L2-test-coverage',
+        name: '测试用例覆盖',
+        level: 'L2',
+        description: '必须有对应测试用例覆盖',
+        priority: 65,
+        status: 'active',
+    },
+    {
+        id: 'L2-review',
+        name: '评审项合规',
+        level: 'L2',
+        description: '必须满足 REVIEW.md 中的评审项',
+        priority: 60,
+        status: 'active',
+    },
+    {
+        id: 'L2-error-code',
+        name: '错误码一致性',
+        level: 'L2',
+        description: '错误码必须与 ERROR_CODES.md 一致',
+        priority: 55,
+        status: 'active',
+    },
+    {
+        id: 'L2-spec-doc-quality',
+        name: '规格文档质量',
+        level: 'L2',
+        description: 'REQ.md/TECH.md 必须有实质内容',
+        priority: 50,
+        status: 'active',
+    },
+    // ═══════════════════════════════════════════════════════════
+    // L3 架构契约
+    // ═══════════════════════════════════════════════════════════
+    {
+        id: 'L3-security',
+        name: '安全合规',
+        level: 'L3',
+        description: '代码不得存在安全漏洞（SQL注入、XSS等）',
+        priority: 95,
+        status: 'active',
+    },
+    {
+        id: 'L3-dependency',
+        name: '依赖完整性',
+        level: 'L3',
+        description: '依赖必须完整，无循环依赖',
+        priority: 70,
+        status: 'active',
+    },
+    {
+        id: 'L3-dep-graph',
+        name: '知识图谱依赖一致性',
+        level: 'L3',
+        description: '上游依赖接口必须已可用',
+        priority: 65,
+        status: 'active',
+    },
+    {
+        id: 'L3-deploy',
+        name: '部署清单检查',
+        level: 'L3',
+        description: '必须满足 DEPLOY.md 中的部署项',
+        priority: 50,
+        status: 'active',
+    },
+];
+/** 按 ID 查找契约 */
+function getContractById(id) {
+    return CONTRACTS.find((c) => c.id === id);
+}
+/** 按层级获取契约列表 */
+function getContractsByLevel(level) {
+    return CONTRACTS.filter((c) => c.level === level && c.status === 'active');
+}
+/** 获取所有活跃契约 */
+function getAllActiveContracts() {
+    return CONTRACTS.filter((c) => c.status === 'active');
+}
+/** CheckResult.name → Contract.id 映射 */
+function mapCheckNameToContractId(checkName) {
+    const mapping = {
+        '编译检查': 'L1-compile',
+        '单元测试': 'L1-test',
+        '代码文件检查': 'L1-code-exist',
+        'Lint 检查': 'L2-lint',
+        'Spec 一致性': 'L2-spec-consistency',
+        'API 契约合规': 'L2-api-contract',
+        'Schema 一致性': 'L2-schema',
+        'DEV_GUIDE 合规': 'L2-dev-guide',
+        '测试用例覆盖': 'L2-test-coverage',
+        '评审项合规': 'L2-review',
+        '错误码一致性': 'L2-error-code',
+        '规格文档质量': 'L2-spec-doc-quality',
+        '安全扫描': 'L3-security',
+        '依赖检查': 'L3-dependency',
+        '依赖一致性': 'L3-dep-graph',
+        '部署项检查': 'L3-deploy',
+    };
+    return mapping[checkName];
+}
+//# sourceMappingURL=contract-registry.js.map

package/dist/core/arbitration/contract-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-registry.js","sourceRoot":"","sources":["../../../src/core/arbitration/contract-registry.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;AAmJH,0CAEC;AAGD,kDAEC;AAGD,sDAEC;AAGD,4DAoBC;AAlLD,MAAM,SAAS,GAAe;IAC5B,8DAA8D;IAC9D,UAAU;IACV,8DAA8D;IAC9D;QACE,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,eAAe;QAC5B,QAAQ,EAAE,GAAG;QACb,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,YAAY;QACzB,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,mBAAmB;QAChC,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IAED,8DAA8D;IAC9D,UAAU;IACV,8DAA8D;IAC9D;QACE,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,kBAAkB;QAC/B,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,yBAAyB;QACtC,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,8BAA8B;QAC3C,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,sBAAsB;QACnC,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,cAAc;QACpB,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,uBAAuB;QACpC,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,aAAa;QAC1B,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,sBAAsB;QACnC,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,0BAA0B;QACvC,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,wBAAwB;QACrC,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IAED,8DAA8D;IAC9D,UAAU;IACV,8DAA8D;IAC9D;QACE,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,wBAAwB;QACrC,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,cAAc;QAC3B,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,aAAa;QAC1B,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;IACD;QACE,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,sBAAsB;QACnC,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,QAAQ;KACjB;CACF,CAAC;AAEF,gBAAgB;AAChB,SAAgB,eAAe,CAAC,EAAU;IACxC,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED,gBAAgB;AAChB,SAAgB,mBAAmB,CAAC,KAAyB;IAC3D,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;AAC7E,CAAC;AAED,eAAe;AACf,SAAgB,qBAAqB;IACnC,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;AACxD,CAAC;AAED,wCAAwC;AACxC,SAAgB,wBAAwB,CAAC,SAAiB;IACxD,MAAM,OAAO,GAA2B;QACtC,MAAM,EAAE,YAAY;QACpB,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,SAAS;QACpB,UAAU,EAAE,qBAAqB;QACjC,UAAU,EAAE,iBAAiB;QAC7B,YAAY,EAAE,WAAW;QACzB,cAAc,EAAE,cAAc;QAC9B,QAAQ,EAAE,kBAAkB;QAC5B,OAAO,EAAE,WAAW;QACpB,QAAQ,EAAE,eAAe;QACzB,QAAQ,EAAE,qBAAqB;QAC/B,MAAM,EAAE,aAAa;QACrB,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,cAAc;QACvB,OAAO,EAAE,WAAW;KACrB,CAAC;IACF,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC;AAC5B,CAAC"}

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

@@ -0,0 +1,33 @@
+/**
+ * contract-types.ts — 契约类型定义
+ *
+ * v8.3.24+: 契约冲突裁决模型核心类型
+ */
+export type ContractLevel = 'L1' | 'L2' | 'L3';
+export type ContractStatus = 'active' | 'disabled' | 'experimental';
+export interface Contract {
+    id: string;
+    name: string;
+    level: ContractLevel;
+    description: string;
+    priority: number;
+    status: ContractStatus;
+}
+export interface ContractViolation {
+    contractId: string;
+    severity: 'fatal' | 'critical' | 'warning' | 'info';
+    message: string;
+    location?: {
+        file: string;
+        line?: number;
+    };
+    evidence: string;
+    suggestedFix?: string;
+}
+export type CheckFunction = (codePath: string, taskDir: string, taskId: string) => Promise<ContractViolation[]>;
+export type AutoFixFunction = (violation: ContractViolation, codePath: string) => Promise<{
+    success: boolean;
+    appliedChanges?: string[];
+    error?: string;
+}>;
+//# sourceMappingURL=contract-types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract-types.d.ts","sourceRoot":"","sources":["../../../src/core/arbitration/contract-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,MAAM,MAAM,aAAa,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAE/C,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,UAAU,GAAG,cAAc,CAAC;AAEpE,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,aAAa,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,cAAc,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,OAAO,GAAG,UAAU,GAAG,SAAS,GAAG,MAAM,CAAC;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,aAAa,GAAG,CAC1B,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,KACX,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC;AAElC,MAAM,MAAM,eAAe,GAAG,CAC5B,SAAS,EAAE,iBAAiB,EAC5B,QAAQ,EAAE,MAAM,KACb,OAAO,CAAC;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC"}

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

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

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

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

package/dist/core/arbitration/index.d.ts

@@ -0,0 +1,16 @@
+/**
+ * arbitration/index.ts — 契约冲突裁决模块统一导出
+ *
+ * v8.3.24+: Barrel export for arbitration engine
+ */
+export * from './contract-types';
+export * from './conflict-types';
+export * from './verdict-types';
+export * from './contract-registry';
+export * from './conflict-detector';
+export * from './l1-auto-arbiter';
+export * from './l2-ai-arbiter';
+export * from './l3-human-arbiter';
+export * from './verdict-generator';
+export * from './arbitration-engine';
+//# sourceMappingURL=index.d.ts.map

package/dist/core/arbitration/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/arbitration/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC"}

package/dist/core/arbitration/index.js

@@ -0,0 +1,32 @@
+"use strict";
+/**
+ * arbitration/index.ts — 契约冲突裁决模块统一导出
+ *
+ * v8.3.24+: Barrel export for arbitration engine
+ */
+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 __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./contract-types"), exports);
+__exportStar(require("./conflict-types"), exports);
+__exportStar(require("./verdict-types"), exports);
+__exportStar(require("./contract-registry"), exports);
+__exportStar(require("./conflict-detector"), exports);
+__exportStar(require("./l1-auto-arbiter"), exports);
+__exportStar(require("./l2-ai-arbiter"), exports);
+__exportStar(require("./l3-human-arbiter"), exports);
+__exportStar(require("./verdict-generator"), exports);
+__exportStar(require("./arbitration-engine"), exports);
+//# sourceMappingURL=index.js.map

package/dist/core/arbitration/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/arbitration/index.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;;;;;;;;;;;;;;AAEH,mDAAiC;AACjC,mDAAiC;AACjC,kDAAgC;AAChC,sDAAoC;AACpC,sDAAoC;AACpC,oDAAkC;AAClC,kDAAgC;AAChC,qDAAmC;AACnC,sDAAoC;AACpC,uDAAqC"}

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

@@ -0,0 +1,19 @@
+/**
+ * l1-auto-arbiter.ts — L1 机器契约自动裁决器
+ *
+ * v8.3.24+: 全自动裁决，无需人工参与
+ */
+import type { Conflict } from './conflict-types';
+import type { Verdict } from './verdict-types';
+export interface L1ArbitrationResult {
+    verdict: Verdict;
+    conflict: Conflict;
+    passed: boolean;
+}
+/**
+ * L1 裁决：机器自动裁决
+ * 当前实现：L1 冲突（编译失败等）直接裁决为 reject，因为编译器已尝试修复
+ * 未来可扩展：集成 AI 自动修复循环
+ */
+export declare function arbitrateL1(conflict: Conflict): Promise<L1ArbitrationResult>;
+//# sourceMappingURL=l1-auto-arbiter.d.ts.map