pi-skill-evolve 0.0.0-stage → 0.1.0

package/extensions/skill-evolve/lib/config-command.ts

@@ -0,0 +1,38 @@
+/**
+ * `/skill-evolve config`：交互选模型（TUI）或打印当前值（非 TUI / RPC / print 模式）。
+ *
+ * 选择项列表来自 `ctx.modelRegistry.getAvailable()` —— 只有 pi 知道当前真能用的模型，
+ * 本模块只拿到「选项数组 + select 函数」，所以可以在 node --test 里直接喂假 host。
+ */
+import { describeModelConfig, modelChoices, specFromChoice, type ModelKind } from "./model-config.ts";
+import type { ModelTools } from "./evolution-model.ts";
+
+export interface ConfigHost {
+  models: readonly { provider?: string; id?: string }[];
+  select(title: string, options: string[]): Promise<string | undefined>;
+}
+
+const LABELS: Record<ModelKind, string> = { propose: "提案", review: "评审" };
+
+/** which：propose / review / both，默认 both */
+export async function runConfigCommand(
+  host: ConfigHost | null,
+  tools: ModelTools,
+  which: string = "both",
+): Promise<string> {
+  const kinds: ModelKind[] = which === "propose" ? ["propose"] : which === "review" ? ["review"] : ["propose", "review"];
+  const current = describeModelConfig(tools.config());
+  if (!host) {
+    return [
+      `技能进化 · 模型配置：${current}`,
+      "当前模式无法交互选择（非 TUI）：直接改 .pi/evolution/config.json 的 propose.model / review.model，值写 provider/model 或 inherit。",
+    ].join("\n");
+  }
+  const messages: string[] = [];
+  for (const kind of kinds) {
+    const choice = await host.select(`技能进化：${LABELS[kind]}模型`, modelChoices(host.models));
+    if (choice === undefined) return [...messages, "已取消，配置未改动"].join("\n");
+    messages.push(await tools.setModel(kind, specFromChoice(choice)));
+  }
+  return [...messages, `当前配置：${describeModelConfig(tools.config())}`].join("\n");
+}

package/extensions/skill-evolve/lib/config.ts

