@bolloon/bolloon-agent 0.6.1 → 0.6.3

package/dist/electron-build/efficode/types.js

@@ -0,0 +1,50 @@
+"use strict";
+/**
+ * efficode/types - Efficode 参考实现的公共类型
+ *
+ * 设计口径 (照 leo 给的规范, 不自行发明新协议):
+ *   - 符号化指令集 + 前缀表达式: @DID: 身份 · #DATA: 数据 · #REQ: 请求 · !ACK/!SEND/!END 控制
+ *   - 两种模式: 文本模式 (调试/低带宽, 可 Base64) 与 二进制模式 (默认, 高密度)
+ *   - 自解压数据块: 数据块自带轻量解码规则 (压缩算法 id + 原始长度), 接收方按规则直接展开
+ *   - 包结构: [Header 2B] | [DID 验证段 32B] | [指令段 动态] | [数据块 动态] | [CRC32 4B]
+ *
+ * 诚实标注 (都写进 docs/wiki/efficode.md, 不在这里当已验证结论):
+ *   - 本文件是**参考实现**: 能真编真解、逐字节回环、畸形包报错;
+ *   - 语音/声波模式 (ggwave 类) **未实现** —— 只留 `mode` 枚举里的保留位, 编码时显式拒绝;
+ *   - 链上签名验证 / ECC 临时会话密钥 **规范中** —— 本实现只做 DID 摘要段, 不做签名;
+ *   - 压缩率/信息密度这类宣传数字一律按**实测**写, 见 scripts/verify-efficode.ts 的真测输出。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.EfficodeError = exports.MIN_PACKET_BYTES = exports.CRC_BYTES = exports.DID_SEGMENT_BYTES = exports.EFFICODE_VERSION = exports.COMPRESSION_BY_ID = exports.COMPRESSION_IDS = void 0;
+exports.COMPRESSION_IDS = {
+    none: 0,
+    lz77: 1,
+    deflate: 2,
+};
+exports.COMPRESSION_BY_ID = {
+    0: 'none',
+    1: 'lz77',
+    2: 'deflate',
+};
+/** 包版本 (Header 高 4 位) */
+exports.EFFICODE_VERSION = 1;
+/** DID 段固定长度 (字节) —— 照规范: 32B */
+exports.DID_SEGMENT_BYTES = 32;
+/** CRC32 尾段固定长度 (字节) */
+exports.CRC_BYTES = 4;
+/** 最短合法包 = Header 2 + 无 DID 段 + 指令段最少 (varint 长度 1 + 一条控制指令 2) + 无数据块 + CRC 4 = 9B
+ *  (DID 段 32B 是**可选**省略的, 所以不放进来; 带 DID 的包应 ≥ 41B, 由 flags 驱动逐段校验而不是靠这个下限) */
+exports.MIN_PACKET_BYTES = 2 + 1 + 2 + exports.CRC_BYTES;
+class EfficodeError extends Error {
+    code;
+    /** 出错位置 (字节偏移); 拿不到时为 -1 */
+    offset;
+    constructor(code, message, offset = -1) {
+        super(`${code}: ${message}${offset >= 0 ? ` (offset=${offset})` : ''}`);
+        this.name = 'EfficodeError';
+        this.code = code;
+        this.offset = offset;
+    }
+}
+exports.EfficodeError = EfficodeError;
+//# sourceMappingURL=types.js.map

package/dist/electron-build/efficode/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/efficode/types.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;GAcG;;;AAWU,QAAA,eAAe,GAAoC;IAC9D,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;IACP,OAAO,EAAE,CAAC;CACX,CAAC;AAEW,QAAA,iBAAiB,GAAoC;IAChE,CAAC,EAAE,MAAM;IACT,CAAC,EAAE,MAAM;IACT,CAAC,EAAE,SAAS;CACb,CAAC;AAEF,yBAAyB;AACZ,QAAA,gBAAgB,GAAG,CAAC,CAAC;AAElC,iCAAiC;AACpB,QAAA,iBAAiB,GAAG,EAAE,CAAC;AAEpC,wBAAwB;AACX,QAAA,SAAS,GAAG,CAAC,CAAC;AAE3B;8EAC8E;AACjE,QAAA,gBAAgB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,QAAA,SAAS,CAAC;AAkBtD,mBAA2B,SAAQ,KAAK;IAC7B,IAAI,CAAoB;IACjC,4BAA4B;IACnB,MAAM,CAAS;IACxB,YAAY,IAAuB,EAAE,OAAe,EAAE,MAAM,GAAG,CAAC,CAAC;QAC/D,KAAK,CAAC,GAAG,IAAI,KAAK,OAAO,GAAG,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxE,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;QAC5B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF"}

package/dist/electron-build/kernel/code-write-gate.js

