|
|
99d0670ebe
|
fix(memory-b): 返工 ③④ —— trigger 直判据 + skipped_dim 不再是假字段
③ trigger 补直写判据（此前只有间接覆盖）
你的复核准确：摘掉 trigger 的 WHEN 会让 F3/D3 红，所以「间接有守卫」——
但没有一条盯 raw-writer。而 trigger 存在的全部理由就是防 raw-writer
（修复脚本、迁移、运维手敲 sqlite3）。putBlock 自己就能把列写对，
所以真实风险是「trigger 全没了也没人发现」。
MIG5 三条：
- raw UPDATE 把 vector 改成长度不符 ⇒ vector_dim 被拉回真值；清空则归 0
- raw INSERT 带错误 vector_dim ⇒ 被 trigger 覆盖为真值
- MIG5† 分别 DROP 两个 trigger，各自断言「谎言能存活」
真变异：从 DDL 里删掉整段 trigger ⇒ MIG5 前两条红（MIG5† 仍绿，因为它
主动 DROP，不依赖 DDL 是否存在 —— 这是两者分工正确的标志）。
④ skipped_dim 恒 0 是假字段，选 (a) 补维度过滤
你的诊断对，且比我的注释更狠：一个永远不能非零的字段，配合
`typeof === 'number'` 的断言，把 F4「维度失配与指纹失配分开计数」
做成了摆设。这与更早那处 assert.equal(skipped, 2) 是同一类。
实现：
- searchFts / 包含兜底都携带 dimension（来自 vector_dim 列）
- recallBlocks 新增 dimension 选项，在**空间过滤之后**做维度过滤
★ 顺序有意：先空间后维度，保证一块同时 stale 且窄时只计一次（记 space），
否则两个计数会重复计同一行、谁也加不出「被丢弃的块数」
- skippedDim 与 skipped 分别挂在返回数组上（F4 要分开）
- recallBlocksHybrid 把 space.dimension 注入 scoped，六个降级分支自动继承
- lastRecall.skipped_dim 改为读真实值
判据 F4b 四条：
- 同指纹不同宽度 ⇒ skippedDim=1 且 skipped=0（不串桶）
- 同时存在旧空间块与窄向量块 ⇒ skipped=1、skippedDim=1，不双计
- last_recall.skipped_dim 能非零
- F4b† 变异：删维度过滤 ⇒ skippedDim 归 0、窄向量被召回 ⇒ 红
实测：hits=[C 正常]，skipped=1，skippedDim=1，两者都能非零。
一处测试构造的调整：窄向量块用 raw 写入而非 commit —— F8（正确地）
拒绝显式传错的宽度，所以「库里存在窄向量行」在现实中只能来自
历史数据或修复脚本，与 trigger 那条判据的假设一致。
文档
- criteria: F4 补「两个都能非零」与恒 0 字段的教训
- dev-notes 增第 6 类「恒为 0 / 恒为真的字段」，含自查问句
「这个字段的取值集合里，有没有一个能让我这条断言失败？」
验证
- npm test 162/162（155 + MIG5 三条 + F4b 四条）
- npm run check 10/10
- 干净副本实数见后续消息
|
2026-10-30 17:07:19 +08:00 |
|
|
|
48c52497c2
|
feat(memory-b): F6 三段口径固化成判据 + A1b 降级记账
裁定：F6 选 (a)，措辞改写，不留互斥读法
原措辞「仍可按文本调出、不参与向量召回」读起来像互斥。实际是三层：
「按文本调出」= store 级无空间浏览，**不是生产召回路径**。
不改 F2 去迁就 F6 字面自洽的理由：F2 是 fusion.go:495 同款安全缺陷修复，
优先级高于 F6 的措辞。所以 F6 改成三段并列，每段一条断言，
**同一个用例内全断言**：
数据层：指纹变更后旧块仍在库中 —— 块数不减、按 fp 分组两行都在
浏览层：store 级不带空间参数的文本查询仍能取到旧块
召回层：带 fingerprint 的生产召回路径必须把旧块过滤掉（F2 承担）
为什么必须一个用例：只断言「过滤掉了」会漏掉数据被误删
（删库在召回层看起来就是「过滤正确」）；只断言「能调出」会把 F2 挡回去。
F6 判据 3 条
F6 三段全断言 + 反向对照（当前空间块两层都能取到，
防止断言因为「什么都找不到」而假成立）
F6†data 变异：putBlock 顺手 purge 其它空间的行走道 ⇒ 数据层断言红
F6†recall 变异：去掉空间过滤器 ⇒ 召回层断言红
两条变异各自只咬自己那一段，与 F6†data/†recall 的分工一致。
★ F6†data 的变异写法踩了三次坑（据实记）
1. 只写 form（没真改代码）—— 那不是变异，是自测
2. 注入 SQL 里的转义引号把测试文件写成 SyntaxError
3. 最终用 String.fromCharCode(39) 拼引号 + 数组 join 构造注入文本，
避开嵌套模板字符串的转义地狱
裁定 2：A1b 降级要记账
A1b 原先逐字节锁死 recallBlocks 源码，F2 合法地要改它，已降级为
「不传 fingerprint 时行为不变」。但降级后的 A1b-behaviour 只跑 golden
**前 5 个** case，变异 A（非精确带分数微调）下它可能是绿的。
已在判据注释写明：**结论不由 A1b 单独给出，由 A2 兜**
（A2 走全部 45 例、比精确分数）；A1b-behaviour 只是烟测，不是权威。
同步进 memo：docs/dev-notes-mutation-criteria.md 增第 5 条
「判据降级时，覆盖面必须一起交代」—— 这不是失效模式，是记账纪律。
自查问句：这条判据降级后，原本由它兜住的结论现在由谁兜？
答案必须是一个具体的、覆盖更广的判据名。
验证
- npm test 131/131、npm run check 10/10
- 干净副本（git archive + link-dsh）实数见后续消息
|
2026-10-30 15:39:03 +08:00 |
|
|
|
0e65dfee64
|
fix(check): checkpoint 全废时 runner 仍报通过 + 补回丢失的覆盖
缺口（评审复现，我独立复现确认）
上一条替换旧 README 判据时，把它的第二条断言一起带走了。
旧 test 同时守两件事：
1) README 计数与实现一致 已判定不值得守，删
2) checkpoints.js 至少注册一条 值得守，跟着 1 一起消失
grep 全仓：没有任何东西守 2。
实测后果（很安静）
把 helper 换成空操作、调用点全保留：
npm run check -> 0/0 checkpoints passed, exit=0
npm test -> 120 条全绿
即 checkpoint 全废、runner 报通过、测试一条不红。
修法：守结果，不守成因
scripts/checkpoints.js 结尾（if (failed > 0) 之前）：
if (results.length === 0) {
console.error('no checkpoints were registered ...')
process.exitCode = 1
}
放 runner 而不是补回静态计数的理由：静态计数只能抓 helper 改名；
results.length === 0 抓的是结果，改名、被 stub、条件跳过都会红。
但 process.exit(0) 能绕过任何脚本内检查，所以另加一条外部断言
（test/phase-b-g-static.test.js）三层：
- declared > 0 helper 没被改名
- 源码含 if (results.length === 0)
- 该守卫确实设置 process.exitCode = 1
分工：runner 守结果，测试守 runner 还带着那道守卫。
实测
0 条注册（stub） -> no checkpoints were registered, exit=1
条件跳过 -> 同上, exit=1
正常态 -> 10/10 passed, exit=0
变异：删 runner 守卫 -> not ok 6
变异：helper 全改名 -> not ok 6
docs/dev-notes-mutation-criteria.md 增第 4 类
判据被替换时，旧判据的覆盖静默消失
- 形态：一条 test 守两件事
- 实测后果：0/0 passed / exit 0 / 120 全绿
- 守结果不守成因的四类成因对照表（含 process.exit(0) 是拦不住的那格）
- 自查问句：这条判据除了名字里那件事，还顺手守了什么
- 探针经验：不要用注释掉调用去验零注册，会变成 SyntaxError
验证
- npm test 120/120、npm run check 10/10
- npm test 3 次、npm run check 3 次（带 exit code 核对）全绿
- 无 .orig / .rej / /tmp/mut-* 残留
- 未 amend / 未 force push
|
2026-10-30 14:44:09 +08:00 |
|
|
|
fc5fe11590
|
docs: 去掉 README 计数并在判据侧禁止它 + 变异判据方法论 dev-notes
1. README 计数去掉（不留守卫）
去掉「119 tests」与「10 checkpoints / 10/10 checkpoints passed」。
理由按裁定：一个没有守卫、被手改过五次的数字是负资产，
它给人的确定感是假的；加守卫要翻倍套件时间，不值。
守卫反过来断言「README 不得出现计数」：
/\b\d+\s+tests\b/i
/\b\d+\s+checkpoints\b/i
/\b\d+\s*\/\s*\d+\s+checkpoints passed/i
三种写法实测都能抓住（120 tests / 12 checkpoints / 12/12 passed）。
顺带处理一处同类：原文「(6 tests)」是手抄的测试数，删；
「12 blocks × 15 queries = 45 cases」是 fixture 自身内容量，也删并改为
指向 fixture 文件 —— 由文件决定的东西不该在文档里再写一份。
（README 现在的口径：表格说「验什么」，`npm test` / `npm run check` 说「多少」。）
2. docs/dev-notes-mutation-criteria.md（新）
把三轮踩出来的方法论落成仓库文档，README 的 Verify 段加指针。
三类失效模式，每条都给「形态 / 实测证据 / 正确形态 / 自查问句」：
① 自测型假变异（犯四次：W11† / W11d†a / W11d†b / W12†）
变异在 test/ 里自己拼替身，一行 lib/ 没碰 ⇒ 真回退下保持绿
实测：M-a / M-b 下 W11d†a / W11d†b 均绿，只有 W11d 红
② 清单写死（W11f）
手写 MODES 漏掉新 case；future_mode_a/b 测的是「掉进 default 的」，
永远测不到「有人新写了一个 case」
实测：植入 brand_new_mode（零命中时撒谎）→ 写死版全绿，扫描版红
并记下边界：自动推导不能替代「提取本身也要被守卫」，
所以还需要 declared.length >= 4 + W11f-a（guards the guard）
③ 变异共享状态并发撞车（我自己引入的）
就地改写 lib/*.js，而 node --test 并行跑文件 ⇒ 别的文件读到中间态
实测：约 1/30 偶发失败，症状像 flaky 断言；A1b / G2b / G5 这类
读源码的判据会读到被改坏的中间态
修法：在 lib/ 副本上变异（复制 lib + package.json + 软链 node_modules），
finally 清理，锚点失配显式失败
文末给通用自查清单 9 条 + 一句话记住三条。
验证
- npm test 119/119、npm run check 10/10
- 连跑 6 次全量 0 失败
- 无 .orig / .rej / /tmp/mut-* 残留
- 未 amend / 未 force push，199553f 之后是新提交
|
2026-10-30 14:36:41 +08:00 |
|
