dsh-rule-engine 0.5.10 → 0.5.12

package/lib/core/text-detect.js

@@ -5,15 +5,21 @@ import {
   PROMISE_WORDS,
   SOURCE_MARK,
   TIME_WORDS,
+  EVIDENCE_MARK_RE,
   URL_RE,
   TECH_TERM_RE,
   TERM_EXPLANATION_RE,
   SUGGEST_RE,
   isNegatingSuggestion,
-  isPromiseQuoteContext
+  isQuoteOrParaphraseContext
 } from "./patterns.js";
 import { detectOverengineeringText } from "./overengineering.js";
 
+// F2（2026-08-28 阶段三）：交付声明强模式（规则 23④ verify-gap 词面）——
+// 裸"完成"太宽（"完成社区检索/尚未完成/正在完成"误触）→ 强完成声明 + 否定/进行态排除。
+// 模块级导出（纯函数模块，可测试锁定）；LLM 裁决层（deliverSuspects）兜底不变。
+export const DELIVERY_RE = /(?:已完成|全部(?:[^\s，。；！？]{0,12})完成|已[^\s，。；！？]{0,8}完成|修复完成|落盘完成|验证[^\s，。；！？]{0,6}(?:通过|成功)|全部通过|全部[^\s，。；！？]{0,10}通过|已通过|已修复|搞定)(?:\s*了|!|！|，[^。]*)?(?![^。]*(?:尚未|没有|未|没|还没|未完|待做|待完成))/;
+
 /** 从 assistant message 内容中提取纯文本 */
 export function extractAssistantText(message) {
   if (!message) return "";
@@ -21,8 +27,7 @@ export function extractAssistantText(message) {
   if (typeof content === "string") return content;
   if (Array.isArray(content)) {
     return content
-      .map((b) => (b && typeof b === "object" && b.type === "text" ? b.text : ""))
-      .filter(Boolean)
+      .map((b) => (b && typeof b === "object" && b.type === "text" ? b.text : ""))      .filter(Boolean)
       .join("\n");
   }
   return "";
@@ -30,6 +35,9 @@ export function extractAssistantText(message) {
 
 const SELF_CERT_HINTS = {
   "14": { re: /总结|汇报|完成/, reason: "请按规则 14 一次性完整汇报，区分事实与推断" },
+  // "22" 词表（text-detect）：检测**我的回复文本**里的空话（B/D 级语义嫌疑），判定对象 = assistant 输出；
+  // 与 lexicon.js 的 ACTION/QUESTION/STATUS 等词表**不同层**（lexicon 判**用户消息**意图、服务规则 22 时序判定）。
+  // 二者用途不同、无重复：本表 = 输出侧"我说了空话"；lexicon = 输入侧"用户说了什么"。改动需两处各自成对。
   "22": { re: /我记下了|记住了|收到，我记下了|放心，我记住了/i, reason: "检测到「我记下了」类空话；正确动作是落盘执行并汇报" },
   "23": { re: /完成|交付/, reason: "交付/完成声明未附运行时验证证据" },
   "16": { re: /建议|优化|更优方案|推理档位|档位/, reason: "请按规则 16 用绑定检查格式提建议（或给档位建议并说明理由），避免频繁打断" },
@@ -67,8 +75,42 @@ export function isSelfCertified(text, ruleId) {
   return re.test(text);
 }
 
+/**
+ * 规则 2 时间核对的独立判定（F1，2026-08-28 阶段三）：
+ * 原实现嵌在 detectViolations（assistant/message 时调）——但 Get-Date 工具常在本回合后续步骤
+ * 才执行（事故实弹：correct 04:52:23.061 早于 Get-Date 放行 .068）→ 真调了也判"未先核对"。
+ * 修复：判定时机延迟到 turn/end（getDateSeen 已定案），本判定函数只做判定、不依赖调用时机。
+ * @param {object} session 会话状态（turn.getDateSeen 已由 tool/call 置位）
+ * @param {string} text assistant 纯文本
+ * @param {object} timeCfg 规则 2 配置（byId.get("2")）
+ * @returns {Array<{ruleId,title,kind,reason}>}
+ */
+export function detectTimeRule(session, text, timeCfg) {
+  if (!timeCfg || !TIME_WORDS.test(text) || isQuoteOrParaphraseContext(text, TIME_WORDS)) return [];
+  if (!session?.turn?.getDateSeen) {
+    return [{
+      ruleId: "2",
+      title: timeCfg.title,
+      kind: "correct",
+      reason: "回答出现具体时间词/日期，但本回合未先调用 Get-Date 核对"
+    }];
+  }
+  if (!EVIDENCE_MARK_RE.test(text)) {
+    return [{
+      ruleId: "2",
+      title: timeCfg.title,
+      kind: "correct",
+      reason: "回答含具体时间词但未附事件证据标注（日志 ts/文件 mtime/进程启动时间等）——Get-Date 当前时间不算过去事件证据（规则 2②）。正确动作：查该事件证据补（来源：…）或删时间词/标【时间未核实】，勿以当前时间替代"
+    }];
+  }
+  return [];
+}
+
 /**
  * 检测一次 assistant/message 的 B/D 级违规。
+ * 规则 2 时间核对不在本函数内（F1，2026-08-28）：原实现在此判定，但 Get-Date 工具常在本回合
+ * 后续步骤才执行（事故实弹：correct 早于 Get-Date 放行）→ 真调了也判"未先核对"。
+ * 现由 index.js 在 turn/end 时机调用 detectTimeRule（getDateSeen 定案后）。
  * @param {object} options
  * @param {Array} options.configs 理解配置
  * @param {object} options.session 会话状态（getSessionState 返回）
@@ -80,18 +122,32 @@ export function detectViolations({ configs, session, text, reasoningText = "", m
   const byId = new Map(configs.filter((c) => c.confidence !== "low").map((c) => [String(c.ruleId), c]));
 
   const timeCfg = byId.get("2");
-  if (timeCfg && TIME_WORDS.test(text) && !session.turn.getDateSeen) {
-    hits.push({
-      ruleId: "2",
-      title: timeCfg.title,
-      kind: "correct",
-      reason: "回答出现时间词/日期，但本回合未先调用 Get-Date 核对"
-    });
+  // v0.5.11（用户定稿）：① 只命中具体时间词（TIME_WORDS 为具体词表——"之前/当时"等模糊词不命中，不新增）；
+  // ② 具体时间词 + 无事件证据标注（日志 ts/文件 mtime/进程启动时间等）→ 违规，Get-Date 当前时间不算事件证据。
+  // F1（2026-08-28 阶段三）：本检测仅作"判定"，投递时机由调用方在 turn/end 复核（见 detectTimeRule 注释）。
+  // B3（2026-08-29）：引述/转述语境的时间词不触发（"你昨天说…"是转述，不是我的时间表述）；
+  // 第一人称"我说昨天…"仍触发（转述不了自己）。
+  if (timeCfg && TIME_WORDS.test(text) && !isQuoteOrParaphraseContext(text, TIME_WORDS)) {
+    if (!session.turn.getDateSeen) {
+      hits.push({
+        ruleId: "2",
+        title: timeCfg.title,
+        kind: "correct",
+        reason: "回答出现具体时间词/日期，但本回合未先调用 Get-Date 核对"
+      });
+    } else if (TIME_WORDS.test(text) && !EVIDENCE_MARK_RE.test(text)) {
+      hits.push({
+        ruleId: "2",
+        title: timeCfg.title,
+        kind: "correct",
+        reason: "回答含具体时间词但未附事件证据标注（日志 ts/文件 mtime/进程启动时间等）——Get-Date 当前时间不算过去事件证据（规则 2②）"
+      });
+    }
   }
 
   const promiseCfg = byId.get("7");
   // v0.5.7 P0.5-5：承诺词处于引述/改写语境（"把'保证'改成…"）→ 引述不是承诺，不触发
-  if (promiseCfg && PROMISE_WORDS.test(text) && !isPromiseQuoteContext(text)) {
+  if (promiseCfg && PROMISE_WORDS.test(text) && !isQuoteOrParaphraseContext(text, PROMISE_WORDS)) {
     hits.push({
       ruleId: "7",
       title: promiseCfg.title,

package/lib/core/tool-catalog.js

@@ -51,6 +51,9 @@ const ARTIFACT_TOOLS = new Set([
   // 官方 plan-mode 交互工具（参数为 markdown 计划，批准/继续规划，无文件副作用）
   "exit_plan_mode",
   // 开发侧 staging（写 staging 区，dev_* 工具的自然行为）
+  // 0.5.11 修正（手册 v3.39 口径）：dev_stage 四件套（add/call/promote/demote）= 纳入**敏感
+  // 授权检查**（守卫链覆盖），**不是改分类**——统一保持 artifact；授权检查由 guard-core
+  // （12A isSensitiveToolCall / 13A / 24 装配判定）链上覆盖，不再各自归类。
   "dev_stage_add", "dev_stage_call", "dev_stage_promote", "dev_stage_demote",
   // ESR 工程状态写操作（写工作区记忆存储，engram_store 同族）
   "esr_task", "esr_node", "esr_link", "esr_claim", "esr_close", "esr_unclaim", "esr_dep", "esr_gc"

package/lib/core/understander.js

@@ -26,7 +26,7 @@ const HANDLER_BY_RULE = {
   "12C": "rule12c-network",
   "13A": "rule13a-backup",
   // 13B 已于 2026-08-24 外移至手册（规则正文删除，映射一并清理，防死映射）
-  14: "rule14-report",
+  // 14 为纯 D 级自证规则，无对应 handler（0.5.11：删除空转映射 registry）
   18: "rule18-manual-first",
   21: "rule21-meta",
   22: "rule22-7-direct",

package/lib/core/version-guard.js

@@ -129,7 +129,7 @@ function isOrderedLineInsertion(oldString, newString) {
 }
 
 /** 校验 append/删除式编辑：新增需包含 old_string；删除/缩短时 new_string 可为 old_string 的子串；版本行重编号放行；非表格单行修改放行 */
-export function validateEditAppend(oldString, newString) {
+export function validateEditAppend(oldString, newString, uniqueMatch = false) {
   if (typeof oldString !== "string" || typeof newString !== "string") return { ok: true, errors: [] };
   if (oldString.length === 0) return { ok: true, errors: [] };
   if (isVersionRenumber(oldString, newString)) return { ok: true, errors: [] };
@@ -139,6 +139,9 @@ export function validateEditAppend(oldString, newString) {
   if (isSameLineReplacement(oldString, newString)) return { ok: true, errors: [] };
   if (isTableRowReplacement(oldString, newString)) return { ok: true, errors: [] };
   if (isOrderedLineInsertion(oldString, newString)) return { ok: true, errors: [] };
+  // 0.5.11（用户定稿）：单行整句重写放行——**前提 = old 在原文件唯一匹配**（调用方实测传入）；
+  // edit 工具语义已保证唯一才替换、位置正确；唯一下单行重写 = 正常语义编辑，不再是"覆盖"。
+  if (uniqueMatch && isSingleLine(oldString) && isSingleLine(newString)) return { ok: true, errors: [] };
   return {
     ok: false,
     errors: ["new_string 未包含 old_string，疑似覆盖上一行"]
@@ -146,11 +149,11 @@ export function validateEditAppend(oldString, newString) {
 }
 
 /** 综合校验一次编辑后的文件 */
-export function validateEditedFile(originalText, currentText, oldString, newString) {
+export function validateEditedFile(originalText, currentText, oldString, newString, uniqueMatch = false) {
   const errors = [];
   const continuity = validateVersionContinuity(currentText);
   if (!continuity.ok) errors.push(...continuity.errors);
-  const append = validateEditAppend(oldString, newString);
+  const append = validateEditAppend(oldString, newString, uniqueMatch);
   if (!append.ok) errors.push(...append.errors);
   return { ok: errors.length === 0, errors };
 }