dsh-rule-engine 0.5.12 → 0.5.14

package/lib/core/parser.js

@@ -1,103 +1,111 @@
-// parser.js - 解析 AGENTS.md 规则容器。
-// 纯 Node，可独立测试。把 AGENTS.md 解析为规则列表，规则正文保留四要素原文。
-import { readFileSync, statSync } from "node:fs";
-import { agentsFilePath } from "./paths.js";
-
-// 与 rules-manager 解析口径一致：标题剥离「（来源：…）」后缀（P1-4），避免 /guard rules 显示带尾巴
-const RULE_HEADER_RE = /^###\s*\[规则\s*([0-9A-Za-z]+)\]\s*(.+?)\s*(?:（来源[^）]*）)?\s*$/;
-const SECTION_RE = /^##\s+(.+?)\s*$/;
-const FREE_ZONE_START_RE = /^\s*<!--\s*free-zone:start\s*-->\s*$/;
-const FREE_ZONE_END_RE = /^\s*<!--\s*free-zone:end\s*-->\s*$/;
-
-/**
- * 从 AGENTS.md 解析全部规则。
- * @returns {{ok: boolean, missing: boolean, error?: string, rules: Array, raw: string, mtimeMs: number}}
- */
-export function loadRules() {
-  const file = agentsFilePath();
-  let raw;
-  let mtimeMs = 0;
-  try {
-    raw = readFileSync(file, "utf8");
-    mtimeMs = statSync(file).mtimeMs;
-  } catch (error) {
-    if (error && error.code === "ENOENT") {
-      return { ok: false, missing: true, error: `未找到 ${file}`, rules: [], raw: "", mtimeMs: 0 };
-    }
-    return { ok: false, missing: false, error: String(error), rules: [], raw: "", mtimeMs: 0 };
-  }
-  const bom = raw.charCodeAt(0) === 0xfeff;
-  const text = bom ? raw.slice(1) : raw;
-  const lines = text.split("\n");
-  const rules = [];
-  let currentSection = "未分区";
-  let current = null;
-  let inFreeZone = false;
-  for (let i = 0; i < lines.length; i++) {
-    const line = lines[i];
-    // 自由区域边界：区内内容完全不解析（不产生规则、不切换分区），对引擎透明
-    if (FREE_ZONE_START_RE.test(line)) {
-      if (current) rules.push(finalize(current, lines));
-      current = null;
-      inFreeZone = true;
-      continue;
-    }
-    if (FREE_ZONE_END_RE.test(line)) {
-      inFreeZone = false;
-      continue;
-    }
-    if (inFreeZone) continue;
-    const sec = line.match(SECTION_RE);
-    if (sec) {
-      if (current) rules.push(finalize(current, lines));
-      currentSection = sec[1].trim();
-      current = null;
-      continue;
-    }
-    const rule = line.match(RULE_HEADER_RE);
-    if (rule) {
-      if (current) rules.push(finalize(current, lines));
-      current = {
-        index: rule[1],
-        title: rule[2].trim(),
-        section: currentSection,
-        startLine: i,
-        endLine: i + 1
-      };
-    } else if (current) {
-      current.endLine = i + 1;
-    }
-  }
-  if (current) rules.push(finalize(current, lines));
-  return { ok: true, missing: false, error: null, rules, raw: text, mtimeMs };
-}
-
-function finalize(rule, lines) {
-  const body = lines.slice(rule.startLine + 1, rule.endLine).join("\n").trim();
-  // 等级正则：支持空格/顿号连接的组合等级（如 "B + D"、"A 弱 + D"），解析结果去空白
-  const levelMatch = rule.title.match(/执行等级[：:]\s*([A-DM+](?:\s*[强弱])?(?:\s*[+＋、]\s*[A-DM+](?:\s*[强弱])?)*)/);
-  return {
-    index: rule.index,
-    title: rule.title,
-    section: rule.section,
-    startLine: rule.startLine,
-    endLine: rule.endLine,
-    level: levelMatch ? levelMatch[1].replace(/\s+/g, "") : "",
-    body
-  };
-}
-
-/** 从规则正文提取四要素 */
-export function extractElements(body) {
-  const out = { trigger: "", check: "", action: "", exemption: "" };
-  const grab = (label) => {
-    const re = new RegExp(`\\*\\*${label}(?:（[^）]*）)?\\*\\*[：:]\\s*([^\\n]*(?:\\n(?!\\s*\\*\\*)[^\\n]*)*)`, "i");
-    const m = body.match(re);
-    return m ? m[1].trim() : "";
-  };
-  out.trigger = grab("触发");
-  out.check = grab("检查");
-  out.action = grab("动作");
-  out.exemption = grab("豁免");
-  return out;
-}
+// parser.js - 解析 AGENTS.md 规则容器。
+// 纯 Node，可独立测试。把 AGENTS.md 解析为规则列表，规则正文保留四要素原文。
+import { readFileSync, statSync } from "node:fs";
+import { agentsFilePath } from "./paths.js";
+
+// 与 rules-manager 解析口径一致：标题剥离「（来源：…）」后缀（P1-4），避免 /guard rules 显示带尾巴
+const RULE_HEADER_RE = /^###\s*\[规则\s*([0-9A-Za-z]+)\]\s*(.+?)\s*(?:（来源[^）]*）)?\s*$/;
+const SECTION_RE = /^##\s+(.+?)\s*$/;
+const FREE_ZONE_START_RE = /^\s*<!--\s*free-zone:start\s*-->\s*$/;
+const FREE_ZONE_END_RE = /^\s*<!--\s*free-zone:end\s*-->\s*$/;
+
+/**
+ * 从 AGENTS.md 解析全部规则。
+ * @returns {{ok: boolean, missing: boolean, error?: string, rules: Array, raw: string, mtimeMs: number}}
+ */
+export function loadRules() {
+  const file = agentsFilePath();
+  let raw;
+  let mtimeMs = 0;
+  try {
+    raw = readFileSync(file, "utf8");
+    mtimeMs = statSync(file).mtimeMs;
+  } catch (error) {
+    if (error && error.code === "ENOENT") {
+      return { ok: false, missing: true, error: `未找到 ${file}`, rules: [], raw: "", mtimeMs: 0 };
+    }
+    return { ok: false, missing: false, error: String(error), rules: [], raw: "", mtimeMs: 0 };
+  }
+  const bom = raw.charCodeAt(0) === 0xfeff;
+  const text = bom ? raw.slice(1) : raw;
+  const lines = text.split("\n");
+  const rules = [];
+  let currentSection = "未分区";
+  let current = null;
+  let inFreeZone = false;
+  for (let i = 0; i < lines.length; i++) {
+    const line = lines[i];
+    // 自由区域边界：区内内容完全不解析（不产生规则、不切换分区），对引擎透明
+    if (FREE_ZONE_START_RE.test(line)) {
+      if (current) rules.push(finalize(current, lines));
+      current = null;
+      inFreeZone = true;
+      continue;
+    }
+    if (FREE_ZONE_END_RE.test(line)) {
+      inFreeZone = false;
+      continue;
+    }
+    if (inFreeZone) continue;
+    const sec = line.match(SECTION_RE);
+    if (sec) {
+      if (current) rules.push(finalize(current, lines));
+      currentSection = sec[1].trim();
+      current = null;
+      continue;
+    }
+    const rule = line.match(RULE_HEADER_RE);
+    if (rule) {
+      if (current) rules.push(finalize(current, lines));
+      current = {
+        index: rule[1],
+        title: rule[2].trim(),
+        section: currentSection,
+        startLine: i,
+        endLine: i + 1
+      };
+    } else if (current) {
+      current.endLine = i + 1;
+    }
+  }
+  if (current) rules.push(finalize(current, lines));
+  return { ok: true, missing: false, error: null, rules, raw: text, mtimeMs };
+}
+
+/**
+ * 从标题/表头提取执行等级（支持空格/顿号连接的组合等级，如 "B + D"、"A 弱 + D"）。
+ * 单一真源：AGENTS.md 解析（finalize）与 disabled-rules.json 存档重建（state.js）共用，
+ * 保证禁用占位规则的 level/actions 与在场规则口径一致。
+ */
+export function levelFromTitle(title) {
+  const m = String(title || "").match(/执行等级[：:]\s*([A-DM+](?:\s*[强弱])?(?:\s*[+＋、]\s*[A-DM+](?:\s*[强弱])?)*)/);
+  return m ? m[1].replace(/\s+/g, "") : "";
+}
+
+function finalize(rule, lines) {
+  const body = lines.slice(rule.startLine + 1, rule.endLine).join("\n").trim();
+  return {
+    index: rule.index,
+    title: rule.title,
+    section: rule.section,
+    startLine: rule.startLine,
+    endLine: rule.endLine,
+    level: levelFromTitle(rule.title),
+    body
+  };
+}
+
+/** 从规则正文提取四要素 */
+export function extractElements(body) {
+  const out = { trigger: "", check: "", action: "", exemption: "" };
+  const grab = (label) => {
+    const re = new RegExp(`\\*\\*${label}(?:（[^）]*）)?\\*\\*[：:]\\s*([^\\n]*(?:\\n(?!\\s*\\*\\*)[^\\n]*)*)`, "i");
+    const m = body.match(re);
+    return m ? m[1].trim() : "";
+  };
+  out.trigger = grab("触发");
+  out.check = grab("检查");
+  out.action = grab("动作");
+  out.exemption = grab("豁免");
+  return out;
+}