@@ -0,0 +1,55 @@
+"use strict";
+/**
+ * 代码写改的"类型门" (2026-10-01, 回应「tsc 抓错这个功能 bolloon 有吗」)。
+ *
+ * 查到的事实: bolloon **早就**有类型检查, 而且有三层 —— pre-commit 的 `tsc-check`(lefthook) ·
+ *   `build:main = tsc && …` · 以及**给智能体的工具** `tsc_check`(pi-sdk-tools.ts:1450, 60s timeout)。
+ * 但**循环里没有"编辑后自动检查"** ✗ ⇒ `tsc_check` 是个"模型想得起来才会调"的工具 ✓
+ *   ⇒ 和 #4(写操作读回)同一个病: **规矩写了, 没人执行** ✓。
+ * 这条把它变成机制: 本回合**改过 .ts/.tsx** ⇒ 回合收尾**自动**跑一次类型检查(一轮只跑一次, 不管改了 1 个还是 8 个文件 ✓),
+ *   结果以一行状态进对话流 —— "类型过没过"不再依赖模型自觉 ✓。
+ * 纪律: 每个回合最多一次(tsc 是秒级开销, 但也不该每改一个文件就跑) · 只对 TS 源码生效 · 失败绝不影响回合结果 ✓。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CODE_WRITE_TOOLS = void 0;
+exports.isTypeScriptFile = isTypeScriptFile;
+exports.codeWriteTarget = codeWriteTarget;
+exports.decideTypecheck = decideTypecheck;
+exports.formatTypecheckResult = formatTypecheckResult;
+/** 写/改类工具里, 会"产出源码"的那些 */
+exports.CODE_WRITE_TOOLS = new Set(['write_file', 'edit_file', 'patch', 'move_file', 'copy_file']);
+function isTypeScriptFile(p) {
+    return /\.(ts|tsx|mts|cts)$/i.test(String(p || '').trim());
+}
+/**
+ * 这次写操作是否**产生了/改动了 TS 源码** ⇒ 返回那个路径(否则 null)。
+ * 只看路径, 不看内容(便宜且够用 ✓)。
+ */
+function codeWriteTarget(toolName, args) {
+    if (!exports.CODE_WRITE_TOOLS.has(String(toolName)))
+        return null;
+    const rel = String(args?.path ?? args?.to ?? args?.file ?? '').trim();
+    if (!rel)
+        return null;
+    return isTypeScriptFile(rel) ? rel : null;
+}
+/**
+ * 回合收尾要不要跑类型检查: 改过 TS 且本回合还没跑过 ⇒ 跑。
+ * 抽成纯函数是为了**可测**: "一轮只跑一次"这条最容易写错(写成每个文件跑一次就把时间烧光 ✓)。
+ */
+function decideTypecheck(touched, ranThisTurn) {
+    return !ranThisTurn && touched.length > 0;
+}
+/** 类型检查结果 ⇒ **一行**状态 (给对话流看; 错误多时只给前几条 + 总数) */
+function formatTypecheckResult(ok, output, maxLines = 6) {
+    const body = String(output || '').split('\n').map((l) => l.trim()).filter(Boolean);
+    if (ok)
+        return '✅ 类型检查通过 (tsc --noEmit, 本回合改过 TS 后自动跑)';
+    const errs = body.filter((l) => /error TS\d+/.test(l));
+    const head = (errs.length ? errs : body).slice(0, maxLines);
+    const more = (errs.length || body.length) - head.length;
+    return `❌ 类型检查没过: ${errs.length || '?'} 个错误\n` + head.map((l) => `   ${l.slice(0, 160)}`).join('\n')
+        + (more > 0 ? `\n   …还有 ${more} 条` : '')
+        + '\n   ⇒ **先修类型再继续**(别在同一轮里叠加更多改动)';
+}
+//# sourceMappingURL=code-write-gate.js.map

package/dist/electron-build/kernel/code-write-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-write-gate.js","sourceRoot":"","sources":["../../../src/kernel/code-write-gate.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;;;;;AAEH,0BAA0B;AACb,QAAA,gBAAgB,GAAwB,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;AAE7H,0BAAiC,CAAS;IACxC,OAAO,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC7D,CAAC;AAED;;;GAGG;AACH,yBAAgC,QAAgB,EAAE,IAAS;IACzD,IAAI,CAAC,QAAA,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,EAAE,IAAI,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACtE,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5C,CAAC;AAED;;;GAGG;AACH,yBAAgC,OAAiB,EAAE,WAAoB;IACrE,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;AAC5C,CAAC;AAED,gDAAgD;AAChD,+BAAsC,EAAW,EAAE,MAAc,EAAE,QAAQ,GAAG,CAAC;IAC7E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnF,IAAI,EAAE;QAAE,OAAO,wCAAwC,CAAC;IACxD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACxD,OAAO,aAAa,IAAI,CAAC,MAAM,IAAI,GAAG,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;UAChG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;UACtC,kCAAkC,CAAC;AACzC,CAAC"}

package/dist/electron-build/kernel/run-lifecycle.js

@@ -15,6 +15,8 @@
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.RUN_LIFECYCLE_NEEDS_RUN_ID = exports.RUN_LIFECYCLE_OPS = void 0;
+exports.decideResumeReinstall = decideResumeReinstall;
+exports.pickRunIdForResume = pickRunIdForResume;
 exports.runLifecycleAudit = runLifecycleAudit;
 exports.resetRunLifecycleAudit = resetRunLifecycleAudit;
 exports.submitRunLifecycle = submitRunLifecycle;
@@ -32,6 +34,27 @@ exports.RUN_LIFECYCLE_NEEDS_RUN_ID = {
     'finish-run': true,
     'save-checkpoint': true,
 };
