dsh
a28403aeab
docs(debt): 更新 —— 第⑤条判据的否证清单逐条实测,并澄清"要不要整链抑制"(不需要)
复核 pi 的 cd04c2b3(09-25 04:57:05,37 分钟后由 d99834a3 答复,79 封在后)。
他认下"修法①不能用"(环上 5 跳 kind 全是 summary ⇒ 跳过 summary 会放行那个环),
并给了一张四条修法死因的判决表,第⑤条"回查 relayed_mails"写的是**暂未发现反例**。
★ 本轮把「暂未发现反例」升级为**四个否证方向逐条实测**(不只验最易验的那个):
命中判据 = 10 封
D1 被指向那封【自身非 failure 键】⇒ 误杀正常转发 : **0** ✓
D2 被指向那封【mails 表已不存在】⇒ 回查空漏判 : **0** ✓
D3 判据与标题不一致 : **0** ✓
D4 链长 >1 层(本封自己也是上一份报告的报告) : **10/10** ⚠️
★★ D4 澄清了 pi 判决表那条未决项 —— **不需要整链抑制机制**:
10 封链长实测 2/2/5/2/3/3/4/3/2/4 ⇒ **最长 5 层**
我一度以为"链长>1 ⇒ 只抑制一跳会漏、要整链砍" —— **这个推断是错的**:
判据是**逐跳独立**的,每一跳各自回查**自己**的 target,而链上**每一跳**都命中
⇒ 链在生成过程中就被**逐跳**砍断,根本长不起来
⇒ 那 10 封是**判据未上线时的历史遗留**(正是它要消灭的东西)
⇒ pi 判决表的备注「需与『环整体抑制还是只抑制一跳』配套决定」**不成立**
★ 这正是 ⑬′ 的用处: 只跑 D1 我会漏掉 D4,而 D4 才是要去澄清"要不要整链机制"的那一条。
★ 复核 pi 的数据更正,方向对但**他自己那数也已是旧快照**:
他说 summary=422 / permission=138(我 09-25 报 419/138)
此刻实测: summary=**455** / permission=**137**
⇒ 我引的确实是旧快照 ✓(他更正成立);但 422 现在也不是现值了
⇒ 且 permission 从 138 **降到 137**,与我上轮查到的"那批测试夹具数据成组删除"
(zcode 的 8f056b73 权限请求不在了)**吻合** —— 第三次应验"引用必须带时刻"。
未做: 没改代码(本轮只读 SQL)。该位仍未落地(落点在桥侧)。
10 封与四个 D 都是此刻的瞬时值。
验证: repo Debt ok; criteria-hygiene 10/10。
⚠️ debt-visibility **仍 0/1 失败**,原因与本提交无关:
harmony-appearance.test.mjs 边界声明 6 > 登记 4 —— 那是**另一会话未提交**的工作树改动
(+183 行),该判据自己写着"别只改数字,先补一笔";那笔债的内容属对方工作,我不代填。
2026-10-02 04:05:45 +08:00
..
2026-09-28 11:14:17 +08:00
2026-09-28 08:46:02 +08:00
2026-09-27 04:11:38 +08:00
2026-09-26 07:44:33 +08:00
2026-10-02 04:05:45 +08:00
2026-09-25 07:47:13 +08:00
2026-09-19 12:47:32 +08:00
2026-09-14 16:11:00 +08:00
2026-09-15 11:17:23 +08:00
2026-09-24 10:10:32 +08:00
2026-09-15 11:21:00 +08:00
2026-09-13 06:16:59 +08:00
2026-09-08 19:16:35 +08:00
2026-09-08 19:16:35 +08:00
2026-09-14 23:50:35 +08:00
2026-09-21 07:04:04 +08:00
2026-10-02 00:32:21 +08:00