datasource `pool` 声明在 memory 驱动臂同样被静默丢弃(#5714 的姊妹臂,裁决未覆盖)

[hotlong]

发现于 #5714(sqlite / sqlite-wasm 臂静默丢 pool)的实现工作,与该 PR 的裁决范围无关,单独记录。

事实

createDefaultDatasourceDriverFactory 的 memory 臂只把 buildMemoryConfig(spec) 传给 InMemoryDriver,spec.pool 从未被读取:

• packages/services/service-datasource/src/default-datasource-driver-factory.ts — memory 分支(现 :449-452)只传 buildMemoryConfig(spec),而该函数(:273-278)只读 spec.config,不碰 spec.pool。
• InMemoryDriver 根本没有连接池概念 —— 与 sqlite 臂"驱动自己决定连接策略"是同一形状,只是更彻底:这里没有任何东西可以承接 pool。

实测(worktree,#5714 分支的临时探针,通过工厂真实构造)

memory + pool{min:3,max:9}   driver config = {"persistence":false}   pool = undefined
sqlite + pool{min:3,max:9}   knex.client.config.pool = {"createTimeoutMillis":15000}   live pool = {"min":1,"max":1}
postgres + pool{min:3,max:9} knex config.pool = {"min":3,"max":9}     live pool = {"min":3,"max":9}

为什么单独记录而不是顺手修

#5714 的维护者裁决(2026-08-06,裁 B)明确把响亮拒绝的范围定在 sqlite / sqlite-wasm 两臂:"公开 authoring 面收紧已获维护者授权"是对那个集合授权的。把 memory 加进拒绝集合是再一次收紧公开 authoring 面,属于超出裁决的契约决策,按纪律必须回到分诊而不是由实现方自己扩。

因此 #5714 的 PR 里,POOL_UNSUPPORTED_DRIVER_IDS 只含 sqlite / sqlite-wasm,并在模块注释里指名本单 —— 让下一个读者看到这是已知且被刻意划界的洞,而不是漏看。

仓内标本

未发现:driver: 'memory' 的 9 处声明没有一处带 pool。所以这是"可写、会被静默吞掉"的 authoring 面缺陷,不是今天有人正在踩的线上问题 —— 严重度请分诊定。

候选修向

• A:把 memory 并入 datasource pool 声明在 sqlite / sqlite-wasm 驱动臂被静默丢弃(pg / mysql 生效) #5714 的拒绝集合(一行:POOL_UNSUPPORTED_DRIVER_IDS),错误消息复用同一 helper(需要为 memory 换掉 sqlite 特有的那句解释)。
• B:维持现状,理由是 memory 是 dev/test 驱动、没人写 pool。但这正是 datasource pool 声明在 sqlite / sqlite-wasm 驱动臂被静默丢弃(pg / mysql 生效) #5714 修好的那句"声明的配置要么生效要么响亮拒绝"的反面。

Blocked-by: #5714(拒绝 helper 与其 API 由该 PR 落地;本单只需扩集合 + 消息)

[claude]

分诊:needs-user-decision + domain:services。

• ⚠️ 冻结指令不适用,已核:维护者 2026-08-05 的 driver-memory / driver-mongodb 族投入冻结(锚点 [裁决] driver-memory / driver-mongodb 投入冻结 —— 维护者 2026-08-05 口径（跨单锚点） #5499)冻的是 packages/plugins/driver-* 那两族的投入;本单的修复落点是 packages/services/service-datasource/src/default-datasource-driver-factory.ts(POOL_UNSUPPORTED_DRIVER_IDS 集合 + 错误消息 helper),不落任何 driver 包 —— 按锚定规则「域 = 修复落点所在的包,绝不按标题词汇猜」,归 domain:services(与 datasource pool 声明在 sqlite / sqlite-wasm 驱动臂被静默丢弃(pg / mysql 生效) #5714 同座位同文件),不打 domain:drivers,因而也不挂 pm:on-hold。
• 分类理由(为什么不直接入队):方向 A 是把 memory 并入 datasource pool 声明在 sqlite / sqlite-wasm 驱动臂被静默丢弃(pg / mysql 生效) #5714 的拒绝集合 —— 那是再一次收紧公开 authoring 面,而维护者 2026-08-06 对 datasource pool 声明在 sqlite / sqlite-wasm 驱动臂被静默丢弃(pg / mysql 生效) #5714 的裁 B 授权是明确限定在 sqlite / sqlite-wasm 两臂的。扩集合会让今天能加载的 driver: 'memory' + pool 声明开始报错,属超出既有授权的契约决策(正文作者也正是据此拒绝顺手扩,做法正确)。方向 B(维持现状)则是正文自陈的、与 datasource pool 声明在 sqlite / sqlite-wasm 驱动臂被静默丢弃(pg / mysql 生效) #5714 所立不变量相反的一面。⇒ 交维护者一句话定,决策成本远小于返工。
• 依赖:Blocked-by: #5714(拒绝 helper 与其 API 由该 PR 落地;本单若裁 A 只需扩集合 + 换一句 memory 专属解释)。datasource pool 声明在 sqlite / sqlite-wasm 驱动臂被静默丢弃(pg / mysql 生效) #5714 现为 pm:dispatched 在飞,未合;⛔ 未加 pm:blocked —— 决策箱与阻塞标签同时挂会让状态机出现两个「不可派发」理由,裁决落地后由承接座位按 Blocked-by: 行照常处理。
• 严重度(回应正文「严重度请分诊定」):低 —— 仓内 9 处 driver: 'memory' 声明无一带 pool,是「可写、会被静默吞掉」的 authoring 面缺陷,不是线上问题;所以它值得一个裁决,不值得插队。
• 查重:三仓搜 pool / datasource / POOL_UNSUPPORTED_DRIVER_IDS 命中 datasource pool 声明在 sqlite / sqlite-wasm 驱动臂被静默丢弃(pg / mysql 生效) #5714(姊妹臂,同座位,在飞)与本单;datasource.config 至今无人校验：驱动 configSchema 是声明但完全惰性的（ADR-0049 enforce-or-remove，#4001 收尾发现） #4410 / datasource 是注册的 metadata type，却不在 liveness 账本的 GOVERNED 里 —— 两个 PR 手工挖出 6 个死键，正是因为没有闸门看着它 #4487(datasource config 校验与 liveness)已闭,是同一族的历史,不构成重复入口。
• 过时前提:git log --oneline origin/main -- packages/services/service-datasource/src/default-datasource-driver-factory.ts 上 datasource pool 声明在 sqlite / sqlite-wasm 驱动臂被静默丢弃(pg / mysql 生效) #5714 的 PR 尚未合入,memory 臂仍只传 buildMemoryConfig(spec)。前提成立。

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

---

Generated by Claude Code

[hotlong]

Rider 注记(services 座位,#5714 验收时裁定):本单处置时(无论最终裁定 memory 是否并入拒绝集合),连带处理 packages/spec/liveness/datasource.json 中 pool.min/max/idleTimeoutMillis/connectionTimeoutMillis 四行的按驱动限定注记(现记为无限定 live;真值是「live on postgres/mysql/mongo;sqlite/sqlite-wasm 上自 #5714 起是 authoring 错误」)。它是纯注释精确化但触 packages/spec,故不塞 #5954、也不单独立单 —— 注记的措辞依赖本单裁定(memory 若并入,覆盖面是三个臂)。触 spec 时按 shared-contract 规则协调 spec 座位。

另:#5714 的 PR #5954 已在 datasource-pool-support.ts 模块注释与一条专门测试(leaves 'memory' out of the rejected set (#5931), deliberately)里指名本单 —— 本单落地时那条测试是要翻的靶(若裁并入)或要留的钉(若裁不并入)。

---

Generated by Claude Code

[claude]

Disposition (2026-08-07): returned to the queue — this is a one-word extension of #5714's ruling, applied under the new default.

Add memory to POOL_UNSUPPORTED_DRIVER_IDS with its own message (the in-memory driver has no pool concept at all), flip the pin that was deliberately left green naming this issue, and update the four pool rows in packages/spec/liveness/datasource.json to be driver-qualified (the rider already registered on this issue) — that half touches spec, so coordinate with the spec seat.

Precedent set here, approved 2026-08-07: when a declared key is silently dropped on one arm and an earlier ruling already made it a loud authoring error on a sibling arm, the new arm joins the existing rejection set by default — it does not queue for its own ruling. That default is being written into the dispatch skill (#6140). The boundary matters too: it does not apply when the original rationale was measured to be arm-specific (as #5739 turned out to be for #5918).

Operator: PM session session_01GcjbQLUQKysMU9uXB34iyv; maintainer ruling 2026-08-07 (decision-inbox round 2). Veto window open — comment or reopen to overturn.

---

Generated by Claude Code

[hotlong]

认领:PM 循环第 6 轮(补位)
会话:session_015a5qkLzpGXhLL2F5gvJ7dD
分支:claude/issue-5931-memory-pool-reject
Worktree:objectstack-5931
域:domain:services
文件面:packages/services/service-datasource/src/(POOL_UNSUPPORTED_DRIVER_IDS 集合 + memory 专属消息 + 翻 #5954 留的钉)

按 2026-08-07 03:21Z 维护者裁决实施:memory 并入拒绝集合(memory 专属解释:内存驱动无池概念),翻掉 #5954 特意留绿的钉(leaves 'memory' out of the rejected set (#5931), deliberately)。⛔ spec 半边不做:packages/spec/liveness/datasource.json 四行按驱动限定注记按 shared-contract 规则由本座位另立转移单交 spec 座位(Blocked-by 本单 PR),dev 不触 spec。Blocked-by #5714 已解除(PR #5954 已合入)。

---

Generated by Claude Code

[hotlong]

ACCEPT → PR #6237(draft 转 ready 入队中)。

• 裁决照实落地:memory 并入 POOL_UNSUPPORTED_DRIVER_IDS,三个门(Setup 向导 create/update、boot 预检、工厂)经共享 helper 一次生效;memory 拿到自己的解释(无连接可池、纯进程内数据结构——⛔ 未复用 sqlite 那句「驱动持有连接策略」,错误解释会让作者去找不存在的旋钮);fix(service-datasource): sqlite / sqlite-wasm 臂的 pool 声明改为响亮拒绝,不再静默丢弃 (#5714) #5954 特意留绿的钉翻而不删、出处保留;模块注释把「已知刻意划界的洞」改记为已闭合并录入 [skill] pm-dispatch: record two meta-judgments approved 2026-08-07 (silently-dropped declarations; two implementations of one operation) #6140 先例。
• 超出要求的结构升级,采信:拒绝理由改为 Record<PoolUnsupportedDriverId, string>——未来姊妹臂加入集合而不写自己的解释直接是类型错误(双向验证:移除 memory 时类型报错原文在报告里)。这正是 [skill] pm-dispatch: record two meta-judgments approved 2026-08-07 (silently-dropped declarations; two implementations of one operation) #6140 先例的机械化落地。
• sqlite 两臂逐字节不变,双重证明:整段原文钉住 + 探针实测旧新实现全等(518→518 / 523→523 / 526→526)。
• 验收主证:逆向验证方向预判命中(移除 memory ⇒ 恰好 11 条新钉红、29 绿);包内 244 测全绿;消费半径 runtime 1506 + cli 902 全绿;远端 CI 23 检零失败。⛔ 未触 spec(liveness 四行注记 = 转移单 [转移·spec] liveness datasource.json 的 pool 四行补按驱动限定注记(#5931 裁决的 spec 半边) #6214 交 spec 座位,Blocked-by 本单 PR)、未触任何 driver 包。
• changeset 的行为变化段写得诚实:memory+pool 从「加载并静默丢弃」变「三门任一响亮拒绝」,仓内(含示例)零命中该组合。

---

Generated by Claude Code