+/** 写原语 (由调用方注入; 内核只认形状) —— 对应 run-store 的 startRun/recordStep/finishRun/saveCheckpoint */
+// ── K10 余项: 恢复相关的**纯规则** (从 pi-sdk 方法体里搬出来, 可单独判) ──────────
+/**
+ * 恢复一次运行前, **要不要按 Run 快照重装运行时**。
+ *   规则: 一致 (`drifted=false` 且 `verified=true`) ⇒ **不重装** (运行时本来就是对的, 重装是白跑一趟);
+ *   漂了 (`drifted`) 或**核对不了** (`verified!==true`) ⇒ 装 (带着漂移继续跑会把漂移固化成历史)。
+ *   没有核对结论 (`undefined`) ⇒ 不装 (核对失败不阻塞恢复, 与迁移前一致)。
+ */
+function decideResumeReinstall(drift) {
+    if (!drift)
+        return false;
+    return drift.drifted === true || drift.verified !== true;
+}
+/**
+ * "上一次运行"的取值规则: **显式记录的 lastRunId 优先**, 没有才回落当前活跃运行。
+ *   为什么是规则: Supervisor / 控制面要在运行结束后问"刚才跑的是哪条 run",
+ *   而重启一轮时活跃运行已经被清空 —— 二者优先级搞反会让上层拿旧 run 做决策。
+ */
+function pickRunIdForResume(lastRunId, activeRunId) {
+    return String(lastRunId || activeRunId || '');
+}
 /**
  * 端口**不抛异常但明确拒绝** (`{ ok: false, reason }`) 的归一化 —— 与 `control.ts` 同口径。
  *   为什么必须有: store 类原语用返回值表达拒绝 (例如状态迁移不合法), 只看"有没有抛"会把**被拒当成成功**。

package/dist/electron-build/kernel/run-lifecycle.js.map

@@ -1 +1 @@
-{"version":3,"file":"run-lifecycle.js","sourceRoot":"","sources":["../../../src/kernel/run-lifecycle.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;;;;;AAIU,QAAA,iBAAiB,GAA8B;IAC1D,WAAW;IACX,aAAa;IACb,YAAY;IACZ,iBAAiB;CAClB,CAAC;AAEF,2DAA2D;AAC9C,QAAA,0BAA0B,GAA8C;IACnF,WAAW,EAAE,KAAK;IAClB,aAAa,EAAE,IAAI;IACnB,YAAY,EAAE,IAAI;IAClB,iBAAiB,EAAE,IAAI;CACxB,CAAC;AA8BF;;;GAGG;AACH,SAAS,WAAW,CAAC,GAAY;IAC/B,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,IAAI,IAAK,GAA+B,EAAE,CAAC;QAC/E,MAAM,CAAC,GAAG,GAAyC,CAAC;QACpD,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK;YAAE,OAAO,SAAS,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAWD,MAAM,KAAK,GAAiB,EAAE,CAAC;AAC/B,MAAM,SAAS,GAAG,GAAG,CAAC;AAEtB,6BAA6B;AAC7B;IACE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;IACE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACI,KAAK,6BACV,GAAwB,EACxB,KAAwB;IAExB,MAAM,EAAE,GAAG,GAAG,EAAE,EAAoB,CAAC;IACrC,MAAM,MAAM,GAAG,CAAC,EAAW,EAAE,MAAe,EAAE,IAAa,EAAE,MAAgB,EAAuB,EAAE;QACpG,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;YACd,EAAE;YACF,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,aAAa;YACpC,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,KAAK,IAAI,OAAO,CAAC;YACrC,EAAE;YACF,MAAM;SACP,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS;YAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;QACxE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,sBAAsB,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACvE,CAAC,CAAC;IAEF,IAAI,CAAC,QAAA,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,EAAE,WAAW,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACxF,IAAI,CAAC,GAAG,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;IAClE,IAAI,QAAA,0BAA0B,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IAEzF,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC;IAElC,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACvB,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,UAAU;YAAE,OAAO,MAAM,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;QACrF,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC1C,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QACtG,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,MAAM,CAAC,KAAK,EAAE,gBAAgB,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IAED,IAAI,EAAE,KAAK,aAAa,EAAE,CAAC;QACzB,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,UAAU;YAAE,OAAO,MAAM,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;QACzF,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,KAAe,EAAE,OAAO,CAAC,CAAC;YACjE,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QAC1G,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,MAAM,CAAC,KAAK,EAAE,kBAAkB,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACjG,CAAC;IACH,CAAC;IAED,IAAI,EAAE,KAAK,YAAY,EAAE,CAAC;QACxB,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,UAAU;YAAE,OAAO,MAAM,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC;QACvF,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,KAAe,EAAE,OAAO,CAAC,CAAC;YAChE,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;QACxG,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,MAAM,CAAC,KAAK,EAAE,iBAAiB,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IAED,IAAI,EAAE,KAAK,iBAAiB,EAAE,CAAC;QAC7B,IAAI,OAAO,KAAK,CAAC,cAAc,KAAK,UAAU;YAAE,OAAO,MAAM,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;QACjG,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAe,EAAE,OAAO,CAAC,CAAC;YACrE,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAC;QAClH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,MAAM,CAAC,KAAK,EAAE,sBAAsB,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,EAAE,aAAa,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;GAMG;AACH,2BAAkC,GAAwB;IACxD,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CACb,0BAA0B,GAAG,CAAC,EAAE,SAAS,GAAG,CAAC,MAAM,IAAI,MAAM,EAAE;cAC3D,mDAAmD,CACxD,CAAC;IACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"run-lifecycle.js","sourceRoot":"","sources":["../../../src/kernel/run-lifecycle.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;;;;;;;AAIU,QAAA,iBAAiB,GAA8B;IAC1D,WAAW;IACX,aAAa;IACb,YAAY;IACZ,iBAAiB;CAClB,CAAC;AAEF,2DAA2D;AAC9C,QAAA,0BAA0B,GAA8C;IACnF,WAAW,EAAE,KAAK;IAClB,aAAa,EAAE,IAAI;IACnB,YAAY,EAAE,IAAI;IAClB,iBAAiB,EAAE,IAAI;CACxB,CAAC;AAUF,0FAA0F;AAC1F,8DAA8D;AAE9D;;;;;GAKG;AACH,+BACE,KAAmE;IAEnE,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,OAAO,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC;AAC3D,CAAC;AAED;;;;GAIG;AACH,4BAAmC,SAA6B,EAAE,WAA+B;IAC/F,OAAO,MAAM,CAAC,SAAS,IAAI,WAAW,IAAI,EAAE,CAAC,CAAC;AAChD,CAAC;AAqBD;;;GAGG;AACH,SAAS,WAAW,CAAC,GAAY;IAC/B,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,IAAI,IAAK,GAA+B,EAAE,CAAC;QAC/E,MAAM,CAAC,GAAG,GAAyC,CAAC;QACpD,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK;YAAE,OAAO,SAAS,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAWD,MAAM,KAAK,GAAiB,EAAE,CAAC;AAC/B,MAAM,SAAS,GAAG,GAAG,CAAC;AAEtB,6BAA6B;AAC7B;IACE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;IACE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACI,KAAK,6BACV,GAAwB,EACxB,KAAwB;IAExB,MAAM,EAAE,GAAG,GAAG,EAAE,EAAoB,CAAC;IACrC,MAAM,MAAM,GAAG,CAAC,EAAW,EAAE,MAAe,EAAE,IAAa,EAAE,MAAgB,EAAuB,EAAE;QACpG,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE;YACd,EAAE;YACF,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,aAAa;YACpC,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,KAAK,IAAI,OAAO,CAAC;YACrC,EAAE;YACF,MAAM;SACP,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS;YAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;QACxE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,sBAAsB,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACvE,CAAC,CAAC;IAEF,IAAI,CAAC,QAAA,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,EAAE,WAAW,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACxF,IAAI,CAAC,GAAG,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;IAClE,IAAI,QAAA,0BAA0B,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IAEzF,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC;IAElC,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACvB,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,UAAU;YAAE,OAAO,MAAM,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;QACrF,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC1C,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QACtG,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,MAAM,CAAC,KAAK,EAAE,gBAAgB,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IAED,IAAI,EAAE,KAAK,aAAa,EAAE,CAAC;QACzB,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,UAAU;YAAE,OAAO,MAAM,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;QACzF,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,KAAe,EAAE,OAAO,CAAC,CAAC;YACjE,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QAC1G,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,MAAM,CAAC,KAAK,EAAE,kBAAkB,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACjG,CAAC;IACH,CAAC;IAED,IAAI,EAAE,KAAK,YAAY,EAAE,CAAC;QACxB,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,UAAU;YAAE,OAAO,MAAM,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC;QACvF,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,KAAe,EAAE,OAAO,CAAC,CAAC;YAChE,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;QACxG,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,MAAM,CAAC,KAAK,EAAE,iBAAiB,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IAED,IAAI,EAAE,KAAK,iBAAiB,EAAE,CAAC;QAC7B,IAAI,OAAO,KAAK,CAAC,cAAc,KAAK,UAAU;YAAE,OAAO,MAAM,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;QACjG,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAe,EAAE,OAAO,CAAC,CAAC;YACrE,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAC;QAClH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,MAAM,CAAC,KAAK,EAAE,sBAAsB,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,EAAE,aAAa,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;GAMG;AACH,2BAAkC,GAAwB;IACxD,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CACb,0BAA0B,GAAG,CAAC,EAAE,SAAS,GAAG,CAAC,MAAM,IAAI,MAAM,EAAE;cAC3D,mDAAmD,CACxD,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/electron-build/kernel/run-resume.js

@@ -0,0 +1,62 @@
+"use strict";
+/**
+ * run-resume.ts — K10 余项: **从 checkpoint 恢复一次运行的编排与政策** (从 pi-sdk 的方法体搬进内核)
+ *
+ * 搬走的是**序列与政策** (不是 I/O):
+ *   ① 恢复前**反查模型配置**: Run 记录里的 `modelConfig` 快照不能只写不核 —— "快照记 A, 现在盘上生效 B"
+ *      这种漂移若被静默继续, 长任务的历史执行链就说不清了;
+ *   ② 漂移的**上报口径**: 漂了 ⇒ warn (说清哪几个字段) · 一致 ⇒ info 一句明确结论 · **核对失败不阻塞恢复**;
+ *   ③ **按 Run 快照装配运行时的判据** (`decideResumeReinstall`, 见 `run-lifecycle.ts`):
+ *      只在"漂了"或"核对不了"时装 —— 一致时运行时本来就是对的, 重装是白跑一趟; **装配失败也不阻塞恢复**;
+ *   ④ 准备失败 ⇒ 直接把 `plan` 交回 (不驱动);恢复态的**单次语义**: 驱动前后由端口负责设置/清除 (finally 保证清)。
+ *
+ * I/O 全部端口注入 (核对 / 准备 / 装配 / 落态 / 驱动 / 清态 / 日志)。本模块不 import 任何 agent 侧模块。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.resumeRunViaKernel = resumeRunViaKernel;
+const run_lifecycle_js_1 = require("./run-lifecycle.js");
+/**
+ * 恢复一次运行 —— **唯一入口**。语义与迁移前逐条一致 (见文件头 ①②③④); **本函数只在驱动阶段可能抛**
+ *   (与迁移前一致: `prompt` 抛错会冒出去, 但恢复态**一定**被清), 其余每一步失败都**不阻塞恢复**。
+ */
+async function resumeRunViaKernel(runId, ports) {
+    let modelDrift;
+    let modelApplied;
+    try {
+        modelDrift = (await ports.detectDrift(runId)) || undefined;
+        if (modelDrift?.drifted) {
+            ports.log?.('warn', `恢复时模型配置已偏离 Run 快照: ${String(modelDrift.message ?? '')}`);
+        }
+        else if (modelDrift) {
+            ports.log?.('info', `恢复前核对: ${String(modelDrift.message ?? '')}`);
+        }
+    }
+    catch {
+        /* 核对本身失败不阻塞恢复 (与迁移前一致) */
+    }
+    const prep = await ports.prepareResume(runId);
+    if (!prep?.ok || !prep.plan) {
+        return { ok: false, reason: prep?.reason, ...(modelDrift ? { modelDrift } : {}) };
+    }
+    if (modelDrift && (0, run_lifecycle_js_1.decideResumeReinstall)(modelDrift)) {
+        try {
+            modelApplied = await ports.applySnapshot(modelDrift.snapshot);
+            ports.log?.('info', `已按 Run 快照装配运行时: ${String(modelApplied?.provider ?? '')}/${String(modelApplied?.model ?? '')}` +
+                ` (configHash ${String(modelApplied?.configHash ?? '').slice(0, 12)})`);
+        }
+        catch (e) {
+            // 装配失败不阻塞恢复 (如实说; 调用方可以从返回值里看出没装成)
+            ports.log?.('warn', `按 Run 快照装配运行时失败, 保持当前运行时: ${String(e?.message || e).slice(0, 160)}`);
+            modelApplied = undefined;
+        }
+    }
+    ports.applyPlan(prep.plan);
+    try {
+        const reply = await ports.continueRun(prep.plan);
+        return { ok: true, reply, ...(modelDrift ? { modelDrift } : {}), ...(modelApplied ? { modelApplied } : {}) };
+    }
+    finally {
+        ports.clearPlan();
+    }
+}
+//# sourceMappingURL=run-resume.js.map

