driver-turso 的 remote transport 自带一套 where/分页编译器，却不跑 FILTER_LOGIC / PAGINATION 共享 case-set —— 迁回本仓即入矩阵，实测 3 个 DEBT 格

发现于：#4645 Phase A（把 @objectstack/driver-turso 从 cloud 迁回 packages/drivers/driver-turso）。迁入落盘的那一刻 scripts/check-driver-conformance.mjs 就把它收进矩阵，实测 3 个格子 MISSING。Phase A 的 PR 按 gate 规则记了 3 条 measured DEBT 条目让 CI 绿，这个单是清掉那 3 条 DEBT 的工作项。

实测（objectstack `81087877e` + #4645 Phase A 分支）

driver conformance matrix (5 drivers x 5 case-sets)

  driver              FILTER_LOGIC  TEMPORAL  TEMPORAL_TIME  PAGINATION  PAGINATION_UNORDERED
  driver-memory       ok            ok        ok             ok          ok
  driver-mongodb      ok            ok        ok             ok          ok
  driver-sql          ok            ok        ok             ok          ok
  driver-sqlite-wasm  ok            ok        ok             ok          ok
  driver-turso        MISSING       ok        ok             MISSING     MISSING

TEMPORAL / TEMPORAL_TIME 两格是真绿：turso-temporal-conformance.test.ts 与 turso-remote-temporal-conformance.test.ts 双面（local 与 remote）都驱动了共享 case-set。

为什么这三格不是"继承 SqlDriver 所以没问题"

TursoDriver 是双传输的。local / replica 面确实继承 SqlDriver，但 remote 面完全不走 Knex：packages/drivers/driver-turso/src/remote-transport.ts（1,726 行）自带

buildWhereSQL（:1019）—— 一套独立的过滤器编译器，$and / $or / $not 嵌套、算子词表、比较值拒收全部自己实现（cloud 侧 Fix @libsql/client native dependency resolution for Vercel deployment #1116/Fix broken pnpm lockfile causing CI failures #1117/fix(studio): Route Code tab to CodeExporter instead of always rendering preview #1080/fix: AI agent routes never registered — kernel pre-injects core service fallbacks before plugin starts #1078/chore(deps)(deps): bump the production-dependencies group across 1 directory with 14 updates #1074/Addressing PR comments #1071 六个语义修复都落在这里，说明这条缝会真的分叉）；
自己的 ORDER BY / LIMIT / OFFSET 拼装（:960-977）。

这正是 #3774（filter 组合语义）和 #4363 / objectui#3106（有序与无序分页读都是一个 partition）设这两组共享 case-set 要压住的东西：独立实现的第 N 个后端。"继承所以没问题"恰恰是这些套件存在来证伪的假设 —— driver-sqlite-wasm 当初也是按这个理由记的 DEBT，最后是用套件清掉的，不是用理由清掉的。

完成标准

在 packages/drivers/driver-turso/src/ 下补套件，从 @objectstack/spec/data 导入并驱动：

FILTER_LOGIC_CASES
PAGINATION_CASES
PAGINATION_UNORDERED_CASES

双面覆盖（参照同包 temporal 两个套件的形状）：local 面走 :memory:，remote 面走 libsql-sqlite-stub.testkit.ts 的 sqlite stub —— 两面都 hermetic，默认 CI 可跑，不需要网络或凭据。套件落地后，在同一个 PR 里删掉 scripts/check-driver-conformance.mjs 里对应的 3 条 LEDGER 条目（留着会判 RECONCILED 红）。

边界

⛔ 不在这个单里改 gate 的判定逻辑。
⛔ 不顺手修 remote transport 的语义缺陷：套件如果跑红，说明是真分叉，另开单，不要在这个单里边写套件边改实现（那样等于自己给自己发准考证）。

Blocked-by：#4645 Phase A 的 PR（packages/drivers/driver-turso 落盘）。

分诊:入队 pm:queue + domain:drivers + pm:blocked。

落点锚定:补的三套共享 case-set 套件落在 packages/drivers/driver-turso/src/(driver-* 家族),外加删 scripts/check-driver-conformance.mjs 的 3 条 LEDGER 条目 —— 主落地站点是 driver 包 → domain:drivers。
Blocked-by: driver-turso 住在闭源 cloud 仓，却是开源 runtime 点名偏好的默认 driver — 建议把核心迁回本仓 #4645(Phase A PR 把 packages/drivers/driver-turso 落盘之前,套件无处可写;正文已带 Blocked-by 行,此处补机器可读锚点,driver-turso 住在闭源 cloud 仓，却是开源 runtime 点名偏好的默认 driver — 建议把核心迁回本仓 #4645 关闭后解锁回队)。
查重:三仓检索 turso / libsql / conformance,无重复单;cloud#1077 是 remote transport 的语义缺陷,本单边界已明确「套件跑红另开单」,不收敛。
常设裁决核验:[裁决] driver-memory / driver-mongodb 投入冻结 —— 维护者 2026-08-05 口径（跨单锚点） #5499 冻结只覆盖 driver-memory / driver-mongodb 族,driver-turso 不受影响,照常入队。

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

