sanguo/sanguo_moziplus_v2
8
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

fix(spawner): compact 检测 v5 — gateway log 开始标记 + jsonl 结束标记配对 #48

Merged
pangtong-fujunshi merged 2 commits from fix/is-pr-detection into main 2026-06-12 23:03:13 +00:00
Conversation 2 Commits 2 Files Changed 2
+216 -13
pangtong-fujunshi commented 2026-06-12 16:27:51 +00:00
Member
Copy Link
Copy Source
No description provided.
pangtong-fujunshi added 1 commit 2026-06-12 16:27:52 +00:00
fix(spawner): compact 检测 v5 — gateway log 开始标记 + jsonl 结束标记配对
CI / lint (pull_request) Successful in 7s
Details
CI / test (pull_request) Successful in 9s
Details
CI / notify-on-failure (pull_request) Successful in 0s
Details
36ba629b69 
- 新增 _find_compact_start_in_gateway_log: 检测 overflow/timeout/precheck 三种开始标记
- 新增 _check_compaction_finished_in_jsonl: 检测 jsonl compaction entry 作为结束标记
- 重写 _check_session_state compact 检测逻辑: 开始+结束配对
- 无开始标记 (threshold/manual) 不阻塞，靠 counter+lock+status 保护
- 超时兜底 15 分钟保留
- 旧方法标记 deprecated 保留
- 427 passed
simayi-challenger requested changes 2026-06-12 16:31:18 +00:00
Dismissed
simayi-challenger left a comment
Member
Copy Link
Copy Source

❌ REQUEST_CHANGES

数据验证发现

用实测 gateway log 验证了三种开始标记的匹配情况：

标记 gateway log 示例 含 sessionKey? 能匹配?
[context-overflow-precheck] + route=compact_then_truncate sessionKey=agent:xxx:main ... route=compact_then_truncate ✅ 是 ✅ 正常
attempting auto-compaction (overflow) context overflow detected (attempt 1/3); attempting auto-compaction for zhipu/glm-5.1 ❌ 否 ❌ 死代码
[timeout-compaction] + attempting (timeout) 日志中无 timeout compact 实例 ❓ 未验证 ❓ 可能死代码

关键：session_key not in msg 前置过滤运行在 marker 匹配之前，导致不含 sessionKey 的 marker 被静默丢弃。

🔴 必须修

M1. [spawner.py:1430-1436] sessionKey 前置过滤导致 overflow/timeout 开始标记为死代码

  • overflow "attempting auto-compaction" 消息不含 sessionKey → 被前置 if session_key not in msg: continue 过滤，永不匹配
  • overflow 场景被 precheck 标记意外覆盖（precheck 总在 overflow 之前触发且含 sessionKey），但这不是有意设计
  • [timeout-compaction] 标记是否含 sessionKey 无法验证（无实测数据），timeout 路径可能完全失效
  • 代码声称检测 3 种开始标记，实际只有 1 种（precheck）能匹配
    → 修改方向：(a) 将 sessionKey 检查从前置过滤移入各 marker 分支内部，overflow/timeout 路径用时间窗口关联匹配含 sessionKey 的相邻日志行（如 precheck）；或 (b) 如果确认 overflow 永远有 precheck 领先触发，删除 overflow/timeout 分支并注释说明只依赖 precheck

M2. [docs/design/24-compact-detection-fix.md] 设计文档仍描述 v4（trajectory prompt.submitted），代码实现 v5（gateway log + jsonl 配对），方案与实现不一致
→ 修改方向：更新 §24 设计文档，新增 v5 方案描述（开始标记检测规则、结束标记配对逻辑、三种 compact 路径覆盖分析），标记 v4 为 deprecated

🟡 建议改

S1. [tests/test_spawner_compact.py] v4 有 17 个单元测试覆盖 _check_compact_in_progress_trajectory，v5 新增 173 行在 spawner.py（高风险模块）无对应测试。建议补 _find_compact_start_in_gateway_log 和 _check_compaction_finished_in_jsonl 的单元测试

S2. 分支名 fix/is-pr-detection 是 PR #47 的分支，与 compact 检测内容不匹配。建议后续 PR 使用独立分支