package/dist/electron-build/kernel/run-resume.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-resume.js","sourceRoot":"","sources":["../../../src/kernel/run-resume.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;AAEH,yDAA2D;AAuC3D;;;GAGG;AACI,KAAK,6BAA6B,KAAa,EAAE,KAAkB;IACxE,IAAI,UAAmC,CAAC;IACxC,IAAI,YAA2C,CAAC;IAEhD,IAAI,CAAC;QACH,UAAU,GAAG,CAAC,MAAM,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,SAAS,CAAC;QAC3D,IAAI,UAAU,EAAE,OAAO,EAAE,CAAC;YACxB,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,sBAAsB,MAAM,CAAC,UAAU,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAChF,CAAC;aAAM,IAAI,UAAU,EAAE,CAAC;YACtB,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,UAAU,MAAM,CAAC,UAAU,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,0BAA0B;IAC5B,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACpF,CAAC;IAED,IAAI,UAAU,IAAI,IAAA,wCAAqB,EAAC,UAAU,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC;YACH,YAAY,GAAG,MAAM,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAC9D,KAAK,CAAC,GAAG,EAAE,CACT,MAAM,EACN,mBAAmB,MAAM,CAAC,YAAY,EAAE,QAAQ,IAAI,EAAE,CAAC,IAAI,MAAM,CAAC,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE;gBAC5F,gBAAgB,MAAM,CAAC,YAAY,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CACzE,CAAC;QACJ,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,mCAAmC;YACnC,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,6BAA6B,MAAM,CAAE,CAAW,EAAE,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YACrG,YAAY,GAAG,SAAS,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC/G,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,SAAS,EAAE,CAAC;IACpB,CAAC;AACH,CAAC"}

