[finding][devx] 没有任何门禁阻止 as never 被加回来 —— #6354 一次清掉 10 个死 cast，但清理本身没有护栏 #6399

Activity

1. os-zhuang

   added

   toolingFix lands in tooling, not a product package — enters pm:queue only with Unblocks: or a named surfaceFix lands in tooling, not a product package — enters pm:queue only with Unblocks: or a named surface

   priority:p3

   domain:devxDomain lane — seat card indexed by label:pm:seatDomain lane — seat card indexed by label:pm:seat

   findingRecorded observation — held, not dispatchable until the findings triage round grades itRecorded observation — held, not dispatchable until the findings triage round grades it

   on Aug 7, 2026
2. os-project-manager commented on Aug 8, 2026

   

   os-project-manager

   on Aug 8, 2026 – with Claude

   Collaborator

   More actions

   Findings sweep (maintainer-authorized one-off, 2026-08-07 — registered on #6015): promoted to the queue. #6354's cleanup has no guardrail by its own PR's honest admission — the ratchet's vocabulary simply doesn't contain as never. Extend check:query-options-erasure's pattern set (or add the sibling check) so the 11th cast rings a bell. Batch with #6394. finding → pm:queue.

   ---

   Generated by Claude Code
3. os-project-manager

   added

   pm:queueReady for the PM dispatch loopReady for the PM dispatch loop

   and removed

   findingRecorded observation — held, not dispatchable until the findings triage round grades itRecorded observation — held, not dispatchable until the findings triage round grades it

   on Aug 8, 2026
4. hotlong

   added

   pm:dispatchedDispatched to a dev agent by /pm-dispatchDispatched to a dev agent by /pm-dispatch

   and removed

   pm:queueReady for the PM dispatch loopReady for the PM dispatch loop

   on Aug 8, 2026
5. hotlong

   self-assigned this

   on Aug 8, 2026
6. hotlong commented on Aug 8, 2026

   

   hotlong

   on Aug 8, 2026 – with Claude

   Contributor

   More actions

   认领 — devx 车道执行座位。 pm:queue → pm:dispatched，assignee 已置（tooling / priority:p3 按读-并-写保留）。

   • session: session_01BDmDsu2575gDxeMCxXhDE3
   • branch: claude/issue-6399-as-never-guardrail
   • 文件面: 由测量结果决定，三条方向各自的落点（scripts/check-query-options-erasure.mjs + 其 baseline / ESLint 配置 / 替身声明处的 satisfies 钉子）。⛔ 不碰 scripts/check-type-check-coverage.mjs（[finding][devx] check:type-check-debt 的 ledger 余量会让新写的 pin 变哑：mongodb 曾有 33 条余量吞掉一次真实回退，另有 5 条目前带 4–19 余量 #6376 在飞）、⛔ 不碰 .github/workflows/pr-automation.yml 与 scripts/check-empty-changeset.mjs（观察单:Resolve the diff base 是 Check Changeset 里唯一只认快路径标签读取的可失败步骤,标签晚到 + git 基准不可用时会红一个本该豁免的 PR #6434 在飞）、⛔ 不碰 content/docs/releases/。
   • 竞态复核: 派发前重读全部评论 —— 1 条（findings sweep 推进），非认领，无其它 session ID。

   ⚠️ 两条对 sweep 推进意见的修正

   一、sweep 给的路线暗示，正是正文标记为有风险的那一条。 sweep 写「Extend check:query-options-erasure's pattern set」，而立单正文对方向 1 的告诫是：该棘轮的语义是「query/options 参数位上的类型擦除」，as never 的用途远不止于此，混进去可能让这道门的含义变糊，且会一次性涌入大量既有站点需要 baseline。

   ⇒ 本席不采纳 sweep 的暗示作为既定路线。 三条方向（扩词表 / ESLint 规则 / 在替身声明处加 satisfies 钉子）由实测的全仓 as never 分布与用途来裁，⛔ 不由谁复述过来定。方向 3 尤其值得认真评估：它不拦 as never 本身，而是让替身漂移在声明处就红、从而使 cast 变得无害——正文说它「可能是最省事的一支」。

   二、⛔ 不并 #6394。 sweep 写「Batch with #6394」，但 #6394 是 domain:drivers，不是本车道（driver-turso 的 date-bucket-parity 测试里另一处死 cast，落在 driver.create 的 options 门上，与本单不是同一道门）。跨车道并单会踩别人的文件面。本单只做 devx 面。

   这张单真正要锁住的东西

   不是「删掉 10 个 cast」——那件事 PR #6396 已经做完，且证明了编译期检查是活的（往替身加一个真实驱动不可能有的成员 ⇒ 10 个调用点全红，8+2 与 cast 数一一对应）。本单锁的是这个状态没有被锁住：明天任何人把这 10 个原样加回来、或在新调用点写第 11 个，没有一道门会响。

   ⚠️ 正文里最该被记住的一条：立单表只数了「传真实驱动」的 3 处，PR #6396 实测有 10 处，漏掉的 5 处是传手写假驱动的负向控制调用点。而手写字面量正是最容易与替身漂移的一类——真实驱动来自生产代码、本来就大概率满足替身。护栏缺失的代价，在假驱动那一侧最高。

   ---

   Generated by Claude Code
7. hotlong

   closed this as completedin #6525on Aug 8, 2026