pi-skill-evolve 0.1.4 → 0.1.6

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

@@ -0,0 +1,191 @@
+/**
+ * 「待处理」视图的数据：正在跑 / 已判卡死 / 队列待批 / 评审通过但还没入队。
+ *
+ * 为什么从 data.ts 拆出来：`data.ts` 只留视图形状与聚合入口，四类条目的判定各有各的判据
+ * （活 pid、classifyStale、队列层级、run 状态），合在一起必然破 300 行闸门。
+ * 纪律不变：只读、坏数据当空（判不了的那一条退化成不出现，绝不整页 500）。
+ */
+import * as fs from "node:fs";
+import * as path from "node:path";
+import type { QueueItem } from "../queue.ts";
+import type { RunSummary } from "../runs.ts";
+import { CHILD_LOG } from "../spawn-plan.ts";
+import { classifyStale, readLogTail, readRunError } from "../stale.ts";
+import type { WebStateDeps } from "./data.ts";
+import { asNumber, asText } from "./json-read.ts";
+import { sessionForRun, sessionIndex, sessionOfRun, type SessionRef } from "./run-session.ts";
+
+/** 单 run 默认上限：与 DEFAULT_CONFIG.maxRuntimeMs 同值，面板只用来算「上限 N 分钟」 */
+const DEFAULT_MAX_RUNTIME_MS = 20 * 60_000;
+
+function defaultAlive(pid: number): boolean {
+  try {
+    process.kill(pid, 0); // 信号 0 只探测存在性，不真发信号
+    return true;
+  } catch {
+    return false;
+  }
+}
+
+/** 待处理四来源：正在跑 / 已判卡死 / 队列待批 / 评审通过但还没入队 */
+export type PendingKind = "running" | "approval" | "stale" | "reviewed";
+
+export interface PendingItem {
+  runId: string;
+  kind: PendingKind;
+  /** 这条 run 是哪个会话跑出来的：行上「会话」列要用（缺 = NO_SESSION） */
+  session: SessionRef;
+  skill: string;
+  at: number | null;
+  /** 展开后的纯文本（渲染层负责转义） */
+  detail: string;
+}
+
+
+/** 把毫秒压成「Xm Ys」：面板上人只关心量级，不关心毫秒 */
+function duration(ms: number): string {
+  const total = Math.max(0, Math.floor(ms / 1000));
+  return `${Math.floor(total / 60)}m ${total % 60}s`;
+}
+
+/**
+ * 「正在跑」那一条：光看 `复盘 1` 这个数字不知道是谁、跑到哪、要不要杀，
+ * 所以把阶段 / 进程 / 最近输出 / 看日志的命令四行摊开（用户 2026-11-08：「复盘中我也想看到状态呢」）。
+ */
+function runningItem(
+  run: RunSummary,
+  evolutionDir: string,
+  now: number,
+  alive: (pid: number) => boolean,
+  maxRuntimeMs: number,
+): PendingItem | null {
+  if (run.status !== "dispatched" || run.pid === null || !alive(run.pid)) return null;
+  const reviewing = run.supervisorPid !== null && alive(run.supervisorPid);
+  const logPath = path.join(evolutionDir, "runs", run.runId, CHILD_LOG);
+  let mtime: number | null = null;
+  try {
+    mtime = fs.statSync(logPath).mtimeMs; // 拿不到就是还没写过日志
+  } catch {
+    mtime = null;
+  }
+  const tail = readLogTail(logPath, 1);
+  const lastLine = tail.length > 0 ? tail[tail.length - 1]!.trim() : "";
+  const progressLine =
+    mtime === null
+      ? "最近输出：（还没有输出）"
+      : `最近输出：${Math.max(0, Math.round((now - mtime) / 1000))}s 前 · 末行：${lastLine.length > 0 ? lastLine : "（还没有输出）"}`;
+  return {
+    runId: run.runId,
+    kind: "running",
+    session: sessionOfRun(run),
+    skill: run.proposal?.skill ?? "",
+    at: run.dispatchedAt,
+    detail: [
+      `阶段：${reviewing ? "评审中" : "复盘产出中"}`,
+      `进程：pid ${run.pid} · 已跑 ${duration(now - (run.dispatchedAt ?? now))}（上限 ${Math.round(maxRuntimeMs / 60_000)} 分钟）`,
+      progressLine,
+      `日志：tail -f .pi/evolution/runs/${run.runId}/${CHILD_LOG}`,
+    ].join("\n"),
+  };
+}
+
+/** 四类条目的展示优先级：正在跑最上头，然后卡死、待批、待入队 */
+const PENDING_RANK: Record<PendingKind, number> = { running: 0, stale: 1, approval: 2, reviewed: 3 };
+
+export function buildPending(
+  items: readonly QueueItem[],
+  runs: readonly RunSummary[],
+  evolutionDir: string,
+  deps: WebStateDeps = {},
+): PendingItem[] {
+  const now = deps.now ?? Date.now();
+  const alive = deps.alive ?? defaultAlive;
+  const maxRuntimeMs = deps.maxRuntimeMs ?? DEFAULT_MAX_RUNTIME_MS;
+  const pending: PendingItem[] = [];
+  const byRun = sessionIndex(runs);
+  // ⓪ 正在跑的：有活 pid 就是「进行中」，先列出来（它不是等批也不是失败）
+  const running = new Set<string>();
+  for (const run of runs) {
+    const item = runningItem(run, evolutionDir, now, alive, maxRuntimeMs);
+    if (!item) continue;
+    running.add(run.runId);
+    pending.push(item);
+  }
+  // ① 队列里待人批的（approval 级；auto 级不需要人，出现 pending 只是还没轮到执行）
+  for (const item of items) {
+    if (item.status !== "pending" || item.level !== "approval") continue;
+    pending.push({
+      runId: item.runId,
+      kind: "approval",
+      session: sessionForRun(item.runId, byRun, evolutionDir),
+      skill: item.skill,
+      at: asNumber(item.createdAt),
+      detail: [
+        "层级：approval（必须人批，auto 不会替你执行）",
+        `目标：${item.targets.join("、") || "（未写 targets）"}`,
+        item.detail ? `备注：${item.detail}` : "",
+        `操作：去「待审批」页（?view=approvals）直接点批准 / 拒绝，也可以在这里回 TUI 敲 /skill-evolve approve ${item.runId}`,
+      ]
+        .filter((line) => line.length > 0)
+        .join("\n"),
+    });
+  }
+  // ② 已判定卡死的 run：它是「失败」而不是「等批」，单独一类，别混进待批数字里。
+  //    这里必须包含「判据命中、run.json 还没落盘」的那一批：顶部 summary.stale 用的是
+  //    collectPanelState 的同一口径，少一类就会出现「头顶说卡死 5、列表只有 3 条」。
+  for (const run of runs) {
+    if (running.has(run.runId)) continue; // 同一个 run 不能既「进行中」又「卡死」
+    const persisted = run.status === "stale";
+    if (!persisted && !classifyStale(run, now).stale) continue;
+    const error = readRunError(path.join(evolutionDir, "runs", run.runId));
+    const tail = error?.childLogTail ?? [];
+    const lastLine = tail.length > 0 ? tail[tail.length - 1]!.trim() : "";
+    pending.push({
+      runId: run.runId,
+      kind: "stale",
+      session: sessionOfRun(run),
+      skill: run.proposal?.skill ?? "",
+      at: error?.at ?? run.dispatchedAt,
+      detail: [
+        `原因：${error?.reason === "timeout" ? "超时（子进程还活着但超过单 run 上限）" : "子进程已退出"}`,
+        lastLine.length > 0 ? `日志末行：${lastLine}` : "日志末行：（子进程没留下任何输出）",
+        `排查：cat ${path.join(evolutionDir, "runs", run.runId, "run-error.json")}`,
+        "不会自动重跑：需要重新复盘就 /skill-evolve run",
+      ].join("\n"),
+    });
+  }
+  // ④ 子进程已产出结论、评审还没跑的：不是失败（子进程本来就该退出），属于「等下一轮接上」
+  for (const run of runs) {
+    if (run.status !== "analyzed" && run.status !== "proposed") continue;
+    pending.push({
+      runId: run.runId,
+      kind: "reviewed",
+      session: sessionOfRun(run),
+      skill: run.proposal?.skill ?? "",
+      at: run.dispatchedAt,
+      detail: [
+        `状态：已出结论（${run.status}），评审还没跑`,
+        "会自动接上：下次 settle 或 session_start 继续；想立即接上就 /skill-evolve run",
+        `证据：cat ${path.join(evolutionDir, "runs", run.runId, "01-findings.json")}`,
+      ].join("\n"),
+    });
+  }
+  // ③ 评审通过但还没进队列（入队发生在 settle / session_start，中间可能还没轮到）
+  const queued = new Set(items.map((item) => item.runId));
+  for (const run of runs) {
+    if (run.status !== "reviewed" || queued.has(run.runId)) continue;
+    pending.push({
+      runId: run.runId,
+      kind: "reviewed",
+      session: sessionOfRun(run),
+      skill: run.proposal?.skill ?? "",
+      at: run.dispatchedAt,
+      detail: [
+        `评审：${asText(run.review?.verdict, "（未写 verdict）")} · 建议动作 ${asText(run.review?.action, "无")}`,
+        "状态：评审已通过，尚未入队（settle / session_start 会自动补）",
+        `兜底：/skill-evolve approve ${run.runId}`,
+      ].join("\n"),
+    });
+  }
+  return pending.sort((a, b) => PENDING_RANK[a.kind] - PENDING_RANK[b.kind] || (b.at ?? 0) - (a.at ?? 0));
+}

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