package/dist/electron-build/kernel/session-lifecycle.js

@@ -0,0 +1,223 @@
+"use strict";
+/**
+ * session-lifecycle.ts — K10 余项: **会话生命周期端口** (把 pi-sdk 的运行/通道接线继续薄化)
+ *
+ * 搬走的是**规则**, 不是 I/O:
+ *   · `save-session`    : 消息 → 落盘形态的映射 (role/content/toolCall/toolResult/toolCallId/timestamp/source) + key 校验
+ *   · `peek-history`    : 读回后的**过滤/水合规则** (合法 role · 剔污染消息 · **保留"只有 tool call 没有正文"的合法消息**)
+ *   · `resume-session`  : 同上 + 把水合结果**应用**回历史 (应用由端口做), 返回新增条数
+ *   · `seed-run`        : 新一次运行的上下文种子 —— runId 来自**内核的活跃运行** (单一来源), extra 覆盖它 (**合并顺序是规则**)
+ *
+ * I/O (store 读写 · actor 快照 · 上下文工厂) 全部**端口注入** ⇒ 换存储 / 换 actor 实现只改注入点一处。
+ *
+ * 形状照抄 `run-lifecycle.ts` / `transport.ts` / `control.ts` (同一个仓库里只该有一种端口写法):
+ *   端口注入 · **未注入即拒** (不静默降级) · 一律**返回结果对象不抛** · 端口用 `{ok:false}` 表达拒绝要被归一化 · 审计流水可读。
+ *
+ * 哪些**留在** pi-sdk: 谁在什么时候调 (入口/时机) + 端口实现 (真 store / 真 actor)。本文件不 import 任何 agent 侧模块。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SESSION_ROLES = exports.SESSION_NEEDS_KEY = exports.SESSION_OPS = void 0;
+exports.sessionLifecycleAudit = sessionLifecycleAudit;
+exports.resetSessionLifecycleAudit = resetSessionLifecycleAudit;
+exports.isValidSessionKey = isValidSessionKey;
+exports.toPersistedMessages = toPersistedMessages;
+exports.filterSessionMessages = filterSessionMessages;
+exports.hydrateSessionMessages = hydrateSessionMessages;
+exports.composeRunSeed = composeRunSeed;
+exports.submitSessionOp = submitSessionOp;
+exports.assertSessionOk = assertSessionOk;
+exports.SESSION_OPS = ['save-session', 'peek-history', 'resume-session', 'seed-run'];
+/** 哪些操作必须有会话 key (seed-run 例外: 它要的是**活跃运行**, 不是会话 key) */
+exports.SESSION_NEEDS_KEY = {
+    'save-session': true,
+    'peek-history': true,
+    'resume-session': true,
+    'seed-run': false,
+};
+/** 端口**不抛异常但明确拒绝** (`{ ok: false, reason }`) 的归一化 —— 与 `control.ts` / `run-lifecycle.ts` 同口径 */
+function portRefusal(res) {
+    if (res && typeof res === 'object' && 'ok' in res) {
+        const r = res;
+        if (r.ok === false)
+            return `端口拒绝: ${String(r.reason ?? '(未给原因)')}`;
+    }
+    return null;
+}
+const audit = [];
+const AUDIT_MAX = 200;
+/** 审计流水 (最近 N 条; 测试与运维可读) */
+function sessionLifecycleAudit() {
+    return audit;
+}
+function resetSessionLifecycleAudit() {
+    audit.length = 0;
+}
+function record(op, origin, target, ok, detail) {
+    audit.push({ at: Date.now(), op, origin, target, ok, detail });
+    if (audit.length > AUDIT_MAX)
+        audit.splice(0, audit.length - AUDIT_MAX);
+}
+// ── 纯规则 (可单独判: 不碰 I/O) ──────────────────────────────────────────────
+/** 会话 key 必须是非空字符串 —— 空 key 会让写入落到一个"共享黑洞"里, 必须当场拒 */
+function isValidSessionKey(key) {
+    return typeof key === 'string' && key.trim().length > 0;
+}
+/** 合法角色 (拒绝旧 schema `{type:'user'}` 那种没有 role 字段的) */
+exports.SESSION_ROLES = new Set(['user', 'assistant', 'tool', 'system']);
+/**
+ * 落盘映射: 实时消息 → 持久形态。
+ *   `timestamp` 取**写盘那一刻** (不是消息里的旧值) —— 迁移前就是这个口径, 明确保留。
+ *   `source` 标记写入方 (默认 'pi-session')。
+ */
+function toPersistedMessages(source, sourceTag = 'pi-session', now = Date.now) {
+    const ts = now();
+    return (source ?? []).map((raw) => {
+        const m = (raw ?? {});
+        return {
+            role: m.role,
+            content: m.content,
+            toolCall: m.toolCall,
+            toolResult: m.toolResult,
+            toolCallId: m.toolCallId,
+            timestamp: ts,
+            source: sourceTag,
+        };
+    });
+}
+/**
+ * 读回水合 + 过滤规则 (逐字搬自 pi-sdk, 只去掉 instance 依赖)。
+ * 三条"必须保留"的坑都在这:
+ *   ① `content === ''` 但带 toolCall 的 assistant 消息**合法** (LLM 只输出工具调用没有正文) ⇒ 不许按"空内容"丢掉;
+ *   ② 「[AI 服务调用失败]」/「[错误:」开头的污染消息要剔;
+ *   ③ tool role 但没有 toolResult 的占位消息要剔。
+ */
+function filterSessionMessages(loaded) {
+    if (!loaded)
+        return [];
+    const hydrated = [];
+    for (const m of loaded) {
+        if (!m || !exports.SESSION_ROLES.has(String(m.role)))
+            continue;
+        if (typeof m.content === 'string' && m.content.startsWith('[AI 服务调用失败]'))
+            continue;
+        if (typeof m.content === 'string' && m.content.startsWith('[错误:'))
+            continue;
+        if (!m.content && !m.toolCall && !m.toolResult)
+            continue;
+        if (m.role === 'tool' && !m.toolResult)
+            continue;
+        hydrated.push({
+            role: m.role,
+            content: m.content ?? '',
+            toolCall: m.toolCall,
+            toolResult: m.toolResult,
+            toolCallId: m.toolCallId,
+        });
+    }
+    return hydrated;
+}
+/**
+ * 过滤 + 截断 (取**最近** maxMessages 条) —— 给"自己不做截断"的调用方用。
+ *   actor 的 `hydrateHistory(spec)` 管道自带截断 ⇒ 那边只该用 `filterSessionMessages` (别截两次)。
+ */
+function hydrateSessionMessages(loaded, maxMessages = 30) {
+    const filtered = filterSessionMessages(loaded);
+    const max = Number.isFinite(maxMessages) && maxMessages > 0 ? Math.floor(maxMessages) : 0;
+    return max > 0 ? filtered.slice(-max) : [];
+}
+/**
+ * 运行种子 = 活跃运行的 runId 打底 + `extra` 覆盖它 (**合并顺序是规则, 所以它归内核**)。
+ *   与 `seed-run` 分支共用这一条规则; 同步调用点 (pi-sdk 的 `seedRunContext` 是同步签名) 直接调它, 不必为了合并一次规则绕异步端口。
+ */
+function composeRunSeed(activeRunId, extra = {}) {
+    return { runId: activeRunId, ...extra };
+}
+// ── 派发 (唯一入口) ───────────────────────────────────────────────────────────
+const missing = (what) => `端口未注入: ${what} (拒绝静默降级)`;
+/**
+ * 会话生命周期的**唯一系统调用门**。
+ *   未注入端口 / 缺 key ⇒ `{ ok:false }` (不抛); 端口抛错 ⇒ 也归一化成 `{ ok:false, detail }` (调用方按自己的响亮口径处理)。
+ */
+async function submitSessionOp(request, ports) {
+    const op = request?.op;
+    const origin = String(request?.origin ?? '').trim() || 'unknown';
+    const target = String(request?.key ?? '').trim() || '-';
+    const fail = (detail) => {
+        record(op, origin, target, false, detail);
+        return { ok: false, op, via: 'kernel-session-lifecycle', detail };
+    };
+    if (!exports.SESSION_OPS.includes(op))
+        return fail(`未知会话操作: ${String(op)}`);
+    if (!origin || origin === 'unknown')
+        return fail('缺少 origin (审计要求, 不许匿名)');
+    if (exports.SESSION_NEEDS_KEY[op] && !isValidSessionKey(request.key))
+        return fail(`缺少合法会话 key (op=${op})`);
+    try {
+        if (op === 'save-session') {
+            const key = request.key;
+            if (!ports.saveMessages)
+                return fail(missing('saveMessages'));
+            if (!ports.historySnapshot)
+                return fail(missing('historySnapshot'));
+            const source = (await ports.historySnapshot()) ?? [];
+            const persisted = toPersistedMessages(source);
+            const res = await ports.saveMessages(key, persisted);
+            const refusal = portRefusal(res);
+            if (refusal)
+                return fail(refusal);
+            record(op, origin, target, true);
+            return { ok: true, op, via: 'kernel-session-lifecycle', port: 'saveMessages', result: { count: persisted.length } };
+        }
+        if (op === 'peek-history') {
+            const key = request.key;
+            if (!ports.loadMessages)
+                return fail(missing('loadMessages'));
+            const loaded = await ports.loadMessages(key);
+            const hydrated = hydrateSessionMessages(loaded, request.maxMessages ?? 30);
+            record(op, origin, target, true);
+            return { ok: true, op, via: 'kernel-session-lifecycle', port: 'loadMessages', result: hydrated };
+        }
+        if (op === 'resume-session') {
+            const key = request.key;
+            if (!ports.loadMessages)
+                return fail(missing('loadMessages'));
+            if (!ports.applyHistory)
+                return fail(missing('applyHistory'));
+            const loaded = await ports.loadMessages(key);
+            const hydrated = hydrateSessionMessages(loaded, request.maxMessages ?? 30);
+            const applied = (await ports.applyHistory(hydrated)) ?? 0;
+            const refusal = portRefusal(applied);
+            if (refusal)
+                return fail(refusal);
+            record(op, origin, target, true, `应用 ${hydrated.length} 条`);
+            return { ok: true, op, via: 'kernel-session-lifecycle', port: 'applyHistory', result: Number(applied) || 0 };
+        }
+        // seed-run
+        if (!ports.activeRunId)
+            return fail(missing('activeRunId'));
+        if (!ports.newRunContext)
+            return fail(missing('newRunContext'));
+        const activeRun = ports.activeRunId();
+        const extra = (request.extra ?? {});
+        // 合并顺序是规则: 先放活跃运行得到的 runId, 再让 extra 覆盖 (调用方显式传的优先)
+        const seed = composeRunSeed(activeRun, extra);
+        const ctx = ports.newRunContext(seed.runId, extra);
+        const refusal = portRefusal(ctx);
+        if (refusal)
+            return fail(refusal);
+        record(op, origin, target, true, `runId=${String(seed.runId ?? '(无)')}`);
+        return { ok: true, op, via: 'kernel-session-lifecycle', port: 'newRunContext', result: ctx };
+    }
+    catch (err) {
+        return fail(`端口抛错: ${String(err?.message ?? err).slice(0, 200)}`);
+    }
+}
+/**
+ * 需要**响亮失败**的调用方 (写不进 = 事实层面没发生) 在派发后调它。
+ *   与 `assertLifecycleOk` 同口径: 把 `{ok:false}` 变成抛, 而不是让调用方忘掉检查。
+ */
+function assertSessionOk(out) {
+    if (!out.ok)
+        throw new Error(`[kernel-session-lifecycle] ${out.op} 失败: ${out.detail ?? '(无原因)'}`);
+}
+//# sourceMappingURL=session-lifecycle.js.map

