dsh-weiwen-law 0.2.2 → 0.2.3

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-weiwen-law",
-  "version": "0.2.2",
+  "version": "0.2.3",
   "description": "唯稳律（Weiwen's Law）通用因果引擎（白箱呈现）—— DeepSeek Harness (Cordis) 插件实现",
   "type": "module",
   "main": "./src/index.js",

package/src/core/capability.mjs

@@ -258,12 +258,24 @@ export function parseCapability(input) {
 const USE_LEDGER_CAP = 20;
 const _uses = new Map();   // key -> {count, log:[{at,action,targets}]}
 
-/** 证的稳定键：有 id 用 id；无 id 用内容指纹（同内容＝同证，计数合并） */
+/**
+ * 证的稳定键：**内容指纹恒参与**，`id` 只作可读前缀。
+ *   ⇒ 同 id 同内容 ⇒ 同键（就是同一张证，计数当然合并）；
+ *      同 id 换了内容（改作用域/改次数/改到期）⇒ 新键 ⇒ **计数从 0 起**。
+ *
+ * 🔴 为什么不能"有 id 就只认 id"（0.2.2 实测踩到，真装探针复现）：
+ *   宿主习惯用固定 id（`xiaod-001`）重签新证，若键只认 id ⇒ 旧证的用量被新证继承
+ *   ⇒ **新证一签发就显示"已用尽"** ⇒ 全量转 review。
+ *   方向虽然是"更严"（不会误放行），但它把「替换不累积」这条硬约束在计数维度上打穿了：
+ *   换掉的授权不该还挂着旧账。⇒ 键必须含内容，替换才是真替换。
+ */
 export function capabilityKey(cap) {
   if (!cap) return '';
-  if (cap.id) return 'id:' + cap.id;
-  return 'anon:' + cap.actions.join(',') + '|' + cap.scope.map((s) => s.kind + ':' + s.value).join(',')
-    + '|' + String(cap.maxUses) + '|' + String(cap.expiresAt);
+  const body = [...cap.actions].sort().join(',')
+    + '|' + cap.scope.map((s) => s.kind + ':' + s.value).sort().join(',')
+    + '|' + String(cap.maxUses)
+    + '|' + String(cap.expiresAt);
+  return (cap.id ? 'id:' + cap.id : 'anon') + '#' + body;
 }
 
 /** 已用次数 */

package/test/capability.test.mjs

@@ -257,4 +257,16 @@ test('证是当前有效量（替换不累积）：不同证各自计数，不
   const y = cap({ id: null, maxUses: 1 });
   consume(x, { action: 'write', targets: [] });
   assert.equal(usesOf(y), 1);
+  // 🔴 同 id 换内容 ⇒ 计数从 0 起（替换不累积在**计数维度**上的落点）
+  //   病灶（0.2.2 真装探针实测）：键只认 id ⇒ 宿主固定 id 重签 ⇒ 新证一签发就"已用尽"⇒ 全量 review。
+  //   方向虽更严，但换掉的授权还挂着旧账 ⇒ 替换语义被打穿，且会让人误判"证不管用"。
+  resetCapabilityUsage();
+  const oldOne = cap({ id: 'same', maxUses: 1 });
+  consume(oldOne, { action: 'write', targets: [] });
+  assert.equal(usesOf(oldOne), 1);
+  const renewed = cap({ id: 'same', maxUses: 2 });      // 同 id、改了次数
+  assert.equal(usesOf(renewed), 0, '同 id 换内容必须是新证，不得继承旧计数');
+  assert.notEqual(capabilityKey(oldOne), capabilityKey(renewed));
+  // 同 id 同内容仍是同一张证（重复解析/重复下发不得变成新证逃过计数）
+  assert.equal(capabilityKey(cap({ id: 'same', maxUses: 2 })), capabilityKey(renewed));
 });