GitLab

主要变更:

1. references/04-core-dump.md §4.7.1 (新增 5步规程):

   • Step 1: HOSTQUEUE W-R 排序 (按 gap 锁定主候选)
   • Step 2: Address-offset 算式 (offset = fault - origin)
   • Step 2.5: 算式验证必做项 (Python/bc 防 hex 转换错)
   • Step 3: 候选队列全部过一遍 (不卡第一 kernel 名)
   • Step 4: 多 fault 地址交叉验证 (workspace 欠分配强证据)
   • Step 5: 触发栈 + workspace 配置交叉验证 (root cause)
   • 每步加 [调试原则] 标签指明对应方法论层

2. references/11-debugging-methodology.md (新增):

   • Iron Law: 根因调查先于一切修复
   • systematic-debugging 4 阶段 (Phase 1-4)
   • root-cause-tracing (反向追溯到原始触发点)
   • defense-in-depth (4 层验证: 入口/流程/多源/反向)
   • verification-before-completion (5 步 RED-GREEN-REFACTOR 循环)

3. SKILL.md:

   • §1.4 调试方法论(必读) 节, 短钩子指向 §11
   • §3.1 决策树: DCU 崩溃分流 (vmFaultAnalysis_* 走 §4.7.1, coredump 走 §4.7)
   • §3.3 崩溃分支首轮命令: 多 HOSTQUEUE 必须走 §4.7.1 警告
   • §4 case table: 新增 'vm fault + 多 HOSTQUEUE dump' → §4.7.1
   • §7 reference 加载表: 新增 §11-debugging-methodology.md

4. evals/evals.json Eval 10:

   • expected_output 重写: 实测 'fault at boundary (offset = size_byte = 0x2200000)'
   • version_notes: 修 reference typo 后 Python 实算结果

5. evals/assertions.md Eval 10:

   • 10.3: '实测: fault at boundary, offset=size_byte'
   • 10.5: '同 boundary 越界 (offset=size)'
   • 结果表 Eval 10 行同步更新

6. evals/benchmark.md (新增):

   • with_skill vs baseline 对照 (11/11 vs 6/9)
   • Step 2.5 重测完整记录 (REFACTOR 通过)
   • 数据修订对照表

测试验证:

• Eval 10 重测 with_skill + Step 2.5: 11/11 通过
• Step 2.5 agent 实跑 Python, 主动发现并指出 reference 文本算式 typo (0x1c+0x22 错算 0x3c 应为 0x3e, overshoot 应为 0 而非 2 MiB)
• typo 已修正, ground truth 已同步到 3 个文件

Co-Authored-By: Claude noreply@anthropic.com