@lqc123qwe/car-runtime 1.13.0 → 1.14.1

package/dist/sbom.json

@@ -1,7 +1,7 @@
 {
   "bomFormat": "CAR-SBOM",
   "specVersion": "0.1",
-  "version": "1.13.0",
+  "version": "1.14.1",
   "components": [
     {
       "type": "file",
@@ -11,7 +11,7 @@
     {
       "type": "file",
       "path": "src/cli.ts",
-      "sha256": "fc52749c25ac8534bed687e33ae4c32ecbaf221d11b38af3477191779b6b5b36"
+      "sha256": "950c904e6a5dc05ae130b997bf93bcd8ea6a00dfe10b8bc36796641298f8fafa"
     },
     {
       "type": "file",
@@ -56,13 +56,18 @@
     {
       "type": "file",
       "path": "src/load/config.ts",
-      "sha256": "60b0b2c4bd97a75f3c31e59fe4d1a44acbc0d2ca6167bd0394c2744d63a4d8e2"
+      "sha256": "2cb17ffa5da642ffdb17a2b067d10c421129534366bbe1f41687e1d8a5aeaab3"
     },
     {
       "type": "file",
       "path": "src/load/loader.ts",
       "sha256": "61302590522da92501e3927b2dc6551e86e8a8ef9e79db8b10865ba73e978246"
     },
+    {
+      "type": "file",
+      "path": "src/load/pool.ts",
+      "sha256": "e52909bcad4ba2270e62cb1f509abb6fd6e2e017e2f1b0ce8f326ade8d876ee3"
+    },
     {
       "type": "file",
       "path": "src/load/registry.ts",
@@ -101,7 +106,7 @@
     {
       "type": "file",
       "path": "src/loop/stop.ts",
-      "sha256": "d9290d51abf81211806c4491a65cfc9af5466a1dd8e32a497237f54a76f8c947"
+      "sha256": "e24206282b2821e4bde36352a988ec871de3d7d1c57bb3a4b30801c56b152734"
     },
     {
       "type": "file",
@@ -151,12 +156,12 @@
     {
       "type": "file",
       "path": "src/runtime-core/chatStep.ts",
-      "sha256": "7a0f455e352529ee7e97a3ed2b9b7b9032493baae7542396d6f8b186fb788ecb"
+      "sha256": "b4a4715b957a43513e7e645b8e64b1d1d2e99b52f64c619e9bc45f91364531d3"
     },
     {
       "type": "file",
       "path": "src/runtime-core/credentials.ts",
-      "sha256": "f59d8420e5066d915f688f594b447026b992fa70980600a500773e3a0de2d1b1"
+      "sha256": "0fc305cb00de100eb807e9a32f9c893fed0f33a89f1de9526d8e2e7e7711cddd"
     },
     {
       "type": "file",
@@ -166,7 +171,7 @@
     {
       "type": "file",
       "path": "src/runtime-core/llm.ts",
-      "sha256": "781b951a4e822c759fc7af0297679d4f000270162e3c3b1ff119c03e59e91cce"
+      "sha256": "3d203bae2ade0fdde8094e5a4b181fb759264d043eb020fde5b62ff4220cda1d"
     },
     {
       "type": "file",
@@ -191,7 +196,7 @@
     {
       "type": "file",
       "path": "src/runtime-core/types.ts",
-      "sha256": "f828cc38072b36ba47d8a4f24337277fe5e5867fa0292a24696c9f845f204571"
+      "sha256": "15229f894f8432ce29e8c1b3dcefded54a1e1220e0c6da93c5f24a68213147df"
     },
     {
       "type": "file",
@@ -201,7 +206,7 @@
     {
       "type": "file",
       "path": "src/seam.ts",
-      "sha256": "835acb31893bbfa99d2dbab8fea9a0598608b493c00b8b77094e9d0a14812f83"
+      "sha256": "0a4a231c9ab3ad5898a9a22fd9e53e17a8261d3d4057940b7d2148325573006c"
     },
     {
       "type": "file",
@@ -213,6 +218,11 @@
       "path": "src/security/secrets.ts",
       "sha256": "9c9c95c9c9d5cc7b9c31b5aada49e556417882ade56df40d90967c900a209a06"
     },
+    {
+      "type": "file",
+      "path": "src/session/compact.ts",
+      "sha256": "e79bb07f389f0797cbd12ed44f2e0f3e277b179b6b3b2fc698edd4698925aedf"
+    },
     {
       "type": "file",
       "path": "src/session/export.ts",
@@ -236,7 +246,7 @@
     {
       "type": "file",
       "path": "src/session/log.ts",
-      "sha256": "aa8c7b8d9cff690dfe7c6429399d9d2bd656f1ff1c07154715e4dc5d07946c9d"
+      "sha256": "9295cf0c8a7452324a0661e1d6fd2872f6289c614c8f50596e82713f35988fdb"
     },
     {
       "type": "file",
@@ -251,12 +261,12 @@
     {
       "type": "file",
       "path": "package.json",
-      "sha256": "0e011fa0b4c3f5eab169670cc185b2d4a2cdfa8d1523d9a8c4467192d659ed3c"
+      "sha256": "b637e74c6e9d878a3b53ba2481a15b1c3f735bf9341e9e29724c53708b35a6f1"
     },
     {
       "type": "file",
       "path": "README.md",
-      "sha256": "37b32001af9f114bfbcee1a9f34b09a293fb76b1ef70a05ad7a21f95f6386c37"
+      "sha256": "d2e3490a5a0ef970884c038e4a385853fa8b293b85d7a65c1da5ef8edaa2a631"
     }
   ],
   "runtimeDependencies": []

package/dist/seam.d.ts

@@ -17,6 +17,15 @@
  *   只读载入面；载入/校验单一权威在内核，桌面禁自实现哈希重算）+ K-S3-3 exportForensicsBundle/verifyBundle 出面
  *   （取证包导出 + 读回重验；断链即中止语义随本面）。恢复面 K-S3-2 零登记确认：SessionLog.fromEvents 自 M5 DEC-4
  *   起已随本面可达（fork.ts 生产调用点），S2 D-S2-6 前提修正登记（S3 执行期发现）。
+ * 加法登记：1.14.0 —— PluginManager 装载报告面（K-S4-1 / D-43）：loadPlugins 出面（六阶段流水线
+ *   discover/verify/parse/validate/topo/register——LoadReportVO 结构化 VO，verify/topo 真值取代 v0.1 桌面
+ *   mountPlugin 组合呈现的 SKIPPED 标注）+ ReloadManager 出面（热重载 epoch 击穿 + invalidate 语义随本面）+
+ *   verifyPluginFile 出面（签名校验挂载点——宿主自有装载路径可复用同一签名门；minisign 轨唯一实装，sigstore
+ *   主轨维持 verifier 骨架期预留——D-43 裁决：登记 strict 期限不引入 sigstore 依赖，engines 硬不兼容见评估报告）。
+ * 加法登记：1.14.1 —— B2 前置补出面（1.14 消费面完成）：K-MP-2 压缩行为 API（shouldCompact/applyCompaction
+ *   + CompactionConfig——自动挂载点在宿主装配层〔runTurn 之间〕，立即压缩 API 独立可用，append-only 红线随本面）
+ *   + K-POOL-1 池装配行为 API（assembleModelPool/probePoolMember + PoolMember/RoutingDecision 类型——
+ *   桌面模型池设置 UI 与 doctor 池健康行消费面；routing/decide 落链由宿主接线 onDecide）。
  */
 export { SessionLog, loadSessionLog, deriveSessionId, type SessionEvent, type EventKind, type Actor } from './session/log.ts';
 export { SessionFileStore } from './session/store.ts';
@@ -40,3 +49,7 @@ export { renderSdkFromRegistry } from './ptc/sdk.ts';
 export type { McpClientSpanHandle, PtcRelayHandle } from './runtime-core/trace.ts';
 export { redact, type RedactionResult } from './runtime-core/redaction.ts';
 export { exportForensicsBundle, verifyBundle, type ForensicsBundle, type ExportMeta } from './session/export.ts';
+export { loadPlugins, ReloadManager, type LoadReportVO, type LoadPluginsResult, type LoadPluginsOptions, type LoadStage, type StageStatus, type PeerConflictChain } from './load/report.ts';
+export { verifyPluginFile, type SignatureGateOptions, type SigGateResult } from './load/sigGate.ts';
+export { shouldCompact, applyCompaction, type CompactionConfig } from './session/compact.ts';
+export { assembleModelPool, probePoolMember, type PoolMember, type PoolMemberHealth, type RoutingDecision, type RoutingAttempt } from './load/pool.ts';

package/dist/seam.js

@@ -17,6 +17,15 @@
  *   只读载入面；载入/校验单一权威在内核，桌面禁自实现哈希重算）+ K-S3-3 exportForensicsBundle/verifyBundle 出面
  *   （取证包导出 + 读回重验；断链即中止语义随本面）。恢复面 K-S3-2 零登记确认：SessionLog.fromEvents 自 M5 DEC-4
  *   起已随本面可达（fork.ts 生产调用点），S2 D-S2-6 前提修正登记（S3 执行期发现）。
+ * 加法登记：1.14.0 —— PluginManager 装载报告面（K-S4-1 / D-43）：loadPlugins 出面（六阶段流水线
+ *   discover/verify/parse/validate/topo/register——LoadReportVO 结构化 VO，verify/topo 真值取代 v0.1 桌面
+ *   mountPlugin 组合呈现的 SKIPPED 标注）+ ReloadManager 出面（热重载 epoch 击穿 + invalidate 语义随本面）+
+ *   verifyPluginFile 出面（签名校验挂载点——宿主自有装载路径可复用同一签名门；minisign 轨唯一实装，sigstore
+ *   主轨维持 verifier 骨架期预留——D-43 裁决：登记 strict 期限不引入 sigstore 依赖，engines 硬不兼容见评估报告）。
+ * 加法登记：1.14.1 —— B2 前置补出面（1.14 消费面完成）：K-MP-2 压缩行为 API（shouldCompact/applyCompaction
+ *   + CompactionConfig——自动挂载点在宿主装配层〔runTurn 之间〕，立即压缩 API 独立可用，append-only 红线随本面）
+ *   + K-POOL-1 池装配行为 API（assembleModelPool/probePoolMember + PoolMember/RoutingDecision 类型——
+ *   桌面模型池设置 UI 与 doctor 池健康行消费面；routing/decide 落链由宿主接线 onDecide）。
  */
 export { SessionLog, loadSessionLog, deriveSessionId } from './session/log.js';
 export { SessionFileStore } from './session/store.js';
@@ -40,3 +49,9 @@ export { renderSdkFromRegistry } from './ptc/sdk.js';
 // —— 1.13.0：桌面 S3 治理面（文件安全/审计/取证）——
 export { redact } from './runtime-core/redaction.js';
 export { exportForensicsBundle, verifyBundle } from './session/export.js';
+// —— 1.14.0（K-S4-1 / D-43）：PluginManager 装载报告面 + 签名校验挂载点 ——
+export { loadPlugins, ReloadManager } from './load/report.js';
+export { verifyPluginFile } from './load/sigGate.js';
+// —— 1.14.1（B2 前置补出面）：K-MP-2 压缩行为 API + K-POOL-1 池装配行为 API（1.14 消费面完成）——
+export { shouldCompact, applyCompaction } from './session/compact.js';
+export { assembleModelPool, probePoolMember } from './load/pool.js';

package/dist/session/compact.d.ts

@@ -0,0 +1,57 @@
+/**
+ * 1.14-S2 · 历史压缩面（K-MP-2 / D-40）——策略器 + 执行器 + 确定性摘要
+ *
+ * 口径（红线先立后码）：
+ *  - **append-only 红线**：压缩 = 追加一条 'compact' 事件（payload 携带摘要 + 折叠前缀边界
+ *    compactedUpTo），**不改写 / 不删除任何已落链事件**——SessionLog 无 update/delete API，
+ *    压缩只走 append；node:test 断言压缩前后 verifyChain() 均 null 且旧事件逐字节不变；
+ *  - **投影语义**：compact 只影响其后请求的投影（deriveMessages last-wins），压缩前快照
+ *    （atSeq ≤ compact.seq）投影仍为全量形态——N1 不变量（Model-visible means logged）
+ *    逐快照自洽，无需豁免；
+ *  - **保护段**：首个 system 事件（会话级提示）+ 最近 N turn（protectLastTurns，缺省 4）
+ *    不进折叠区间；中途 system 事件按普通事件折叠（内容保留进摘要，信息不丢——D-40 执行期细化）；
+ *  - **工具对完整性（toolPairIntegrity）**：折叠边界若落在 toolCall↔toolResult 配对中间
+ *    （call 在区间内、result 在保护段）→ 边界回退到该 toolCall（成对整体移出），循环至不动点；
+ *  - **fail-visible**：无可压缩区间（全部在保护段 / 已压缩过）→ CAR-E-COMPACT-NORANGE 显式报错，
+ *    禁静默成功；摘要生成产物非非空字符串 → CAR-E-COMPACT-SUMMARY 显式报错；
+ *  - **零新依赖**：摘要缺省为确定性生成器（轮次意图 + 工具调用统计 + 收口状态——事实拼装，
+ *    禁估算）；宿主可注入 LLM 摘要（summarize 缝——内核不依赖 LLM 做压缩）；
+ *  - **触发面**：shouldCompact 判定（thresholdEvents 事实计数，非 token 估算）+ applyCompaction
+ *    立即 API；自动挂载点在宿主装配层（runTurn 之间调用，内核不改 runTurn 语义）。
+ */
+import type { SessionEvent, SessionLog } from './log.ts';
+export interface CompactionConfig {
+    /** 缺省 false = 行为零变化（1.13 兼容线） */
+    enabled?: boolean;
+    /** 距上次压缩以来的新增事件数阈值（事实计数，非 token 估算）；缺省 200 */
+    thresholdEvents?: number;
+    /** 保护最近 N 个 turn 不折叠；缺省 4 */
+    protectLastTurns?: number;
+}
+export interface CompactionPlan {
+    /** 折叠前缀边界 [0, compactedUpTo)——compact 事件 payload 原样携带 */
+    compactedUpTo: number;
+    /** 折叠区间覆盖的 turn 数（去重） */
+    compactedTurns: number;
+    /** 折叠区间事件引用（供摘要生成；只读） */
+    events: readonly SessionEvent[];
+}
+/** shouldCompact：距上次压缩的新增事件数 ≥ thresholdEvents（enabled 缺省关 = 零变化） */
+export declare function shouldCompact(log: SessionLog, cfg: CompactionConfig | undefined): boolean;
+/**
+ * planCompaction：计算折叠区间（纯函数，不落链）。
+ * 保护段 = 首个 system 事件 + 最近 protectLastTurns 个 turn（按 turnId 首次出现序）；
+ * 边界回退保证 toolCall↔toolResult 成对（toolPairIntegrity）；无可压缩区间显式报错。
+ */
+export declare function planCompaction(log: SessionLog, protectLastTurns?: number): CompactionPlan;
+/** 确定性摘要（缺省生成器）：事实拼装（轮次意图 + 工具统计 + 收口状态），禁估算禁 LLM 依赖 */
+export declare function defaultSummarizer(events: readonly SessionEvent[]): string;
+/**
+ * applyCompaction：执行压缩（唯一落链动作 = append 一条 'compact' 事件——原事件链不改写）。
+ * summarize 缝：宿主可注入 LLM 摘要（返回非空字符串；缺省确定性生成器）。
+ */
+export declare function applyCompaction(log: SessionLog, opts?: {
+    protectLastTurns?: number;
+    turnId?: string;
+    summarize?: (events: readonly SessionEvent[]) => string;
+}): SessionEvent;

package/dist/session/compact.js

@@ -0,0 +1,128 @@
+/** 上次压缩边界（无 compact 事件 = 0）——重复压缩不越界（幂等区间的下界） */
+function lastCompactedUpTo(log) {
+    let last = 0;
+    for (const e of log.events) {
+        if (e.kind !== 'compact')
+            continue;
+        const p = (e.payload ?? {});
+        if (typeof p.compactedUpTo === 'number' && p.compactedUpTo > last)
+            last = p.compactedUpTo;
+    }
+    return last;
+}
+/** shouldCompact：距上次压缩的新增事件数 ≥ thresholdEvents（enabled 缺省关 = 零变化） */
+export function shouldCompact(log, cfg) {
+    if (!cfg || cfg.enabled !== true)
+        return false;
+    const threshold = cfg.thresholdEvents ?? 200;
+    return log.events.length - lastCompactedUpTo(log) >= threshold;
+}
+/**
+ * planCompaction：计算折叠区间（纯函数，不落链）。
+ * 保护段 = 首个 system 事件 + 最近 protectLastTurns 个 turn（按 turnId 首次出现序）；
+ * 边界回退保证 toolCall↔toolResult 成对（toolPairIntegrity）；无可压缩区间显式报错。
+ */
+export function planCompaction(log, protectLastTurns = 4) {
+    const events = log.events;
+    const floor = lastCompactedUpTo(log); // 上界不越过上次压缩边界（幂等）
+    // 保护起点候选：最近 N 个 turn 的首事件 seq
+    const turnFirst = new Map();
+    for (const e of events) {
+        if (e.turnId === 'compaction')
+            continue; // 压缩事件自身不构成 turn
+        if (!turnFirst.has(e.turnId))
+            turnFirst.set(e.turnId, e.seq);
+    }
+    const recentTurns = [...turnFirst.entries()].slice(-protectLastTurns);
+    let protectStart = recentTurns.length ? Math.min(...recentTurns.map(([, seq]) => seq)) : events.length;
+    // 统一规则：折叠区间 = [lowerBound, protectStart)，lowerBound = max(上次压缩边界, 首个 system.seq + 1)
+    // ——首个 system（会话级提示）恒不被折叠；floor 已含它时（上次压缩边界在其后）不受限
+    const firstSystem = events.find(e => e.kind === 'system');
+    const lowerBound = firstSystem ? Math.max(floor, firstSystem.seq + 1) : floor;
+    if (protectStart <= lowerBound) {
+        throw new Error(`CAR-E-COMPACT-NORANGE: 无可压缩区间（保护段 = 首个 system + 最近 ${protectLastTurns} turn，上次压缩边界 = ${floor}）——禁静默成功`);
+    }
+    // toolPairIntegrity：边界落在配对中间 → 回退到 toolCall（成对整体移出），循环至不动点
+    for (let guard = 0; guard < 1000; guard++) {
+        const callIds = new Map(); // id → call seq（区间内）
+        for (let i = lowerBound; i < protectStart; i++) {
+            const e = events[i];
+            if (e.kind === 'toolCall') {
+                const id = e.payload?.id;
+                if (typeof id === 'string')
+                    callIds.set(id, e.seq);
+            }
+        }
+        let earliestCallSeq;
+        for (let i = protectStart; i < events.length; i++) {
+            const e = events[i];
+            if (e.kind !== 'toolResult')
+                continue;
+            const id = e.payload?.id;
+            if (typeof id === 'string' && callIds.has(id)) {
+                const callSeq = callIds.get(id);
+                if (earliestCallSeq === undefined || callSeq < earliestCallSeq)
+                    earliestCallSeq = callSeq;
+            }
+        }
+        if (earliestCallSeq === undefined)
+            break; // 无破裂配对——边界成立
+        protectStart = earliestCallSeq; // 成对整体移出
+        if (protectStart <= lowerBound) {
+            throw new Error(`CAR-E-COMPACT-NORANGE: 工具对回退后无区间（toolCall↔toolResult 成对完整性不可满足）——禁静默成功`);
+        }
+    }
+    const compacted = events.slice(lowerBound, protectStart);
+    const turns = new Set(compacted.map(e => e.turnId));
+    return { compactedUpTo: protectStart, compactedTurns: turns.size, events: compacted };
+}
+/** 确定性摘要（缺省生成器）：事实拼装（轮次意图 + 工具统计 + 收口状态），禁估算禁 LLM 依赖 */
+export function defaultSummarizer(events) {
+    const cut = (v, n) => {
+        const s = typeof v === 'string' ? v : JSON.stringify(v);
+        return s.length > n ? s.slice(0, n) + '…' : s;
+    };
+    const lines = [`[会话压缩摘要] 折叠事件 ${events.length} 条（${events[0]?.seq ?? 0}–${events.at(-1)?.seq ?? 0}）：`];
+    const toolCounts = new Map();
+    const endReasons = new Map();
+    for (const e of events) {
+        if (e.kind === 'user')
+            lines.push(`- [${e.turnId}] 用户：${cut(e.payload, 200)}`);
+        else if (e.kind === 'assistant' && typeof e.payload === 'string' && e.payload.trim())
+            lines.push(`- [${e.turnId}] 助手：${cut(e.payload, 160)}`);
+        else if (e.kind === 'toolCall') {
+            const p = e.payload;
+            const name = typeof p?.tool === 'string' ? p.tool : '?';
+            toolCounts.set(name, (toolCounts.get(name) ?? 0) + 1);
+        }
+        else if (e.kind === 'turnEnd') {
+            const r = e.meta?.reason;
+            const key = typeof r === 'string' ? r : 'unknown';
+            endReasons.set(key, (endReasons.get(key) ?? 0) + 1);
+        }
+    }
+    if (toolCounts.size) {
+        lines.push(`工具调用：${[...toolCounts.entries()].map(([t, n]) => `${t} ×${n}`).join('、')}`);
+    }
+    if (endReasons.size) {
+        lines.push(`turn 收口：${[...endReasons.entries()].map(([r, n]) => `${r} ×${n}`).join('、')}`);
+    }
+    return lines.join('\n');
+}
+/**
+ * applyCompaction：执行压缩（唯一落链动作 = append 一条 'compact' 事件——原事件链不改写）。
+ * summarize 缝：宿主可注入 LLM 摘要（返回非空字符串；缺省确定性生成器）。
+ */
+export function applyCompaction(log, opts = {}) {
+    const plan = planCompaction(log, opts.protectLastTurns ?? 4);
+    const summary = opts.summarize ? opts.summarize(plan.events) : defaultSummarizer(plan.events);
+    if (typeof summary !== 'string' || !summary.trim().length) {
+        throw new Error(`CAR-E-COMPACT-SUMMARY: 摘要生成产物为空（fail-visible，禁静默折叠空摘要）`);
+    }
+    return log.append('runtime', 'compact', opts.turnId ?? 'compaction', {
+        summary,
+        compactedUpTo: plan.compactedUpTo,
+        compactedTurns: plan.compactedTurns,
+        compactedEvents: plan.events.length,
+    });
+}

package/dist/session/log.d.ts

@@ -1,4 +1,4 @@
-export type EventKind = 'user' | 'assistant' | 'toolCall' | 'toolResult' | 'turnEnd' | 'goalUpdate' | 'hostRaw' | 'fork' | 'system' | 'usage';
+export type EventKind = 'user' | 'assistant' | 'toolCall' | 'toolResult' | 'turnEnd' | 'goalUpdate' | 'hostRaw' | 'fork' | 'system' | 'usage' | 'compact' | 'routing';
 export type Actor = 'user' | 'model' | 'plugin' | 'runtime';
 export interface SessionEvent {
     seq: number;
@@ -41,6 +41,10 @@ export declare class SessionLog {
      * 模型可见流只保留最终结果（真实 provider 对重复 tool_call_id/tool_use_id 拒绝或未定义，
      * 1.4 观察项经真实适配器落地升级为缺陷面）。id 缺席不收敛（hostRaw/无 id 载荷形态不变，
      * golden ④ 投影语义兼容）；授权拒绝单条即唯一结果原样保留。适配器侧零改动（消费已收敛上游）。
+     * 1.14-S2（K-MP-2 / D-40）：compact 事件投影——scoped 内最后一条 compact 生效（last-wins），
+     * 其 compactedUpTo 前缀折叠为单条 system 摘要（事件原文不改写，仅投影层折叠）；compact 之前的
+     * 请求快照（atSeq ≤ compact.seq）不含 compact 事件 → 投影仍为全量形态（N1 不变量自洽——
+     * 「请求时发出 = 日志前缀投影」逐快照成立）；无 compact 事件的日志投影与 1.13 逐字节一致。
      */
     deriveMessages(upTo?: number): Array<{
         role: string;

package/dist/session/log.js

@@ -64,11 +64,29 @@ export class SessionLog {
      * 模型可见流只保留最终结果（真实 provider 对重复 tool_call_id/tool_use_id 拒绝或未定义，
      * 1.4 观察项经真实适配器落地升级为缺陷面）。id 缺席不收敛（hostRaw/无 id 载荷形态不变，
      * golden ④ 投影语义兼容）；授权拒绝单条即唯一结果原样保留。适配器侧零改动（消费已收敛上游）。
+     * 1.14-S2（K-MP-2 / D-40）：compact 事件投影——scoped 内最后一条 compact 生效（last-wins），
+     * 其 compactedUpTo 前缀折叠为单条 system 摘要（事件原文不改写，仅投影层折叠）；compact 之前的
+     * 请求快照（atSeq ≤ compact.seq）不含 compact 事件 → 投影仍为全量形态（N1 不变量自洽——
+     * 「请求时发出 = 日志前缀投影」逐快照成立）；无 compact 事件的日志投影与 1.13 逐字节一致。
      */
     deriveMessages(upTo) {
         const scoped = upTo !== undefined ? this.events.slice(0, upTo) : this.events;
-        const lastSeqById = new Map();
+        let compactEvent;
         for (const e of scoped) {
+            if (e.kind === 'compact')
+                compactEvent = e;
+        } // last-wins
+        let compactedUpTo;
+        if (compactEvent) {
+            const cp = (compactEvent.payload ?? {});
+            if (typeof cp.summary !== 'string' || !cp.summary.length || typeof cp.compactedUpTo !== 'number') {
+                throw new Error(`CAR-E-COMPACT-PAYLOAD: compact 事件 seq=${compactEvent.seq} 缺有效 summary/compactedUpTo（投影拒绝——fail-visible）`);
+            }
+            compactedUpTo = cp.compactedUpTo; // 折叠边界 = payload 声明的前缀边界（非 compact 事件自身 seq）
+        }
+        const projected = compactedUpTo !== undefined ? scoped.filter(e => e.seq >= compactedUpTo) : scoped;
+        const lastSeqById = new Map();
+        for (const e of projected) {
             if (e.kind !== 'toolResult')
                 continue;
             const id = e.payload?.id;
@@ -76,7 +94,9 @@ export class SessionLog {
                 lastSeqById.set(id, e.seq);
         }
         const out = [];
-        for (const e of scoped) {
+        if (compactEvent)
+            out.push({ role: 'system', content: (compactEvent.payload.summary) });
+        for (const e of projected) {
             if (e.kind === 'system')
                 out.push({ role: 'system', content: e.payload });
             else if (e.kind === 'user')

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lqc123qwe/car-runtime",
-  "version": "1.13.0",
+  "version": "1.14.1",
   "description": "Composable Agent Runtime (CAR) - microkernel plugin system with sandboxed PTC, append-only hashed session log, and MCP host bridge",
   "license": "MIT",
   "type": "module",

package/src/cli.ts

@@ -25,6 +25,7 @@ import { Context } from './kernel/context.ts'
 import { mountPlugin } from './load/loader.ts'
 import { verifyPluginFile } from './load/sigGate.ts'
 import { loadCarConfig, mergeSignatureGate, mergeLlmConfig, warmCarConfig } from './load/config.ts'
+import { assembleModelPool } from './load/pool.ts'
 import { generateSigningKeypair, signPluginFile, resolveTrustRoot } from './load/sign.ts'
 import { doctorCredentials, doctorConnectivity, doctorKeychain, doctorSignature, doctorModelReadiness } from './dx/doctor.ts'
 import { RuntimeCore, createOpenAICompatAdapter, createAnthropicAdapter } from './runtime-core/llm.ts'
@@ -64,8 +65,9 @@ const HELP = `用法: car <command> [args]
 CAR_UNSIGNED_ALLOW=1 显式声明豁免（warn 缺签路径计数 confirmed=yes，横幅保留）
 配置文件通道（1.5 起双载体）：cwd car.config.ts（export default {…}；发现序 ts > json）或
 car.config.json 或 --config <path>；键位 sandbox.unsigned.allow / sandbox.sig.enforce /
-sandbox.sig.trustRoot / llm.* / mcp.servers.*（stdio: command/args/env；远程: url/headers，
-\${ENV_VAR} 引用注入凭据）；优先级 flag > env > 配置 > 缺省；未知键 fail-visible`
+sandbox.sig.trustRoot / llm.* / llm.modelPool.*（多端点 fallback：endpoints id/baseUrl/model/
+adapterId/keyEnv/priority/weight/maxTokens + probe + maxAttempts；路由决策落链）/ mcp.servers.*
+（stdio: command/args/env；远程: url/headers，\${ENV_VAR} 引用注入凭据）；优先级 flag > env > 配置 > 缺省；未知键 fail-visible`
 
 // 进程内热重载会话（ReloadManager 持有 epoch 与实例注册表；同进程连续 reload 语义完整）
 let reloadMgrPromise: Promise<import('./load/report.ts').ReloadManager> | undefined
@@ -193,27 +195,55 @@ async function main(): Promise<number> {
           ...(mtFlag !== undefined ? { maxTokens: Number(mtFlag) } : {}),
         })
         const prompt = flagValue(rest, '--prompt')
-        if (!llm.baseUrl || !llm.model || prompt === undefined) {
-          console.error('CAR-E-LLM-CONFIG: 真实模型路径需要 baseUrl + model + --prompt——')
-          console.error('  配置：car.config.ts（export default）或 car.config.json {"llm":{"baseUrl":"https://…","model":"…"}} / env CAR_LLM_BASE_URL+CAR_LLM_MODEL / flag --base-url --model --prompt')
-          console.error('  anthropic：llm.adapterId "anthropic"（或 --adapter-id anthropic）+ baseUrl https://api.anthropic.com；凭据 ANTHROPIC_API_KEY')
-          console.error('  凭据：OPENAI_API_KEY / ANTHROPIC_API_KEY（env fallback 需 CAR_ALLOW_ENV_CREDENTIALS=1 或 llm.allowEnvFallback）或 keychain；诊断：car doctor')
+        if (prompt === undefined) {
+          console.error('CAR-E-LLM-CONFIG: 真实模型路径需要 --prompt——')
           console.error('  （无模型演示流：--demo）')
           return 2
         }
-        const modelName = llm.model
+        // 1.14-S4（K-POOL-1 / D-42）：modelPool 登记时池装配压过 llm.baseUrl/model/adapterId（每次路由决策落链可解释）
+        const poolCfg = cfgLlm.config.modelPool ?? null
+        const cfgBaseUrl = llm.baseUrl
+        const cfgModel = llm.model
+        let modelName = cfgModel ?? ''
         const credService = new CredentialService()
         const core = new RuntimeCore(credService)
         core.bindContext(ctx)
         // 适配器经根作用域 effect 可逆注册（bindContext 必须先于 register——否则走非可逆直注册分支）；
-        // 1.5-S1（D-20）：adapterId='anthropic' → anthropic 适配器（Messages API）；缺省 openai-compat 不变
-        core.registerLlmAdapter(llm.adapterId === 'anthropic'
-          ? createAnthropicAdapter({ baseUrl: llm.baseUrl, credentials: credService, provider: 'anthropic' })
-          : createOpenAICompatAdapter({
-              baseUrl: llm.baseUrl,
-              credentials: credService,
-              provider: 'openai-compat',
-            }), { default: true })
+        // 1.5-S1（D-20）：adapterId='anthropic' → anthropic 适配器（Messages API）；缺省 openai-compat 不变；
+        // 1.14-S4（K-POOL-1 / D-42）：modelPool 登记时池装配压过单端点（onDecide → routing/decide 落链）
+        if (poolCfg) {
+          const assembly = assembleModelPool({
+            pool: poolCfg,
+            credentials: credService,
+            onDecide: d => log.append('runtime', 'routing', d.turnId ?? 'T0', {
+              type: 'decide',
+              selected: d.selected,
+              reason: d.reason,
+              retries: d.retries,
+              attempts: d.attempts,
+            }),
+          })
+          core.registerLlmAdapter(assembly.adapter, { default: true })
+          // chatStep model 形参 = 首位候选（池内逐成员改写 req.model——usage 按成员模型落账）
+          modelName = assembly.members[0]!.model
+          console.log(`[pool] ${assembly.members.length} 端点入池（候选序：${assembly.members.map(m => m.id).join(' → ')}）`)
+        } else {
+          if (!cfgBaseUrl || !cfgModel) {
+            console.error('CAR-E-LLM-CONFIG: 真实模型路径需要 baseUrl + model——')
+            console.error('  配置：car.config.ts（export default）或 car.config.json {"llm":{"baseUrl":"https://…","model":"…"}} / env CAR_LLM_BASE_URL+CAR_LLM_MODEL / flag --base-url --model')
+            console.error('  anthropic：llm.adapterId "anthropic"（或 --adapter-id anthropic）+ baseUrl https://api.anthropic.com；凭据 ANTHROPIC_API_KEY')
+            console.error('  模型池：llm.modelPool.endpoints（多端点 fallback + health 预检；凭据 keyEnv 引用；路由决策落链）')
+            console.error('  凭据：OPENAI_API_KEY / ANTHROPIC_API_KEY（env fallback 需 CAR_ALLOW_ENV_CREDENTIALS=1 或 llm.allowEnvFallback）或 keychain；诊断：car doctor')
+            return 2
+          }
+          core.registerLlmAdapter(llm.adapterId === 'anthropic'
+            ? createAnthropicAdapter({ baseUrl: cfgBaseUrl, credentials: credService, provider: 'anthropic' })
+            : createOpenAICompatAdapter({
+                baseUrl: cfgBaseUrl,
+                credentials: credService,
+                provider: 'openai-compat',
+              }), { default: true })
+        }
         // MCP 工具进 turn（D-18）：--mcp <serverId>（可重复；server 启动规格在 car.config.json mcp.servers 登记）
         const mcpIds: string[] = []
         // 1.8-D29：活跃 turn span 句柄（startTurn 后赋值——MCP 工具闭包运行期取 client span 挂链面）
@@ -302,7 +332,8 @@ async function main(): Promise<number> {
               model: modelName,
               tools: toToolDefinitions(toolsMap),
               ...(llm.maxTokens !== undefined ? { maxTokens: llm.maxTokens } : {}),
-              ...(llm.adapterId ? { adapterId: llm.adapterId } : {}),
+              // 1.14-S4：池装配时不传 adapterId（池适配器 = default；req.model 由池内按成员改写）
+              ...(poolCfg ? {} : llm.adapterId ? { adapterId: llm.adapterId } : {}),
               signal,
             }).then(
               res => { step.end(res.stopReason); return res },