Generated by Claude Code

解锁 + 认领:PM 循环第 5 轮(drivers 车道)

解锁依据:Blocked-by 条件为「#4645 Phase A PR 把 packages/drivers/driver-turso 落盘」— PR #5618 已于 2026-08-05 22:0x 前合入 main(merge commit 06ba03627,包已实测在新路径),pm:blocked 已摘。

会话:session_01WyvqvKMG6asi9aXjKE6xtx
分支:claude/issue-5590-turso-conformance-suites
Worktree:objectstack-issue-5590
域:domain:drivers
文件面:packages/drivers/driver-turso/src/(新增三套 conformance 套件)、scripts/check-driver-conformance.mjs(仅删 3 条 LEDGER 条目,⛔ 不动判定逻辑)。与同批在飞的 #5589(driver-sql)、#4645 Phase B(cloud 仓)互不相交。

边界照正文:套件跑红 = 真语义分叉 → 另开单,⛔ 不在本单边修实现边写套件。

Generated by Claude Code

复核:ACCEPT → PR #5656 已 MERGED(合并队列)。留档要点:

四套件双面落地(local :memory: / remote sqlite stub),全部 hermetic 默认 CI 跑;conformance 矩阵 25 covered / 0 DEBT,三条 LEDGER 条目同 commit 清偿,判定逻辑零改动;
三次 mutation 反向验证全部方向前置且命中,每次恰好一面红另一面绿 —— issue 的前提(两条传输互不可见)被直接测出;第 2 个 mutation 下 visits every row exactly once 仍绿的强度边界如实记录(性质≠子句);
诚实分叉处置是本单亮点:remote 分页两格绿靠的是 stub 计划固定而非契约点名的 tie-breaker 机制 —— 按「不自发准考证」边界另立 driver-turso remote transport 的分页读没有 tie-breaker：ORDER BY 原样透传、无序分页读完全不排序 —— 与同驱动 local 面(SqlDriver orderKeysFor)分叉，IDataDriver.find 的确定性分页 MUST 在 remote 面不成立 #5653(已核实,含机制行号、三态表对照、实测序列),并用两条「records the measured mechanism」pin 把现状钉住,driver-turso remote transport 的分页读没有 tie-breaker：ORDER BY 原样透传、无序分页读完全不排序 —— 与同驱动 local 面(SqlDriver orderKeysFor)分叉，IDataDriver.find 的确定性分页 MUST 在 remote 面不成立 #5653 落地之日它们会红并随之改写,分叉不会在绿格下静默;
erasure 天花板 267 未涨(新套件零 as any);包全量 621/621。

#5653 待分诊定级(turso 不在 #5499 冻结范围,真缺陷)。

Generated by Claude Code

feat(drivers): driver-turso 迁回本仓公开发布，五个 IDataDriver 统一收进 packages/dri…

test(driver-turso): drive FILTER_LOGIC / PAGINATION shared case-sets …

fix(driver-turso): give the remote transport the same deterministic-p…

Navigation Menu

Repository navigation

driver-turso 的 remote transport 自带一套 where/分页编译器，却不跑 FILTER_LOGIC / PAGINATION 共享 case-set —— 迁回本仓即入矩阵，实测 3 个 DEBT 格 #5590

实测（objectstack `81087877e` + #4645 Phase A 分支）

为什么这三格不是"继承 SqlDriver 所以没问题"

完成标准

边界

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

driver-turso 的 remote transport 自带一套 where/分页编译器，却不跑 FILTER_LOGIC / PAGINATION 共享 case-set —— 迁回本仓即入矩阵，实测 3 个 DEBT 格 #5590

Description

实测（objectstack 81087877e + #4645 Phase A 分支）

为什么这三格不是"继承 SqlDriver 所以没问题"

完成标准

边界

Activity

os-zhuang commented on Aug 5, 2026

os-zhuang commented on Aug 5, 2026

os-zhuang commented on Aug 5, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

实测（objectstack `81087877e` + #4645 Phase A 分支）