ADR-0053 的 coverage note 与 driver-conformance 的 mongo 覆盖claim,在 #5517 把 mongod 套件改 opt-in 后成了陈述失真

[os-zhuang]

Observation-class finding,来自 #5517 的实施(PR #5538)。今天没有用户会撞到,所以不带 pm:queue,交 PM 分诊评级。

事实

PR #5538 依维护者拍板,把 packages/plugins/driver-mongodb 里需要真实 mongod 的 7 个套件改为 opt-in(OS_TEST_MONGODB_MEMORY_SERVER_ENABLED=1),默认跳过且不启动下载。副作用是:CI 里 mongo 的 temporal / pagination conformance 活体半边不再跑。

两处已有文字因此与现实不符:

1. docs/adr/0053-date-and-datetime-semantics.md(约 977-979 行)的 Coverage note:

   mongo 端到端 sweep 需要真实 server(mongodb-memory-server),所以 it runs in CI and skips where no binary is reachable

   落地后:默认不再跑,与 binary 是否可达无关。

2. 同 ADR 约 837-838 行把 driver-mongodb(real MongoDB)列为 skewed-process-zone 轴的一格 —— 那一格现在只在 opt-in 时成立。

PR #5538 已把逐 marker 的真实状态记进 scripts/check-driver-conformance.mjs 的 ledger 注释(该 gate 按 import 判定,仍 CONSUMED;为已覆盖的 cell 加 ledger entry 会被 RECONCILED 判红,所以只能记注释)。ADR 正文没动:改 ADR 是跨面动作,且「一格覆盖从 CI 撤到 opt-in」是否要在 ADR 上留痕、以什么形式留痕(注记 / 修正状态行 / 新 ADR),按 Prime Directive #13 应由维护者定,不该由一个 test-only PR 顺手改。

与既有单的关系

• 依赖但不属于 driver-mongodb 测试:两个套件并发下载 MongoDB 二进制,mongodb-memory-server 的 rename 竞态让全绿测试 exit 1(队列 flaky) #5517(该单已由 PR test(driver-mongodb): 依赖 mongod 二进制的套件改为 opt-in,默认响亮跳过(#5517) #5538 修掉本体)。
• 与 ADR-0053 D-A3：storage-form 轴只锁住了 driver-sql 的 datetime —— 另外五个后端和整条 Field.time 仍在裸奔 #4191(ADR-0053 D-A3:storage-form 轴只锁住 driver-sql)同一片领土但不是同一件事:ADR-0053 D-A3：storage-form 轴只锁住了 driver-sql 的 datetime —— 另外五个后端和整条 Field.time 仍在裸奔 #4191 说的是轴锁得不够,这条说的是已有的一格从 CI 撤了、而文档仍宣称它在 CI。ADR-0053 D-A3：storage-form 轴只锁住了 driver-sql 的 datetime —— 另外五个后端和整条 Field.time 仍在裸奔 #4191 未在队列里(无 pm:queue),故独立立单而非挂子单。
• 真正让这几格回到 CI 的前提是 [裁决] driver-memory / driver-mongodb 投入冻结 —— 维护者 2026-08-05 口径（跨单锚点） #5499 的冻结令解除;在那之前本单的正解可能只是「把文档改成实话」。

建议处置(供分诊)

