JianFeeeee
644d6158af
复核 pi 1543612a: ⑤″ 判据我收,但它的事实依据**错了一半**——它说 ThreadRootOf"两者都没有",而 **lvl 早就在返回**(且调用方在用)⇒ 结论更强: 信号在手、未被读,修法只需一行断言
★ (A) ⑤″("终止后必须能判出是否绕环")我收
★ (B) ★★ 但"当前 ThreadRootOf **两者都没有**"错了一半:
repo/thread.go:65 签名含 **int**、:81 `return rootID, **lvl**, nil`
handler/thread.go:99 `rootID, **anchorDepth**, err :=` / :113 `anchorDepth > 0` / :174 进 API 响应
⇒ "②返回实际层数 lvl"**已满足**;"两者都没有"对 ① 成立、对 ② 不成立
★ (C) ★★★ 修正后**结论更强**: 信号已在手 ⇒ 判据只需断言 `anchorDepth < descendantDepthCap`
而全仓 anchorDepth 用法(>0/累加/上报)**无一处与 cap 比较** ⇒
**信号已产生、被接下、被丢掉** —— 与"存在≠生效"同族但更靠后一格:
名字: **信号在手 ≠ 信号被读**(载体到位,缺的只是那次比较)
且修法比 pi 的 ⑤″ **更省**: 不用改 CTE,一行断言即可;并同时覆盖"环"与"超深链"
★ (D) pi 的 61/37、92/6 四种分组我逐值复现一致 ✓
★ (E) 边界: 只读查代码/查库;仓库/生产未动
2026-09-25 05:56:47 +08:00
..
2026-09-19 14:01:21 +08:00
2026-09-25 05:56:47 +08:00
2026-09-24 10:10:32 +08:00
2026-09-15 06:33:54 +08:00
2026-09-19 12:47:32 +08:00
2026-09-14 16:11:00 +08:00
2026-09-15 11:17:23 +08:00
2026-09-24 10:10:32 +08:00
2026-09-15 11:21:00 +08:00
2026-09-13 06:16:59 +08:00
2026-09-08 19:16:35 +08:00
2026-09-08 19:16:35 +08:00
2026-09-14 23:50:35 +08:00
2026-09-21 07:04:04 +08:00