@@ -1,13 +1,15 @@
 /**
- * 页面骨架里的四块「管理性质」的东西：顶部控制条、列表筛选、分页、最近操作。
+ * 页面骨架里的四块「管理性质」的东西：顶部控制条、列表筛选、刷新提示、分页、最近操作。
  *
  * 都不依赖列表行，所以与 render-rows.ts 分开。
  *
- * 两条设计取舍：
+ * 三条设计取舍：
  * 1. **控制条只在服务端传了数据时才渲染**：渲染层不自己去读盘（否则 renderPage 会变成「读盘 + 渲染」两件事），
  *    也不在拿不到开关状态时猜一个出来 —— 顶部写「复盘：开」而实际是关的，比不写更糟；
  * 2. **筛选用 `<form method="get">` + hidden view**：零 JS，所以筛选结果能被拷成链接、
- *    能退回上一页、能在刷新后保持；翻页链接由 pageHref 带上全部筛选参数，不保留就等于点下一页即清空筛选。
+ *    能退回上一页、能在刷新后保持；翻页链接由 pageHref 带上全部筛选参数，不保留就等于点下一页即清空筛选；
+ * 3. **默认不自动刷新**：整页重载会丢掉 `<details>` 的展开态与滚动位置（用户 2026-11-08 报「点击展开过一会又被收起」），
+ *    所以默认只给一个「刷新」链接，`&live=1` 才是显式要求的 5 秒自动刷新。
  */
 import type { AuditEntry } from "./audit-log.ts";
 import type { ConfigFlag } from "../config.ts";
