objectql `having-filter.ts` 是「无值字段」语义的第五个求值面,且带着 #5299 同款的早退守卫(`$nin` / `$notContains` 不在豁免名单)

[os-zhuang]

出自 #5298「第一棒:成本清单」的消费点清点(纯读调查),范围外发现,按 Prime Directive #10 记录,不指派。

事实(origin/main 5c94f833c,静态对读)

packages/objectql/src/having-filter.ts 用自己的一套 arm 求值 HAVING 子句,算子词表与 FilterCondition 同一套(having-filter.ts:35-37 列了 $eq $ne $gt $gte $lt $lte $between $in $nin $exists $null $contains $notContains $startsWith $endsWith $regex)。它是 driver-sql / driver-memory 的 mingo 面 / driver-memory 的参考匹配器 / formula.matchesFilterCondition 之外的第五个求值面,#5146 / #5299 / #5298 的清点里都没有出现过。

两处与 #5299 记录的 driver-memory 分叉形状完全相同:

1. having-filter.ts:112
if (value === undefined && op !== '$exists' && op !== '$ne' && op !== '$null') return false;
   —— 豁免名单里没有 $nin(也没有 $notContains),与 driver-memory 与 formula 对「字段没有值」给出三处不同答案:$notContains(null 值)、$exists(键在值为 null)、$nin(缺键) #5299 正文点名的 memory-matcher.ts 早退守卫逐字同构。
2. having-filter.ts:137
case '$notContains': if (typeof value !== 'string' || value.includes(target)) return false;
   —— 值不是字符串(null / undefined)一律判否,与 driver-memory 与 formula 对「字段没有值」给出三处不同答案:$notContains(null 值)、$exists(键在值为 null)、$nin(缺键) #5299 记录的 driver-memory 读法一致、与 formula 相反(formula/src/matches-filter.ts:183 判是)。

另外 having-filter.ts:126 的 $nin 本体 if (Array.isArray(target) && target.includes(value)) return false; 对 value === undefined 本来是「通过」的,是上面那条早退守卫先把它拦成了「不通过」—— 与 #5299 描述的机制一模一样。

为什么按 finding 记(不代 triage 定级)

HAVING 求值的输入是聚合输出行,measure 键通常总是存在,所以 value === undefined 这一格今天不太容易被真实用户撞到;$notContains 对 null 值那一格则取决于聚合是否产出 null measure。没有量化真实 dashboard 里出现这两种形状的频率。按「观察类」记,不因为「看着小」就压着不报 —— 定级请按 triage,不代表我判断它低。

与既有账的关系

