dsh-rule-engine 0.6.3 → 0.6.5

package/scripts/verify-all.mjs

@@ -1,219 +0,0 @@
-// verify-all.mjs - 交付前体检报告（2026-08-26，对齐官方 docs/testing.zh.md 分层验证；0.5.9 增第⑤层；0.5.11 增第⑥层）。
-// 六层：① 语法（lib 全部 .js node --check）
-//       ② 单元（test/run-all.mjs——单元+机制层，不含 e2e）
-//       ③ 组合冒烟（test/loader-smoke.e2e.mjs——真实接线 + 外部世界断言）
-//       ④ 真实判例（外部世界：近 24h 台账中 judge-pass/judge-false 记录数；
-//          0 条 = WARN 提示需实弹，≥1 条 = 有真实裁决证据——读文件，不是自我报告）
-//       ⑤ 工具箱覆盖（scripts/check-tool-coverage.mjs——官方 tool-catalog 全集 vs 分类表，
-//          任何 unknown = 未知工具首调处置会拦用户 → 红色（run_code 事故同类，K-01/K-06 门禁））
-//       ⑥ 变更工具守卫链覆盖（test/guardchain-coverage.test.mjs——规则 24④ 机器执行，
-//          跨工具一致性测试：每个写/删/移工具在问句回合+无授权场景跑真实 guardDecision，
-//          断言被拦或属豁免面——静默逃逸 = 红；工具名非安全边界，裁决链才是（K-04））
-// 任一 ❌ → exit 1；⚠️（WARN）不阻塞但必须明示。
-// 注意：子进程输出捕获需完整权限运行（受限模式 EPERM）。
-import { execFileSync } from "node:child_process";
-import { readdirSync, statSync, readFileSync, existsSync } from "node:fs";
-import { dirname, join } from "node:path";
-import { fileURLToPath } from "node:url";
-import { exemptPkg } from "./lib/pnpm-exempt.mjs";
-
-const root = join(dirname(fileURLToPath(import.meta.url)), "..");
-const lines = [];
-
-function step(name, cmd, args) {
-  try {
-    const out = execFileSync(cmd, args, { cwd: root, encoding: "utf8", stdio: "pipe", maxBuffer: 64 * 1024 * 1024 });
-    lines.push(`✅ ${name}`);
-    return out;
-  } catch (e) {
-    lines.push(`❌ ${name}`);
-    lines.push(String(e.stdout || e.stderr || e.message).slice(-500));
-    return null;
-  }
-}
-
-// ── ① 语法 ──
-const files = [];
-(function walk(d) {
-  for (const f of readdirSync(d)) {
-    const p = join(d, f);
-    if (statSync(p).isDirectory()) walk(p);
-    else if (/\.js$/.test(f)) files.push(p);
-  }
-})(join(root, "lib"));
-let sOk = true;
-for (const f of files) {
-  try {
-    execFileSync(process.execPath, ["--check", f], { cwd: root, stdio: "pipe", encoding: "utf8" });
-  } catch (e) {
-    sOk = false;
-    lines.push(`❌ 语法 ${f}`);
-    lines.push(String(e.stderr || e.message).slice(-300));
-  }
-}
-if (sOk) lines.push(`✅ 语法（${files.length} 个 lib 文件）`);
-
-// ── ② 单元 ──
-step("单元（test/run-all.mjs）", process.execPath, [join(root, "test", "run-all.mjs")]);
-
-// ── ③ 组合冒烟 ──
-step("组合冒烟（loader-smoke，真实接线+外部世界断言）", process.execPath, [join(root, "test", "loader-smoke.e2e.mjs")]);
-
-// ── ⑤ 工具箱覆盖（0.5.9 门禁；0.6.0 B2′：素材经 CHECK_TOOL_CATALOG/--catalog 提供，缺素材=FAIL 含获取方式——
-//    本机运行请设 CHECK_TOOL_CATALOG=D:\...\docs\docs-site-text\...；发布物内不硬编码任何本机路径） ──
-step("工具箱覆盖（官方 tool-catalog vs 分类表，缺失即红）", process.execPath, [join(root, "scripts", "check-tool-coverage.mjs")]);
-
-// ── ⑥ 变更工具守卫链覆盖（0.5.11 规则 24④ 跨工具一致性门禁） ──
-step("变更工具守卫链覆盖（写/删/移工具问句回合不静默逃逸）", process.execPath, [join(root, "test", "guardchain-coverage.test.mjs")]);
-
-// ── ⑦ 关联一致性门禁（0.5.11，用户定稿：验收 = 改动关联产物全做一遍，机器强制） ──
-// ① test/*.test.mjs 全部被 run-all.mjs 收录（新增测试漏收录 = 红——guardchain 曾漏收）
-// ② README 徽章版本 = package.json 版本（版本成对）
-// ③ 文档：README/手册提及的"引擎已做"核心行为在 lib 中有落点（关键词级抽样，防"只写文档没实现"）
-let assocFail = [];
-{
-  try {
-    const runAllText = readFileSync(join(root, "test", "run-all.mjs"), "utf8");
-    const testFiles = readdirSync(join(root, "test")).filter((f) => f.endsWith(".test.mjs"));
-    for (const f of testFiles) {
-      if (!runAllText.includes(f)) assocFail.push(`测试未收录 run-all.mjs：${f}`);
-    }
-  } catch (e) { assocFail.push(`run-all 收录检查失败：${e.message}`); }
-  try {
-    const pkg = JSON.parse(readFileSync(join(root, "package.json"), "utf8"));
-    const readme = readFileSync(join(root, "README.md"), "utf8");
-    // 版本成对支持 -pre/-rc 后缀（工作区未发布代号如 0.5.11-pre；badge URL 编码 --pre）
-    const badge = readme.match(/version-([0-9.]+)(--pre|-pre)?-blue/);
-    const badgeVer = badge ? badge[1] + (badge[2] ? "-pre" : "") : null;
-    if (!badgeVer || badgeVer !== pkg.version) assocFail.push(`版本成对失败：package.json=${pkg.version} vs README badge=${badgeVer || "?"}`);
-  } catch (e) { assocFail.push(`版本成对检查失败：${e.message}`); }
-  // ③ 关键词落点：引擎宣称的六大能力，lib 中各有引用（防"文档说了、代码没做"）
-  try {
-    const libText = readdirSync(join(root, "lib/core")).join(",");
-    const mustHave = ["tool-catalog", "lexicon", "guard-core", "intent", "authorization"];
-    for (const m of mustHave) {
-      if (!libText.includes(m + ".js")) assocFail.push(`核心落点缺失：lib/core/${m}.js`);
-    }
-  } catch (e) { assocFail.push(`核心落点检查失败：${e.message}`); }
-}
-if (assocFail.length > 0) {
-  for (const a of assocFail) lines.push(`❌ 关联一致性：${a}`);
-} else {
-  lines.push("✅ 关联一致性（测试全部收录 / 版本成对 / 核心能力有落点）");
-}
-
-// ── ④ 真实判例（外部世界） ──
-let judgeReal = 0;
-const auditPath = join(process.env.DSH_HOME || join(process.env.USERPROFILE || "", ".dsh"), "rule-engine.log.jsonl");
-const since = Date.now() - 24 * 3600 * 1000;
-try {
-  for (const line of readFileSync(auditPath, "utf8").split("\n")) {
-    if (!line.includes("judge-pass") && !line.includes("judge-false")) continue;
-    const m = line.match(/"ts":"([^"]+)"/);
-    if (m && new Date(m[1]).getTime() >= since) judgeReal++;
-  }
-} catch {
-  // 无日志：提示即可
-}
-if (judgeReal > 0) {
-  lines.push(`✅ 真实判例（近 24h judge-pass/judge-false = ${judgeReal} 条——裁决器真实工作证据）`);
-} else {
-  lines.push("⚠️ 真实判例：近 24h 无 judge-pass/judge-false 记录——裁决器需要一次实弹（非阻塞 WARN，但说明运行证据尚未产生）");
-}
-
-// ── ⑧ 发布适用性门禁（T6，2026-08-31：通用化"陌生人视角"硬闸）──
-// 无 AGENTS.md 冷启动 / 空白规则静默 / 任意编号规则声明式绑定 / 格式契约冒烟 / 个人标识扫描
-step("发布适用性门禁（无 AGENTS.md 冷启动 / 空白规则 / 任意编号 / 个人标识扫描）", process.execPath, [join(root, "scripts", "publish-aptitude-check.mjs")]);
-
-// ── ⑨ 发布门禁 B1（阶段 B，2026-09-04：README 版本四性一致性）──
-step("发布门禁 B1（README 版本四性一致性：package.json/徽章/正文/历史表/固定源）", process.execPath, [join(root, "scripts", "readme-version-check.mjs")]);
-
-// ── ⑩ 发布门禁 B2（阶段 B，2026-09-04：lib/ 本机痕迹扫描，词表唯一源）──
-step("发布门禁 B2（lib/ 本机痕迹扫描——词表唯一源，命中即红）", process.execPath, [join(root, "scripts", "local-residue-scan.mjs")]);
-
-// ── ⑩′ 发布门禁 B3：dualtrack-check（2026-09-09 第三批第 1 波：分层残留棘轮闸——
-//    手册 SKILL.md:113「机器校验（dualtrack-check）为验收兜底」的落地；只许降不许升）──
-step("发布门禁 B3（dualtrack 分层残留棘轮——超出基线即红）", process.execPath, [join(root, "scripts", "dualtrack-check.mjs")]);
-
-// ── ⑪ 存在性扫描（泄露预防，2026-09-05：真实路径判据——REAL_PATHS_SCAN 指向扫描器，0 命中才算过；
-//    未设置=WARN（本机增强门禁，通用环境无此工具）──
-{
-  const scanReal = process.env.REAL_PATHS_SCAN;
-  if (scanReal) {
-    step("存在性扫描（真实路径判据，0 命中红线）", process.execPath, [scanReal, "--root", root]);
-  } else {
-    lines.push("⚠️ 存在性扫描：未设置 REAL_PATHS_SCAN（本机增强门禁；发布流水线建议设置）");
-  }
-}
-
-// ── ⑫ 判据库回归（窗口 B 接入，2026-09-06：净化判据 L1 敏感串全集全历史 0 非白名单 + L2 根段未覆盖 0
-//    红线——JUDGE_SCAN 指向本机判定门禁（stage1 判据库扫描器包装），未设置=WARN（本机增强门禁）──
-{
-  const judgeScan = process.env.JUDGE_SCAN;
-  if (judgeScan) {
-    step("判据库回归（净化判据全历史 0 非白名单 + L2 未覆盖 0 红线）", process.execPath, [judgeScan, "--root", root]);
-  } else {
-    lines.push("⚠️ 判据库回归：未设置 JUDGE_SCAN（本机增强门禁；发布流水线建议设置）");
-  }
-}
-
-// ── ⑬ pnpm 豁免校验（批次四 04 1.1 B1 口径；E-56 修活后为真跑校验：npm 已发布 latest 必须 ∈ minimumReleaseAgeExclude；
-//    绝对口径（12.4/13.2 裁定）：**link 装配不豁免**——四包 npm latest 必须 ∈ 豁免名单（防未来转非 link 装配踩坑 18）──
-{
-  try {
-    const dshHome = process.env.DSH_HOME || join(process.env.USERPROFILE || "", ".dsh");
-    const wsYaml = readFileSync(join(dshHome, "profiles", "web", "pnpm-workspace.yaml"), "utf8");
-    const profPkg = JSON.parse(readFileSync(join(dshHome, "profiles", "web", "package.json"), "utf8"));
-    const pkgVerLocal = (p) => { try { return JSON.parse(readFileSync(join(dshHome, "profiles", "web", "node_modules", p, "package.json"), "utf8")).version; } catch { return null; } };
-    const fourPkgs = ["dsh-rule-engine", "dsh-rules-manager", "dsh-rules-manager-client", "dsh-rule-engine-client"];
-    const misses = [];
-    const viewFails = [];
-    // 豁免判定（单源：scripts/lib/pnpm-exempt.mjs——与 release-plugin 预插共享；一致性测试锁）
-    const exempt = (p, v) => exemptPkg(wsYaml, p, v);
-    for (const p of fourPkgs) {
-      const spec = profPkg.dependencies?.[p];
-      if (!spec) continue;
-      const isLink = typeof spec === "string" && spec.startsWith("link:");
-      const esc = p.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
-      // ⑬ 强校验（12.4 修法绝对口径）：npm 已发布 latest 必须 ∈ 豁免名单——**不因 link 装配豁免**
-      //（link 包其 npm 已发布版本仍须豁免——防未来转非 link 装配时踩坑 18）；本机版校验仅非 link 执行
-      let latest = null;
-      try {
-        const npmCli = join(dirname(process.execPath), "node_modules", "npm", "bin", "npm-cli.js");
-        latest = (process.platform === "win32" && existsSync(npmCli))
-          ? execFileSync(process.execPath, [npmCli, "view", p, "version"], { encoding: "utf8", stdio: "pipe" }).trim()
-          : execFileSync("npm", ["view", p, "version"], { encoding: "utf8", stdio: "pipe" }).trim();
-      } catch { latest = null; viewFails.push(p); }
-      if (latest && !exempt(p, latest)) {
-        misses.push(`${p}@${latest}（npm latest 未豁免）`);
-      }
-      if (!isLink) {
-        const ver = pkgVerLocal(p);
-        if (ver && !exempt(p, ver)) misses.push(`${p}@${ver}（本机版未豁免）`);
-      }
-    }
-    if (process.env.VERIFY_ALL_TESTMODE === "1") { misses.push("TESTMODE 合成 miss（门禁活性自证——必须转红）"); viewFails.push("TESTMODE-合成"); }
-    if (viewFails.length) {
-      // E2：发布语境（VERIFY_ALL_STRICT=1，release-plugin 3.7 设置）viewFails>0 计 ❌（fail-closed）；本地默认 ⚠️ 可见+抑制 ✅
-      const strictFail = process.env.VERIFY_ALL_STRICT === "1";
-      lines.push(strictFail
-        ? `❌ pnpm 豁免校验：npm view 执行失败 ${viewFails.length} 包（${viewFails.join("、")}）——发布语境 fail-closed（latest 未获取即阻断）`
-        : `⚠️ pnpm 豁免校验：npm view 执行失败 ${viewFails.length} 包（${viewFails.join("、")}）——latest 未获取（fail-closed：未完成≠通过）`);
-    }
-    if (misses.length) {
-      lines.push(`❌ pnpm 豁免校验：${misses.join("、")} 不在 minimumReleaseAgeExclude（发布后首装会被静默跳过——见踩坑 18）`);
-    } else if (!viewFails.length) {
-      lines.push("✅ pnpm 豁免校验（四包 npm latest 均已豁免）");
-    }
-  } catch (e) {
-    lines.push("⚠️ pnpm 豁免校验：读取失败（本机 profile 缺失时跳过）");
-  }
-}
-
-console.log(lines.join("\n"));
-const failed = lines.filter((l) => l.startsWith("❌"));
-if (failed.length) {
-  console.log(`\nVERIFY FAIL：${failed.length} 项问题，见上`);
-  process.exit(1);
-}
-console.log("\nVERIFY ALL OK");

