dsh-rule-engine 0.5.11 → 0.5.13

package/lib/core/config.js

@@ -1,66 +1,73 @@
-// config.js - 插件配置加载。
-// 配置缺失时使用默认值；损坏时也回退默认并记录错误，避免裸奔。
-import { readFileSync, writeFileSync } from "node:fs";
-import { configFilePath } from "./paths.js";
-
-export const DEFAULT_CONFIG = {
-  enabled: true,
-  correctInject: true,
-  selfProtect: true,
-  injectLimitPerRulePerSession: 3,
-  taskContractEnabled: false,
-  askEnabled: false,
-  taskContractMode: "observe",
-  taskContractDefaults: {
-    agentBudget: 0,
-    hashPolicy: "deny",
-    dependencyPolicy: "ask",
-    allowedPaths: null
-  },
-  llmIntent: {
-    enabled: true,
-    dailyLimitPerSession: 50,
-    thresholdHigh: 0.8,
-    thresholdLow: 0.5,
-    cacheSize: 500
-  }
-};
-
-export function loadPluginConfig() {
-  try {
-    const raw = readFileSync(configFilePath(), "utf8");
-    const data = JSON.parse(raw);
-    return {
-      ok: true,
-      error: null,
-      ...DEFAULT_CONFIG,
-      ...(data && typeof data === "object" ? data : {})
-    };
-  } catch (error) {
-    return {
-      ok: false,
-      error: `配置读取失败，已用默认配置：${error instanceof Error ? error.message : String(error)}`,
-      ...DEFAULT_CONFIG
-    };
-  }
-}
-
-/** 合并并保存插件配置（设置页调用；UTF-8 无 BOM） */
-export function savePluginConfig(partial) {
-  const current = loadPluginConfig();
-  const next = {
-    ...current,
-    ...(partial || {}),
-    taskContractDefaults: {
-      ...DEFAULT_CONFIG.taskContractDefaults,
-      ...((current.taskContractDefaults || {})),
-      ...((partial?.taskContractDefaults) || {})
-    }
-  };
-  // 规范化
-  next.taskContractEnabled = next.taskContractEnabled === true;
-  next.askEnabled = next.askEnabled === true;
-  next.taskContractMode = next.taskContractMode === "armed" ? "armed" : "observe";
-  writeFileSync(configFilePath(), JSON.stringify(next, null, 2) + "\n", "utf8");
-  return next;
-}
+// config.js - 插件配置加载。
+// 配置缺失时使用默认值；损坏时也回退默认并记录错误，避免裸奔。
+import { readFileSync, writeFileSync } from "node:fs";
+import { configFilePath } from "./paths.js";
+
+export const DEFAULT_CONFIG = {
+  enabled: true,
+  correctInject: true,
+  selfProtect: true,
+  injectLimitPerRulePerSession: 3,
+  taskContractEnabled: false,
+  askEnabled: false,
+  taskContractMode: "observe",
+  taskContractDefaults: {
+    agentBudget: 0,
+    hashPolicy: "deny",
+    dependencyPolicy: "ask",
+    allowedPaths: null
+  },
+  llmIntent: {
+    enabled: true,
+    dailyLimitPerSession: 50,
+    thresholdHigh: 0.8,
+    thresholdLow: 0.5,
+    cacheSize: 500
+  },
+  // T3 通用化（2026-08-31）：声明式 handler 绑定覆盖表 { ruleId: handlerName }
+  // 可选键，缺省 {}——不写即走默认偏好表（HANDLER_BY_RULE），行为零变化；
+  // 通用化通道：陌生用户可在规则正文声明 <!-- handler: xxx --> 或在此配置集中覆盖。
+  handlerOverrides: {},
+  // 残余1 剥离（2026-08-31）：本机默认偏好表下沉配置——{ ruleId: handlerName }
+  // 通用发布=空（代码零本机编号）；本机在此写入 17 条偏好，引擎升级不丢。
+  handlerDefaultMap: {}
+};
+
+export function loadPluginConfig() {
+  try {
+    const raw = readFileSync(configFilePath(), "utf8");
+    const data = JSON.parse(raw);
+    return {
+      ok: true,
+      error: null,
+      ...DEFAULT_CONFIG,
+      ...(data && typeof data === "object" ? data : {})
+    };
+  } catch (error) {
+    return {
+      ok: false,
+      error: `配置读取失败，已用默认配置：${error instanceof Error ? error.message : String(error)}`,
+      ...DEFAULT_CONFIG
+    };
+  }
+}
+
+/** 合并并保存插件配置（设置页调用；UTF-8 无 BOM） */
+export function savePluginConfig(partial) {
+  const current = loadPluginConfig();
+  const next = {
+    ...current,
+    ...(partial || {}),
+    taskContractDefaults: {
+      ...DEFAULT_CONFIG.taskContractDefaults,
+      ...((current.taskContractDefaults || {})),
+      ...((partial?.taskContractDefaults) || {})
+    }
+  };
+  // 规范化
+  next.taskContractEnabled = next.taskContractEnabled === true;
+  next.askEnabled = next.askEnabled === true;
+  next.taskContractMode = next.taskContractMode === "armed" ? "armed" : "observe";
+  writeFileSync(configFilePath(), JSON.stringify(next, null, 2) + "\n", "utf8");
+  return next;
+}

