[business-logic] type_switch_check is dead code (absent from write_integrity's registry, tests green via direct calls); #1436-A's errorRecoverySignals covers 3 of 9 edit tools so failed write_file retries get no effort bump; hedging HIGH/MEDIUM regex overlap double-counts a single sentence to threshold

[topcheer]

文件行号

internal/agent/type_switch_check.go L62（checkTypeSwitchExhaustive 定义——grep 全仓仅定义+type_switch_check_test.go 14 处测试调用，非测试调用点为零）+ write_integrity.go init 共 70 条注册（L399 "typosquat"/L357 "unchecked-type-assert"→另一函数，无 type-switch 条目）+ L172-181（#1212 dedup-key 修复注释——"修死代码"自证）；adaptive_effort.go L93-97（errorRecoverySignals 仅 edit_file/multi_edit_file/multi_file_edit 3 成员）对照 verify_hint.go L41-51（sourceMutatingTools 9 成员含 write_file/multi_file_write/batch_replace/lsp_rename/file_ops/notebook_edit）+ L89（editTools = sourceMutatingTools 别名）+ L184（同一 map 用于 editCount）+ L171/L179（isError 分支集合不含 → continue 连 editCount 也不计 → 返回 ""）；action_hedging.go L89-90（HIGH \bthis might (?:fix|work|resolv|be|not)\b/\bthis may ...\b）↔ L112（MEDIUM \bI think this (?:should|will|might|could|may)\b）+ L115（"see if works"）+ L68（threshold 2）+ L181（dedup key = level+":"+excerpt——跨 level 必不折叠）+ L96-99（#1436-C 注释自认同类 bug 只删一个 literal）

问题

案 A（High·green-build illusion）：type_switch_check 从未注册——检测器零执行

• 包内小写符号+注册表无条目——宣称的检测能力（文件头 28-38 行）完全未生效；测试全部直接调用函数通过，绿测掩盖死代码；[business-logic] type_switch_check 去重键只含函数名不含位置：同函数新增 switch 被漏报、函数重命名触发重复误报 #1212 还修过它的 dedup key
  修：write_integrity.go 注册 {Name: "type-switch", Langs: [LangGo], Run: stringCheck(checkTypeSwitchExhaustive)} + 走 registry 的回归测试。

案 B（Med·修复引入的窄化）：errorRecoverySignals 与 editTools 失同步——write_file 失败重试不升 effort

• write_file sandbox 拒绝 → isError 分支集合不含 → 连 editCount 也不计 → 返回 ""（无适配）——违背模块头 "recent edit failures → high"；同一 editTools 4 行后用于 editCount 证明集合本应同源；测试只 pin edit_file/grep 两极
  修：errorRecoverySignals := editTools（同源）或补齐 6 个缺失工具 + write_file 失败用例。

案 C（Low-Med·双计残留）：hedging HIGH/MEDIUM 正则交叠——单句单 hedge 即达阈值

• 机械验证："I think this might fix the race." 双命中=2 hits≥2 单句 fire；叙述性误报 "This might be nil...see if this works"（代码属性描述+标准验证叙述=合理汇报语言）同 fire——[business-logic] agent detectors: adaptive_effort any-error raises effort to HIGH for 6 turns off a single read-only grep failure (errorRecoverySignals set declared but never referenced - intent was edit failures only); annihilate add-to-reset fires on standard amend flow (no commit barrier, mode never read); checkout roundtrip lacks the B leg its spec requires; hedging subset regex double-counts one sentence defeating threshold=2 #1436-C 只删一个 literal 兄弟对全残留；dedup key 含 level 跨级必不折叠；上限 2 缓解
  修：单句匹配折叠为单 hit（按 excerpt 去重跨 level）或消除正则交叠。

#1436 修复区验证结论（stale 重审）

• [business-logic] agent detectors: adaptive_effort any-error raises effort to HIGH for 6 turns off a single read-only grep failure (errorRecoverySignals set declared but never referenced - intent was edit failures only); annihilate add-to-reset fires on standard amend flow (no commit barrier, mode never read); checkout roundtrip lacks the B leg its spec requires; hedging subset regex double-counts one sentence defeating threshold=2 #1436-B 屏障通过：逐场景推演不过度——commit 后新 add 仍能匹配（commit@1→add@2→reset@3 先匹配 add fire）；pathspec reset 是 no-op 本无对消；屏障仅限 git_add 分支不影响 commit→revert 对。残留 LOW×3：hard 丢弃流漏报（mode 参数可区分）/缺 amend 回归测试/matchGitAddReset 路径无归一化漏报（exact map 无子串误匹配）。
• [business-logic] agent detectors: adaptive_effort any-error raises effort to HIGH for 6 turns off a single read-only grep failure (errorRecoverySignals set declared but never referenced - intent was edit failures only); annihilate add-to-reset fires on standard amend flow (no commit barrier, mode never read); checkout roundtrip lacks the B leg its spec requires; hedging subset regex double-counts one sentence defeating threshold=2 #1436-A 本体正确：只读 miss 不再毒化有测试 pin；userOverrideSet 先行正确；run_command 不计入为可辩护取舍（纳入会重开洞）。但集合窄化即案 B。

干净项

typosquat_check：接线在位（write_integrity.go:399）/#567 双解析差集只报新增/exact 同名跳过/len≥4 挡短名/levenshtein 经典正确——观察 LOW 不立案（近名理论 FP 罕见/scoped 包 by design 盲区）。action_hedging 其余：与 assumption_track 分工清晰/hasMutation 计算正确/接线 agent.go:2832/#1436-C 本体验证无误。action_annihilate 其余：undo_edit #744 在位/窗口 20/上限 2/先 check 后入窗全对。

排除

#1442-#1515 各案；#1212/#738/#567/#359/#744 已修项；checkout 往返 fire 属设计意图（限幅内）。

严重程度

High + Med + Low-Med

---

独立复核确认：grep 穷尽（全仓符号+注册表 70 条清单）、双集合 9 vs 3 对照+同源证据、正则交叠与叙述误报 /tmp 机械验证、测试缺口逐一证实。