package/scripts/verify-guard-live.mjs

@@ -1,30 +0,0 @@
-// verify-guard-live.mjs — 0.5.11 运行态实弹验证（验收⑥）：版本守卫端到端行为
-// 场景：edit 一个版本化文件（SKILL.md 类），old 唯一、单行整句重写 → 应放行；多行真覆盖 → 应拦
-import { validateEditedFile } from "../lib/core/version-guard.js";
-
-// 模拟：current 含 3 行，old="第二行旧句"唯一出现，new="第二行新句"（单行整句重写）
-const current = "第一行\n第二行旧句\n第三行\n";
-const simulated = "第一行\n第二行新句\n第三行\n";
-const old = "第二行旧句";
-const newS = "第二行新句";
-
-// 唯一性（模拟工具已确认 old 唯一）
-const unique = current.split(old).length - 1 === 1;
-console.log("old 唯一匹配:", unique, unique ? "✅" : "❌");
-
-const res1 = validateEditedFile(current, simulated, old, newS, unique);
-console.log("单行整句重写:", res1.ok ? "✅ 放行" : "❌ 拦截(" + (res1.errors || []).join(";") + ")");
-
-// 多行真覆盖（old 两行被无关内容替换）
-const current2 = "line1\nline2\nline3\n";
-const sim2 = "line1\nREPLACED\n";
-const res2 = validateEditedFile(current2, sim2, "line2\nline3", "REPLACED", true);
-console.log("多行真覆盖:", res2.ok ? "❌ 放行(危险!)" : "✅ 拦截");
-
-// 删除/缩短（old 子串 new）仍放行 = 正常删行
-const res3 = validateEditedFile(current2, "line1\n", "line2\nline3", "", true);
-console.log("删除行(new 为空=缩短):", res3.ok ? "✅ 放行(删除属正常编辑)" : "❌ 拦截");
-
-const pass = res1.ok && !res2.ok && res3.ok;
-console.log("\n=== " + (pass ? "LIVE VERIFY PASS" : "LIVE VERIFY FAIL") + " ===");
-process.exit(pass ? 0 : 1);

