@unifan/pi-review-zh 1.0.5 → 1.0.7

package/agents/perf-review.md

@@ -1,56 +1,81 @@
 ---
 name: perf-review
 package: pi-review
-description: 性能与基准测试审查专家：专项排查内存泄漏、高频GC分配、算法复杂度退化、锁竞争，并主动探测执行基准测试(Benchmark)。
+description: 通用性能与基准测试审查专家：跨语言排查热路径堆分配、算法复杂度、锁竞争、I/O放大与资源泄漏，并主动探测执行基准测试(Benchmark)。
 tools: read, grep, bash
 systemPromptMode: replace
 inheritProjectContext: false
 inheritSkills: false
 ---
-你是**性能与基准测试审查专家（Performance & Benchmark Reviewer）**。你的任务是专项深度排查本次代码改动中的性能瓶颈、内存分配压力与并发隐患，并主动寻找和执行基准测试（Benchmark）。
+你是**通用性能与基准测试审查专家（Universal Performance & Benchmark Reviewer）**。你的职责是从计算机底层与系统架构视角，专项排查代码改动中的性能退化、内存与资源开销、计算瓶颈、并发竞争与 I/O 放大问题，并主动探索和执行基准测试。
 
-## 核心审查维度（跨语言与全栈）
+## 🎯 核心审查维度（通用跨语言体系）
 
-1. **内存与 GC 分配（Memory & Allocation Pressure）**：
-   - **高频循环堆分配**：检查循环（Update / Tick / 帧循环 / 高频事件处理器）中是否存在 `new` 对象、隐式闭包分配、Lambda 捕获外部变量、LINQ、装箱/拆箱。
-   - **集合与缓冲区**：集合未预设初始容量导致的频繁扩容与重分配、频繁的数组拷贝、低效字符串拼接（应使用 StringBuilder / Span）。
-   - **内存泄漏**：未注销的事件监听（Event）、未释放的非托管资源/句柄/流/GPU 纹理、长生命周期单例持有大对象强引用。
+### 1. 内存与资源分配（Memory & Allocation Overhead）
+* **热路径频繁堆分配（Heap Churn）**：
+  * 在高频热点（紧密循环、请求处理流水线、事件分发循环）中反复创建临时对象或申请动态内存。
+  * 隐式装箱/闭包捕获/低效字符串拼接导致的高频堆内存分配与垃圾回收（GC）暂停。
+* **低效扩容与多余拷贝（Unnecessary Copies & Growth）**：
+  * 动态数组/切片/集合未预分配容量导致的反复重分配与内存搬移。
+  * 传值未利用引用/指针/切片/视图（如 Span/string_view/byte-slice/borrowing）导致的大数据结构全量深拷贝。
+* **资源与内存泄漏（Resource Leaks）**：
+  * 未正确释放的系统句柄、网络连接、数据库会话、文件流或未解绑的长生命周期监听器。
 
-2. **CPU 与算法复杂度（CPU & Complexity）**：
-   - **复杂度退化**：高频热点中 $O(N^2)$ 或更高复杂度的嵌套循环与线性查找（应替换为 Dictionary/HashMap/HashSet 索引）。
-   - **昂贵反射与深拷贝**：热点路径中频繁反射（Reflection）、动态解析、低效序列化。
-   - **主线程阻塞**：UI 线程或渲染主线程中执行同步大文件读取或阻塞性 I/O。
+### 2. 计算与算法时间复杂度（Compute & Complexity）
+* **时间复杂度退化**：
+  * 热点路径中出现 O(N²) 或更高复杂度的嵌套循环。
+  * 在大规模数据集上使用线性遍历（O(N)），未合理构建或使用哈希表、树或索引（O(1) / O(log N)）。
+* **热路径昂贵操作（Expensive Operations in Hot-Paths）**：
+  * 循环或高频方法中调用昂贵的运行时反射、动态类型解析、重复的正则编译或重复序列化/反序列化。
+  * 重复计算未缓存：在不变的数据集上反复执行高开销的解析或过滤。
+* **执行线程阻塞（Thread / Event-Loop Blocking）**：
+  * 在单线程事件循环（如 Node.js/UI 主线程）或有限工作线程中执行耗时的同步阻塞 I/O 或 CPU 密集计算。
 
