[finding] AGENTS.md 的「It has teeth」段只描述 `check:durability-log-level` 的日志级别那半 —— #5186 之后同一条命令还跑读接缝规则,散文没跟上

[hotlong]

观察类发现,记录于 #5186 实施期。今天没有用户会撞到,也不影响闸门行为——纯粹是 AGENTS.md 的描述面比闸门实际执行面窄了一条规则。#5186 的文件面是 scripts/ + .changeset/(⛔ 越界即停),AGENTS.md 不在其中,故只记录不改。

事实

#5186 之后,pnpm check:durability-log-level(scripts/check-durability-degradation-log-level.mjs)执行两条独立规则:

1. 原有的日志级别规则:DURABILITY_CRITICAL_CALLEES 词表 + warn/静默即红,baseline 是 scripts/durability-degradation.baseline.json;
2. 新增的读接缝编造空值规则(check:durability-log-level 结构性看不见「读接缝把故障答成空值」这一类 —— #4825 / #5108 全家都在闸门盲区里 #5186,族源 [metadata] database-loader 吞掉 sys_metadata 的 DDL 失败后仍置 schemaReady=true —— 第二类降级(#4632 规则),本轮因包冻结未修 #4728 → [metadata] nextEventSeq() 把驱动读失败也当成「表还没建」,静默从 1 重新发号 —— #4632 同形,机械检查覆盖不到 #4825 → DatabaseLoader 把存储读故障吞成空结果 —— ADR-0110 D3 的 miss/outage 之分在复数读路径上不成立 #5108):catch 无日志 + return 空值/零值 + 块内含读调用 + 未按错误类型区分 → 红,扫描面收窄到 packages/metadata / packages/metadata-protocol / packages/objectql,baseline 是另一个文件 scripts/durability-read-invention.baseline.json。

AGENTS.md「Degradation log levels — warn vs error」末尾的 It has teeth 段(约 642–657 行)只描述第 1 条。两处会误导:

• 「walks the AST for catch blocks guarding a declared vocabulary of durability-critical operations and fails when one logs below error without rethrowing」——现在这只是一半;
• 「Accepted exceptions live in scripts/durability-degradation.baseline.json … and that file is currently empty, which is its intended steady state」——这句对那个文件仍然成立,但读者很容易把它当成「这条命令的 baseline 是空的」,而第二条规则的 baseline 有 3 条(2 条真实待修,已分别立卡 ObjectQL seedAutonumber 把读故障答成 return 0 —— 对已有 N 行的表重新从 1 发号,自增号与既有行相撞且零日志(#4825 同族,活体) #5979 / MetadataProtocol.listCommits 把 commit store 读不到答成 [] —— ADR-0067 时间线上「无历史」与「读不到」不可分辨(零日志,JSDoc 里写着这是设计) #5980;1 条复核为合法)。

建议(一段散文的量)

在 It has teeth 段后补一段,说明同一条命令还跑读接缝规则、判据是什么、baseline 是哪个文件、扫描面为什么是收窄的(维护者 2026-08-06「裁 3——收窄先行」),并把「发现新的读接缝?」的去处指向该规则的 READ_FAILURE_DISCRIMINATORS / baseline,与现有「Found a new one? Add it to DURABILITY_CRITICAL_CALLEES」对称。

⚠️ 这不是 #5186 被否决的「方向 2」(纯散文靠 review)——闸门已经落地,这里补的是指路牌。

关联

#5186(落地本规则)、#5979 / #5980(其 baseline 里两条待修条目)、#4632(规则起点)、#4754 / #5241(同一脚本此前两次扩张,当时也各自更新了这段散文)。

[claude]

发现分诊:晋级 —— 摘 finding,改 pm:queue(domain:devx 已在,保留)

判级 — 晋级入队。这不是「散文洁癖」:AGENTS.md 是每个 agent 会话开局就读的文件,而它现在对 pnpm check:durability-log-level 的描述比闸门实际执行面窄了整整一条规则。两处会主动误导:

• 「walks the AST for catch blocks guarding a declared vocabulary … and fails when one logs below error without rethrowing」——check:durability-log-level 结构性看不见「读接缝把故障答成空值」这一类 —— #4825 / #5108 全家都在闸门盲区里 #5186 之后这只是两条规则中的一条;
• 「Accepted exceptions live in scripts/durability-degradation.baseline.json … currently empty, which is its intended steady state」——这句对那个文件仍真,但读者极易读成「这条命令的 baseline 是空的」,而第二条规则的 baseline(scripts/durability-read-invention.baseline.json)有 3 条(2 条真实待修,已分别立卡 ObjectQL seedAutonumber 把读故障答成 return 0 —— 对已有 N 行的表重新从 1 发号,自增号与既有行相撞且零日志(#4825 同族,活体) #5979 / MetadataProtocol.listCommits 把 commit store 读不到答成 [] —— ADR-0067 时间线上「无历史」与「读不到」不可分辨(零日志,JSDoc 里写着这是设计) #5980;1 条复核为合法)。

也就是说:一个照着 AGENTS.md 行动的 agent 会低估这条命令的判据面,并在读到 3 条 baseline 时以为闸门坏了。修法是一段散文、范围清楚、且方向已被维护者裁过(2026-08-06「裁 3 —— 收窄先行」),无需再拍板 ⇒ 入队而非决策箱。

域 — 落点 AGENTS.md(约 642–657 行的 It has teeth 段)⇒ domain:devx(立单时已带,复核正确,保留)。

过时前提检查(origin/main 44106d9):AGENTS.md:642 的 It has teeth 段仍在(反查对照:同文件 :713 另有一处 check:startup-registry-verdict 的同名段落 —— ⚠️ 派发时勿改错那一段);scripts/check-durability-degradation-log-level.mjs 的两条规则与两个 baseline 文件现状与正文一致。

范围提示(给 devx 车道) — 立单人已划清:

• 补的是指路牌,⛔ 不是 check:durability-log-level 结构性看不见「读接缝把故障答成空值」这一类 —— #4825 / #5108 全家都在闸门盲区里 #5186 里被否决的「方向 2:纯散文靠 review」—— 闸门已经落地,这段只描述它;
• 建议与现有「Found a new one? Add it to DURABILITY_CRITICAL_CALLEES」对称地写第二条规则的去处(READ_FAILURE_DISCRIMINATORS / 其 baseline),并说明扫描面为何收窄到 packages/metadata / metadata-protocol / objectql;
• 本单是 docs-only,与 ObjectQL seedAutonumber 把读故障答成 return 0 —— 对已有 N 行的表重新从 1 发号,自增号与既有行相撞且零日志(#4825 同族,活体) #5979 / MetadataProtocol.listCommits 把 commit store 读不到答成 [] —— ADR-0067 时间线上「无历史」与「读不到」不可分辨(零日志,JSDoc 里写着这是设计) #5980(那两条 baseline 条目的真实修复,domain:engine-core)无文件相交,可并行。

本评论来自分诊座位 Routine(#5474 试点),不构成认领。

---

Generated by Claude Code