package/scripts/verify-v474.mjs

@@ -1,14 +0,0 @@
-// verify-v474.mjs - v4.74 记录项引擎在位抽查（分点切分/规则2双检/词表跑）
-import { parseUserIntents } from "../lib/core/intent.js";
-import { actionWordsRe } from "../lib/core/lexicon.js";
-import { evidenceMarkRe, timeWordsRe } from "../lib/core/patterns.js";
-
-// ① 分点切分（标点后编号——用户"1、问2、问3、跑"同行）
-const mixed = parseUserIntents("1、为什么预算会满？2、检查时间规则？3、跑");
-console.log("分点(同行标点):", mixed.hasExecute && mixed.clauses[2].type === "execute" ? "✅" : "❌");
-// ② 词表补跑（P8 小批 A 起词表经函数取；本机需 lexicons 配置注入中文词表）
-console.log("词表含跑:", actionWordsRe().test("跑") ? "✅" : "❌");
-// ③ 规则2双检：证据锚、具体时间词（P8 小批 B 起经访问器取；本机需 patterns 配置注入中文表）
-console.log("规则2证据词表:", evidenceMarkRe().test("日志 ts=2026-08-27T15:21:05Z") ? "✅" : "❌");
-console.log("规则2具体词(昨天):", timeWordsRe().test("昨天") ? "✅" : "❌");
-console.log("规则2模糊词(之前):", timeWordsRe().test("之前") ? "❌(应不命中)" : "✅(不命中)");

