 AskaEth
|
1ae9158250
|
test(channelbridge): 窗口夹具按截止时刻推钟 + 去掉无法证实的替身锁（M33 r1 复审）
P1-1（channelbridge 的 -race 门仍红，红在用例不确定性而不是竞态）：
- coalesceTimers 改成**截止时刻**语义：每次 after(d) 记 at = 注入时钟 + d，
推钟只把时钟推进到「当前最早的截止时刻」再触发它。旧写法按 FIFO 逐个触发并
按请求时长累加，实测 12 条消息内攒到 5 个废弃定时器把时钟推 +10s（窗口 2s、
绝对上限 6s）⇒ 循环头走「到点直接发车、不 takeAll」的分支，队列尾部落到下一批。
- 推钟前强制「车道排空」这条不变量（pump/advanceAndFire/waitIdle）：
时钟只表示时间过去，它一转就可能跳过 takeAll，因此先等 worker 把货收进本批。
- sendSettled：投递后按**序号**等「这次投递之后新挂的定时器」（旧的都已被 worker
放弃、再没人监听），供「投递与推钟交替」的用例（每 500ms 一条的绝对上限用例）。
- fireLatest/advanceAndFire 带 done 谓词重试，避免「登记与触发之间续臂」导致
推了钟却没人醒；waitIdle 一边等一边推窗口（worker 停在窗口里时永远走不到退休）。
- 用例侧只补相位与等待，不动断言：TwelveBurst 读历史前等 assistant 行落库；
准入用例断言「最新一次续臂」（原来按下标取 d[1]，隐含臂数假设）；
stale 用例两条都投完再推时钟（车道不会在两条之间退休）。
P2-1（替身锁无法用变异证实）选 A：删掉 stubChatter/stubSessions 的锁与访问器，
退回原字段访问，并写清理由 —— 21 个用例全走同步便捷路径
（b.process → processFrom → runBatch → Loop.Run），DEV HEAD 上 -race 数十次跑
（含把锁删掉的变异）DATA RACE 恒为 0；若将来从车道 worker 触碰这些字段必须加锁
并补 -race 用例。
证据：go test -race -count=3 ./internal/services/channelbridge/ 连跑 6 轮
18/18 全绿、DATA RACE=0；coalesce 子集 -count=80 全绿；整包 -race -count=20 全绿；
全树 go build/vet/test -count=1 全绿。
|
2026-10-24 23:18:45 +08:00 |
|
|
AskaEth
|
7d9b2132bb
|
test(testhealth): 替身竞态加锁 + 墙钟断言硬度（M33）
四处测试健康债务，只改 *_test.go，不动生产代码、不降并发：
- channelbridge：stubChatter / stubSessions 的跨 goroutine 字段一律经 mu 访问
（Run/GetOrCreate 在车道 worker 上写、测试 goroutine 读，两者无 happens-before；
负向断言「等一会儿再看循环有没有被驱动」尤其如此）。读写走访问器，Messages()
返回副本；t.Parallel 与并发度不变。
- plugins/tools/io：claimProbeTimeout 2s（真实时间预算）→ 60s，并由 claimProbeWait
按 t.Deadline 收缩。探针只等 goroutine 被调度（无时间语义），放大余量把
「机器快慢」从断言里去掉，死锁仍以断言失败暴露。
- backthink：TestSelfWakeGate_WindowExpiry 窗口 120ms → 6s（给 waitFor 的 4s 上界
留 2s 余量），到期等待改为按首次受理时刻推算 window+250ms，不再盲睡 3×窗口。
另修 TestSelfWakeStatus_MatchesReceiptAndTracksPendingSlot：worker 先 take 再进
Think，卡 Think 并不占待跑槽 —— 改为「上一轮把 worker 占住再断言 Pending」。
- memory：墙钟实测用例显式给闸 5s 预算（measureGateBudget），不再因默认 150ms
超时 fail-open 打炸「每轮都真扫真判」前置断言；并把 GateFailed 纳入该断言。
|
2026-10-24 22:24:14 +08:00 |
|
|
AskaEth
|
28967d3435
|
refactor(channelbridge): 冷避例外②收窄为「真故障/求救」严格子集
塔 2026-10-15 改裁定：例外给了命中词「穿透 30 分钟冷避」的权力，噪声不再只是多回
一句话，而是直接削弱冷避本身 —— 而实测全表 14 条在 598 条真实 user 消息里只命中
1 次，且那次是假阳性（QQ 机器人卡片文案里的 `bug`，而该群本来就在放这种卡片）。
- 新增 coldShoulderPierceKeywords（具名常量，注释写明为什么比全表严、依据即那条
卡片假阳性）与 hasColdShoulderPierceKeyword：保留 报错/出错/故障/紧急/救命/求助/
帮帮我/urgent，剔出 ASCII `bug`/`error`/`help`（会命中结构化载荷/URL/卡片）与
情绪歧义的 `崩溃`/`坏了`/`坏掉`。
- 例外② 改用该子集；hasHighValueKeyword（基线，ruleLightJudge 用）**一字未改**，
两张表的分工写进注释，并有断言钉住「基线不许被这次收窄波及」。
- 例外矩阵新增三行：机器人卡片含 `bug` ⇒ 不穿透；英文 error/help ⇒ 不穿透；
情绪「我崩溃了」⇒ 不穿透（三行对上一提交均为红）。第 1/2 行继续用保留词 报错，
第 3/4/5/6 行原样保留；另加子集单元护栏（正例六条 / 反例六条）。
- 按项目「文件 ≤500 行」把冷避规则簇拆到 engage_coldshoulder.go（engage.go 528→376）。
红前绿证据：把例外判据临时还原成上一提交的 hasHighValueKeyword 全表（与该提交逐字
等价）⇒ 恰好上述三行变红、其余行与护栏保持绿；已还原（无残留）。
已知代价如实登记在案：用英文写的真求救不再穿透 —— 塔裁定以「宁可少穿透」为准；
全表（highValueKeywords）本身的收窄由塔另排切片，不在本片。
验收：go build ./... + go vet ./... + go test -count=1 ./... 全绿（73 包）；
channelbridge / channel / cmd/cyrene 单独跑绿；darwin/arm64 交叉编译通过。
|
2026-10-15 19:04:48 +08:00 |
|
|
AskaEth
|
13a0519115
|
feat(channelbridge): 冷避期唯一的放行口——高价值关键词穿透（不解除冷却）
塔 2026-10-15 例外口径定稿落地。M18 主体（冷避优先于「@她必回」）保持不动，
本提交只补冷却期内的例外与它的守卫。
- engage.go：`coldShoulderLocked` 在冷却期内放行**高价值关键词**这一条
（真故障不该被「让她少闲聊」一并压掉），且**不解除冷却**（不动 state / cooldownUntil）；
同句既有负面态度又有高价值关键词时**负面态度优先**（仍进冷却、仍静默）；
例外与顺序写进函数注释，并写明 owner 车道为什么不需要单独写例外（它在
shouldRespond 第一步就分岔，写在这里是死代码）。文档面 design/18 §5/§9 由塔同步。
- light.go：shouldRespond 的判定顺序与冷避闸注释同步该口径。
- 测试：新增 engage_coldshoulder_exception_test.go（冷却期例外矩阵：真故障放行、
@她/闲聊不穿透、穿透不解除冷却、同句负面态度优先；以及「冷却之外行为与基线一致」
的护栏），并按文件 ≤500 行拆出该文件；engage_coldshoulder_test.go 增共享夹具。
红前绿证据（参照 = 本提交的父 M18 提交）：例外矩阵两条「真故障放行」行在我的改动
之前为红（冷避闸会把它们静默），其余三行与基线护栏在父提交上已绿，已如实标注为护栏；
「同句负面态度优先」一条另做变异自证（把例外插到负面态度判定之前 ⇒ 该行立刻变红）。
验收：go build ./... + go vet ./... + go test -count=1 ./... 全绿；
channelbridge / channel / cmd/cyrene 单独跑绿；darwin/arm64 交叉编译通过。
|
2026-10-15 19:01:02 +08:00 |
|