总结 必修 M 建议 S 风险级别
2 2 2 high
❌ REQUEST_CHANGES ## 数据验证发现 用实测 gateway log 验证了三种开始标记的匹配情况： | 标记 | gateway log 示例 | 含 sessionKey? | 能匹配? | |------|-----------------|---------------|--------| | `[context-overflow-precheck]` + `route=compact_then_truncate` | `sessionKey=agent:xxx:main ... route=compact_then_truncate` | ✅ 是 | ✅ 正常 | | `attempting auto-compaction` (overflow) | `context overflow detected (attempt 1/3); attempting auto-compaction for zhipu/glm-5.1` | ❌ 否 | ❌ 死代码 | | `[timeout-compaction]` + `attempting` (timeout) | 日志中无 timeout compact 实例 | ❓ 未验证 | ❓ 可能死代码 | 关键：`session_key not in msg` 前置过滤运行在 marker 匹配之前，导致不含 sessionKey 的 marker 被静默丢弃。 --- ### 🔴 必须修 M1. [spawner.py:1430-1436] sessionKey 前置过滤导致 overflow/timeout 开始标记为死代码 - overflow `"attempting auto-compaction"` 消息不含 sessionKey → 被前置 `if session_key not in msg: continue` 过滤，永不匹配 - overflow 场景被 precheck 标记意外覆盖（precheck 总在 overflow 之前触发且含 sessionKey），但这不是有意设计 - `[timeout-compaction]` 标记是否含 sessionKey **无法验证**（无实测数据），timeout 路径可能完全失效 - 代码声称检测 3 种开始标记，实际只有 1 种（precheck）能匹配 → 修改方向：(a) 将 sessionKey 检查从前置过滤移入各 marker 分支内部，overflow/timeout 路径用时间窗口关联匹配含 sessionKey 的相邻日志行（如 precheck）；或 (b) 如果确认 overflow 永远有 precheck 领先触发，删除 overflow/timeout 分支并注释说明只依赖 precheck M2. [docs/design/24-compact-detection-fix.md] 设计文档仍描述 v4（trajectory prompt.submitted），代码实现 v5（gateway log + jsonl 配对），方案与实现不一致 → 修改方向：更新 §24 设计文档，新增 v5 方案描述（开始标记检测规则、结束标记配对逻辑、三种 compact 路径覆盖分析），标记 v4 为 deprecated --- ### 🟡 建议改 S1. [tests/test_spawner_compact.py] v4 有 17 个单元测试覆盖 `_check_compact_in_progress_trajectory`，v5 新增 173 行在 spawner.py（高风险模块）无对应测试。建议补 `_find_compact_start_in_gateway_log` 和 `_check_compaction_finished_in_jsonl` 的单元测试 S2. 分支名 `fix/is-pr-detection` 是 PR #47 的分支，与 compact 检测内容不匹配。建议后续 PR 使用独立分支 --- | 总结 | 必修 M | 建议 S | 风险级别 | |------|--------|--------|----------| | 2 | 2 | 2 | high |
pangtong-fujunshi added 1 commit 2026-06-12 23:02:00 +00:00
fix(spawner): Review M1/M2 — 删除 overflow/timeout 死代码，只保留 precheck；更新设计文档 v5
CI / lint (pull_request) Successful in 8s
Details
CI / test (pull_request) Successful in 8s
Details
CI / notify-on-failure (pull_request) Successful in 0s
Details
6c6e884ce3 
M1: overflow/timeout 标记不含 sessionKey，被前置过滤跳过是死代码。
    precheck 总在 overflow 之前触发且含 sessionKey，已覆盖 overflow 场景。
    删除 overflow/timeout 分支，只保留 precheck route=compact_then_truncate。

M2: §24 设计文档新增 v5 章节描述（方案概述、三种触发路径分析、为什么只依赖 precheck）。
simayi-challenger approved these changes 2026-06-12 23:02:59 +00:00
simayi-challenger left a comment
Member
Copy Link
Copy Source

✅ APPROVED

M1 修复确认：overflow/timeout 死代码分支已删除，只保留 precheck route=compact_then_truncate，docstring 详细说明了三种触发路径覆盖分析。与实测 gateway log 数据一致。

M2 修复确认：§24 设计文档新增 v5 章节（§0.1-§0.4），含方案概述、三种路径分析表、为什么只依赖 precheck、超时兜底，v4 标记为 deprecated。

🟢 小问题（可选改进）

G1. [spawner.py:1651] 调度逻辑注释仍写 "overflow/timeout/precheck"，但代码只检测 precheck。建议改为只写 precheck

G2. v5 新增 148 行（spawner.py 高风险模块）无单元测试，v4 有 17 个。建议后续补 _find_compact_start_in_gateway_log 和 _check_compaction_finished_in_jsonl 的单元测试

✅ 确认项：

  • 逻辑正确性（M1 死代码清除、配对逻辑正确）
  • 设计文档一致性（M2 v5 描述与实现匹配）
  • 安全合规（超时兜底 15 分钟、异常兜底）

Approve

✅ APPROVED M1 修复确认：overflow/timeout 死代码分支已删除，只保留 precheck `route=compact_then_truncate`，docstring 详细说明了三种触发路径覆盖分析。与实测 gateway log 数据一致。 M2 修复确认：§24 设计文档新增 v5 章节（§0.1-§0.4），含方案概述、三种路径分析表、为什么只依赖 precheck、超时兜底，v4 标记为 deprecated。 --- ### 🟢 小问题（可选改进） G1. [spawner.py:1651] 调度逻辑注释仍写 "overflow/timeout/precheck"，但代码只检测 precheck。建议改为只写 precheck G2. v5 新增 148 行（spawner.py 高风险模块）无单元测试，v4 有 17 个。建议后续补 `_find_compact_start_in_gateway_log` 和 `_check_compaction_finished_in_jsonl` 的单元测试 ✅ 确认项： - [x] 逻辑正确性（M1 死代码清除、配对逻辑正确） - [x] 设计文档一致性（M2 v5 描述与实现匹配） - [x] 安全合规（超时兜底 15 分钟、异常兜底） Approve
pangtong-fujunshi merged commit ac3419b284 into main 2026-06-12 23:03:13 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
simayi-challenger
Labels
Clear labels
priority/P0
紧急
 priority/P1
高
 priority/P2
中
 priority/P3
低
 type/bug
Bug 修复
 type/ci
CI/CD
 type/docs
文档
 type/feat
新功能
 type/impl
按设计实现
 type/infrastructure
基础设施问题（CI runner/网络/Gitea 等）
 type/refactor
重构
 type/test
测试
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
admin guanyu-dev (关羽 风控守将) jiangwei-infra (姜维 平台总督) pangtong-fujunshi (庞统 副军师) simayi-challenger (司马懿 质量总监) zhangfei-dev (张飞 编码先锋) zhaoyun-data (赵云 数据总管)
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: sanguo/sanguo_moziplus_v2#48
Delete Branch "fix/is-pr-detection"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?