package/upgrade-impact.json

@@ -1,55 +0,0 @@
-{
-  "versions": [
-    {
-      "version": "0.2.1",
-      "summary": "version-guard 放行非表格单行修改（整行替换但行首锚点一致），避免 edit 工具修改规则正文被误回滚",
-      "impacts": [
-        {
-          "rule": "25",
-          "level": "behavior-change",
-          "description": "validateEditAppend 新增非表格单行替换放行：行首锚点足够长且规则编号一致时允许整行修改；版本表格行仍保持仅重编号放行。"
-        }
-      ],
-      "userRulesUnaffected": true,
-      "notes": "升级只更新规则引擎插件本身，不修改 AGENTS.md / SKILL.md / 用户自定义规则。"
-    },
-    {
-      "version": "0.2.0",
-      "summary": "规则引擎设置面板、升级检查与影响展示；规则 19/21/22/24/25/27 执行口径升级",
-      "impacts": [
-        {
-          "rule": "19",
-          "level": "behavior-change",
-          "description": "知识沉淀载体从“仅手册”扩展为可选技能/脚本/仓库文档等；不改变用户已写规则文本。"
-        },
-        {
-          "rule": "21",
-          "level": "behavior-change",
-          "description": "规则审批改为分级确认，并新增“选项即边界”；不改变既有规则语义。"
-        },
-        {
-          "rule": "22",
-          "level": "behavior-change",
-          "description": "被指出错误时需主动给出原因/改正/防再犯；引擎新增 D 级自证提醒。"
-        },
-        {
-          "rule": "27",
-          "level": "behavior-change",
-          "description": "装配变更检测从会话级改为全局 mountRevision + 本会话审计证据；其他会话未审计也会被拦。"
-        },
-        {
-          "rule": "24",
-          "level": "behavior-change",
-          "description": "新增手工编辑 profile package.json 的 dsh.profile.bundles 类型检查。"
-        },
-        {
-          "rule": "25",
-          "level": "behavior-change",
-          "description": "新增 dev_stage_add/call/promote/demote 通用执行器纳入覆盖与敏感授权检查。"
-        }
-      ],
-      "userRulesUnaffected": true,
-      "notes": "升级只更新规则引擎插件本身，不修改 AGENTS.md / SKILL.md / 用户自定义规则。"
-    }
-  ]
-}