@@ -19,15 +21,14 @@ import {
   telemetryOffWhileEnabled,
 } from "../flags.ts";
 import type { WebView } from "./data.ts";
-import { RANGE_KEYS, RANGE_LABEL, STATUS_OPTIONS, pageHref, type ListFilter, type ViewPage } from "./filter.ts";
-import { escapeHtml, formatStamp } from "./text.ts";
+import { RANGE_KEYS, RANGE_LABEL, STATUS_OPTIONS, type ListFilter, type ViewPage } from "./filter.ts";
+import { listHref, type ListExtras } from "./list-query.ts";
+import { escapeHtml, formatStamp, formatTimeSeconds } from "./text.ts";
 import type { WebControls } from "./activity.ts";
 
 export interface ControlBarOptions {
   /** 动作用户在哪一页点的，就回哪一页：技能管理页也要能开关采集（曝光数据就是它采的） */
   view: WebView | "skills";
-  /** 现时（单测注入固定时钟）：决定「最后活动」写成几分钟前 */
-  now: number;
   csrf?: string;
   canWrite?: boolean;
 }
@@ -35,17 +36,17 @@ export interface ControlBarOptions {
 const MINUTE_MS = 60_000;
 
 /**
- * 「最后活动」的人话：只给粗粒度，不给秒 —— 精确到秒反而看不出差别，
+ * 「最后活动」的人话（摘要行尾部）：只给粗粒度，不给秒 —— 精确到秒反而看不出差别，
  * 而「几分钟前 / 几小时前 / 几天前」正好是「这个插件还在动吗」需要的精度。
  */
 export function activityText(at: number | null, now: number): string {
-  if (at === null) return "最后活动：还没有任何记录";
+  if (at === null) return "最后活动 还没有任何记录";
   const minutes = Math.floor(Math.max(0, now - at) / MINUTE_MS);
-  if (minutes < 1) return "最后活动：刚刚";
-  if (minutes < 60) return `最后活动：${minutes} 分钟前`;
+  if (minutes < 1) return "最后活动 刚刚";
+  if (minutes < 60) return `最后活动 ${minutes} 分钟前`;
   const hours = Math.floor(minutes / 60);
-  if (hours < 24) return `最后活动：${hours} 小时前`;
-  return `最后活动：${Math.floor(hours / 24)} 天前`;
+  if (hours < 24) return `最后活动 ${hours} 小时前`;
+  return `最后活动 ${Math.floor(hours / 24)} 天前`;
 }
 
 /** 控制条上的「立即复盘」按钮；只读面板不渲染任何表单 */
@@ -59,15 +60,16 @@ function runForm(ctx: ControlBarOptions): string {
 }
 
 /**
- * 一个独立开关：状态 + 后果说明 + 「点下去会发生什么」的按钮。
+ * 一个独立开关：一个 chip = 状态 + 「点下去会发生什么」的按钮，代价说明塞进 `title`。
  *
  * 四个开关各自 post 到 `/toggle?field=`（带上隐藏的 view，动作完回同一页），**不互相联动**：
  * 想采集但不花钱、想评审但不自动采纳，都是常见中间态；要批量切只有命令 `on|off`。
  * 按钮文案写动作不写状态 —— 状态已经在左边那一段里，按钮再写一遍会让人把「当前值」看成「点了会变的值」。
+ * 代价说明必须留着（「花 token」「改 .pi/skills/」是点之前就该知道的），只是不该占一整行把开关挤成两排。
  */
 function flagSwitch(field: ConfigFlag, on: boolean, ctx: ControlBarOptions): string {
   const state = `<span class="state ${on ? "on" : "off"}">${FLAG_LABEL[field]}：${on ? "开" : "关"}</span>`;
-  const effect = `<span class="hint">${FLAG_EFFECT[field]}</span>`;
+  const title = ` title="${escapeHtml(FLAG_EFFECT[field])}"`;
   const writable = ctx.canWrite === true && (ctx.csrf ?? "").length > 0;
   const form = writable
     ? `<form method="post" action="/toggle?field=${field}">
@@ -76,11 +78,11 @@ function flagSwitch(field: ConfigFlag, on: boolean, ctx: ControlBarOptions): str
 <button type="submit">${on ? "关闭" : "开启"}${FLAG_LABEL[field]}</button>
 </form>`
     : "";
-  return `<span class="sw">${state}${effect}${form}</span>`;
+  return `<span class="sw"${title}>${state}${form}</span>`;
 }
 
 /**
- * 顶部控制条：四个独立开关（采集 / 复盘 / 评审 / 采纳）+ 立即复盘 + 最后活动。
+ * 顶部控制条：四个独立开关（采集 / 复盘 / 评审 / 采纳）+ 立即复盘，挤在同一行。
  *
  * 四个开关不许合成一个「开启全部」：采集只写本地文件，复盘与评审才花 token，
  * 采纳直接改仓库文件 —— 想采集样本但不想花钱、想评审但不想自动落盘，都是常见的中间状态。
@@ -100,8 +102,7 @@ export function renderControlBar(controls: WebControls, ctx: ControlBarOptions):
   const switches = FLAG_FIELDS.map((field) => flagSwitch(field, controls[field], ctx)).join("\n");
   return `<div class="ctl">
 ${switches}
-${run}<span class="act">${escapeHtml(activityText(controls.lastActivityAt, ctx.now))}</span>
-</div>
+${run}</div>
 ${warn}${backlog}`;
 }
 
@@ -120,32 +121,57 @@ function rangeSelect(current: string): string {
   ).join("");
 }
 
-/** 筛选表单：hidden view 保证 GET 提交后还在同一页；「重置」链回不带筛选的本页 */
-export function renderFilterForm(view: WebView, filter: ListFilter): string {
+/**
+ * 筛选表单：hidden view 保证 GET 提交后还在同一页；「重置」链回不带筛选的本页。
+ * `open` / `live` 也一并带上：筛选不该顺手把「展开分组」「自动刷新」这两个开关清掉。
+ */
+export function renderFilterForm(view: WebView, filter: ListFilter, extras: ListExtras): string {
+  const keep = extraInputs(extras);
   return `<form class="filter" method="get">
 <input type="hidden" name="view" value="${view}">
-<label>技能 <input type="text" name="skill" value="${escapeHtml(filter.skill)}" placeholder="全部技能" size="16"></label>
+${keep}<label>技能 <input type="text" name="skill" value="${escapeHtml(filter.skill)}" placeholder="全部技能" size="16"></label>
 <label>状态 <select name="status">${statusSelect(filter.status)}</select></label>
 <label>时间 <select name="range">${rangeSelect(filter.range)}</select></label>
 <button type="submit">筛选</button>
-<a class="btn" href="/?view=${view}">重置</a>
+<a class="btn" href="${escapeHtml(listHref(view, filter, 1, extras))}">重置</a>
 </form>`;
 }
 
+/** 把非筛选的显式开关写成 hidden：表单提交只带这几个，不带的字段自然回落默认值 */
+function extraInputs(extras: ListExtras): string {
+  const parts: string[] = [];
+  if (extras.live) parts.push(`<input type="hidden" name="live" value="1">`);
+  if (extras.open === "none") parts.push(`<input type="hidden" name="open" value="none">`);
+  return parts.length === 0 ? "" : `${parts.join("")}\n`;
+}
+
+/**
+ * 「更新于 21:57:03 · 刷新」：默认的手动刷新入口。
+ * 时间精确到秒：这是「我看到的就是这一刻的数据」的凭证，只到分钟会让人反复点刷新。
+ */
+export function renderUpdatedAt(now: number, href: string): string {
+  return `更新于 ${formatTimeSeconds(now)} · <a href="${escapeHtml(href)}">刷新</a>`;
+}
+
+/**
+ * `&live=1` 时的头部提示：明说「展开态会重置」。
+ * 整页重载必然丢展开态与滚动位置，与其让人以为面板在帮他收起，不如提前讲清代价并给一个关掉的链接。
+ */
+export function renderLiveNote(offHref: string): string {
+  return `<p class="warn">自动刷新中（每 5 秒整页重载，展开态会重置）· <a href="${escapeHtml(offHref)}">关掉</a></p>`;
+}
+
 /**
- * 分页条：`第 X / Y 页，共 N 条` 永远显示（空列表也显示「第 1 / 1 页，共 0 条」——
+ * 分页条：`第 X / Y 页 · 共 N 条 · 上一页 / 下一页` 永远显示（空列表也显示「第 1 / 1 页 · 共 0 条」——
  * 页脚消失了人只会以为筛选坏了），只有到底时才把箭头换成灰字。
  */
-export function renderPagination(view: WebView, page: ViewPage, filter: ListFilter): string {
+export function renderPagination(view: WebView, page: ViewPage, filter: ListFilter, extras: ListExtras): string {
+  const href = (target: number) => escapeHtml(listHref(view, filter, target, extras));
   const prev =
-    page.page > 1
-      ? `<a href="${escapeHtml(pageHref(view, filter, page.page - 1))}">← 上一页</a>`
-      : `<span class="off">← 上一页</span>`;
+    page.page > 1 ? `<a href="${href(page.page - 1)}">← 上一页</a>` : `<span class="off">← 上一页</span>`;
   const next =
-    page.page < page.pages
-      ? `<a href="${escapeHtml(pageHref(view, filter, page.page + 1))}">下一页 →</a>`
-      : `<span class="off">下一页 →</span>`;
-  return `<p class="page">${prev} <span class="count">第 ${page.page} / ${page.pages} 页，共 ${page.total} 条</span> ${next}</p>`;
+    page.page < page.pages ? `<a href="${href(page.page + 1)}">下一页 →</a>` : `<span class="off">下一页 →</span>`;
+  return `<p class="page">${prev} <span class="count">第 ${page.page} / ${page.pages} 页 · 共 ${page.total} 条</span> ${next}</p>`;
 }
 
 /** 「最近操作」：时间 + 动作 + runId + 结果；结果里的 error 前缀单独染色，扫一眼就知道有没有出事 */