package/lib/core/contract.js

@@ -17,10 +17,38 @@ export function defaultContract() {
     hashPolicy: "deny",
     allowedPaths: null,
     dependencyPolicy: "ask",
+    // 0.5.12（F5 批次 3）：类别白名单——null=不限制类别（走既有判定）；数组=仅放行该类别集合。
+    // 破坏类（delete/move/rm 等）永不可入 categories（由 isDestructiveCategory 结构性排除）。
+    categories: null,
+    // 0.5.12（F5 批次 3）：完成自动降级——契约内命令成功后（exit 0 + 产出物），将此信号记录
+    // 至 completesAfter，后续契约命中自动降级为普通判定（TTL 不再续期）。
+    completesAfter: null,
     source: "default"
   };
 }
 
+/** 非破坏动作类别（F5 类别白名单的可选集；破坏类永不可入） */
+export const NON_DESTRUCTIVE_CATEGORIES = new Set(["install", "build", "test", "audit", "analyze", "naming", "sync", "restore"]);
+/** 破坏类类别（任何契约类别白名单都必须排除） */
+export const DESTRUCTIVE_CATEGORIES = new Set(["delete", "move", "replace", "purge"]);
+
+/** 从命令文本推断动作类别（纯函数；未知→null 走普通判定）。破坏性词返回破坏类。 */
+export function categoryOfCommand(command) {
+  const s = String(command || "").toLowerCase();
+  if (/remove-item|\brm(?:dir)?\b|del(?:ete)?\b|move-item|\bmv\b|rename-item|\bren\b|clear-content|clean|purge|rm\s+-/.test(s)) return "delete";
+  if (/install|add\s+--save|pnpm\s+add|npm\s+install|yarn\s+add/.test(s)) return "install";
+  if (/build|tsc|tsdown|vite\s+build|webpack|rollup|compile|bundle/.test(s)) return "build";
+  if (/test|jest|vitest|playwright|npm\s+test|pnpm\s+test|check-plugin-load|verify/.test(s)) return "test";
+  if (/audit|mount|consistency|dump-config|inspect/.test(s)) return "audit";
+  if (/analyze|analysis|review|read|grep|search/.test(s)) return "analyze";
+  return null;
+}
+
+/** 类别是否属于破坏类（结构性排除：破坏类永不因契约类别白名单放行） */
+export function isDestructiveCategory(cat) {
+  return cat === "delete" || cat === "move" || cat === "replace" || cat === "purge";
+}
+
 /**
  * 会话契约初始化（批次 4，阶段 3 默认武装）：
  * 优先级：defaults 显式（用户配置）> global 模板（用户 /guard mode|budget 写入且非默认）> armed 推导 > 系统默认。
@@ -270,6 +298,19 @@ export function decideContractAction({ contract, action, config = {} }) {
     return { outcome: "deny", family: "S", reasonCode: "DEPENDENCY_NOT_AUTHORIZED", reason: "检测到添加依赖操作，当前 deps=deny", nextStep: "使用 deps=allow 或说明必要性" };
   }
 
+  // 0.5.12（F5 批次 3）：类别白名单——契约配置了 categories 时：
+  // ① 破坏类句子结构性拒绝（不因契约放行——最坏情况缓解）；
+  // ② 已知类别不在白名单 → deny；未知类别（null）→ 普通判定（不放大契约）。
+  if (Array.isArray(contract.categories) && contract.categories.length > 0) {
+    const cat = categoryOfCommand(action.commandText || action.cmd || "");
+    if (cat && isDestructiveCategory(cat)) {
+      return { outcome: "deny", family: "S", reasonCode: "DESTRUCTIVE_NOT_ALLOWED", reason: `动作类别 ${cat} 属破坏类，任务契约永不放行`, nextStep: "改用非破坏操作，或退出任务契约" };
+    }
+    if (cat && !contract.categories.includes(cat)) {
+      return { outcome: "deny", family: "S", reasonCode: "CATEGORY_NOT_IN_CONTRACT", reason: `动作类别 ${cat} 不在契约白名单 [${contract.categories.join(",")}]`, nextStep: `更新契约类别（如 /guard contract categories build,test）` };
+    }
+  }
+
   if (action.mutability === "delegate" && action.unboundedDelegation) {
     return { outcome: "deny", family: "S", reasonCode: "UNBOUNDED_DELEGATION", reason: "该委托可能无界启动子代理，无法满足 agents=N", nextStep: "使用显式子代理调用，或关闭任务契约" };
   }