-3. **并发与锁竞争（Concurrency & Contention）**：
-   - 锁粒度过大、在锁内执行耗时 I/O、无界队列、死锁与假共享（False Sharing）。
+### 3. 并发、锁与 I/O 放大（Concurrency & I/O Overhead）
+* **锁竞争与并发隐患（Lock Contention & Starvation）**：
+  * 锁粒度过大、在持有互斥锁期间执行慢速 I/O 操作、锁争用导致的线程频繁挂起与上下文切换。
+* **I/O 放大与缺少批处理（I/O Amplification）**：
+  * 经典的 N+1 查询/请求反模式：在循环中发起独立的数据库查询或 RPC 调用（未做批量化 Batching / Pipeline）。
+  * 缺少流式处理：一次性将数 GB 的全量数据读取到内存中，而不是使用迭代器/流式分块处理。
 
-4. **基准测试探索与执行（Benchmark Runner）**：
-   - **自动探测**：主动检查工作区是否存在基准测试套件（如 `BenchmarkDotNet`、`go test -bench`、`cargo bench`、`pytest-benchmark`、`vitest bench` 等）。
-   - **有条件执行**：若存在现成的基准测试且安全可运行，使用 `bash` 运行一次并提取关键指标（单次耗时、单次分配字节数）。
-   - **基准代码生成**：若当前改动属于核心热点但缺乏 Benchmark，在报告中给出一段针对该场景的标准基准测试代码建议。
+---
+
+### 4. ⏱️ 自动化基准测试探针（Benchmark Discovery & Execution）
+* **智能探测**：检查工作区是否配置了基准测试工具：
+  * **Go**：`go test -bench=. -benchmem`
+  * **Rust**：`cargo bench` / `criterion`
+  * **C# / .NET**：`BenchmarkDotNet` / 性能测试工程
+  * **Python**：`pytest-benchmark` / `timeit`
+  * **C/C++**：`Google Benchmark`
+  * **Node.js / TS**：`vitest bench` / `mitata` / `tinybench`
+  * **CLI**：`hyperfine`
+* **有条件执行**：若工作区存在轻量安全的基准测试，可尝试执行一次并提取纳秒级耗时（ns/op）与分配指标（B/op, allocs/op）。
+* **Benchmark 代码生成**：若当前改动属于高风险核心热点但**缺少基准测试**，在报告中给出一段针对该场景的轻量 Benchmark 代码模板，方便开发者直接压测。
 
-## 执行步骤
+---
+
+## 📋 执行流程
 1. 读取任务中的 diff 文件与 manifest 清单。
-2. 重点分析改动中涉及性能与资源管理的关键代码，必要时读取上下文文件。
+2. 重点排查改动中涉及热点循环、数据结构选型、内存申请与并发/IO 的代码。
 3. 检查并运行基准测试（如适用）。
-4. 输出格式规范的 Markdown 报告并在最末尾附带 JSON 块。
+4. 输出结构化的 Markdown 性能报告，并在末尾输出供机器读取的 JSON 块。
 
-## 输出格式（必须使用中文撰写总结与描述）
+---
 
-请以 Markdown 格式输出最终回复：
+## 📄 输出格式（必须使用纯正中文撰写）
 
 ## Summary
-一句话中文性能总结（评定本次修改的性能影响：优秀 / 无明显影响 / 存在性能隐患 / 严重性能退化）。
+一句话中文性能总结（评定性能等级：性能提升 / 优秀无影响 / 存在低效瓶颈 / 严重性能退化）。
 
 ## Findings
-每个发现一行：`- [SEVERITY|category|confidence] 文件路径:行号 — 中文问题描述、分配分析与优化建议`。无问题写 `No findings.`。
+每个发现一行：`- [SEVERITY|category|confidence] 文件路径:行号 — 中文问题描述、复杂度/分配分析与优化方案`。无明显性能问题写 `No findings.`。
 
 ## Benchmark Analysis
-说明工作区中基准测试探测结果与运行数据。若无基准测试，可针对改动热点提供一段简短的 Benchmark 编写建议。
+说明工作区中的基准测试探测情况与运行数据。若无基准测试且改动涉及热点，提供一段建议编写的 Benchmark 代码。
 
 ## Coverage
 - Files checked: 检查的文件
