pi-skill-evolve 0.1.3 → 0.1.5

package/extensions/skill-evolve/lib/web/render-run.ts

@@ -9,6 +9,7 @@
 import type { WebState } from "./data.ts";
 import { DIFF_PREVIEW_LINES, renderDiffLines, parseDiffLines } from "./diff-lines.ts";
 import type { RunBlocking, RunDetail } from "./run-detail.ts";
+import { sessionHref } from "./run-session.ts";
 import { shellPage } from "./shell.ts";
 import { escapeHtml, formatStamp } from "./text.ts";
 
@@ -21,6 +22,17 @@ function overview(detail: RunDetail): string {
   const log = detail.hasChildLog
     ? `<a href="/log?runId=${encodeURIComponent(detail.runId)}">child.log</a>`
     : `<span class="off">没有 child.log</span>`;
+  // 会话：完整 sessionId 做成「会话详情」链接（列表行上只有前 8 位，这里给全的）
+  const sessionFile = detail.sessionFile ?? null;
+  const href = sessionHref({ sessionId: detail.sessionId ?? null, sessionFile });
+  const session =
+    href === null
+      ? `<span class="off">run.json 没写 sessionId</span>`
+      : `<a href="${escapeHtml(href)}"><code>${escapeHtml(detail.sessionId ?? "")}</code></a> <span class="hint">（点开看会话原文）</span>`;
+  const sessionFileCell =
+    sessionFile === null
+      ? `<span class="off">run.json 没写 sessionFile</span>`
+      : `<code>${escapeHtml(sessionFile)}</code>`;
   return `<section>
 <h2>概要</h2>
 <div class="kv">
@@ -28,6 +40,8 @@ ${kv("runId", `<code>${escapeHtml(detail.runId)}</code>`)}
 ${kv("状态", escapeHtml(detail.status))}
 ${kv("技能", escapeHtml(detail.skill.length > 0 ? detail.skill : "—"))}
 ${kv("触发", escapeHtml(detail.trigger))}
+${kv("会话", session)}
+${kv("会话文件", sessionFileCell)}
 ${kv("开始", escapeHtml(formatStamp(detail.startedAt)))}
 ${kv("结束", escapeHtml(formatStamp(detail.endedAt)) + (detail.endedAt === null ? "" : ' <span class="hint">（取最后一个产出时刻）</span>'))}
 ${kv("pid", detail.pid === null ? "—" : String(detail.pid))}

package/extensions/skill-evolve/lib/web/render-session.ts

@@ -0,0 +1,67 @@
+/**
+ * 会话详情页（`?view=session&sessionId=...`）的渲染：概要 + 对话正文 + 原文件指路。
+ *
+ * 页面只有三段：顶部概要（完整 sessionId / 文件路径 / 统计）、中间正文（由 session-view 纯函数产出）、
+ * 底部一行「原文件 路径（N 条消息 / M 次工具调用 / 大小 K）」——
+ * 面板解析不了的情况（超大文件、非 JSONL）必须能一键回到原文件，不然这一页就成了死胡同。
+ *
+ * 找不到会话文件不报错：换机器 / 清理过 sessions 是常态，说清「会话文件已不在本机」比 500 有用。
+ */
+import type { WebState } from "./data.ts";
+import type { SessionSource } from "./session-file.ts";
+import { renderSessionBody } from "./session-view.ts";
+import { shellPage } from "./shell.ts";
+import { escapeHtml } from "./text.ts";
+
+/** 概要的一行：标签 + 值（值必须已转义或本身就是标签串） */
+function kv(label: string, value: string): string {
+  return `<div class="kv-row"><span class="k">${label}</span><span class="v">${value}</span></div>`;
+}
+
+/** 大小：小于 1KB 说字节，其余按 KB 取整（MB 级数字太长，看个量级就够） */
+function formatSize(bytes: number): string {
+  return bytes < 1024 ? `${bytes}B` : `${Math.round(bytes / 1024)}KB`;
+}
+
+/** 缺文件时的正文：给三句人话，说明为什么没有、去哪里看 */
+function missingBody(sessionId: string): string {
+  return `<p class="empty">会话文件已不在本机：sessionId <code>${escapeHtml(sessionId)}</code> 在
+<code>~/.pi/agent/sessions/*</code> 下没有对应的 <code>.jsonl</code>。
+可能是换了机器、或 sessions 目录被清理过 —— 这一段对话的原文已经取不到了。</p>`;
+}
+
+/** 正文：有文件就渲染对话，没文件就给缺文件说明 */
+function bodyOf(source: SessionSource): string {
+  if (source.file === null || source.transcript === null) return missingBody(source.sessionId);
+  return renderSessionBody(source.transcript, { dropped: source.transcript.dropped });
+}
+
+/**
+ * 页脚那一行是这一页的「出口」：绝对路径可以直接粘到终端里 `rg` / `read`，
+ * 统计数字则用来说明「页面里看到的是全面的还是截断的」。
+ */
+function footerOf(source: SessionSource): string {
+  if (source.file === null || source.transcript === null) return `原文件：<span class="off">会话文件已不在本机</span>`;
+  const { messages, toolCalls } = source.transcript;
+  return `原文件 <code>${escapeHtml(source.file)}</code>（${messages} 条消息 / ${toolCalls} 次工具调用 / ${formatSize(source.sizeBytes)}）`;
+}
+
+export function renderSessionPage(source: SessionSource, options: { state: WebState }): string {
+  const href = source.file === null ? null : source.file;
+  const body = `<section>
+<h2>会话</h2>
+<div class="kv">
+${kv("sessionId", `<code>${escapeHtml(source.sessionId)}</code>`)}
+${kv("会话文件", href === null ? `<span class="off">会话文件已不在本机</span>` : `<code>${escapeHtml(href)}</code>`)}
+${kv("工具调用", "折叠块默认收起，点标题展开（参数摘要 ≤400 字、结果前 200 字）")}
+</div>
+</section>
+${bodyOf(source)}`;
+  return shellPage({
+    state: options.state,
+    title: `会话 ${source.sessionId.slice(0, 8)}`,
+    active: null,
+    body,
+    foot: footerOf(source),
+  });
+}

package/extensions/skill-evolve/lib/web/reports.ts

@@ -8,6 +8,7 @@ import { readVerify } from "../apply.ts";
 import type { RunSummary } from "../runs.ts";
 import { readRunError } from "../stale.ts";
 import { asNumber, asRecord, asText, readJson, reasonLabel } from "./json-read.ts";
+import { sessionFromRecord, type SessionRef } from "./run-session.ts";
 
 /** 单条报告里最多列几个技能：全量列会把 details 撑成第二份 findings */
 export const MAX_FINDING_ROWS = 5;
@@ -22,6 +23,8 @@ export interface RunReport {
   runId: string;
   status: string;
   trigger: string;
+  /** 这条 run 是哪个会话跑出来的：行上「会话」列要用（缺 = NO_SESSION） */
+  session: SessionRef;
   startedAt: number | null;
   findings: { total: number; rows: FindingRow[] };
   proposal: { type: string; skill: string; added: number; removed: number } | null;
@@ -84,10 +87,10 @@ function readVerifyGates(runDir: string): RunReport["verify"] {
   };
 }
 
-/** 触发者只在 run.json 里（listRuns 的摘要不带它）：单独读一次，坏记录当 unknown */
-function readTrigger(runDir: string): string {
+/** 触发者与会话只在 run.json 里（listRuns 的摘要不带 trigger）：一次读出两样，坏记录当 unknown / 空 */
+function readRunMeta(runDir: string): { trigger: string; session: SessionRef } {
   const raw = readJson<Record<string, unknown>>(path.join(runDir, "run.json"));
-  return asText(raw?.trigger, "unknown");
+  return { trigger: asText(raw?.trigger, "unknown"), session: sessionFromRecord(raw) };
 }
 
 /** runs/ 下的目录名（不看 run.json，坏掉的目录也要能被 reports 的真实判据「有没有 01-findings」筛） */
@@ -117,6 +120,7 @@ export function buildReports(evolutionDir: string, runs: readonly RunSummary[]):
   const summaries = new Map(runs.map((run) => [run.runId, run]));
   const reports: RunReport[] = [];
   for (const { runId, runDir } of runDirs(evolutionDir)) {
+    const meta = readRunMeta(runDir);
     const findings = readFindings(runDir);
     if (!findings) {
       // 失败也要有一行档案：每条 run 都能在报告里找到，不能因为没产出就从历史里消失
@@ -129,7 +133,8 @@ export function buildReports(evolutionDir: string, runs: readonly RunSummary[]):
       reports.push({
         runId,
         status: "stale",
-        trigger: readTrigger(runDir),
+        trigger: meta.trigger,
+        session: meta.session,
         startedAt: summary?.dispatchedAt ?? asNumber(raw?.dispatchedAt),
         findings: { total: 0, rows: [] },
         proposal: null,
@@ -147,7 +152,8 @@ export function buildReports(evolutionDir: string, runs: readonly RunSummary[]):
     reports.push({
       runId,
       status: summaries.get(runId)?.status ?? "unknown",
-      trigger: readTrigger(runDir),
+      trigger: meta.trigger,
+      session: meta.session,
       startedAt: summaries.get(runId)?.dispatchedAt ?? null,
       findings,
       proposal: proposal ? { type: proposal.type, skill: proposal.skill, added: proposal.added, removed: proposal.removed } : null,

package/extensions/skill-evolve/lib/web/run-detail.ts

@@ -53,6 +53,10 @@ export interface RunDetail {
   runId: string;
   status: string;
   trigger: string;
+  /** pi sessionId（这轮复盘是哪个会话跑出来的）；老 run.json 可能没有 = null */
+  sessionId: string | null;
+  /** 会话原文 .jsonl 的绝对路径；没有 = null */
+  sessionFile: string | null;
   /** 提案目标技能；没有提案时为空串 */
   skill: string;
   startedAt: number | null;
@@ -201,6 +205,8 @@ export function readRunDetail(evolutionDir: string, runId: string): RunDetail |
     runId,
     status: asText(record?.status, "（无 run.json）"),
     trigger: asText(record?.trigger, "—"),
+    sessionId: asText(record?.sessionId) || null,
+    sessionFile: asText(record?.sessionFile) || null,
     skill,
     startedAt: asNumber(record?.dispatchedAt),
     endedAt: stamps.length === 0 ? null : Math.max(...stamps),

package/extensions/skill-evolve/lib/web/run-session.ts

@@ -0,0 +1,62 @@
+/**
+ * run ↔ 会话的对应关系：面板每一行都要能回答「这条复盘是哪个会话跑出来的」。
+ *
+ * 为什么需要（用户 2026-11-08：「面板展示的也应该是 pi sessionId 否则我都不知道怎么看对应会话」）：
+ * 原来行上只有 `runId`（会话哈希8 + 时间戳），对着 TUI 里的 sessionId 完全对不上号，
+ * 想回去看那段对话只能自己到 `~/.pi/agent/sessions/` 里翻。
+ *
+ * 纪律与 data.ts 一致：只读、坏记录当空（`sessionId` 缺失就当 null，绝不因为缺字段让整页 500）。
+ * 本文件只管**数据**，链接与列渲染在 render-rows.ts（渲染层）。
+ */
+import * as path from "node:path";
+import type { RunSummary } from "../runs.ts";
+import { asText, readJson } from "./json-read.ts";
+
+export interface SessionRef {
+  /** pi 的 sessionId（UUID），缺失 = null */
+  sessionId: string | null;
+  /** 会话原文 .jsonl 的绝对路径（pi 写 run.json 时就带上了），缺失 = null */
+  sessionFile: string | null;
+}
+
+export const NO_SESSION: SessionRef = { sessionId: null, sessionFile: null };
+
+/** 从已解析的 run.json 里取会话信息（空白串当缺失：不能让它变成一个空链接） */
+export function sessionFromRecord(raw: unknown): SessionRef {
+  if (typeof raw !== "object" || raw === null) return NO_SESSION;
+  const record = raw as Record<string, unknown>;
+  const sessionId = asText(record.sessionId).trim();
+  const sessionFile = asText(record.sessionFile).trim();
+  return {
+    sessionId: sessionId.length > 0 ? sessionId : null,
+    sessionFile: sessionFile.length > 0 ? sessionFile : null,
+  };
+}
+
+/** 读一条 run 的会话信息；run.json 读不到 / 坏掉都返回 NO_SESSION */
+export function readRunSession(runDir: string): SessionRef {
+  return sessionFromRecord(readJson<Record<string, unknown>>(path.join(runDir, "run.json")));
+}
+
+/** RunSummary → 会话信息（列表页「会话」列的数据源） */
+export function sessionOfRun(run: Pick<RunSummary, "sessionId" | "sessionFile">): SessionRef {
+  return { sessionId: run.sessionId.length > 0 ? run.sessionId : null, sessionFile: run.sessionFile };
+}
+
+/** runId → 会话信息：队列条目没有会话字段，只能按 runId 回推到 runs 里查 */
+export function sessionIndex(runs: readonly Pick<RunSummary, "runId" | "sessionId" | "sessionFile">[]): Map<string, SessionRef> {
+  return new Map(runs.map((run) => [run.runId, sessionOfRun(run)]));
+}
+
+/** 队列条目 → 会话信息；索引里没有它就现读一次 run.json（读不到 = NO_SESSION，链接不渲染） */
+export function sessionForRun(runId: string, index: Map<string, SessionRef>, evolutionDir: string): SessionRef {
+  return index.get(runId) ?? readRunSession(path.join(evolutionDir, "runs", runId));
+}
+
+/** `?view=session` 页的链接：sessionId 必有，文件路径可缺（缺了由服务端反查） */
+export function sessionHref(session: SessionRef): string | null {
+  if (session.sessionId === null) return null;
+  const query = new URLSearchParams({ view: "session", sessionId: session.sessionId });
+  if (session.sessionFile !== null) query.set("file", session.sessionFile);
+  return `/?${query.toString()}`;
+}

package/extensions/skill-evolve/lib/web/server.ts

@@ -26,8 +26,10 @@ import { HTML_TYPE, MAX_BODY_BYTES, TEXT_TYPE, sendText } from "./http.ts";
 import { clearWebPid, isAlive, readWebPid, writeWebPid } from "./panel-pid.ts";
 import { renderPage } from "./render.ts";
 import { renderRunPage } from "./render-run.ts";
+import { renderSessionPage } from "./render-session.ts";
 import { renderSkillPage, renderSkillsPage } from "./render-skills.ts";
 import { handleDiff, readRunDetail } from "./run-detail.ts";
+import { readSessionSource } from "./session-file.ts";
 import { parseDays, readSkillDetail, readSkills } from "./skills.ts";
 
 /** 默认端口：7788 是面板约定值（TUI 提示与文档里都写这个），改它得同时改文档 */
@@ -77,8 +79,9 @@ interface GetResult {
 /**
  * 读盘渲染：控制条、最近操作、筛选都在这里一次性读好传给渲染层（渲染层不碰磁盘）。
  *
- * 四类页面：`?view=run&runId=`（run 详情）/ `?view=skills`（技能管理）/ `?view=skill&name=`（技能详情）/ 五个列表页。
+ * 四类页面：`?view=run&runId=`（run 详情）/ `?view=session&sessionId=`（会话详情）/ `?view=skills`（技能管理）/ `?view=skill&name=`（技能详情）/ 五个列表页。
  * 详情页的 runId 不合法或目录不存在一律 404 —— 靠 resolveRunDir 的目录校验，不靠字符串过滤。
+ * 会话页不走 404：会话文件可能已不在本机，那种情况页面要说人话（见 render-session.ts）。
  */
 function renderGet(ctx: RouteContext, url: URL): GetResult {
   const err = url.searchParams.get("err");
@@ -88,6 +91,15 @@ function renderGet(ctx: RouteContext, url: URL): GetResult {
   const state = collectWebState({ evolutionDir: ctx.evolutionDir });
   const view = parsePanelView(url.searchParams.get("view"));
   const days = parseDays(url.searchParams.get("days"));
+  if (view === "session") {
+    const sessionId = url.searchParams.get("sessionId") ?? "";
+    const source = readSessionSource({
+      evolutionDir: ctx.evolutionDir,
+      sessionId,
+      ...(url.searchParams.get("file") !== null ? { file: url.searchParams.get("file") } : {}),
+    });
+    return { status: 200, body: renderSessionPage(source, { state }), type: HTML_TYPE };
+  }
   if (view === "run") {
     const runId = url.searchParams.get("runId") ?? "";
     const detail = readRunDetail(ctx.evolutionDir, runId);

package/extensions/skill-evolve/lib/web/session-file.ts

@@ -0,0 +1,136 @@
+/**
+ * 会话详情页的**读盘层**：从 sessionId 找到会话 .jsonl 绝对路径，读出来交给解析器。
+ *
+ * 两条来源（顺序固定）：
+ * 1. run.json 里已经写着 `sessionFile`（pi 派发时写下的绝对路径）；`?file=` 参数同理，但要**过安全闸**；
+ * 2. 该路径已不在本机（换了机器 / 清理过 sessions），就按 sessionId 在
+ *    `~/.pi/agent/sessions/*​/*.jsonl` 里按文件名反查 —— 文件名形如
+ *    `2026-11-08T02-48-52-675Z_<sessionId>.jsonl`，所以「文件名含 sessionId」就是精确命中。
+ *
+ * 安全闸（面板虽然是 127.0.0.1，但 query 参数来自浏览器，不能当可信路径用）：
+ * 只接受 **realpath 落在 sessions 根目录之下**、且**文件名含 sessionId**、且以 `.jsonl` 结尾的文件。
+ * 三条同时成立才读 —— 少了任何一条，`?file=/etc/passwd` 就能读到任意文件。
+ */
+import * as fs from "node:fs";
+import * as os from "node:os";
+import * as path from "node:path";
+import { listRuns } from "../runs.ts";
+import { parseSessionText, type SessionTranscript } from "./session-view.ts";
+
+/** sessionId 只允许这些字符：它会被当文件名匹配词，绝不允许 `/` 之类进到路径里 */
+const SESSION_ID_PATTERN = /^[A-Za-z0-9._-]{4,128}$/;
+
+/** 反查 runs 时要扫多少条（与 data.ts 的 SCAN_LIMIT 同量级，够覆盖最近这批 run） */
+const RUN_SCAN_LIMIT = 100;
+
+export interface SessionSource {
+  sessionId: string;
+  /** 解析到的会话原文绝对路径；找不到 = null */
+  file: string | null;
+  /** 文件字节数（找不到 = 0） */
+  sizeBytes: number;
+  /** 解析结果；找不到文件 = null */
+  transcript: SessionTranscript | null;
+}
+
+/** pi 会话根目录：`~/.pi/agent/sessions`（测试用 home 覆盖，绝不读真实目录） */
+export function sessionsRoot(home?: string): string {
+  return path.join(home ?? os.homedir(), ".pi", "agent", "sessions");
+}
+
+/** 规范化 sessionId：不合法返回 null（调用方据此直接给「会话文件已不在本机」） */
+export function safeSessionId(raw: string): string | null {
+  const trimmed = raw.trim();
+  return SESSION_ID_PATTERN.test(trimmed) ? trimmed : null;
+}
+
+/** 路径是否真在根目录之下（用 realpath 比，符号链接绕不出去） */
+function insideRoot(root: string, file: string): boolean {
+  try {
+    const realRoot = fs.realpathSync(root);
+    const realFile = fs.realpathSync(file);
+    return realFile.startsWith(`${realRoot}${path.sep}`);
+  } catch {
+    return false;
+  }
+}
+
+/** 文件本身是不是这个会话的原文：basename 含 sessionId、后缀 .jsonl、且在根目录内 */
+function isSessionFile(root: string, sessionId: string, file: string): boolean {
+  if (!file.endsWith(".jsonl")) return false;
+  if (!path.basename(file).includes(sessionId)) return false;
+  return insideRoot(root, file);
+}
+
+/**
+ * 按 sessionId 在 sessions 根目录下反查（一层子目录，pi 按项目路径分目录）。
+ * 命中多条时取文件名最大的那条：名字以 ISO 时间开头，字典序最大 = 最近一次会话。
+ */
+export function findSessionFile(sessionId: string, root: string): string | null {
+  let dirs: fs.Dirent[];
+  try {
+    dirs = fs.readdirSync(root, { withFileTypes: true });
+  } catch {
+    return null;
+  }
+  let found: string | null = null;
+  for (const dir of dirs) {
+    if (!dir.isDirectory()) continue;
+    const sub = path.join(root, dir.name);
+    let names: string[];
+    try {
+      names = fs.readdirSync(sub);
+    } catch {
+      continue;
+    }
+    for (const name of names) {
+      if (!name.endsWith(".jsonl") || !name.includes(sessionId)) continue;
+      if (found === null || name > path.basename(found)) found = path.join(sub, name);
+    }
+  }
+  return found !== null && isSessionFile(root, sessionId, found) ? found : null;
+}
+
+/** 解析会话文件路径：先试给定路径（过安全闸），不行再按 sessionId 反查 */
+export function resolveSessionFile(input: { sessionId: string; file?: string | null; root: string }): string | null {
+  const { sessionId, file, root } = input;
+  if (file !== null && file !== undefined && file.length > 0) {
+    if (isSessionFile(root, sessionId, file)) return file;
+  }
+  return findSessionFile(sessionId, root);
+}
+
+/** run.json 里记着的会话路径：同 sessionId 的 run 里挑最近一条（队列条目没有这个字段，只能反查） */
+export function declaredSessionFile(evolutionDir: string, sessionId: string): string | null {
+  const runs = listRuns(evolutionDir, RUN_SCAN_LIMIT);
+  for (const run of runs) {
+    if (run.sessionId === sessionId && run.sessionFile !== null && run.sessionFile.length > 0) return run.sessionFile;
+  }
+  return null;
+}
+
+/**
+ * 读出会话原文并解析。找不到文件不抛错：页面要显示「会话文件已不在本机」这句人话，
+ * 而不是一个 500 或空白页。
+ */
+export function readSessionSource(input: {
+  evolutionDir: string;
+  sessionId: string;
+  file?: string | null;
+  home?: string;
+}): SessionSource {
+  const sessionId = safeSessionId(input.sessionId);
+  const root = sessionsRoot(input.home);
+  if (sessionId === null) return { sessionId: input.sessionId.trim(), file: null, sizeBytes: 0, transcript: null };
+  const declared = input.file ?? declaredSessionFile(input.evolutionDir, sessionId);
+  const file = resolveSessionFile({ sessionId, file: declared, root });
+  if (file === null) return { sessionId, file: null, sizeBytes: 0, transcript: null };
+  let raw: string;
+  try {
+    raw = fs.readFileSync(file, "utf8");
+  } catch {
+    // 目录在但文件被删 / 没权限：与「不在本机」同一句话，不暴露系统错误
+    return { sessionId, file: null, sizeBytes: 0, transcript: null };
+  }
+  return { sessionId, file, sizeBytes: Buffer.byteLength(raw, "utf8"), transcript: parseSessionText(raw) };
+}