package/dist/electron-build/kernel/session-lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"session-lifecycle.js","sourceRoot":"","sources":["../../../src/kernel/session-lifecycle.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;GAeG;;;;;;;;;;;;AAIU,QAAA,WAAW,GAAyB,CAAC,cAAc,EAAE,cAAc,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;AAEhH,0DAA0D;AAC7C,QAAA,iBAAiB,GAAyC;IACrE,cAAc,EAAE,IAAI;IACpB,cAAc,EAAE,IAAI;IACpB,gBAAgB,EAAE,IAAI;IACtB,UAAU,EAAE,KAAK;CAClB,CAAC;AAsCF,gGAAgG;AAChG,SAAS,WAAW,CAAC,GAAY;IAC/B,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,IAAI,IAAK,GAA+B,EAAE,CAAC;QAC/E,MAAM,CAAC,GAAG,GAAyC,CAAC;QACpD,IAAI,CAAC,CAAC,EAAE,KAAK,KAAK;YAAE,OAAO,SAAS,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAWD,MAAM,KAAK,GAAiB,EAAE,CAAC;AAC/B,MAAM,SAAS,GAAG,GAAG,CAAC;AAEtB,6BAA6B;AAC7B;IACE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;IACE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,MAAM,CAAC,EAAa,EAAE,MAAc,EAAE,MAAc,EAAE,EAAW,EAAE,MAAe;IACzF,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS;QAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;AAC1E,CAAC;AAED,uEAAuE;AAEvE,sDAAsD;AACtD,2BAAkC,GAAY;IAC5C,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAC1D,CAAC;AAED,sDAAsD;AACzC,QAAA,aAAa,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAYnG;;;;GAIG;AACH,6BACE,MAA0B,EAC1B,SAAS,GAAG,YAAY,EACxB,GAAG,GAAiB,IAAI,CAAC,GAAG;IAE5B,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC;IACjB,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAChC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAA4B,CAAC;QACjD,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,SAAS,EAAE,EAAE;YACb,MAAM,EAAE,SAAS;SAClB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,+BAAsC,MAAmD;IACvF,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,IAAI,CAAC,QAAA,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,SAAS;QACvD,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC;YAAE,SAAS;QACnF,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,SAAS;QAC5E,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,UAAU;YAAE,SAAS;QACzD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,UAAU;YAAE,SAAS;QACjD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,EAAE;YACxB,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,UAAU,EAAE,CAAC,CAAC,UAAU;SACzB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,gCACE,MAAmD,EACnD,WAAW,GAAG,EAAE;IAEhB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC7C,CAAC;AAED;;;GAGG;AACH,wBACE,WAA+B,EAC/B,KAAK,GAA4B,EAAE;IAEnC,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED,2EAA2E;AAE3E,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,UAAU,IAAI,WAAW,CAAC;AAEpE;;;GAGG;AACI,KAAK,0BAA0B,OAAuB,EAAE,KAAmB;IAChF,MAAM,EAAE,GAAG,OAAO,EAAE,EAAE,CAAC;IACvB,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS,CAAC;IACjE,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC;IAExD,MAAM,IAAI,GAAG,CAAC,MAAc,EAAkB,EAAE;QAC9C,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,0BAA0B,EAAE,MAAM,EAAE,CAAC;IACpE,CAAC,CAAC;IAEF,IAAI,CAAC,QAAA,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC,WAAW,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC3E,IAAI,QAAA,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;IAEnG,IAAI,CAAC;QACH,IAAI,EAAE,KAAK,cAAc,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAa,CAAC;YAClC,IAAI,CAAC,KAAK,CAAC,YAAY;gBAAE,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;YAC9D,IAAI,CAAC,KAAK,CAAC,eAAe;gBAAE,OAAO,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC;YACpE,MAAM,MAAM,GAAG,CAAC,MAAM,KAAK,CAAC,eAAe,EAAE,CAAC,IAAI,EAAE,CAAC;YACrD,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YACrD,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,OAAO;gBAAE,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACjC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,0BAA0B,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACtH,CAAC;QAED,IAAI,EAAE,KAAK,cAAc,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAa,CAAC;YAClC,IAAI,CAAC,KAAK,CAAC,YAAY;gBAAE,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAC7C,MAAM,QAAQ,GAAG,sBAAsB,CAAC,MAAyB,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;YAC9F,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACjC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,0BAA0B,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACnG,CAAC;QAED,IAAI,EAAE,KAAK,gBAAgB,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAa,CAAC;YAClC,IAAI,CAAC,KAAK,CAAC,YAAY;gBAAE,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;YAC9D,IAAI,CAAC,KAAK,CAAC,YAAY;gBAAE,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAC7C,MAAM,QAAQ,GAAG,sBAAsB,CAAC,MAAyB,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;YAC9F,MAAM,OAAO,GAAG,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;YACrC,IAAI,OAAO;gBAAE,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;YAC5D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,0BAA0B,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/G,CAAC;QAED,WAAW;QACX,IAAI,CAAC,KAAK,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;QAC5D,IAAI,CAAC,KAAK,CAAC,aAAa;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;QAChE,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAA4B,CAAC;QAC/D,oDAAoD;QACpD,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,KAA2B,EAAE,KAAK,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,OAAO;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC;QACzE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,0BAA0B,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC/F,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,IAAI,CAAC,SAAS,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,yBAAgC,GAAmB;IACjD,IAAI,CAAC,GAAG,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,GAAG,CAAC,EAAE,QAAQ,GAAG,CAAC,MAAM,IAAI,OAAO,EAAE,CAAC,CAAC;AACpG,CAAC"}

