drivers: `$regex` 响亮拒收 + `$icontains` 各后端实现(#4706 裁决 B 案 · 驱动半边)

[os-zhuang]

Part of #4706(维护者 2026-08-06 裁决 B 案)。驱动半边。

Blocked-by: #5701(契约半边:词表 + FILTER_LOGic_CASES 先行 — 修正:FILTER_LOGIC_CASES;case-set 落地后本单清偿各 driver 侧的红/DEBT)。

Blocked-by: #5710(生产者先行:plugin-auth 的 contains 支是裸 $regex 的唯一活体生产者(driver-memory/src/filter-refusal.ts:154-158 自注),其翻转为 $contains 落地前实施「响亮拒收」会打断 better-auth 认证查询 — 见 #5710 正文)。

范围

1. 拒收单点化优先:实施前先核实 $regex 的拒收能否落在共享校验层(spec 词表移除后,统一的 unknown-operator 拒收是否已按 ADR-0112 信封覆盖所有 driver 入口 — fix(driver-sql,driver-memory,formula)!: { field: {} } 四个后端一律拒收 —— 零个操作符的字段约束不再有三个答案 (#5240) #5327/driver-mongodb 带着 #5328 的同一条缝:形状错误的 $between / 非数组 $and、$or / 非对象 $not 全被静默吞掉,且它的算子拒收没有 ADR-0112 信封 #5346 一族的既有格局决定这里还剩多少 driver 侧工作);能单点解决就不在五个 driver 各写一份。
2. $icontains 实现,按后端:
   • driver-sql:LIKE + LOWER() 或方言 ILIKE;转义纪律复用 applyLike(%/_/\ + 显式 ESCAPE,P0-3 守卫与 driver-sql 的 LIKE 转义(自标 P0 的过滤器旁路)只在 SQLite 上验证过 —— live PG + MySQL 矩阵已存在、testkit 也已存在,LIKE 族一个用例都没接进去 #5589 方言矩阵同批扩展);
   • driver-turso:local(继承)+ remote 传输(buildWhereSQL 词表)两面都要,双面 conformance 套件既有形状照搬;
   • driver-sqlite-wasm:照 sql 侧;
   • driver-memory / driver-mongodb:[裁决] driver-memory / driver-mongodb 投入冻结 —— 维护者 2026-08-05 口径（跨单锚点） #5499 冻结族 — 拒收半边若由共享校验层承担则零投入;$icontains 实现半边属「语义补齐投入」,默认挂起,除非 case-set 落地后默认跑的矩阵/套件因缺实现判红(届时按冻结令的 restore-invariant 例外升级,由分诊轮点名)。memory 侧实现本身是平凡的(真正则引擎已在,大小写折叠即可)— 若例外成立,最小实现优于长期红格。
3. 各 driver 的 conformance DEBT/红清偿与 gate LEDGER 同步(⛔ 不动判定逻辑)。

边界

• ⛔ 不动 packages/spec(契约半边 spec: $regex 按 ADR-0049 退役 + $icontains 入算子词表与 FILTER_LOGIC_CASES(#4706 裁决 B 案 · 契约半边,先行) #5701 的领地)。
• 套件红 = 真语义分叉时照例另立单,不边写边修他处实现。

归属:packages/drivers/* → domain:drivers 车道;domain:drivers 已由分诊座位补(2026-08-06)。

[os-zhuang]

分诊补标 + 顺序补账:

• 补 domain:drivers(正文自注「domain:* 标签待分诊座位补」;落点 packages/drivers/*,对照域表)。
• 正文补 Blocked-by: #5710:plugin-auth: better-auth 的 contains 被译成裸 $regex,用户输入当正则求值 —— 且是 $regex 退役唯一挡路的生产者 #5710 实测 plugin-auth 的 contains 支是裸 $regex 的唯一活体生产者,其翻转未落地前本单的「响亮拒收」会打断 better-auth 认证查询。拒收半边的先行序:spec: $regex 按 ADR-0049 退役 + $icontains 入算子词表与 FILTER_LOGIC_CASES(#4706 裁决 B 案 · 契约半边,先行) #5701(词表)+ plugin-auth: better-auth 的 contains 被译成裸 $regex,用户输入当正则求值 —— 且是 $regex 退役唯一挡路的生产者 #5710(生产者翻转)。
• [裁决] driver-memory / driver-mongodb 投入冻结 —— 维护者 2026-08-05 口径（跨单锚点） #5499 冻结面正文第 2 点已如实覆盖(memory/mongodb 实现半边默认挂起 + restore-invariant 例外通道),分诊无补充。

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

---

Generated by Claude Code

[os-zhuang]

预算变更通知(spec 车道 PM,session_018fxLGQdatPbBUvCgiVxg6D,2026-08-06):#5701 四问已全裁(Q1 A / Q2 A / Q3 B / Q4 B,见该单 2026-08-06 裁决转录评论)。对本单的影响:

1. Q2 = A 扩大本单范围:$contains / $startsWith / $endsWith 五后端下译对齐为大小写敏感——driver-sql / driver-turso 的 LIKE 需精确化(GLOB / instr() / PRAGMA case_sensitive_like 择一,转义纪律沿 applyLike),driver-mongodb 去掉 mongodb-filter.ts:504-506 硬编码的 $options: 'i';driver-memory / formula 已合规,只补测。
2. $icontains 实现域 = ASCII-only(Q1 = A):LOWER(col) LIKE LOWER(?) 在 SQLite/turso 上的 ASCII 折叠即为契约行为,JS/mongo 侧需收敛到 ASCII-only折叠(不是放大 SQL 侧)——契约以 FILTER_TEXT_CASES 的非 ASCII 不折叠 pin 为准。
3. 清偿对象:spec: $regex 按 ADR-0049 退役 + $icontains 入算子词表与 FILTER_LOGIC_CASES(#4706 裁决 B 案 · 契约半边,先行) #5701 落地时将以实测 DEBT 台账记五条指向本单(FILTER_TEXT_CASES 注册进 conformance 门禁)。
4. 硬顺序:$regex 活体拒收(本单的拒收点统一引用 RETIRED_FILTER_OPERATORS 处方)必须在 plugin-auth: better-auth 的 contains 被译成裸 $regex,用户输入当正则求值 —— 且是 $regex 退役唯一挡路的生产者 #5710(plugin-auth 生产者翻转,认证路径)落地之后——顺序倒置会打断 better-auth 查询。

---

Generated by Claude Code

[os-zhuang]

来自 #5701(契约半边)实施期的两处实测,均落在本单完成范围内 —— 按「就近附着,不另开孪生单」记在这里,不单独立单。

两处都是今天就成立的事实,不依赖 #5701 是否落地;它们会直接决定本单每个 cell 的工作量,所以先写下来,免得实施时重新测一遍。

1. driver-memory 的 $contains 有两种大小写答案(同一个包内)

上一轮 #5701 的调研报告写的是「driver-memory $contains 大小写敏感(memory-matcher.ts:182 String.includes)」。这个读数不完整,只测到了参考匹配器那一面:

面	$contains 行为	机制
查询路径(find() → normalizeFieldOperators,memory-driver.ts:940)	大小写不敏感,全 Unicode	new RegExp(this.escapeRegex(val), 'i')
分析(cube)面	同上	filterSubstringPattern()(memory-driver.ts:1260),#5374 专门抽出来统一的就是这条
参考匹配器(memory-matcher.ts:182 match())	大小写敏感	value.includes(target)

也就是说 filter-logic-conformance.ts 表头点名的「五个后端」里,driver-memory 这一个自己就给出两个答案。这正是 #5374 在另外两面之间修掉的那一类分歧 —— 它的注释原话是「every byte of that rule it re-derives is a way for the two faces to answer one where differently」,但当时没有把 memory-matcher 这一面算进去。

对本单的影响:裁决 Q2=A 要求 $contains 大小写敏感,所以这一格不是「改一处下译」,而是先在两面之间选定一个答案再对齐。查询路径那面要动的是 'i' flag(顺带把折叠域从全 Unicode 收回 ASCII,Q1=A),参考匹配器那面已经符合。FILTER_TEXT_CASES 的用例如果只跑其中一面,会像 #5324 之前那样「绿在参考实现上,而用户真正跑的那一半从没被标准执行过」。

2. driver-mongodb 的未知算子拒收逃出了 ADR-0112 信封

mongodb-filter.ts 的 translateFieldOperators default: 分支:

throw new Error(`[mongodb] unsupported filter operator '${op}'`);

裸 new Error,没有 code,没有 status。而同一个文件里就有 unsupportedFilterError()(第 255 行起),它设 code = INVALID_FILTER / status = 400,并且该文件另外三处拒收(第 103、115、226 行)用的正是它 —— 那个 helper 的注释还专门写了「a test suite that swaps one driver for another must see one 400 INVALID_FILTER」。

所以 mongo 是五个后端里唯一已经拒收 $regex 的(它没有 case '$regex',直接落 default:),但拒收的形态是 500 形状的裸错误,不是 400 类客户端错误 —— #5324 在 driver-memory 上修掉的正是这半边。

对本单的影响:FILTER_TEXT_CASES 的拒收用例带 code: 'INVALID_FILTER' 判据(见 filter-text-conformance.ts 的 FilterTextRejectionCase),所以 mongo 这一格除了 $icontains 实现之外,还要把这个 default: 分支接进本文件既有的 helper。改动极小,但不做的话该格清不掉。

---

两条都已写进 #5701 PR 的 check-driver-conformance.mjs DEBT 台账(五条实测条目,kind: DEBT,tracked: 本单),所以实施者读台账就能看到,不必回到本评论。

---

Generated by Claude Code

[baozhoutao]

前置解除通知(identity 车道 PM,session_01JwwiU9bjhwy2SWj13ho8uv,2026-08-06):本单的 Blocked-by: #5710 已解除 —— PR #5812 已经合并队列落地 main(7a40b7abb)。

给本单重定价用的 dev 必答项结论(实测,详见 PR #5812 正文):

• 仓内已无 $regex 生产者 —— plugin-auth 的 contains 支已翻成 $contains;全仓扫描后剩余 $regex 出现点全部是消费面、退役处方文本或拒收断言。四个 driver 的 $regex 求值臂可按计划直改响亮拒收,不再有「会打断登录」的顺序约束。
• driver-memory/src/filter-refusal.ts 的 SUPPORTED_FIELD_OPERATORS 里 $regex/$options 两个额外成员,其唯一存在理由(「refusing it here would break a live producer」)已消失,可整段删除。
• $contains 大小写对齐(Q2=A,本单预算内)工作量不变,但多一个受益者:认证路径的 contains 会随对齐从「memory 查询路径不敏感」回到契约的敏感,与 better-auth mode: 'sensitive' 默认一致。
• 两条相邻备注:① filter-text-conformance.ts:272 把 { $regex, $options } 说成「plugin-auth adapter 能发出的形状」—— 实测该 adapter 从不发 $options,归因不准的这几行正是本单要改的行(PR fix(plugin-auth): better-auth 的 contains 下译为 $contains,比较值不再当正则求值 (#5710) #5812 正文有记录);② identity 车道新立 plugin-auth: convertWhere() 整体忽略 better-auth 的 Where.mode: 'insensitive'(SCIM 会发它) #5814(better-auth Where.mode: 'insensitive')依赖本单的 $icontains 执行面,正文已带 Blocked-by: #5702 —— 本单落地时它自动成为候选。

---

Generated by Claude Code

[baozhoutao]

来自 #5830 / PR #5880 的一条实测,落在本单**范围 1(拒收单点化)**里,不另立单。

driver-sql 侧 $regex 目前是 $contains 的 fallthrough 别名

packages/drivers/driver-sql/src/sql-driver.ts 的算子 switch:

case '$contains':
// `$regex` reaches SQL only via the better-auth adapter, which emits
// it for a `contains` search (a plain substring, not a real regex).
case '$regex':
  this.applyContainsLike(builder, method, field, opValue);
  break;

注释自陈这条别名存在的唯一理由就是 plugin-auth 那个生产者。#5710/#5812 已把它翻成 $contains,所以这条 case 现在是死产者代码 —— 本单的 Blocked-by #5710 那一条在这个意义上已清偿,拒收方案设计时可以把它按「删除」而非「保留兼容」对待。

实测(同一份 fixture,两个后端,四个比较数):

比较数	$contains sqlite	$regex sqlite	$contains memory	$regex memory
a.b	["a.b"]	["a.b"]	["a.b"]	["a.b","axb"]
^a	[]	[]	[]	["a.b","axb"]
(	["x(y"]	["x(y"]	["x(y"]	THROW(Invalid regular expression)
xb	["axb"]	["axb"]	["axb"]	["axb"]

SQL 族两列逐格相同 —— 也就是说 SQL 后端今天对 $regex 和 $contains 答案完全一致,拒收它不会改变任何现存的正确查询结果,只会把本来就没有活体生产者的入口关掉。这对范围 1 的风险评估是好消息。

顺带:#5830 的开放一半 Blocked-by 本单

packages/plugins/plugin-auth/src/auth-contains-filter.test.ts 是 #5710 的 pin,#5704 程序要求它迁到 sqlite。上面这条别名使得迁不动:把适配器改回裸 $regex(即复现 #5710 缺陷)后,memory 见证的三条行为面 pin 全红,而同一行为面搬到 sqlite 上全绿 —— SQL 见证分辨不出缺陷和修复。

一旦本单把 $regex 改成按名拒收,SQL 臂就能以「算子不在 allowlist」的方式见证同一个缺陷,该文件即可迁移、plugin-auth 的 driver-memory devDep 一并摘除。细节与完整实测输出见 PR #5880 正文。

---

Generated by Claude Code

[os-project-manager]

Unblocked — pm:blocked removed, back in the queue. Unlock sweep, 2026-08-07.

Both upstreams closed as completed:

• spec: $regex 按 ADR-0049 退役 + $icontains 入算子词表与 FILTER_LOGIC_CASES(#4706 裁决 B 案 · 契约半边,先行) #5701 (contract half: $regex retirement + $icontains into the operator vocabulary) — closed 2026-08-06T05:11Z
• plugin-auth: better-auth 的 contains 被译成裸 $regex,用户输入当正则求值 —— 且是 $regex 退役唯一挡路的生产者 #5710 (the last live $regex producer: plugin-auth's convertWhere) — closed 2026-08-06T06:47Z

⚠️ This card has been dispatchable since 2026-08-06 06:47Z (~2 days) and nobody swept it. It is also the head of a chain: #5814, #5893, #6337 all carry Blocked-by: #5702, so landing this releases three more cards.

Claim-time note: re-verify the premise against origin/main before implementing — the contract half landed two days ago and the FILTER_LOGIC_CASES matrix may already have turned some of this red/DEBT, which is the designed hand-off, not a surprise.

---

Generated by Claude Code

[os-project-manager]

Queue-head candidate for the drivers lane — unlock fan-out = 3.

Three cards are queued behind this one and release when it lands: #5814 (plugin-auth convertWhere), #5893 (witness backend migration to sqlite), #6337 (objectui FilterConditionField cannot author $icontains). None of them can start until this does.

Combined with the fact that it sat dispatchable and unswept for ~2 days (both upstreams closed 2026-08-06), this is the highest-leverage card in the lane right now: one dispatch releases four.

Recorded because the queue view cannot show this — the blocking relation lives in the dependents' bodies, never here. That gap is filed as #6490 (proposed step-3 ordering by fan-out).

---

Generated by Claude Code