@@ -0,0 +1,194 @@
+/**
+ * 技能进化配置：唯一来源是 `.pi/evolution/config.json`。
+ *
+ * **默认全关**（`enabled:false` + `telemetry:false`）：别人 clone 下来什么都不写、不派生、不留痕迹；
+ * 只有显式 `/skill-evolve on` 才写这个文件（`config.json` 也是本机偏好，进 `.gitignore`，断然不能入库
+ * —— 否则一个人开了，提交一推，整个团队都被打开）。
+ */
+import * as fs from "node:fs";
+import * as path from "node:path";
+import type { MutationQueue } from "./telemetry.ts";
+
+/**
+ * TUI 推送开关（用户 2026-11-08：「tui 的这些推送不看了，影响我」）：两个都默认 false。
+ * 实时状态改由 `/skill-evolve status`、Web 面板与 `.pi/evolution/logs/extension.log` 承载。
+ */
+export interface UiConfig {
+  /** false → 不调 ctx.ui.setWidget / setStatus（面板与状态栏都不出现） */
+  widget: boolean;
+  /** false → 不写 `/tree` 条目（registerEntryRenderer 留着，但没有条目可渲染） */
+  entries: boolean;
+}
+
+/**
+ * Web 面板开关（用户 2026-11-08：「期望是 pi 启动，他也启动，reload 就退出重启」）。
+ * 面板是 pi 的附属物，所以开关与端口必须落盘 —— 否则每次启动都得手敲 `/skill-evolve web`。
+ */
+export interface WebConfig {
+  /** true → 每个 `session_start`（含 `/reload` 后的新实例）自动起面板 */
+  enabled: boolean;
+  /** 监听端口；1..65535，非法值回落到 7788 并留一行日志 */
+  port: number;
+}
+
+/**
+ * 两个独立开关的字段名：
+ * - `enabled`   = 派生复盘（会起子进程跑 agent，**花 token**）
+ * - `telemetry` = 采集遥测（每轮一条曝光/加载/派生记录，只写本地 jsonl，**不花 token**）
+ * 字段级分开之后，命令（collect / review）与 Web 控制条都只切其中一个。
+ */
+export type ConfigFlag = "enabled" | "telemetry";
+
+export interface EvolutionConfig {
+  /** 派生总开关：false 时一律不派生（`/skill-evolve on|off` 会与 telemetry 一起切；`review` 只切它） */
+  enabled: boolean;
+  /** 去抖窗口（毫秒）：窗口内再次 settled 只记 superseded，不叠加派生 */
+  idleMs: number;
+  /** 单次 run 最长存活（毫秒）：孤儿锁按 2 倍判死 */
+  maxRuntimeMs: number;
+  /** 单会话派生次数上限（进程内计数）；跨会话的总量由 lib/single-flight.ts 的全局闸兜底 */
+  perSessionCap: number;
+  /** L0 遥测采集开关（默认关：采集会在 `.pi/evolution/telemetry/` 落盘；`collect` 只切它） */
+  telemetry: boolean;
+  /** 界面推送开关：默认全关（想回 TUI 面板就显式打开） */
+  ui: UiConfig;
+  /** Web 面板：默认不起（谁也没要过就不该占端口），端口按约定值 7788 */
+  web: WebConfig;
+}
+
+export const DEFAULT_CONFIG: Readonly<EvolutionConfig> = Object.freeze({
+  enabled: false,
+  idleMs: 90_000,
+  maxRuntimeMs: 20 * 60_000,
+  perSessionCap: 20,
+  telemetry: false,
+  ui: Object.freeze({ widget: false, entries: false }),
+  // Web 面板是「管理界面」，默认随 pi 启动；它与采集/派生（enabled / telemetry）是两回事，
+  // 后者默认关闭——面板起来不等于开始花 token。2026-11-08 用户定。
+  web: Object.freeze({ enabled: true, port: 7788 }),
+});
+
+export function configFile(evolutionDir: string): string {
+  return path.join(evolutionDir, "config.json");
+}
+
+function positiveInt(value: unknown, fallback: number): number {
+  return typeof value === "number" && Number.isFinite(value) && value > 0 ? Math.floor(value) : fallback;
+}
+
+function bool(value: unknown, fallback: boolean): boolean {
+  return typeof value === "boolean" ? value : fallback;
+}
+
+/**
+ * 端口校验：必须是 1..65535 的整数。非法值回落 7788 并留一行 warn ——
+ * 写错一个端口号不该让面板整个起不来，也不该牵连其它配置项。
+ */
+function webPort(value: unknown, log: (msg: string) => void): number {
+  const fallback = DEFAULT_CONFIG.web.port;
+  if (typeof value === "number" && Number.isInteger(value) && value >= 1 && value <= 65535) return value;
+  // 只有「写了但写错」才告警：老配置里根本没有 web 块属于正常情况，不该刷日志
+  if (value !== undefined) log(`[skill-evolve] 配置里的 web.port 非法（${JSON.stringify(value)}），已回落到 ${fallback}`);
+  return fallback;
+}
+
+/** 逐字段校验：坏值与缺字段各自回退默认，不让配置错误中断采集 */
+export function normalizeConfig(raw: unknown, log: (msg: string) => void = () => {}): EvolutionConfig {
+  const input = (raw && typeof raw === "object" ? raw : {}) as Record<string, unknown>;
+  // ui / web 是嵌套对象：整块缺 / 类型不对时整块回退，个别字段坏只回退那个字段
+  const ui = (input.ui && typeof input.ui === "object" ? input.ui : {}) as Record<string, unknown>;
+  const web = (input.web && typeof input.web === "object" ? input.web : {}) as Record<string, unknown>;
+  return {
+    enabled: bool(input.enabled, DEFAULT_CONFIG.enabled),
+    idleMs: positiveInt(input.idleMs, DEFAULT_CONFIG.idleMs),
+    maxRuntimeMs: positiveInt(input.maxRuntimeMs, DEFAULT_CONFIG.maxRuntimeMs),
+    perSessionCap: positiveInt(input.perSessionCap, DEFAULT_CONFIG.perSessionCap),
+    telemetry: bool(input.telemetry, DEFAULT_CONFIG.telemetry),
+    ui: {
+      widget: bool(ui.widget, DEFAULT_CONFIG.ui.widget),
+      entries: bool(ui.entries, DEFAULT_CONFIG.ui.entries),
+    },
+    web: {
+      enabled: bool(web.enabled, DEFAULT_CONFIG.web.enabled),
+      port: webPort(web.port, log),
+    },
+  };
+}
+
+/** 读原始字段（保留后续阶段可能追加的键）；解析失败返回空对象 */
+export function readRawConfig(evolutionDir: string): Record<string, unknown> {
+  try {
+    const raw: unknown = JSON.parse(fs.readFileSync(configFile(evolutionDir), "utf8"));
+    return raw && typeof raw === "object" ? (raw as Record<string, unknown>) : {};
+  } catch {
+    return {};
+  }
+}
+
+/** 读配置：文件不存在 → 默认值（静默）；文件坏 → 默认值 + 一行日志 */
+export function loadConfig(evolutionDir: string, log: (msg: string) => void = () => {}): EvolutionConfig {
+  const file = configFile(evolutionDir);
+  try {
+    return normalizeConfig(JSON.parse(fs.readFileSync(file, "utf8")), log);
+  } catch (error) {
+    if ((error as NodeJS.ErrnoException)?.code !== "ENOENT") {
+      log(`[skill-evolve] 配置读取失败，改用默认值：${String(error)}`);
+    }
+    return { ...DEFAULT_CONFIG };
+  }
+}
+
+/**
+ * 只写一个开关（`/skill-evolve collect|review`、Web 控制条的单个开关）：
+ * 目标字段按传入值写，其余键（另一个开关、去抖 / 上限、ui / web 块）原样保留。
+ * 返回归一化后的新配置，调用方用 Object.assign 原地更新正在用的那份。
+ */
+export async function saveFlag(
+  evolutionDir: string,
+  field: ConfigFlag,
+  value: boolean,
+  queue: MutationQueue,
+): Promise<EvolutionConfig> {
+  const raw = readRawConfig(evolutionDir);
+  const next = normalizeConfig({ ...raw, [field]: value });
+  const file = configFile(evolutionDir);
+  await queue(file, async () => {
+    await fs.promises.mkdir(evolutionDir, { recursive: true });
+    await fs.promises.writeFile(file, `${JSON.stringify({ ...raw, ...next }, null, 2)}\n`, "utf8");
+  });
+  return next;
+}
+
+/**
+ * 一键全开/全关（`/skill-evolve on|off`）：两次单字段写入，语义仍是「采集与派生一起切」。
+ * 保留这个入口是因为「先全关再走」比连点两个开关更不容易漏 —— 但它不再是唯一的开关路径。
+ * 两次写在同一队列里顺序执行，最终状态一定是两个字段都等于 `on`。
+ */
+export async function saveConfigSwitch(
+  evolutionDir: string,
+  on: boolean,
+  queue: MutationQueue,
+): Promise<EvolutionConfig> {
+  await saveFlag(evolutionDir, "enabled", on, queue);
+  return saveFlag(evolutionDir, "telemetry", on, queue);
+}
+
+/**
+ * 只改 web 块（`/skill-evolve web` 写 enabled=true、`off` 写 enabled=false）：
+ * 与 `saveConfigSwitch` 一样保留其余键 —— 开关面板不该顺手改掉去抖、上限或模型配置。
+ */
+export async function saveWebConfig(
+  evolutionDir: string,
+  patch: { enabled?: boolean; port?: number },
+  queue: MutationQueue,
+): Promise<EvolutionConfig> {
+  const raw = readRawConfig(evolutionDir);
+  const web = (raw.web && typeof raw.web === "object" ? raw.web : {}) as Record<string, unknown>;
+  const next = normalizeConfig({ ...raw, web: { ...web, ...patch } });
+  const file = configFile(evolutionDir);
+  await queue(file, async () => {
+    await fs.promises.mkdir(evolutionDir, { recursive: true });
+    await fs.promises.writeFile(file, `${JSON.stringify({ ...raw, ...next }, null, 2)}\n`, "utf8");
+  });
+  return next;
+}

