feat(drivers,objectql): $regex 响亮拒收 + SQL 族 $icontains 实现(#4706 裁决 B 案 · 驱动半边) - #6549
Merged
Merged
Conversation
|
The latest updates on your projects. Learn more about Vercel for GitHub. 1 Skipped Deployment
|
处方 / 共享文本 case-set),#5710 已翻掉最后一个活体生产者(plugin-auth 的 ObjectQL 适配器,认证路径),因此拒收现在可以落地而不打断登录。 - 五个拒收点(driver-sql / driver-memory / driver-turso remote / driver-mongodb / objectql `having`)统一逐字打印 `RETIRED_FILTER_OPERATORS[op].why`,并点名 `$icontains`; - `$icontains` 在 SQL 族实现:复用 `applyLike` / `pushLike` 的 `%`/`_`/`\` 转义与显式 ESCAPE,新增 `fold` 参数把 LOWER() 套在两侧; - driver-mongodb 的 `default:` 裸 `new Error` 接进本文件既有的 `INVALID_FILTER` / 400 信封; - conformance LEDGER 五行按实测重写,剩余两半分别记为 #6518 / #6520。 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WyvqvKMG6asi9aXjKE6xtx
`sql-driver-silent-empty-predicate.test.ts` 的算子表就是 `TEXT_PATTERN_OPERATORS`(比较数会变成 LIKE 模式文本的那一组),所以随该集合 成员变更:`$regex` 退役离开,`$icontains` 加入。 改写而非删除:`$icontains` 是唯一比较数**同时**受校验遍历把关的文本算子, 少了这一行,两道闸将来对「对象比较数」给出不同答案时无人察觉。 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WyvqvKMG6asi9aXjKE6xtx
os-zhuang
force-pushed
the
claude/issue-5702-regex-refusal-icontains
branch
from
August 8, 2026 04:14
f445bd0 to
4f1f02b
Compare
Contributor
📓 Docs Drift CheckThis PR changes 6 package(s): 119 hand-written doc(s) reference the affected code and may need an implementation-accuracy re-verification:
|
github-actions
Bot
added
documentation
Contributor
Author
|
分支纪律记账,如实报告一处越界。 派工书里写着「⛔ 不 force-push」。本分支在开出 PR 之后 force-push 过一次:PR 建好后
事后看,merge Generated by Claude Code |
#6148 的处置门对本单的 changeset 判红:声明了破坏性变更却没有任何 ADR-0087 处置标记。四个格逐一验证下来,`registered` 是唯一诚实的一格: - `unpublished` —— 机械上为假,六个受影响包全部已发布(`private` 均非 true); - `already-registered` —— 两个台账里都没有 $regex / $icontains 条目; - `no-migration-prescription` —— 探测器实测返回 null,机械上会放行,但本 changeset 正文确实带改写处方(“Write `$icontains` … `$contains` …”), 据此声明即为自相矛盾。不利用该盲区。 条目落在 step-17 的 `semantic`(非 mechanical):$regex → $icontains 在任一 方向都不是无损改写(正则元字符会变成字面量),自动改写会悄悄改变 dashboard / report / 权限过滤器选中的行集。 `spec-changes.json` 与 `docs/protocol-upgrade-guide.md` 由 gen:spec-changes / gen:upgrade-guide 重新生成,未手改;两道同步门复验通过。 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WyvqvKMG6asi9aXjKE6xtx
Contributor
Author
补上最后一道红:ADR-0087 处置标记(接手完成)
|
空提交,无内容变更。4921aed47 推上去后 ~35 分钟内 GitHub 没有为该 SHA 创建 任何 workflow run(同期其他 claude/issue-* 分支的 pull_request 事件正常调度), close/reopen 也只触发到 Cross-repo Issue Closer。以新 SHA 重新发一次事件。 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WyvqvKMG6asi9aXjKE6xtx
冲突:packages/spec/src/migrations/registry.ts —— 双方都在 step-17 semantic 数组末尾追加条目。两边条目全部保留(本单的 filter-regex-options-retired 在前, origin/main 的 http-server-runtime-vocabulary-retired 等在后)。 spec-changes.json / protocol-upgrade-guide.md 按仓库 merge driver 的要求从 合并后的树重新生成(非文本合并),两道同步门复验 is up to date。 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WyvqvKMG6asi9aXjKE6xtx
os-zhuang
marked this pull request as ready for review
August 8, 2026 06:28
This was referenced Aug 8, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Fixes #5702
#4706 裁决 B 案的驱动半边。#5701 已落契约(词表 /
RETIRED_FILTER_OPERATORS处方 / 共享文本 case-set),#5710(PR #5812)已翻掉最后一个活体生产者,因此拒收现在可以落地而不打断登录。单必答的三个判断,先给结论
(a) 拒收能否单点化?不能 —— 机制无法单点,但「说辞」可以,而且已经单点了
实测:仓内不存在覆盖所有 driver 入口的共享校验层。
packages/spec的RETIRED_FILTER_OPERATORS正文自陈这一点,并点名了五个各自独立的拒收点:$regex的下场driver-sql发射器default:unsupportedFilterError$contains的 fallthroughdriver-memoryfilter-refusal.tsunsupportedFilterErrorRegExp(全仓唯一)driver-tursoremote transportinvalidFilterErrordriver-mongodbtranslateFieldOperatorsnew Errorcode/statusobjectqlhavingnew ErrorRegExp四个包各有一份自己的
unsupportedFilterError(每份都注释「与另外几家保持一致」),彼此不可 import。ADR-0112 信封覆盖的是错误形状,不是拒收位置。所以 driver 侧工作是 5 处,不是 1 处;能单点的是处方文本 —— 五处一律逐字打印RETIRED_FILTER_OPERATORS[op].why,这正是 #5701 建那张表的目的。driver-sqlite-wasm继承SqlDriver,零改动(但有独立执行见证,见下)。(b) 裸
$regex是否真已无活体生产者?是,已自行复核一律用
git grep '\$regex:' origin/main(不用工作区,避免落后 checkout 的错误结论):packages/plugins/plugin-auth/src/objectql-adapter.ts的contains支现在发filter[fieldName] = { $contains: condition.value };$regex:出现点只剩两条注释(driver-memory/src/filter-refusal.ts的自注、service-analytics/src/strategies/objectql-strategy.ts:1099的历史记账);driver-memory/src/memory-driver.ts、memory-analytics.ts、driver-mongodb/src/mongodb-filter.ts里的$regex是 mingo / MongoDB 查询语言的内部下译,不经过 Filter Protocol 拒收面,与本单无关。(c) 冻结族是否触发 restore-invariant 例外?否 —— 未触发,因此按冻结令挂起,没有自行放行
关键在于:我没有把
$icontains加进 spec 的FILTER_OPERATORS。该数组是运行时 allowlist,driver-memory的 shape gate 由它派生 —— #5701 实测过,提前加入会让 memory 从「响亮拒收」翻成静默放宽(谓词被丢弃 → 匹配每一行 → RLS 读作用域上是权限绕过)。不加,memory / mongodb 就继续 fail-closed 地拒收$icontains,没有任何默认跑的矩阵/套件因此判红(实测:两包全绿,534 / 209 passed)。代价是
$icontains暂时只在 SQL 族可用 —— 这条已另立 #6520 说明词表纳入必须与 memory +service-analytics实现同 PR。二、
$icontains实现LOWER(col) LIKE LOWER(?) ESCAPE ?,作为applyLike/pushLike的fold参数,不是第二个发射器 —— 转义字符类(%/_/\+ 显式 ESCAPE)因此是同一段代码,不是靠注释同步的副本。第二个发射器正是转义会被漏掉的地方,而未转义的%匹配每一行(P0)。driver-sqlapplyLike(..., fold);比较数(空串 / 非字符串)在校验遍历上拒收,与$null/$exists并列 —— 发射器会被布尔单位元整段跳过,只放发射器等于「拒收与否取决于兄弟节点」driver-tursolocaldriver-tursoremotepushLike同款fold参数 +SUPPORTED_FILTER_OPERATORS词表(remote 不走 knex,必须写第二遍)driver-sqlite-wasmdriver-memory/driver-mongodb大小写语义跟随 #5701 Q1=A:ASCII-only。SQLite
lower()恰好只折 ASCII,即契约行为 ——$icontains: 'café'不匹配CAFÉ(实测['4']/['3'])。三、必须产出的证据
反向验证 —— 方向先判后跑,三次,其中一次预判需要修正
case '$regex':fallthrough 装回去case '$icontains':整臂LOWER()折叠,保留臂C 是本 PR 最该被读到的一条,如实记录而不是抹平:在 SQLite 上
LIKE本身已折 ASCII,所以LOWER()是幂等的 ——$contains与$icontains对任意比较数返回完全相同的行。也就是说折叠在这个方言上行级不可观测,唯一见证是编译出的 SQL 文本。两个套件都把这条钉住了,remote-transport-text-predicates.test.ts里那条用例原本是照「两个算子可由答案区分」写的,实测推翻后按实测重写并写明原因。A 的第三个见证是意外收获:
sql-driver-silent-empty-predicate.test.ts的对象比较数表(即TEXT_PATTERN_OPERATORS)也随之红 —— 该表随集合成员变更做了三态分诊里的改写($regex退出,$icontains加入),而非删除。拒收面一律断
code和status两个字段,不用裸toThrow:转义纪律 —— 三个元字符各自的用例
sql-driver-like-escape.test.ts的 P0-3 守卫层与 #5589 方言矩阵层同批加了算子轴($contains×$icontains),四个用例(%/_/\/ 普通子串)× 两个算子 × 每个方言格。remote 面另有三条独立用例:driver-sqlite-wasm 读的是 driver-sql 重建后的
dist/*.d.ts已知门禁盲区,用否定对照证明,不是只贴绿:
export interface FreshDtsProbe { readonly impossible: never },不重建 → sqlite-wasm typecheck 报TS2614: Module has no exported member 'FreshDtsProbe'⇒ 读的是dist,不是源码;dist/index.d.ts命中 2 次)→ 该错误消失;TS2322: Type 'number' is not assignable to type 'never'⇒ 确实读到了新 d.ts。探针已全部移除(源码 0 命中、重建后 dist 0 命中)。sqlite-wasm 另有独立执行套件 ——
$icontains是本包第一个编译形态为列上函数调用 + 第三个绑定参数的算子,wasm 方言若把三个位置绑错,全仓没有第二个套件会红。全套门禁
受影响包与下游(前缀点
'...pkg',43 个包)typecheck + test 全绿;六个直接改动包:四、fixture 三态分诊(每一条单独判,不批量改写)
memory-driver.test.ts「should filter with$regex」RegExp求值),新世界里没有$regex答案可断memory-filter-vocabulary-refusal.test.ts「dangling$options」{ "$regex": …, "$options": "i" }—— 绿着记录错误契约{ $regex, $options } → ['1']memory-analytics-filter-refusal.test.ts的$regex行$regex从未被声明过having-filter.test.ts「accepts$regexwith$options」return false(不可运行的 filter 被答成「此行不匹配」)remote-transport-node-operator-refusal.test.ts的$regex行sql-driver-silent-empty-predicate.test.ts算子表TEXT_PATTERN_OPERATORS,随集合成员变更mongodb-filter.test.ts三条 allowlist 用例code/status—— 只匹配消息正是裸new Error能在自家INVALID_FILTERhelper 三行之外活两个版本的原因其中一条负向断言被自己证伪并修正:
expect(...).not.toContain('declared by the Filter Protocol')恒假 —— spec 的处方文本里就有这句话的否定式(「was never declared by the Filter Protocol」),子串检查对两条消息都成立、什么也钉不住。已改断另一条消息的专有短语。五、DEBT / LEDGER 同步(⛔ 未动判定逻辑)
五行
FILTER_TEXT_CASESDEBT 保留,why按实测重写:requirement 1($icontains)与 requirement 3(拒收)在 SQL 族已完成并逐格写明,requirement 2($contains族大小写敏感)是五行全部幸存的唯一原因。issue指针从 #5702 改指 #6518。新套件刻意不 import 共享 case-set 的 CASES 导出(只用
FILTER_TEXT_ROWS那九行做 fixture):门禁按 import 判定覆盖,而本驱动尚不能回答整张表 —— import 会把格子翻成 covered 却有 5 条用例无人执行,正是该门禁存在要防的那种「报告成功却在降级」。六、按 PD #10 另立的单(未指派,不扩大本 PR diff)
$contains在 SQLite 过折叠、$icontains在 PG/MySQL 过折叠 #6518 — SQL 族文本算子的大小写折叠是「方言的」而非「契约的」:$contains在 SQLite 过折叠、$icontains在 PG/MySQL 过折叠。本 PR 不做的理由是硬的:下译在三处并存(applyLike、pushLike、以及 RLS/分析面的read-scope-sql+service-analytics/like-pattern.ts,后者注释自陈 held character-for-character),只改 driver 不改第三组 = 一条权限规则编出两个行集(A filter with an operator outside VALID_AST_OPERATORS is silently dropped, not rejected — single-condition views return unfiltered results #3948 那一类 P0),比现状更糟,且跨三条车道。$icontains(driver-memory 两面 / driver-mongodb / objectqlhaving/ formula）—— SQL 族已实现,同一 filter 在内存 double 上抛错 #6520 — JS 求值面全体拒收$icontains(memory 两面 / mongodb /having/ formula),含词表纳入的前置约束。sql-driver-overlay-index-drift.test.ts「stays silent on the SECOND boot, when the runtime ledger starts empty again」偶发判红 #6522(finding,不入队)—sql-driver-overlay-index-drift.test.ts偶发判红。按 §9 归因手法核过:git stash后在 pristineorigin/main上同一包全绿,再跑一次带改动也全绿 ⇒ 非本轮改动所致。Generated by Claude Code