package/lib/core/patterns.js

@@ -388,6 +388,9 @@ export function isAnalysisOp(toolName, args) {
     }
   }
   if (name === "node" || name === "pwsh" || name === "bash") {
+    // ㊄ 验证通道（2026-08-31，用户定稿）：验证类命令（测试/体检/探针/审计/dry-run/只读查询）
+    // 独立放行——调研/验证灵活性与"执行类"严格授权分层；清单见 isVerificationCommand（执行类不匹配）。
+    if (isVerificationCommand(cmd)) return true;
     // ③ 临时区写：写命令（不含删除/移动——删除/移动属 13A 红线，不走分析豁免）+ 提取路径全部命中临时区 + 无受保护名
     if (isMutationCommand(cmd) && !/(?:Remove-Item|Move-Item|Rename-Item|del\s|rm\s|git\s+push|git\s+commit)/i.test(cmd)) {
       const paths = extractAnalysisScratchPaths(cmd);
@@ -576,11 +579,21 @@ export function isAuditCommand(command) {
  * v0.5.7 P0-1（用户拍板 2026-08-26）：验证类命令判定——运行测试/冷加载探针/挂载审计/语法检查。
  * 与"修/改/写"授权伴生放行使用：用户授权修改后，验证是变更的正常闭环，不再被
  * write vs command 类型不匹配误拦（今天实弹连卡 4 次）。
+ * 2026-08-31（验证通道放行面，用户定稿）：清单扩展 + 由 isAnalysisOp 独立调用——
+ * ① 单测通配（任意 *.test.mjs）、② 验证/门禁脚本（check-tool-coverage / publish-aptitude-check）、
+ * ③ --dry-run（发布脚本 dry-run=只读推导，发布链无 dry-run 不匹配）、④ gh api 只读 GET、npm whoami。
+ * 安全边界：执行类脚本（release-plugin 无 --dry-run / inject / uninject / install / publish / commit /
+ * push / Remove-Item 等）一律不匹配——执行类仍走授权语义严格版（0.5.11 防借道回归不放松）。
  */
 export function isVerificationCommand(command) {
   if (typeof command !== "string") return false;
-  if (/\b(?:node|npm|npx)\s+[^\n]*(?:run-all\.mjs|check-plugin-load\.mjs|audit-mount-consistency\.mjs|loader-smoke\.e2e\.mjs|verify-all\.mjs|health-audit\.mjs|--check|--test)\b/i.test(command)) return true;
+  if (/\b(?:node|npm|npx)\s+[^\n]*(?:run-all\.mjs|check-plugin-load\.mjs|audit-mount-consistency\.mjs|loader-smoke\.e2e\.mjs|verify-all\.mjs|health-audit\.mjs|check-tool-coverage\.mjs|publish-aptitude-check\.mjs|\.test\.mjs\b|--check|--test|--dry-run)\b/i.test(command)) return true;
   if (/\b(?:npm|pnpm)\s+(?:test|run\s+test)\b/i.test(command)) return true;
+  if (/\bgh\s+api\b/i.test(command)) {
+    // 只读 GET 形态；写形态（--method/-X 显式方法、-F/--field 表单）不豁免（gg api 写=执行类）
+    return !/(?:--method|-X)\s+(?:POST|PUT|PATCH|DELETE)|\s-(?:F|f)\s|--field\s/i.test(command);
+  }
+  if (/\bnpm\s+whoami\b/i.test(command)) return true;
   return false;
 }
 

package/lib/core/state.js

@@ -61,7 +61,13 @@ export function createState() {
     deniedKeys: new Set(), // 引擎 deny 的调用 key（规则 1 计数解耦）
     unknownToolApproved: new Set(), // 机制 B：已 ask 过的未归类工具（本会话内批准后不再重复询问）
     unknownToolApprovedMeta: new Map(), // v0.5.9：name → {name,time,session}（持久化元数据，/guard tools 可视化）
-    unknownToolSessionAdded: new Set() // v0.5.9：本会话新增的批准（与永久加载区分，/guard tools 展示）
+    unknownToolSessionAdded: new Set(), // v0.5.9：本会话新增的批准（与永久加载区分，/guard tools 展示）
+    // T3 通用化（2026-08-31）：声明式 handler 绑定覆盖表 { ruleId: handlerName }
+    // 由 apply() 从插件配置（rule-engine.json 可选键 handlerOverrides）注入；重载时经理解层生效
+    handlerOverrides: {},
+    // 残余1 剥离（2026-08-31）：本机默认偏好表（rule-engine.json 可选键 handlerDefaultMap）
+    // 由 apply() 注入；重载时经理解层生效（通用部署=空表，零本机编号）
+    handlerDefaultMap: {}
   };
 }
 
@@ -141,6 +147,7 @@ export function getSessionState(state, sessionId) {
       id: key,
       ruleStats: {}, // C2：每规则 detected/suppressed/injected 统计（会话级，跨回合累计）
       manualReadSeen: false,
+      lastQueryTurn: -1, // 规则 5/31（2026-09-01）：最近一次查询类工具调用所在回合号（判定"近 3 回合有据"）
       lastUserText: "",
       selfCertCount: new Map(),
       authorizations: [],
@@ -268,28 +275,40 @@ export function resetTurn(state, sessionId, turnNumber) {
   return s.turn;
 }
 
-/** 读取 dsh-rules-manager 的 disabled-rules.json，返回已禁用规则 id 集合（P0-2） */
-export function loadDisabledRuleIds() {
+/** 读取 dsh-rules-manager 的 disabled-rules.json 全部存档条目（禁用=正文移走+原样存档） */
+export function loadDisabledRuleEntries() {
   try {
     const raw = readFileSync(disabledRulesFilePath(), "utf8");
     const list = JSON.parse(raw);
-    if (!Array.isArray(list)) return new Set();
-    return new Set(list.map((d) => String(d?.index)).filter(Boolean));
+    if (!Array.isArray(list)) return [];
+    return list.filter((d) => d && d.index !== undefined && d.index !== null);
   } catch {
-    return new Set();
+    return [];
   }
 }
 
-/** 重新加载并理解 AGENTS.md；统一在 reload 后刷新理解产物（P0-3） */
+/** 已禁用规则 id 集合（P0-2；加载失败=空集，保守不误拦） */
+export function loadDisabledRuleIds() {
+  return new Set(loadDisabledRuleEntries().map((d) => String(d.index)).filter(Boolean));
+}
+
+/**
+ * 重新加载并理解 AGENTS.md；统一在 reload 后刷新理解产物（P0-3）。
+ * 禁用语义（2026-08-31 修复）：禁用规则以 disabled=true 占位存在——不只是标记"在场规则"。
+ * 正文已移走的禁用规则由 understandAll（opts.disabledEntries）用存档正文重建占位：
+ * ① 禁用不再"消失"（/guard rules 显示（已禁用），恢复=写回 AGENTS.md 后自动重新生效）；
+ * ② 死映射消除（HANDLER_BY_RULE 中的 12B 等因规则在场而不再被判 dead，consistency-live 转绿）。
+ */
 export function reloadRules(state) {
   const parsed = loadRules();
   state.rules = parsed.ok ? parsed.rules : [];
-  state.configs = understandAll(state.rules);
-  // 对接 disabled-rules.json：被禁用规则在引擎侧同样标记 disabled（不参与硬拦/纠察）
-  const disabledIds = loadDisabledRuleIds();
-  for (const cfg of state.configs) {
-    if (disabledIds.has(String(cfg.ruleId))) cfg.disabled = true;
-  }
+  const archived = loadDisabledRuleEntries();
+  // 禁用语义由理解层完整封装：在场标 disabled + 缺场存档占位重建（单真源，见 understandAll）
+  state.configs = understandAll(state.rules, {
+    disabledEntries: archived,
+    handlerOverrides: state.handlerOverrides || {},
+    defaultMap: state.handlerDefaultMap || {}
+  });
   state.configOk = parsed.ok;
   state.configError = parsed.error || null;
   state.mtimeMs = parsed.mtimeMs || 0;

package/lib/core/text-detect.js

@@ -11,7 +11,8 @@ import {
   TERM_EXPLANATION_RE,
   SUGGEST_RE,
   isNegatingSuggestion,
-  isQuoteOrParaphraseContext
+  isQuoteOrParaphraseContext,
+  isReadOnlyTool
 } from "./patterns.js";
 import { detectOverengineeringText } from "./overengineering.js";
 
@@ -50,9 +51,16 @@ const SELF_CERT_HINTS = {
   "19": { re: /学到新.*DSH|踩到新坑|踩坑.*沉淀|手册有误|知识必沉淀/, reason: "请按规则 19 自证：按①-⑧沉淀并当次汇报正文同步位置" },
   "28": { re: /新建.*文件|放入.*目录|工作区.*归类/, reason: "请按规则 28 自证：新文件按工作区目录索引归类，不确定则查 README 或放 _inbox" },
   "29": { re: /依赖闭包|node_modules.*验证|动过.*node_modules/, reason: "请按规则 29 自证：重启前验证依赖闭包（关键包非空/顶层 junction 完整/无 dangling）" },
-  "30": { re: /变更验证|验证证据|不破坏.*依赖/, reason: "请按规则 30 自证：执行前证明不破坏依赖+已授权，完成后附验证证据" }
+  "30": { re: /变更验证|验证证据|不破坏.*依赖/, reason: "请按规则 30 自证：执行前证明不破坏依赖+已授权，完成后附验证证据" },
+  // 规则 31（2026-09-01 用户拍板）：提到"撞墙/盲试"类表述 → D 级自证：写明验证目标→撞了什么/为什么撞→结论来源
+  "31": { re: /撞(?:了)?南墙|撞墙|盲试|乱撞|连续盲试/, reason: "规则 31 自证：请写明「验证目标→撞了什么/为什么撞→结论来源（手册位置/源码行号）」；不连续盲试" }
 };
 
+// 规则 31（2026-09-01 用户拍板）：内部文档引用锚点词（"文档"仅在后随"写了/记载…"语境命中，防泛化误报）
+const INTERNAL_REF_RE = /(?:手册|踩坑\s*\d+|条款\s*\d+|第\s*\d+\s*章|SKILL\.md|AGENTS\.md|源码|README|文档[^\n]{0,12}(?:写了|记载|记录|写明|说明))/i;
+// 验证目标启发式：思维链含这些词 → 大概率是有序查证（防规则 31③误报）
+const VERIFY_INTENT_RE = /(?:验证|查证|核对|目标|交叉|对照|确认)/;
+
 /** 简单判断一段文本是否以英文为主 */
 function isMostlyEnglish(text) {
   if (!text) return false;
@@ -157,19 +165,56 @@ export function detectViolations({ configs, session, text, reasoningText = "", m
   }
 
   const sourceCfg = byId.get("5");
-  if (sourceCfg && URL_RE.test(text) && !SOURCE_MARK.test(text)) {
-    hits.push({
-      ruleId: "5",
-      title: sourceCfg.title,
-      kind: "correct",
-      reason: "回答包含 URL 但未标注出处/来源"
-    });
+  if (sourceCfg && !SOURCE_MARK.test(text)) {
+    if (URL_RE.test(text)) {
+      hits.push({
+        ruleId: "5",
+        title: sourceCfg.title,
+        kind: "correct",
+        reason: "回答包含 URL 但未标注出处/来源"
+      });
+    } else if (INTERNAL_REF_RE.test(text) && !isQuoteOrParaphraseContext(text, INTERNAL_REF_RE)) {
+      // 规则 5 扩展（2026-09-01 用户拍板）：内部文档引用（手册/踩坑/条款/源码…）须有依据——
+      // 近 3 回合无对应 read/grep 时提示（B 级：留痕+注入，不拦截）。
+      const curTurn = session.turn.number || 0;
+      const lastQuery = session.lastQueryTurn ?? -1;
+      if (lastQuery < 0 || curTurn - lastQuery > 3) {
+        hits.push({
+          ruleId: "5",
+          title: sourceCfg.title,
+          kind: "correct",
+          reason: "回答引用内部文档（手册/踩坑/条款/源码等）但近 3 回合无对应 read/grep——请标注手册位置或删去断言"
+        });
+      }
+    }
+  }
+
+  // 规则 31（2026-09-01 用户拍板）：同回合同一只读工具 ≥3 次且思维链无验证目标语 → 提示（B 级：留痕+注入）
+  const rule31Cfg = byId.get("31");
+  if (rule31Cfg) {
+    const counts = new Map();
+    const pending = session.turn?.pendingToolCalls;
+    if (pending && typeof pending.values === "function") {
+      for (const pc of pending.values()) {
+        if (pc && pc.name && isReadOnlyTool(pc.name, pc.args)) {
+          counts.set(pc.name, (counts.get(pc.name) || 0) + 1);
+        }
+      }
+    }
+    const repeated = [...counts.entries()].find(([, c]) => c >= 3);
+    if (repeated && !VERIFY_INTENT_RE.test(reasoningText)) {
+      hits.push({
+        ruleId: "31",
+        title: rule31Cfg.title,
+        kind: "correct",
+        reason: `规则 31：回合同一只读工具（${repeated[0]}）调用 ${repeated[1]} 次且思维链无验证目标语——有序交叉验证请忽略，连续盲试请先写明「要验证什么」`
+      });
+    }
   }
 
   const langCfg = byId.get("11");
   const visibleEnglish = isMostlyEnglish(text);
-  const reasoningEnglish = isMostlyEnglish(reasoningText);
-  if (langCfg && session.lastUserText && CJK_RE.test(session.lastUserText) && (visibleEnglish || reasoningEnglish)) {
+  const reasoningEnglish = isMostlyEnglish(reasoningText);  if (langCfg && session.lastUserText && CJK_RE.test(session.lastUserText) && (visibleEnglish || reasoningEnglish)) {
     hits.push({
       ruleId: "11",
       title: langCfg.title,