package/extensions/skill-evolve/lib/detect.ts

@@ -0,0 +1,62 @@
+/**
+ * L0 采集的技能文件识别（纯函数，零依赖，可直接被 node --test 跑）。
+ *
+ * 只做事实判定：这一条工具调用是否读了某个技能文件、读的是哪个技能。
+ * 「读到了有没有照做」是复盘阶段的事，这里不猜。
+ */
+import * as path from "node:path";
+
+export interface SkillHit {
+  /** 技能名（= SKILL.md 的父目录名） */
+  skill: string;
+  /** 识别途径：read 高置信、bash 中置信 */
+  how: "read" | "bash";
+  /** 与命中有关的原始路径（绝对路径或命令里的路径片段），写进遥测做证据 */
+  raw: string;
+}
+
+const SKILL_FILE = "SKILL.md";
+const SKILL_SUFFIX = `/${SKILL_FILE}`;
+
+function normalize(filePath: string): string {
+  return filePath.replace(/\\/g, "/");
+}
+
+/** `.../<名>/SKILL.md` → 名；不符合返回 null */
+export function skillNameFromPath(filePath: string): string | null {
+  const normalized = normalize(String(filePath ?? "")).replace(/\/+$/, "");
+  if (normalized.length <= SKILL_SUFFIX.length) return null;
+  if (normalized.slice(-SKILL_SUFFIX.length).toLowerCase() !== SKILL_SUFFIX.toLowerCase()) return null;
+  const dir = normalized.slice(0, normalized.length - SKILL_SUFFIX.length);
+  const name = dir.slice(dir.lastIndexOf("/") + 1);
+  if (name.length === 0 || name === "." || name === "..") return null;
+  return name;
+}
+
+/** read 工具：去掉 `@` 前缀后按 cwd 解析成绝对路径，必须以 `/SKILL.md` 结尾 */
+export function detectFromRead(rawPath: string, cwd: string): SkillHit | null {
+  const raw = String(rawPath ?? "").trim().replace(/^@/, "");
+  if (raw.length === 0) return null;
+  const absolute = normalize(path.resolve(cwd, raw));
+  const skill = skillNameFromPath(absolute);
+  return skill ? { skill, how: "read", raw: absolute } : null;
+}
+
+/**
+ * bash 工具：命令串里出现 `skills/<名>/SKILL.md`。
+ * 路径两侧的引号不在字符集里，所以 `cat ".pi/skills/x/SKILL.md"` 与不带引号都能命中。
+ */
+export function detectFromBash(command: string): SkillHit[] {
+  const text = String(command ?? "");
+  if (!text.includes(SKILL_FILE)) return [];
+  // 正则放在函数内：带 g 的正则共享 lastIndex，模块级复用会在并发调用间串味。
+  const pattern = /[^\s"'`]*skills\/[A-Za-z0-9._-]+\/SKILL\.md/gi;
+  const hits = new Map<string, SkillHit>();
+  for (const match of text.matchAll(pattern)) {
+    const raw = match[0];
+    const skill = skillNameFromPath(raw);
+    if (!skill || hits.has(skill)) continue;
+    hits.set(skill, { skill, how: "bash", raw });
+  }
+  return [...hits.values()];
+}

package/extensions/skill-evolve/lib/diff-apply.ts

@@ -0,0 +1,90 @@
+/**
+ * 把 unified diff 应用到「改动前的技能全文」，给评审员一份「改后全文」。
+ *
+ * 为什么不用 git apply：评审督导是独立 node 进程、只拿到 run 目录里的 diff 文本，
+ * 不能假设工作区是干净的（更不能在这里 git 操作 — 设计稿闸0 要求改动面可核对）。
+ * 这里只做最小实现：优先逐行精确匹配（忽略行尾空白），匹配不上就如实返回失败，
+ * 由调用方在 prompt 里写明「全文是改动前的版本，只有 diff 可信」，绝不猜。
+ */
+
+export interface ApplyResult {
+  ok: boolean;
+  /** 应用成功是改后全文；失败时返回原文（调用方据此在 prompt 里说明） */
+  text: string;
+  /** diff 里声明的新文件路径（去掉 a/ b/ 前缀），用于回读原文 */
+  file: string | null;
+  reason?: string;
+}
+
+interface Hunk {
+  oldStart: number;
+  body: string[];
+}
+
+const HUNK_HEAD = /^@@ -(\d+)(?:,\d+)? \+\d+(?:,\d+)? @@/;
+
+/** 只取第一段文件头的 hunk：技能提案本来就是单文件改动 */
+function parseHunks(diffText: string): { hunks: Hunk[]; path: string | null } {
+  const hunks: Hunk[] = [];
+  let path: string | null = null;
+  let current: Hunk | null = null;
+  for (const raw of diffText.split(/\r?\n/)) {
+    const line = raw.replace(/\t$/, "");
+    if (line.startsWith("+++ ")) {
+      const head = line.slice(4).split("\t")[0].trim();
+      if (head !== "/dev/null" && head.length > 0) path ??= head.replace(/^[ab]\//, "");
+      continue;
+    }
+    const head = HUNK_HEAD.exec(line);
+    if (head) {
+      current = { oldStart: Number.parseInt(head[1], 10), body: [] };
+      hunks.push(current);
+      continue;
+    }
+    if (!current) continue;
+    if (line.startsWith("\\ ")) continue; // 
+    if (line.length === 0) continue; // 夹在 hunk 之间的空行
+    current.body.push(line);
+  }
+  return { hunks, path };
+}
+
+function sameLine(a: string | undefined, b: string): boolean {
+  return a !== undefined && a.replace(/\s+$/, "") === b.replace(/\s+$/, "");
+}
+
+export function applyUnifiedDiff(baseText: string, diffText: string): ApplyResult {
+  const { hunks, path } = parseHunks(diffText);
+  if (hunks.length === 0) return { ok: false, text: baseText, file: path, reason: "diff 里没有 hunk" };
+  const lines = baseText.split("\n");
+  const out: string[] = [];
+  let cursor = 0;
+  for (const hunk of hunks) {
+    // 新建文件的 hunk 头是 `@@ -0,0 +1,N @@`：旧文件没有行，起点必须是 0 而不是 -1
+    const start = hunk.oldStart === 0 ? 0 : hunk.oldStart - 1;
+    if (start < cursor || start > lines.length) {
+      return { ok: false, text: baseText, file: path, reason: `hunk 位置越界（第 ${hunk.oldStart} 行）` };
+    }
+    out.push(...lines.slice(cursor, start));
+    cursor = start;
+    for (const entry of hunk.body) {
+      const tag = entry[0];
+      const content = entry.slice(1);
+      if (tag === " " || tag === "-") {
+        if (!sameLine(lines[cursor], content)) {
+          return { ok: false, text: baseText, file: path, reason: `第 ${cursor + 1} 行与原文件不一致：${content.trim().slice(0, 60)}` };
+        }
+        if (tag === " ") out.push(lines[cursor]);
+        cursor += 1;
+        continue;
+      }
+      if (tag === "+") {
+        out.push(content);
+        continue;
+      }
+      return { ok: false, text: baseText, file: path, reason: `无法识别的 diff 行：${entry.slice(0, 40)}` };
+    }
+  }
+  out.push(...lines.slice(cursor));
+  return { ok: true, text: out.join("\n"), file: path };
+}

package/extensions/skill-evolve/lib/diff-gen.ts

@@ -0,0 +1,78 @@
+/**
+ * diff 的两个小工具（不是通用 diff 实现）：
+ * ① `splitDiffByFile`：把多文件 diff 按文件切开，逐文件应用到各自的原文；
+ * ② `renderUnifiedDiff`：把「本次真实写盘前/后内容」渲染成 `05-applied.diff`（整文件单 hunk）。
+ *
+ * 为什么要自己渲染 05：设计要求它是**实际落盘的 diff**，不是提案里的那份 ——
+ * 提案可能被闸3拦下或回滚，落盘 diff 必须来自真实内容。
+ */
+
+export interface DiffChunk {
+  /** null = 删除文件（`+++ /dev/null`） */
+  path: string | null;
+  chunk: string;
+}
+
+export function splitDiffByFile(text: string): DiffChunk[] {
+  const lines = text.split(/\r?\n/);
+  const chunks: DiffChunk[] = [];
+  let head: string[] = [];
+  let body: string[] = [];
+  let path: string | null = null;
+  let inHunk = false;
+
+  const flush = (): void => {
+    if (path !== null || body.length > 0) chunks.push({ path, chunk: [...head, ...body].join("\n") });
+    head = [];
+    body = [];
+    path = null;
+    inHunk = false;
+  };
+
+  for (let index = 0; index < lines.length; index += 1) {
+    const line = lines[index];
+    // 文件头成对出现：`--- a/x` 紧跟 `+++ b/x` —— 见到这样的 `---` 就收掉上一段
+    if (line.startsWith("--- ") && lines[index + 1]?.startsWith("+++ ")) {
+      flush();
+      head.push(line);
+      continue;
+    }
+    if (line.startsWith("+++ ")) {
+      const raw = line.slice(4).split("\t")[0].trim();
+      path = raw === "/dev/null" || raw.length === 0 ? null : raw.replace(/^[ab]\//, "");
+      head.push(line);
+      continue;
+    }
+    if (line.startsWith("@@")) {
+      inHunk = true;
+      body.push(line);
+      continue;
+    }
+    if (!inHunk && (line.startsWith("diff ") || line.startsWith("index ") || line.startsWith("new file mode") || line.startsWith("deleted file mode"))) {
+      head.push(line);
+      continue;
+    }
+    body.push(line);
+  }
+  flush();
+  return chunks;
+}
+
+function toLines(text: string | null): string[] {
+  if (text === null) return [];
+  const body = text.endsWith("\n") ? text.slice(0, -1) : text;
+  return body.length === 0 ? [] : body.split("\n");
+}
+
+/** 整文件单 hunk 的 diff：只用于留证，不参与再应用（应用走 diff-apply.ts） */
+export function renderUnifiedDiff(relPath: string, before: string | null, after: string): string {
+  const oldLines = toLines(before);
+  const newLines = toLines(after);
+  const header = [
+    `--- ${before === null ? "/dev/null" : `a/${relPath}`}`,
+    `+++ b/${relPath}`,
+    `@@ -1,${oldLines.length} +1,${newLines.length} @@`,
+  ];
+  const body = [...oldLines.map((line) => `-${line}`), ...newLines.map((line) => `+${line}`)];
+  return `${[...header, ...body].join("\n")}\n`;
+}