-- Commands run: 执行的基准测试或检查命令
+- Commands run: 执行的基准测试或排查命令
 - Limitations: 局限说明
 
 然后在最末尾严格输出一个被 ```json 代码块包裹的 JSON：
@@ -59,9 +84,9 @@ inheritSkills: false
 {
   "status": "ok",
   "issues": [
-    { "file": "src/Manager.cs", "line": 42, "category": "perf", "severity": "major", "confidence": 9, "evidence": "Update 循环中存在 new GC 堆分配，且高频调用 LINQ 查询", "fingerprint": "src/Manager.cs:42:perf:a1b2c3" }
+    { "file": "path/to/file", "line": 100, "category": "perf", "severity": "major", "confidence": 9, "evidence": "在热点循环内存在高频堆分配与 O(N^2) 线性查找，建议改为预分配并在外部构建哈希索引", "fingerprint": "path/to/file:100:perf:a1b2c3" }
   ],
   "summary": "中文一句话性能总结",
-  "coverage": { "filesChecked": ["src/Manager.cs"], "commandsRun": [], "limitations": [] }
+  "coverage": { "filesChecked": ["path/to/file"], "commandsRun": [], "limitations": [] }
 }
 ```

package/index.ts

@@ -25,11 +25,12 @@ export default function (pi: ExtensionAPI) {
 	registerReviewReportTool(pi);
 	registerPiReviewRenderer(pi);
 	pi.registerCommand("review", {
-		description: "启动 AI 并发代码审查 (支持多专家子代理 + 门禁总裁判系统)。--lite = 极速单专家审查，--perf = 性能与基准测试审查。",
+		description: "启动日常 AI 代码审查 (3 大核心专家 + 门禁裁判长)。--lite 极速单兵，--perf 性能审查，--full 全量会诊。",
 		getArgumentCompletions: (prefix: string) => {
 			const options = [
-				{ value: "--lite", label: "--lite", description: "极速单专家审查 (无门禁，低延迟省 Token)" },
+				{ value: "--lite", label: "--lite", description: "极速单专家审查 (无门禁，低延迟极省 Token)" },
 				{ value: "--perf", label: "--perf", description: "专项性能与基准测试审查 (GC/内存分配/CPU/Benchmark)" },
+				{ value: "--full", label: "--full", description: "全量 6 专家深度会诊 (Bugbot/安全/合规/历史/注释/性能 + 门禁)" },
 				{ value: "--gate-model", label: "--gate-model", description: "指定当前审查的门禁裁判模型" },
 			];
 			const trimmed = prefix.trimStart();
@@ -69,6 +70,7 @@ export default function (pi: ExtensionAPI) {
 					input: parsed.input,
 					lite: parsed.lite,
 					perf: parsed.perf,
+					full: parsed.full,
 					gateModel: parsed.gateModel,
 				});
 				if (!prepared) {
@@ -139,6 +141,30 @@ export default function (pi: ExtensionAPI) {
 		},
 	});
 
+	pi.registerCommand("review-full", {
+		description: "全量 6 专家深度代码审查会诊 (Bugbot/安全/合规/历史/注释/性能 + 门禁总裁判)",
+		handler: async (args, ctx) => {
+			const notify = (msg: string, level: "info" | "warning" | "error" = "info") => {
+				if (ctx.hasUI) ctx.ui.notify(msg, level);
+				else console.log(`pi-review: ${msg}`);
+			};
+			try {
+				const { config, legacyWarnings } = loadConfig();
+				for (const w of legacyWarnings) notify(`pi-review 提示: ${w}`, "warning");
+				pi.sendMessage({ customType: "pi-review", content: args ? `/review-full ${args}` : "/review-full", display: true });
+				const prepared = await prepareRun({ cwd: ctx.cwd, input: args, full: true });
+				if (!prepared) {
+					notify("没有检测到需要审查的内容 (未找到修改、PR 或非 Git 仓库)。", "info");
+					return;
+				}
+				pi.sendMessage({ customType: "pi-review-directive", content: prepared.directiveText, display: false }, { triggerTurn: true });
+			} catch (err) {
+				const message = err instanceof Error ? err.message : String(err);
+				notify(`全量代码审查启动失败: ${message}`, "error");
+			}
+		},
+	});
+
 	pi.registerCommand("review-config", {
 		description: "编辑代码审查配置 (~/.pi/agent/pi-review.json)",
 		handler: async (_args, ctx) => {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@unifan/pi-review-zh",
-  "version": "1.0.5",
+  "version": "1.0.7",
   "description": "Pi AI 并发代码审查扩展（多专家子代理并发 + 门禁裁判系统，中文增强版）",
   "type": "module",
   "license": "MIT",

package/src/cli-args.ts

@@ -11,6 +11,8 @@ export interface ParsedReviewArgs {
 	lite: boolean;
 	/** Dedicated performance review mode: perf-reviewer with benchmark capabilities. */
 	perf: boolean;
+	/** Full multi-agent review mode: all 6 reviewers + gate. */
+	full: boolean;
 	/** Override the gate model for this run (otherwise config.gate.model). */
 	gateModel?: string;
 }
@@ -24,7 +26,7 @@ const LEGACY_VALUED_FLAGS = new Set([
 
 export function parseReviewArgs(raw: string): ParsedReviewArgs {
 	const tokens = tokenize(raw);
-	const result: ParsedReviewArgs = { noSpawn: false, lite: false, perf: false };
+	const result: ParsedReviewArgs = { noSpawn: false, lite: false, perf: false, full: false };
 	const inputParts: string[] = [];
 
 	for (let i = 0; i < tokens.length; i++) {
@@ -45,6 +47,10 @@ export function parseReviewArgs(raw: string): ParsedReviewArgs {
 			result.perf = true;
 			continue;
 		}
+		if (t === "--full") {
+			result.full = true;
+			continue;
+		}
 		if (t === "--gate-model") {
 			const id = tokens[++i];
 			if (id) result.gateModel = id;

package/src/config.ts

@@ -24,7 +24,7 @@ import type { PiReviewConfig, ReviewerSpec, RoutingMode, VerdictPolicy } from ".
  * reviewers stay on "inherit" to follow the parent session's stronger model.
  * Override via config.json (`gate.model`) or `--gate-model`.
  */
-export const DEFAULT_GATE_MODEL = "anthropic/claude-haiku-4-5";
+export const DEFAULT_GATE_MODEL = "inherit";
 
 /** Default reviewer and gate config shipped with the package (v0.7). */
 export const DEFAULT_CONFIG: PiReviewConfig = {
@@ -55,7 +55,7 @@ export const DEFAULT_CONFIG: PiReviewConfig = {
 		"history-context": {
 			id: "history-context",
 			label: "History Context",
-			enabled: true,
+			enabled: false,
 			model: "inherit",
 		},
 		"security-review": {
@@ -67,7 +67,7 @@ export const DEFAULT_CONFIG: PiReviewConfig = {
 		"code-comments": {
 			id: "code-comments",
 			label: "Code Comments",
-			enabled: true,
+			enabled: false,
 			model: "inherit",
 		},
 		conventions: {

package/src/directive.ts

@@ -237,9 +237,9 @@ export function buildWorkflowScript(input: {
 	const READ_ONLY_PREFIX =
 		"只读任务（READ-ONLY）——仅执行审查分析与基准测试。严禁修改源码文件。仅返回审查发现。所有分析总结、问题描述与建议必须使用纯正中文。";
 
-	const lines: string[] = [];
-	lines.push("");
-	lines.push("const reviewers = await runs.all([");
+	lines.push("let reviewers;");
+	lines.push("try {");
+	lines.push("  reviewers = await runs.all([");
 	for (const r of reviewers) {
 		const tb = LEAN_BUDGETS.defaultToolBudget;
 		const tbForId = r.id === "history-context" ? LEAN_BUDGETS.historyToolBudget : tb;
@@ -303,7 +303,44 @@ export function buildWorkflowScript(input: {
 		);
 		lines.push("    },");
 	}
-	lines.push("]);");
+	lines.push("  ]);");
+	lines.push("} catch (firstErr) {");
+	lines.push("  // 自动网络重试保护：若首次并发因网络波动超时，自动延迟800ms后重试一次");
+	lines.push("  await new Promise((resolve) => setTimeout(resolve, 800));");
+	lines.push("  reviewers = await runs.all([");
+	for (const r of reviewers) {
+		const tb = LEAN_BUDGETS.defaultToolBudget;
+		const tbForId = r.id === "history-context" ? LEAN_BUDGETS.historyToolBudget : tb;
+		const taskParts = [
+			READ_ONLY_PREFIX,
+			`读取 ${JSON.stringify(diffPath)} 作为改动内容——diff 是权威的修改记录，工作区文件仅作上下文参考。所有问题描述必须使用中文。`,
+			`你的当前工作区为目标工作区 (${JSON.stringify(workspacePath)})。在此目录下执行必要的 read/grep。`,
+			"在额度内完成分析；最终回复必须输出格式规范的 Markdown 审查报告（包含中文 Summary / Findings / Coverage 章节）并停止。所有问题描述、证据引用和总结必须使用纯正中文。",
+		];
+		const modelClause =
+			r.model && r.model !== "inherit"
+				? `\n      model: ${JSON.stringify(r.model)},`
+				: "";
+		lines.push("    {");
+		lines.push(`      key: ${JSON.stringify(r.id)},`);
+		lines.push(`      agent: ${JSON.stringify(leanAgentName(r.id))},`);
+		lines.push(`      task: [`);
+		for (const part of taskParts) {
+			lines.push(`        ${JSON.stringify(part)},`);
+		}
+		lines.push(`      ].join(" "),`);
+		lines.push(`      cwd: ${JSON.stringify(workspacePath)},`);
+		if (r.thinking) {
+			lines.push(`      thinking: ${JSON.stringify(r.thinking)},`);
+		}
+		lines.push(`      toolBudget: { soft: ${tbForId.soft}, hard: ${tbForId.hard} },`);
+		lines.push(
+			`      turnBudget: { maxTurns: ${budgets.turnBudget.maxTurns}, graceTurns: ${budgets.turnBudget.graceTurns} },${modelClause}`,
+		);
+		lines.push("    },");
+	}
+	lines.push("  ]);");
+	lines.push("}");
 	lines.push("");
 
 	// Gate
@@ -340,7 +377,12 @@ export function buildWorkflowScript(input: {
 		lines.push(`    agent: ${JSON.stringify(LEAN_GATE_AGENT)},`);
 		lines.push("    task: gateTask,");
 		lines.push(`    cwd: ${JSON.stringify(workspacePath)},`);
-		lines.push(`    model: ${JSON.stringify(gateModelWithThinking)},`);
+		if (gateModel && gateModel !== "inherit") {
+			lines.push(`    model: ${JSON.stringify(gateModelWithThinking)},`);
+		}
+		if (gateThinking && gateThinking !== "off" && gateThinking !== "false") {
+			lines.push(`    thinking: ${JSON.stringify(gateThinking)},`);
+		}
 		lines.push(`    toolBudget: { soft: ${budgets.gateToolBudget.soft}, hard: ${budgets.gateToolBudget.hard} },`);
 		lines.push(`    turnBudget: { maxTurns: ${budgets.gateTurnBudget.maxTurns}, graceTurns: ${budgets.gateTurnBudget.graceTurns} },`);
 		lines.push("  });");

package/src/review-run.ts

@@ -49,6 +49,8 @@ export interface PrepareRunInput {
 	lite?: boolean;
 	/** Support `--perf` performance & benchmark mode. */
 	perf?: boolean;
+	/** Support `--full` all 6 reviewers mode. */
+	full?: boolean;
 	/** Optional per-run gate model override. */
 	gateModel?: string;
 	/** Set false for dry-runs — pruning is a side effect a dry run must not have. */
@@ -150,7 +152,16 @@ export async function prepareRun(input: PrepareRunInput): Promise<PreparedRun |
 		? [{ id: "perf-review", label: "Performance Review", enabled: true, model: "inherit" }]
 		: input.lite
 			? [{ id: "lite-review", label: "Lite Review", enabled: true, model: "inherit" }]
-			: reviewersForRouting(target, config, profile);
+			: input.full
+				? [
+						{ id: "claude-md-compliance", label: "Claude-MD Compliance", enabled: true, model: "inherit" },
+						{ id: "bugbot", label: "Bugbot", enabled: true, model: "inherit" },
+						{ id: "security-review", label: "Security Review", enabled: true, model: "inherit" },
+						{ id: "history-context", label: "History Context", enabled: true, model: "inherit" },
+						{ id: "code-comments", label: "Code Comments", enabled: true, model: "inherit" },
+						{ id: "perf-review", label: "Performance Review", enabled: true, model: "inherit" },
+				  ]
+				: reviewersForRouting(target, config, profile);
 	const skippedReasons = adaptiveSkips(profile);
 	// The report tool uses this to reject findings that did not come from this
 	// run's roster (stale-artifact contamination guard).