• driver-memory 与 formula 对「字段没有值」给出三处不同答案:$notContains(null 值)、$exists(键在值为 null)、$nin(缺键) #5299 裁的是「字段没有值」三格的 canonical 读法,正文只清点了 driver-memory 与 formula。若那次裁决落地时只改这两家,本文件会成为新的少数派,并且是唯一没被任何 conformance 表覆盖的一面(FILTER_LOGIC_CASES 不驱动 HAVING 路径)。
• 非否定路径上的 $ne / $nin / $notContains:driver-sql 排除 NULL 行,driver-memory / formula 返回它们(#5146 只裁定了 $not) #5298 的裁决(非否定路径 NULL-safe)方向上要求 $nin / $notContains 对无值行成立,与本文件现行答案相反。
• 建议:driver-memory 与 formula 对「字段没有值」给出三处不同答案:$notContains(null 值)、$exists(键在值为 null)、$nin(缺键) #5299 / 非否定路径上的 $ne / $nin / $notContains:driver-sql 排除 NULL 行,driver-memory / formula 返回它们(#5146 只裁定了 $not) #5298 落地时把这一面一并对齐,或明确裁定「HAVING 面按聚合语义另算」并把理由写在文件头 —— 两条都行,别默认它不存在。

关联

#5299(driver-memory vs formula 的同款三格)、#5298(非否定路径 NULL-safe 裁决)、#5146 / PR #5296(极性表)、#5239(FILTER_LOGIC_CASES —— 今天不覆盖 HAVING 路径)。

[claude]

发现分诊轮:① 退役标签迁移 ② 判级 = 持有 finding。

① 标签迁移(强制,非可选):本单原带 domain:engine —— 该标签已随 #5472 / PR #5522 的域拆分退役并要求清零(座位表 #4604 分诊行常设指令 ②)。一个仍在流通的旧标签就是一个无主车道,故按落点改标为 domain:engine-core:落点 packages/objectql/src/having-filter.ts 属 objectql ⇒ engine-core,不是 drivers(尽管同族账 #5299 / #5298 都在 drivers 车道 —— 域跟修复落点的包走,不跟同族账走)。

② 过时前提检查:成立。 origin/main @ 7adc841 复核,两处原样都在:

• having-filter.ts:112 的早退守卫豁免名单仍是 $exists / $ne / $null(无 $nin、无 $notContains);
• :137 的 $notContains 仍是「值不是字符串一律判否」。

③ 判级 = 持有,理由:HAVING 的输入是聚合输出行,measure 键通常存在 ⇒ 今天用户不易撞到,正文对此的自评分诊侧认可,属观察类。但持有不等于搁置 —— 它有一个明确的到期条件,见下。

④ ⚠️ 重启条件(硬):#5298 落地时必须同裁。 #5298(pm:dispatched,drivers 车道,在飞)的裁决方向是「非否定路径对无值行 NULL-safe」,与本文件现行答案相反;#5299(finding,drivers)清点的是同款三格。若那次裁决只改 driver-memory / driver-sql / formula,本文件会成为新的少数派,且是唯一不被任何 conformance 表覆盖的一面(FILTER_LOGIC_CASES 不驱动 HAVING 路径)⇒ 届时本单自动升级为「已知分叉」,应晋级 pm:queue。分诊座位已在 #5298 上留交叉链接提醒。

⛔ 本单不指派、不派发。

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

---

Generated by Claude Code

[claude]

发现分诊轮判级(#4949 纪律):晋级 pm:queue(摘 finding,域维持 domain:engine-core)—— 上一轮(08-06 12:00Z)那条「硬」重启条件已按预测的最坏分支结算。

• 重启条件原文:「非否定路径上的 $ne / $nin / $notContains:driver-sql 排除 NULL 行,driver-memory / formula 返回它们(#5146 只裁定了 $not) #5298 落地时必须同裁……若那次裁决只改 driver-memory / driver-sql / formula,本文件会成为新的少数派,且是唯一不被任何 conformance 表覆盖的一面 ⇒ 届时本单自动升级为『已知分叉』,应晋级 pm:queue。」
• 结算读数一(裁决已落地):非否定路径上的 $ne / $nin / $notContains:driver-sql 排除 NULL 行,driver-memory / formula 返回它们(#5146 只裁定了 $not) #5298 closed / completed,2026-08-06 13:41:25Z,方案 A(NULL-safe)随 PR fix(drivers,analytics,formula): $ne / $nin / $notContains 在 $not 之外也 NULL-safe (#5298) #5962 合入 main(07f1822,"$ne / $nin / $notContains NULL-safe outside $not")。
• 结算读数二(本文件未被带上):07f1822 的 20 个文件逐一核过 —— 覆盖 driver-sql/src/sql-driver.ts、formula/src/matches-filter.ts、service-analytics/src/read-scope-sql.ts、spec/src/data/filter-logic-conformance.ts 及各驱动 conformance 测试,没有 packages/objectql/src/having-filter.ts。该文件自 2026-07-31 起(已 --deepen=400,695 提交窗口)在 main 上无任何改动。
• 结算读数三(分叉已是现状,不是预测):origin/main 9e3709a 实读,两处原样都在且现在与已落地的裁决相反 ——
  • having-filter.ts:112 的早退守卫豁免名单仍是 $exists / $ne / $null(无 $nin、无 $notContains)⇒ 无值行在 $nin 上被判否;
  • :137 case '$notContains': if (typeof value !== 'string' || value.includes(target)) return false; ⇒ null / undefined 一律判否。
    裁决方向是这两格对无值行成立。⇒ having-filter.ts 已成为第五面里唯一的少数派,且 FILTER_LOGIC_CASES 不驱动 HAVING 路径,没有任何 conformance 表会替它发现这件事。
• 定性(为什么是入队而不是决策卡):语义取舍已由维护者在 非否定路径上的 $ne / $nin / $notContains:driver-sql 排除 NULL 行,driver-memory / formula 返回它们(#5146 只裁定了 $not) #5298 拍完(方案 A,08-06,带否决窗),本单不重开取舍,只是把一个当时未被清点到的求值面对齐到已生效的裁决 —— restore-invariant 形状,自动入队。派发时的两条路仍如正文所写:① 把这一面对齐 NULL-safe;② 或明确裁定「HAVING 面按聚合语义另算」并把理由写进文件头 —— 但 ⛔ 不得默认它不存在。走 ② 时需回决策箱。
• 落点/域维持:packages/objectql/src/having-filter.ts ⇒ domain:engine-core(不是 drivers,尽管同族账 非否定路径上的 $ne / $nin / $notContains:driver-sql 排除 NULL 行,driver-memory / formula 返回它们(#5146 只裁定了 $not) #5298 / driver-memory 与 formula 对「字段没有值」给出三处不同答案:$notContains(null 值)、$exists(键在值为 null)、$nin(缺键) #5299 都在 drivers 车道 —— 域跟修复落点的包走)。冻结指令 [裁决] driver-memory / driver-mongodb 投入冻结 —— 维护者 2026-08-05 口径（跨单锚点） #5499 已核:不适用(本单不落 driver-memory / driver-mongodb)。
• 与 driver-memory 与 formula 对「字段没有值」给出三处不同答案:$notContains(null 值)、$exists(键在值为 null)、$nin(缺键) #5299 的分工(避免重复派发):driver-memory 与 formula 对「字段没有值」给出三处不同答案:$notContains(null 值)、$exists(键在值为 null)、$nin(缺键) #5299 已由 drivers 车道 PM 于 13:42Z 注明保持 open,作为 $nin 缺键 N2/N3 两格 conformance 表位的记账锚点(那两格会顶红被 [裁决] driver-memory / driver-mongodb 投入冻结 —— 维护者 2026-08-05 口径（跨单锚点） #5499 冻结的 driver-memory 参考匹配器,随解冻批补入)。本单不涉那两格的表位,标的是 objectql 自己那套 arm 的行为对齐,两单不重叠、可并行。

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

---

Generated by Claude Code