1. 最小:把 ADR-0053 的两处 coverage note 改成实话(注记 opt-in + 指向 driver-mongodb 测试:两个套件并发下载 MongoDB 二进制,mongodb-memory-server 的 rename 竞态让全绿测试 exit 1(队列 flaky) #5517 / PR test(driver-mongodb): 依赖 mongod 二进制的套件改为 opt-in,默认响亮跳过(#5517) #5538),docs-only PR。
2. 或:等 [裁决] driver-memory / driver-mongodb 投入冻结 —— 维护者 2026-08-05 口径（跨单锚点） #5499 解冻时一并处理,那时若重新提供 binary(runner 预热或 vendored mongod),这几格回到 CI,文档自然复原。

[os-zhuang]

发现分诊轮判级(services 车道 PM,session_01BWS4heBoAitLmzCLhcYdbK,2026-08-05):晋级 pm:queue,按正文处置建议 1 执行 —— docs-only PR 把 ADR-0053 两处 coverage note 改成实话(注记 opt-in + 指向 #5517 / PR #5538)。

理由:文档与现实的偏差已固化(#5538 已 MERGED,mongo 活体半边默认不再跑),「文档宣称在 CI 而实际 opt-in」正是 declared ≠ real;修法是小 docs-only 单,不触 #5499 冻结的投入面(说实话不算投资)。domain:drivers 座位空缺 —— 留队列供接管者,或按维护者指令借调执行。

---

Generated by Claude Code

[os-zhuang]

认领:PM 循环第 2 轮(drivers 车道)
会话:session_01WyvqvKMG6asi9aXjKE6xtx
分支:claude/issue-5539-adr0053-coverage-truth
Worktree:objectstack-issue-5539
域:domain:drivers
文件面:docs/adr/0053-date-and-datetime-semantics.md(docs-only;不动 scripts/、不动 packages/、不碰 content/docs/releases/)

执行方向按发现分诊轮判级的建议 1:把 ADR-0053 两处覆盖陈述改成与 #5538 落地后的现实一致(注记 opt-in + 指向 #5517 / PR #5538,重启条件指向 #5499),⛔ 不改 ADR 裁决内容本身。

---

Generated by Claude Code

[os-zhuang]

复核:ACCEPT → PR #5562(已转 ready 并挂 auto-merge 入队;drivers 车道,会话 session_01WyvqvKMG6asi9aXjKE6xtx)。

已核项(以 GitHub 读数为准,非报告自述):

• 范围:单文件 docs/adr/0053-date-and-datetime-semantics.md(+42/-3),scripts/ / packages/ / content/docs/releases/ 零触碰;skip-changeset 已挂(docs-only 首选路线)。
• 两处修正与分诊建议 1 逐条吻合:① D-A3.1 backend 列表后新增带日期的 coverage correction note —— 开头即声明「修正的是覆盖陈述,不是任何已记录的裁决」,D-A3/D-A3.1/D-A3.2 与 Status 行一字未动;点名两个受影响套件、opt-in 开关、闸门由来(下载竞态 → unhandled rejection → 绿跑 exit 1 → 踢队列)、check-driver-conformance 按 import 判定故仍报 CONSUMED 的提醒、恢复条件挂 [裁决] driver-memory / driver-mongodb 投入冻结 —— 维护者 2026-08-05 口径（跨单锚点） #5499 解冻。② D-A3.2 Coverage note 按本 ADR 既有 ~~…~~ 惯例把失真半句划掉留痕,补上实话;仍成立的后半句(mongodb-time-storage.test.ts 纯函数处处可跑)经核实后保留。
• 前提复核:dev 对 origin/main 逐项验证(test(driver-mongodb): 依赖 mongod 二进制的套件改为 opt-in,默认响亮跳过(#5517) #5538 = 4fdf480 在 main;7 个 mongod 套件 opt-in;第 8 个 import 是默认跑的闸门 pin test;行号偏移已核:977-980 / 834-838);issue 关于 conformance ledger 注释已写实的说法核实属实。
• 验证证据:docs 相关闸门真实输出(nul-bytes 含 self-test、doc-authoring 362 clean、adr-anchors 29 OK、docs-audit scope、driver-conformance 20 cells 判定不变)+ 控制字节自扫;pnpm test/typecheck 对散文改动无意义,dev 未编造无关绿输出 —— 姿态正确。
• CI:typecheck / ESLint / Test Core / PR Size / 重复认领门禁全绿;Check Changeset 唯一红是打标签前旧 run,已被标签事件触发的两次 skipped 取代(PR 内有定性说明)。
• 顺手发现处置得当:D-E4 那句只述位置不称「在 CI 跑」,不算失真,未扩面;全仓扫描无其它失真 mongo 覆盖 claim(README 已由 test(driver-mongodb): 依赖 mongod 二进制的套件改为 opt-in,默认响亮跳过(#5517) #5538 同步;CHANGELOG 是历史记录非现状声明)。

落地后 #5539 随 PR 合并自动关闭。

---

Generated by Claude Code