package/dist/electron-build/kernel/turn-selfcheck.js

@@ -0,0 +1,65 @@
+"use strict";
+/**
+ * turn-selfcheck.ts — K10 余项: **回合收尾自检的编排与政策** (从 pi-sdk 的方法体搬进内核)
+ *
+ * 搬走的是**政策** (不是 I/O):
+ *   ① 该不该跑 —— 由纯规则 `decideTypecheck` 决定 (改过 TS 且本回合没跑过), 规则本体在 `code-write-gate.ts`;
+ *   ② **系统自检也过门** —— 它不是模型发起的工具调用 (args 恒空, 是本回合改过 TS 后的收尾自检),
+ *      但**更不能例外**: 例外一旦靠"没人知道它绕过"活着, 门就不再是唯一的执行咽喉;
+ *   ③ **fail-closed**: 门被拒 **或门本身抛错** ⇒ **不执行**, 且要**可见地报出来** (拒绝不许静默);
+ *   ④ 执行抛错 ⇒ 报一行"没能跑起来" (附"改动已落盘, 记得自己跑一次"), **绝不让自检失败影响回合结果**。
+ *
+ * 为什么归内核: 这三条都是**政策**, 不是某个入口的私事 —— 换入口 (CLI/Web/cron) 时不许各写一份。
+ * I/O 全部端口注入: 取工具 · 问门 · 上报 (emit)。本模块不 import 任何 agent 侧模块。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TURN_SELFCHECK_TOOL = void 0;
+exports.runTurnEndSelfCheck = runTurnEndSelfCheck;
+const code_write_gate_js_1 = require("./code-write-gate.js");
+/** 自检用的工具名 (与工具注册表里的名字一致) */
+exports.TURN_SELFCHECK_TOOL = 'tsc_check';
+/**
+ * 回合收尾自检 —— **唯一入口**。语义与迁移前逐条一致:
+ *   不需要跑 ⇒ `{decided:false}`; 工具缺失 ⇒ 安静地不做 (迁移前也是静默);
+ *   门拒/门抛 ⇒ 不执行 + **上屏一行"被拒, 未执行: 原因"**; 执行成功 ⇒ 上屏一行结果;
+ *   执行抛错 ⇒ 上屏一行"没能跑起来"。**本函数从不抛**。
+ */
+async function runTurnEndSelfCheck(spec, ports) {
+    if (!(0, code_write_gate_js_1.decideTypecheck)([...spec.touched], spec.ranThisTurn)) {
+        return { ran: false, decided: false, line: '' };
+    }
+    const toolName = spec.toolName ?? exports.TURN_SELFCHECK_TOOL;
+    const tool = ports.getTool(toolName);
+    if (!tool?.execute) {
+        return { ran: false, decided: true, line: '', reason: `工具缺失: ${toolName}` };
+    }
+    try {
+        let allowed = true;
+        let why = '';
+        try {
+            const d = await ports.askGate({ tool: toolName, args: {} });
+            allowed = d?.allow === true;
+            why = String(d?.reason || d?.rejectedBy || d?.source || '');
+        }
+        catch (gateErr) {
+            allowed = false;
+            why = `harness-error: ${String(gateErr?.message || gateErr)}`;
+        }
+        if (!allowed) {
+            const line = `🔎 类型检查被门拒绝, 未执行: ${why.slice(0, 120)}`;
+            ports.emit({ type: 'status', content: line, tool: 'system' });
+            return { ran: false, decided: true, rejected: true, line, reason: why };
+        }
+        const r = (await tool.execute({}));
+        const passed = r?.success !== false && !/error TS\d+/.test(String(r?.output || ''));
+        const line = `🔎 ${(0, code_write_gate_js_1.formatTypecheckResult)(passed, String(r?.output || ''))}`;
+        ports.emit({ type: 'status', content: line, tool: 'system' });
+        return { ran: true, decided: true, passed, line };
+    }
+    catch (e) {
+        const line = `🔎 类型检查没能跑起来: ${String(e?.message || e).slice(0, 100)} (改动已落盘, 记得自己跑一次)`;
+        ports.emit({ type: 'status', content: line, tool: 'system' });
+        return { ran: false, decided: true, line, reason: String(e?.message || e).slice(0, 120) };
+    }
+}
+//# sourceMappingURL=turn-selfcheck.js.map

package/dist/electron-build/kernel/turn-selfcheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"turn-selfcheck.js","sourceRoot":"","sources":["../../../src/kernel/turn-selfcheck.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;;AAEH,6DAA8E;AA8B9E,6BAA6B;AAChB,QAAA,mBAAmB,GAAG,WAAW,CAAC;AAE/C;;;;;GAKG;AACI,KAAK,8BACV,IAA6E,EAC7E,KAAqB;IAErB,IAAI,CAAC,IAAA,oCAAe,EAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAClD,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,QAAA,mBAAmB,CAAC;IACtD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC;QACnB,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,QAAQ,EAAE,EAAE,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC;QACH,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YAC5D,OAAO,GAAG,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC;YAC5B,GAAG,GAAG,MAAM,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,EAAE,UAAU,IAAI,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;QAC9D,CAAC;QAAC,OAAO,OAAO,EAAE,CAAC;YACjB,OAAO,GAAG,KAAK,CAAC;YAChB,GAAG,GAAG,kBAAkB,MAAM,CAAE,OAAiB,EAAE,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC;QAC3E,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,qBAAqB,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACtD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC9D,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC1E,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAwD,CAAC;QAC1F,MAAM,MAAM,GAAG,CAAC,EAAE,OAAO,KAAK,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,MAAM,IAAA,0CAAqB,EAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAC5E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9D,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACpD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,iBAAiB,MAAM,CAAE,CAAW,EAAE,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,mBAAmB,CAAC;QAClG,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9D,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAE,CAAW,EAAE,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IACvG,CAAC;AACH,CAAC"}

package/dist/electron-build/llm/config-store.js

@@ -198,8 +198,8 @@ exports.PROVIDER_INFO = {
     // 2026-07-17: V3 系列 (deepseek-chat / deepseek-reasoner) 官方已下线, 改 V4
     deepseek: { name: 'DeepSeek', description: '深度求索大模型 (V4)', requiresApiKey: true, models: ['deepseek-v4-flash', 'deepseek-v4-pro'] },
     kimi: { name: 'Kimi (月之暗面)', description: 'Moonshot Kimi K 系列模型', requiresApiKey: true, models: ['kimi-k3', 'kimi-k2-0905', 'moonshot-v1-128k', 'moonshot-v1-32k'] },
-    glm: { name: 'GLM (智谱)', description: '智谱 GLM 系列模型', requiresApiKey: true, models: ['glm-5.2', 'glm-4.6', 'glm-4.5', 'glm-4-flash', 'glm-4'] },
-    qwen: { name: 'Qwen (通义千问)', description: '阿里云通义千问系列', requiresApiKey: true, models: ['qwen3-max', 'qwen-max', 'qwen-plus', 'qwen-turbo'] },
+    glm: { name: 'GLM (智谱)', description: '智谱 GLM 系列模型', requiresApiKey: true, models: ['glm-5.3-flash', 'glm-5.3', 'glm-5.2', 'glm-5', 'glm-4.6', 'glm-4.5', 'glm-4.7', 'glm-4-flash', 'glm-4'] },
+    qwen: { name: 'Qwen (通义千问)', description: '阿里云通义千问系列', requiresApiKey: true, models: ['qwen3.8-max', 'qwen3-max', 'qwen-max', 'qwen-plus', 'qwen-turbo'] },
     mimo: { name: 'MiMo (小米)', description: '小米 MiMo V2 系列 (openai 兼容)', requiresApiKey: true, models: ['mimo-v2.5-pro', 'mimo-v2-pro', 'mimo-v2-omni', 'mimo-v2-flash', 'mimo-v2.5-pro-ultraspeed'] },
     grok: { name: 'Grok (xAI)', description: 'xAI Grok 系列模型 (openai 兼容)', requiresApiKey: true, models: ['grok-4.5', 'grok-4', 'grok-4-fast'] },
     local: { name: '本地模型', description: '本地部署的模型服务', requiresApiKey: false }