agents-tester.html 52.4 KB
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799
<!doctype html>
<html lang="zh-CN">
<head>
<meta charset="utf-8" /><meta name="viewport" content="width=device-width,initial-scale=1" />
<title>Tester Agent · 完整 Skill 规范 · LemonBoss PRD</title>
<link rel="preconnect" href="https://fonts.googleapis.com" />
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin />
<link href="https://fonts.googleapis.com/css2?family=Fraunces:opsz,wght@9..144,300;9..144,500;9..144,700&family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500;700&display=swap" rel="stylesheet" />
<link rel="stylesheet" href="assets/shell.css" />
</head>
<body data-page="agents-tester.html">
<div class="shell">
  <aside id="sidebar"></aside>
  <main class="page">
    <header class="page-head">
      <div class="crumb"><span class="pill">02 · DESIGN / Agents</span><span class="sep">/</span><span>Tester Agent</span></div>
      <h1>Tester Agent · 完整 Skill 规范</h1>
      <p class="deck">L1 的对手方。读 Coder 的 code/ + spec + contract.json,写 vitest 单测,跑、收失败、产<b>给 Coder 反思的 hint</b>。同时桥接到 bugs.ndjson 做 bug 生命周期。</p>
    </header>
    <article class="body">

      <section>
        <div class="agent-hero">
          <div class="avatar" style="background:var(--L1-tint);color:var(--L1)">T</div>
          <div>
            <h2 style="margin:0">Tester Agent</h2>
            <p style="margin:6px 0">写测试 · 跑测试 · 翻译失败原因 · 桥接 bugs.ndjson</p>
            <div class="meta">
              <div><b>Loop</b> <span class="tag L1">L1</span></div>
              <div><b>Model</b> Sonnet 4.6</div>
              <div><b>Modes</b> test · retry · resume</div>
              <div><b>沙箱</b> units/{unitId}/ 内 tests/ + runs/{runId}/</div>
              <div><b>会话复用</b> 是(SessionPool key = tester.cid.pid.unitId)</div>
            </div>
          </div>
        </div>
      </section>

      <section>
        <h2>① 功能需求</h2>
        <ol>
          <li><b>三种模式:</b><code>test</code>(Coder 完成后首次)/ <code>retry</code>(Coder 改过重跑)/ <code>resume</code>。</li>
          <li><b>覆盖来源:</b>
            <ul style="padding-left:20px">
              <li><b>spec.json.acceptance_criteria</b> 每条 ≥ 1 case</li>
              <li><b>contract.json.exports.http.responses</b> 每个状态码 ≥ 1 case</li>
            </ul>
          </li>
          <li><b>真跑:</b>后端用 <code>supertest</code> 起真实 Express + <code>better-sqlite3 :memory:</code>;前端用 <code>@vue/test-utils</code>,不渲染浏览器。</li>
          <li><b>不允许 mock 整个被测模块</b>。可 mock 外部 API / DB / 时间。</li>
          <li><b>失败必含 hint:</b>给 Coder 下次反思的 1-2 句人话提示。<b>禁止</b>「fix the bug」「expected 401 got 500」式无信息废话。</li>
          <li><b>桥接 bugs.ndjson:</b>失败 → <code>bug_open</code> append 一条 status=open;下次绿 → <code>bug_transition(to='fixed')</code>。</li>
          <li><b>幂等:</b>同一代码反复跑结果一致。依赖时间 / 随机数 / 网络必须 stub。</li>
          <li><b>不写代码:</b>Coder 的活。Tester 写 tests/ 才能算干活。</li>
        </ol>
      </section>

      <section>
        <h2>② Skill 设计</h2>

        <h3>2.1 输出沙箱</h3>
<pre class="tree">
data/companies/{cid}/projects/{pid}/units/{unitId}/
├── code/                       <span class="com"># 只读 (Coder 写)</span>
├── contract.json               <span class="com"># 只读 (Coder 写)</span>
├── spec.json                   <span class="com"># 只读 (Architect 写)</span>
├── coder.log                   <span class="com"># 只读 (Coder 写)</span>
├── tests/                      <span class="com"># Tester 写 ★</span>
│   ├── *.spec.ts               <span class="com"># vitest 测试</span>
│   └── helpers/                <span class="com"># 共享 fixture (可选)</span>
└── runs/                       <span class="com"># Tester 写 ★</span>
    └── {runId}/
        ├── result.json         <span class="com"># 结构化结果</span>
        ├── stdout.txt          <span class="com"># vitest 原始输出</span>
        └── stderr.txt          <span class="com"># crash 时</span>

<span class="com"># 还要写 (跨项目):</span>
../../bugs.ndjson               <span class="com"># bug_open / bug_transition 工具 append</span>
</pre>

        <h3>2.2 完整 System Prompt(可拷贝直用)</h3>
        <p>落 <code>system/agents/devloop-tester/prompt.md</code>。LoopController 注入时头部补 <code>## Memory</code> + <code>## Unit Code + Contract</code>(节选 code/ 的 export 接口 + contract.json)。</p>

<pre class="code"><span class="c"># ROLE</span>
<span class="v">你是 LemonBoss DevLoop 的 Tester Agent。本次任务:测试 Unit {unitId}。</span>
<span class="v">读 Coder 的 code/ + Architect 的 spec.json,写 vitest 单测,跑测试,</span>
<span class="v">把失败翻译成给 Coder 下次反思的 hint。</span>

<span class="c"># MODES</span>
<span class="v">- "test"      Coder 首次完成,Tester 首次跑</span>
<span class="v">- "retry"     Coder 改了 code,重跑 (如有旧 tests 复用)</span>
<span class="v">- "resume"    从 resume_token 继续</span>

<span class="c"># SANDBOX</span>
<span class="v">你只能写:</span>
<span class="v">  ./tests/**</span>
<span class="v">  ./runs/{runId}/**</span>
<span class="v">禁止写:</span>
<span class="v">  ./code/**                (Coder 的领地)</span>
<span class="v">  ./contract.json          (Coder 的领地)</span>
<span class="v">  ./coder.log              (Coder 的领地)</span>
<span class="v">  ../{别的 unit}/**        (其他 Unit)</span>

<span class="v">你可读:</span>
<span class="v">  ./code/**                                    (你测的代码)</span>
<span class="v">  ./contract.json                              (推导期望响应)</span>
<span class="v">  ./spec.json                                  (acceptance_criteria)</span>
<span class="v">  ../{depends_on}/contract.json                (跨 Unit 不读其 code)</span>
<span class="v">  ./tests/**                                   (复用旧 spec)</span>

<span class="c"># MANDATORY WORKFLOW</span>

<span class="v">## step 0 · 读上下文</span>
<span class="v">  - 读 spec.json acceptance_criteria 全条</span>
<span class="v">  - 读 contract.json exports.http (每个 status code 必测)</span>
<span class="v">  - 读 code/ 入口文件 (找 export 接口)</span>
<span class="v">  - retry: 读 ./tests/* 看哪些已存在 (可保留 + 重跑)</span>

<span class="v">## step 1 · write_todolist</span>

<span class="v">### test 典型 (5 项):</span>
<span class="v">  step-001 写 tests/{unit}.spec.ts</span>
<span class="v">           - 后端: supertest + 内存 sqlite</span>
<span class="v">           - 前端: @vue/test-utils mount</span>
<span class="v">  step-002 覆盖 acceptance 全条 + contract 全 status code</span>
<span class="v">  step-003 跑 vitest --reporter=json &gt; runs/{runId}/raw.json</span>
<span class="v">  step-004 parse_vitest → runs/{runId}/result.json + 生成 hint</span>
<span class="v">  step-005 bug_open / bug_transition (按结果)</span>

<span class="v">### retry 典型 (3 项):</span>
<span class="v">  step-001 跑现有 tests (代码改了,测试可能不需要改)</span>
<span class="v">  step-002 parse_vitest → result.json</span>
<span class="v">  step-003 bug_transition (如之前 open 现绿,转 fixed)</span>

<span class="c"># RULES (硬约束)</span>

<span class="v">1. 后端测试模板:</span>
<span class="v">     import request from 'supertest';</span>
<span class="v">     import { describe, it, expect, beforeEach } from 'vitest';</span>
<span class="v">     import app from '../code/server';</span>
<span class="v">     // 用 :memory: sqlite 起干净状态</span>

<span class="v">2. 前端测试模板:</span>
<span class="v">     import { mount } from '@vue/test-utils';</span>
<span class="v">     import { describe, it, expect } from 'vitest';</span>
<span class="v">     import Component from '../code/Component.vue';</span>

<span class="v">3. 禁止 mock 整个被测模块。可以 mock:</span>
<span class="v">     - 外部 API (fetch / axios)</span>
<span class="v">     - 第三方服务 (S3 / 邮件)</span>
<span class="v">     - 时间 (vi.useFakeTimers)</span>
<span class="v">     - 随机 (vi.spyOn(Math, 'random'))</span>

<span class="v">4. 每个 acceptance_criterion → 至少 1 个 it() block。</span>
<span class="v">   不允许把多条揉进一个 it()。</span>

<span class="v">5. 每个 contract.responses 状态码 → 至少 1 个 negative + positive case。</span>
<span class="v">   401 → 测一个返 401 的输入</span>
<span class="v">   500 → 不主动测 (500 是 bug 不是 feature)</span>

<span class="v">6. 失败 hint 必须是给 Coder 的 1-2 句<b>人话</b>提示:</span>
<span class="v">     ✓ "user 不存在时不要 bcrypt.compare(null,...);先查再比"</span>
<span class="v">     ✓ "title 字段缺失 req.body.title 是 undefined,先做存在性判断"</span>
<span class="v">     ✗ "fix the bug"</span>
<span class="v">     ✗ "expected 401 got 500"  (没有信息量)</span>
<span class="v">   由 hint_builder 工具帮你从 stack + expected/got 生成 (但你要审一遍)。</span>

<span class="v">7. bugs.ndjson 同步:</span>
<span class="v">     失败:调 bug_open({source:'unit_test', unit_id, run_id, test_name, ...})</span>
<span class="v">     如该 unit 之前有 status=open 的同 test bug → 不重复 open (用 dedupKey)</span>
<span class="v">     绿:之前有 status=open/fixing → bug_transition(to='fixed')</span>

<span class="v">8. 任何 Bash 带 JSON body → /tmp/*.json + -d @file (CLAUDE.md L91-99)。</span>

<span class="v">9. 单次 vitest 跑总时长上限 60s。超时 → kill + 标 result.crashed=true。</span>

<span class="v">10. 不写 ./code/, 不调 call_sub_agent。</span>

<span class="c"># SELF-CHECK</span>
<span class="v">1. tests/ 至少有 acceptance_criteria 数量 + contract status code 数量个 it() block</span>
<span class="v">2. result.json 通过 typebox 校验</span>
<span class="v">3. result.json.failures 每条有非空 hint</span>
<span class="v">4. bugs.ndjson 新增/转换条目都在</span>
<span class="v">5. todolist 全 done</span>
<span class="v">6. 没写出沙箱</span></pre>

        <h3>2.3 工具集</h3>
        <table>
          <thead><tr><th>工具</th><th>签名</th><th>用途</th><th>访问边界</th></tr></thead>
          <tbody>
            <tr><td><code>Read</code></td><td>(path)</td><td>读 code / contract / spec / 上游 contract / 历史 tests</td><td>沙箱白名单</td></tr>
            <tr><td><code>Write</code></td><td>(path, content)</td><td>写 tests/ + runs/{runId}/</td><td>tests/** + runs/**</td></tr>
            <tr><td><code>Bash</code></td><td>(cmd)</td><td>跑 <code>vitest run --reporter=json</code>; npm i (限定包)</td><td>cwd 锁 units/{unitId}/, jsonGuard 强制, 60s 超时</td></tr>
            <tr><td><code>parse_vitest</code> <span class="tag NEW">NEW</span></td><td>(rawJsonPath) → RunResult</td><td>vitest JSON reporter → 结构化 result.json + 自动生成 hint</td><td>—</td></tr>
            <tr><td><code>hint_builder</code> <span class="tag NEW">NEW</span></td><td>(failure) → string</td><td>从 stack/expected/got 启发式生成 hint(Tester 可再编辑)</td><td>—</td></tr>
            <tr><td><code>bug_open</code> <span class="tag NEW">NEW</span></td><td>(pid, bug) → bugId</td><td>append bugs.ndjson · dedupKey 防重</td><td>bugs.ndjson</td></tr>
            <tr><td><code>bug_transition</code> <span class="tag NEW">NEW</span></td><td>(pid, bugId, to, opts)</td><td>状态机转换</td><td>bugs.ndjson</td></tr>
            <tr><td><code>bug_list</code> <span class="tag NEW">NEW</span></td><td>(pid, filter)</td><td>查当前 open/fixing 的 bug(dedup 时用)</td><td>—</td></tr>
            <tr><td><code>write_todolist</code></td><td>(items)</td><td>同上</td><td>agent-state/</td></tr>
            <tr><td><code>update_todo_item</code></td><td>(id, status)</td><td>同上</td><td>—</td></tr>
            <tr><td><code>update_runtime_state</code></td><td>(step, total)</td><td>同上</td><td>—</td></tr>
            <tr><td><code>timeline_append</code></td><td>(kind, ref, summary)</td><td>同上 · kind: unit_tested · test_failed · test_passed</td><td>—</td></tr>
            <tr><td><code>record_memory</code></td><td>(topic, content, relevance)</td><td>memory/devloop/tester/</td><td>memory/devloop/tester/</td></tr>
          </tbody>
        </table>

        <h3>2.4 禁用</h3>
        <div class="callout warn">
          <ul style="margin:0">
            <li><b>不允许 Edit / Write code/</b> — Coder 领地</li>
            <li><b>不允许 mock 整个被测模块</b> — 否则测试永远绿</li>
            <li><b>不允许 inline JSON Bash</b> — jsonGuard 强制</li>
            <li><b>不允许 call_sub_agent</b></li>
            <li><b>不允许跳过 hint 字段</b> — failure 必含可执行提示</li>
          </ul>
        </div>
      </section>

      <section>
        <h2>③ 持久化集成</h2>
        <p>同 Coder 模式 + 加 <b>bugs.ndjson 桥接</b>。失败时 bug_open;绿时 bug_transition;中间状态由 LoopController 转 fixing。</p>

        <p><b>Tester memory 典型话题(很少):</b></p>
        <ul>
          <li>"vitest 启动慢 (Vite cold start),固定用 --pool=threads 加速"</li>
          <li>"better-sqlite3 :memory: 跨 it() 状态隔离需 beforeEach 重建"</li>
          <li>memory 在 Tester 这层很少有可复用洞见,注意不要乱写</li>
        </ul>
      </section>

      <section>
        <h2>④ I/O 契约</h2>
<pre class="code"><span class="k">const</span> TesterInput = Type.<span class="n">Object</span>(<span class="p">{</span>
  pid:        Type.<span class="n">String</span>(),
  unit_id:    Type.<span class="n">String</span>(),
  mode:       Type.<span class="n">Union</span>(<span class="p">[</span>Type.<span class="n">Literal</span>(<span class="s">'test'</span>),
                          Type.<span class="n">Literal</span>(<span class="s">'retry'</span>),
                          Type.<span class="n">Literal</span>(<span class="s">'resume'</span>)<span class="p">]</span>),
  resume_token: Type.<span class="n">Optional</span>(Type.<span class="n">String</span>()),
  call_id:    Type.<span class="n">String</span>(),
  company_id: Type.<span class="n">String</span>(),
<span class="p">}</span>);

<span class="k">const</span> TesterOutput = Type.<span class="n">Object</span>(<span class="p">{</span>
  ok:           Type.<span class="n">Boolean</span>(),         <span class="c">// 总判:全绿才 true</span>
  mode:         Type.<span class="n">String</span>(),
  unit_id:      Type.<span class="n">String</span>(),
  run_id:       Type.<span class="n">String</span>(),
  result_ref:   Type.<span class="n">String</span>(),         <span class="c">// path to result.json</span>

  summary:      Type.<span class="n">Object</span>(<span class="p">{</span>
    total:   Type.<span class="n">Number</span>(),
    passed:  Type.<span class="n">Number</span>(),
    failed:  Type.<span class="n">Number</span>(),
    skipped: Type.<span class="n">Number</span>(),
  <span class="p">}</span>),

  failures:     Type.<span class="n">Array</span>(Type.<span class="n">Object</span>(<span class="p">{</span>
    test:     Type.<span class="n">String</span>(),
    expected: Type.<span class="n">Any</span>(),
    got:      Type.<span class="n">Any</span>(),
    stack:    Type.<span class="n">String</span>(),
    hint:     Type.<span class="n">String</span>(),        <span class="c">// 非空,给 Coder</span>
    bug_id:   Type.<span class="n">String</span>(),       <span class="c">// 关联 bugs.ndjson</span>
  <span class="p">}</span>)),

  bugs_opened:      Type.<span class="n">Array</span>(Type.<span class="n">String</span>()),  <span class="c">// 新开 bug id 列表</span>
  bugs_transitioned: Type.<span class="n">Array</span>(Type.<span class="n">Object</span>(<span class="p">{</span> id, from, to <span class="p">}</span>)),

  acceptance_coverage: Type.<span class="n">Number</span>(<span class="p">{</span> minimum:<span class="v">0</span>, maximum:<span class="v">1</span> <span class="p">}</span>),
  contract_coverage:   Type.<span class="n">Number</span>(<span class="p">{</span> minimum:<span class="v">0</span>, maximum:<span class="v">1</span> <span class="p">}</span>),

  crashed:      Type.<span class="n">Boolean</span>(),         <span class="c">// vitest 自身崩</span>
  duration_ms:  Type.<span class="n">Number</span>(),
  tokens_used:  Type.<span class="n">Number</span>(),
<span class="p">}</span>);</pre>
      </section>

      <section>
        <h2>⑤ 上下游传递</h2>
        <div class="io-grid">
          <div class="io-box">
            <h4>⬆ 上游</h4>
            <ul>
              <li><b>Coder</b> · 通过 code/ + contract.json</li>
              <li><b>Architect</b> · 通过 spec.json acceptance + sdd tests 列表</li>
              <li><b>LoopController</b> · 注入 input + memory</li>
            </ul>
          </div>
          <div class="io-box">
            <h4>⬇ 下游</h4>
            <ul>
              <li><b>Coder</b>(retry 时)· 读 result.json.failures.hint 反思</li>
              <li><b>LoopController</b> · 读 result.ok 决定 pass/retry/block</li>
              <li><b>UnitRegistry</b> · 接 status: testing → passed | failed</li>
              <li><b>BugTracker / bugs.ndjson</b> · 接 bug_open / bug_transition</li>
              <li><b>Integrator</b>(passed 后)· 间接:tests/ 可作 e2e 回归基础</li>
              <li><b>Dashboard</b> · SSE stream 看 stdout</li>
            </ul>
          </div>
        </div>
      </section>

      <section>
        <h2>⑥ 完整执行样例</h2>

        <div class="tabs" data-tabs>
          <div class="tabbar" role="tablist">
            <button role="tab" aria-selected="true"  aria-controls="ta">Sample A · test 首跑红 1 条</button>
            <button role="tab" aria-selected="false" aria-controls="tb">Sample B · retry 转绿</button>
            <button role="tab" aria-selected="false" aria-controls="tc">Sample C · crashed (vitest 自崩)</button>
          </div>

          <div class="tabpanel" id="ta">
<pre class="code"><span class="c"># ─────────── INPUT ───────────</span>
<span class="p">{</span>
  <span class="n">"pid"</span>: <span class="s">"p-test001"</span>, <span class="n">"unit_id"</span>: <span class="s">"todo-be"</span>,
  <span class="n">"mode"</span>: <span class="s">"test"</span>, <span class="n">"call_id"</span>: <span class="s">"call-t-001"</span>, ...
<span class="p">}</span>

<span class="c"># INJECTED Unit Code Excerpt (LoopController 拼)</span>
## Unit Code: todo-be
exports from code/server.js:    app (Express)
exports from code/service.js:   create(title), list()

## Contract (contract.json)
POST /api/todos { title } → 201 | 400
GET  /api/todos          → 200 { items }

## Acceptance Criteria (spec.json)
- 创建后能列出
- 空 title 返 400
- 200+ 字符 title 返 400

<span class="c"># step 1 · write_todolist (5 项 test 模板)</span>

<span class="c"># step 2 · 写 tests/todo-be.spec.ts</span>
<span class="k">import</span> request <span class="k">from</span> <span class="s">'supertest'</span>;
<span class="k">import</span> <span class="p">{</span> describe, it, expect, beforeEach <span class="p">}</span> <span class="k">from</span> <span class="s">'vitest'</span>;

<span class="c">// 注意:Coder 实现里 db 是 module 级 :memory:,跨 it() 状态会污染</span>
<span class="c">// 这里 fresh app/db 每个 it() (后面 hint 会指出 Coder 该改)</span>

describe(<span class="s">'todo-be POST /api/todos'</span>, () =&gt; <span class="p">{</span>
  <span class="k">let</span> app;
  beforeEach(() =&gt; <span class="p">{</span>
    delete <span class="n">require.cache</span>[<span class="n">require.resolve</span>(<span class="s">'../code/server'</span>)];
    app = <span class="n">require</span>(<span class="s">'../code/server'</span>);
  <span class="p">}</span>);
  it(<span class="s">'有效 title → 201 + 返 id'</span>, <span class="k">async</span> () =&gt; <span class="p">{</span>
    <span class="k">const</span> r = <span class="k">await</span> request(app).<span class="n">post</span>(<span class="s">'/api/todos'</span>).<span class="n">send</span>(<span class="p">{</span> title: <span class="s">'buy milk'</span> <span class="p">}</span>);
    expect(r.<span class="n">status</span>).<span class="n">toBe</span>(<span class="v">201</span>);
    expect(r.<span class="n">body</span>.<span class="n">id</span>).toBeTypeOf(<span class="s">'number'</span>);
  <span class="p">}</span>);
  it(<span class="s">'空 title → 400 title_required'</span>, <span class="k">async</span> () =&gt; <span class="p">{</span>
    <span class="k">const</span> r = <span class="k">await</span> request(app).<span class="n">post</span>(<span class="s">'/api/todos'</span>).<span class="n">send</span>(<span class="p">{</span> title: <span class="s">''</span> <span class="p">}</span>);
    expect(r.<span class="n">status</span>).<span class="n">toBe</span>(<span class="v">400</span>);
    expect(r.<span class="n">body</span>.<span class="n">error</span>).<span class="n">toBe</span>(<span class="s">'title_required'</span>);
  <span class="p">}</span>);
  it(<span class="s">'缺 body title → 400'</span>, <span class="k">async</span> () =&gt; <span class="p">{</span>
    <span class="k">const</span> r = <span class="k">await</span> request(app).<span class="n">post</span>(<span class="s">'/api/todos'</span>).<span class="n">send</span>(<span class="p">{}</span>);
    expect(r.<span class="n">status</span>).<span class="n">toBe</span>(<span class="v">400</span>);
  <span class="p">}</span>);
  it(<span class="s">'200+ title → 400 title_too_long'</span>, <span class="k">async</span> () =&gt; <span class="p">{</span>
    <span class="k">const</span> r = <span class="k">await</span> request(app).<span class="n">post</span>(<span class="s">'/api/todos'</span>)
      .<span class="n">send</span>(<span class="p">{</span> title: <span class="s">'x'</span>.<span class="n">repeat</span>(<span class="v">201</span>) <span class="p">}</span>);
    expect(r.<span class="n">status</span>).<span class="n">toBe</span>(<span class="v">400</span>);
  <span class="p">}</span>);
<span class="p">}</span>);

describe(<span class="s">'todo-be GET /api/todos'</span>, () =&gt; <span class="p">{</span>
  it(<span class="s">'创建后能列出'</span>, <span class="k">async</span> () =&gt; <span class="p">{</span>
    <span class="k">const</span> app = <span class="n">require</span>(<span class="s">'../code/server'</span>);
    <span class="k">await</span> request(app).<span class="n">post</span>(<span class="s">'/api/todos'</span>).<span class="n">send</span>(<span class="p">{</span> title: <span class="s">'a'</span> <span class="p">}</span>);
    <span class="k">const</span> r = <span class="k">await</span> request(app).<span class="n">get</span>(<span class="s">'/api/todos'</span>);
    expect(r.<span class="n">status</span>).<span class="n">toBe</span>(<span class="v">200</span>);
    expect(r.<span class="n">body</span>.<span class="n">items</span>.<span class="n">some</span>(t =&gt; t.<span class="n">title</span> === <span class="s">'a'</span>)).<span class="n">toBe</span>(<span class="v">true</span>);
  <span class="p">}</span>);
<span class="p">}</span>);

<span class="c"># step 3 · Bash: vitest run --reporter=json &gt; runs/run-20260513-1031/raw.json</span>

<span class="c"># step 4 · parse_vitest</span>
parse_vitest(<span class="s">"runs/run-20260513-1031/raw.json"</span>)
<span class="c">// 结果: 5 个 test, 4 passed, 1 failed</span>
<span class="c">// 失败: "缺 body title → 400" 实际收 500 TypeError</span>

<span class="c"># hint_builder 看 stack: TypeError on req.body.title.length</span>
hint_builder(<span class="p">{</span>
  expected: <span class="v">400</span>, got: <span class="v">500</span>,
  stack: <span class="s">"TypeError: cannot read properties of undefined (reading 'length') at create..."</span>
<span class="p">}</span>)
<span class="c">// → "缺 body 字段时 req.body.title 是 undefined,先做存在性判断再 .length"</span>

<span class="c"># step 5 · bug_open</span>
bug_open(<span class="p">{</span>
  source: <span class="s">'unit_test'</span>, unit_id: <span class="s">'todo-be'</span>, run_id: <span class="s">'run-20260513-1031'</span>,
  test_name: <span class="s">'缺 body title → 400'</span>,
  category: <span class="s">'unknown'</span>, severity: <span class="s">'high'</span>,
  title: <span class="s">'缺 body title 时 500 而非 400'</span>,
  detail: <span class="s">'TypeError: ...'</span>, affected_units: <span class="p">[</span><span class="s">'todo-be'</span><span class="p">]</span>
<span class="p">}</span>)
<span class="c">// → bug-20260513-1031-c9f2  (新开)</span>

<span class="c"># 写 result.json</span>
<span class="p">{</span>
  <span class="n">"run_id"</span>: <span class="s">"run-20260513-1031"</span>, <span class="n">"loop"</span>: <span class="s">"L1"</span>,
  <span class="n">"unit_id"</span>: <span class="s">"todo-be"</span>, <span class="n">"agent"</span>: <span class="s">"tester"</span>, <span class="n">"attempt"</span>: <span class="v">1</span>,
  <span class="n">"ok"</span>: <span class="v">false</span>,
  <span class="n">"summary"</span>: <span class="p">{</span><span class="n">"total"</span>:<span class="v">5</span>,<span class="n">"passed"</span>:<span class="v">4</span>,<span class="n">"failed"</span>:<span class="v">1</span><span class="p">}</span>,
  <span class="n">"failures"</span>: <span class="p">[{</span>
    <span class="n">"test"</span>: <span class="s">"缺 body title → 400"</span>,
    <span class="n">"expected"</span>: <span class="v">400</span>, <span class="n">"got"</span>: <span class="v">500</span>,
    <span class="n">"stack"</span>: <span class="s">"TypeError: ..."</span>,
    <span class="n">"hint"</span>: <span class="s">"缺 body 字段时 req.body.title 是 undefined,先做存在性判断再 .length"</span>,
    <span class="n">"bug_id"</span>: <span class="s">"bug-20260513-1031-c9f2"</span>
  <span class="p">}]</span>,
  <span class="n">"next_action"</span>: <span class="s">"retry_coder"</span>,
  <span class="n">"retry_budget_left"</span>: <span class="v">4</span>,
  <span class="n">"duration_ms"</span>: <span class="v">1_245</span>
<span class="p">}</span>

<span class="c"># OUTPUT</span>
<span class="p">{</span>
  <span class="n">"ok"</span>: <span class="v">false</span>, <span class="n">"mode"</span>: <span class="s">"test"</span>, <span class="n">"unit_id"</span>: <span class="s">"todo-be"</span>,
  <span class="n">"run_id"</span>: <span class="s">"run-20260513-1031"</span>,
  <span class="n">"summary"</span>: <span class="p">{</span><span class="n">"total"</span>:<span class="v">5</span>,<span class="n">"passed"</span>:<span class="v">4</span>,<span class="n">"failed"</span>:<span class="v">1</span>,<span class="n">"skipped"</span>:<span class="v">0</span><span class="p">}</span>,
  <span class="n">"failures"</span>: <span class="p">[{</span> <span class="n">"hint"</span>: <span class="s">"..."</span>, <span class="n">"bug_id"</span>: <span class="s">"bug-..."</span> <span class="p">}]</span>,
  <span class="n">"bugs_opened"</span>: <span class="p">[</span><span class="s">"bug-20260513-1031-c9f2"</span><span class="p">]</span>,
  <span class="n">"bugs_transitioned"</span>: <span class="p">[]</span>,
  <span class="n">"acceptance_coverage"</span>: <span class="v">1.0</span>,   <span class="c">// 3/3</span>
  <span class="n">"contract_coverage"</span>: <span class="v">1.0</span>,
  <span class="n">"crashed"</span>: <span class="v">false</span>,
  <span class="n">"duration_ms"</span>: <span class="v">12_410</span>, <span class="n">"tokens_used"</span>: <span class="v">4_120</span>
<span class="p">}</span>

<span class="c"># LoopController 接 ok=false → 触发 Coder retry (带 history)</span></pre>
          </div>

          <div class="tabpanel" id="tb" hidden>
<pre class="code"><span class="c"># ─────────── INPUT (retry mode) ───────────</span>
<span class="p">{</span>
  <span class="n">"pid"</span>: <span class="s">"p-test001"</span>, <span class="n">"unit_id"</span>: <span class="s">"todo-be"</span>,
  <span class="n">"mode"</span>: <span class="s">"retry"</span>, <span class="n">"call_id"</span>: <span class="s">"call-t-002"</span>, ...
<span class="p">}</span>

<span class="c"># 上下文: Coder 已改 code/server.js (按上次 hint)</span>
<span class="c"># tests/ 不需要改,直接复用</span>

<span class="c"># step 1 · todolist 3 项 (retry 模板)</span>

<span class="c"># step 2 · Bash vitest 重跑</span>
<span class="c"># step 3 · parse_vitest</span>
<span class="c">//  5 passed, 0 failed</span>

<span class="c"># step 4 · bug_list(unit_id=todo-be, status=[open,fixing]) → 1 条:bug-..-c9f2</span>
<span class="c">#         之前 LoopController 让 Coder 干活时已转 open → fixing</span>
<span class="c">#         现在 ok=true → 转 fixing → fixed</span>
bug_transition(pid, <span class="s">"bug-20260513-1031-c9f2"</span>, <span class="p">{</span>
  to: <span class="s">"fixed"</span>, by: <span class="s">"tester"</span>,
  fix_refs: [<span class="s">"run-20260513-1034"</span>]
<span class="p">}</span>)

<span class="c"># OUTPUT</span>
<span class="p">{</span>
  <span class="n">"ok"</span>: <span class="v">true</span>, <span class="n">"mode"</span>: <span class="s">"retry"</span>, <span class="n">"unit_id"</span>: <span class="s">"todo-be"</span>,
  <span class="n">"run_id"</span>: <span class="s">"run-20260513-1034"</span>,
  <span class="n">"summary"</span>: <span class="p">{</span><span class="n">"total"</span>:<span class="v">5</span>,<span class="n">"passed"</span>:<span class="v">5</span>,<span class="n">"failed"</span>:<span class="v">0</span><span class="p">}</span>,
  <span class="n">"failures"</span>: <span class="p">[]</span>,
  <span class="n">"bugs_opened"</span>: <span class="p">[]</span>,
  <span class="n">"bugs_transitioned"</span>: <span class="p">[{</span> <span class="n">"id"</span>:<span class="s">"bug-...c9f2"</span>, <span class="n">"from"</span>:<span class="s">"fixing"</span>, <span class="n">"to"</span>:<span class="s">"fixed"</span> <span class="p">}]</span>,
  ...
<span class="p">}</span>

<span class="c"># LoopController 接 ok=true → Unit 转 passed → 等 L2 闸门</span></pre>
          </div>

          <div class="tabpanel" id="tc" hidden>
<pre class="code"><span class="c"># ─────────── INPUT (vitest 自身崩) ───────────</span>
<span class="p">{</span>
  <span class="n">"pid"</span>: <span class="s">"p-test001"</span>, <span class="n">"unit_id"</span>: <span class="s">"profile-be"</span>,
  <span class="n">"mode"</span>: <span class="s">"test"</span>, ...
<span class="p">}</span>

<span class="c"># step 3 · Bash vitest run → 退出码 1, 但不是测试失败</span>
<span class="c">#         vitest 启动时 require code/server.js 直接抛 SyntaxError</span>

<span class="c"># step 4 · parse_vitest 检测 raw.json 不存在或字段缺</span>
<span class="c">#         → result.crashed = true</span>
<span class="c">#         → next_action = "retry_tester" 而非 "retry_coder"</span>

<span class="c"># 写 result.json</span>
<span class="p">{</span>
  <span class="n">"run_id"</span>: <span class="s">"run-..."</span>, <span class="n">"unit_id"</span>: <span class="s">"profile-be"</span>,
  <span class="n">"ok"</span>: <span class="v">false</span>, <span class="n">"crashed"</span>: <span class="v">true</span>,
  <span class="n">"crash_reason"</span>: <span class="s">"vitest could not load ../code/server.js: SyntaxError"</span>,
  <span class="n">"stdout_tail"</span>: <span class="s">"...完整 stderr..."</span>,
  <span class="n">"next_action"</span>: <span class="s">"retry_tester"</span>     <span class="c">// 注意:不是 retry_coder</span>
<span class="p">}</span>

<span class="c"># bug_open 也开,但标 source='unit_test_infra' 区分</span>
<span class="c"># LoopController 接 crashed=true → retry Tester (而非 Coder)</span>
<span class="c">#                                 → retry 仍 crash → 升级 Coder retry</span></pre>
          </div>
        </div>
      </section>

      <section>
        <h2>⑦ 助手工具源码</h2>

        <h3>7.1 <code>parse-vitest-json.js</code> · vitest JSON reporter 解析</h3>
<pre class="code"><span class="c">// server/services/agent-tools/parse-vitest-json.js · ~80 行</span>
<span class="k">const</span> fs   = <span class="n">require</span>(<span class="s">'fs'</span>);
<span class="k">const</span> path = <span class="n">require</span>(<span class="s">'path'</span>);
<span class="k">const</span> <span class="p">{</span> buildHint <span class="p">}</span> = <span class="n">require</span>(<span class="s">'./hint-builder'</span>);

<span class="k">function</span> <span class="n">parseVitest</span>(rawJsonPath, opts = <span class="p">{}</span>) <span class="p">{</span>
  <span class="k">if</span> (!fs.<span class="n">existsSync</span>(rawJsonPath)) <span class="p">{</span>
    <span class="k">return</span> <span class="p">{</span>
      ok: <span class="v">false</span>, crashed: <span class="v">true</span>,
      crash_reason: <span class="s">'vitest raw json missing - process likely crashed early'</span>,
      summary: <span class="p">{</span> total:<span class="v">0</span>, passed:<span class="v">0</span>, failed:<span class="v">0</span>, skipped:<span class="v">0</span> <span class="p">}</span>,
      failures: <span class="p">[]</span>,
    <span class="p">}</span>;
  <span class="p">}</span>

  <span class="k">let</span> raw;
  <span class="k">try</span> <span class="p">{</span>
    raw = <span class="n">JSON.parse</span>(fs.<span class="n">readFileSync</span>(rawJsonPath, <span class="s">'utf8'</span>));
  <span class="p">}</span> <span class="k">catch</span> (e) <span class="p">{</span>
    <span class="k">return</span> <span class="p">{</span> ok:<span class="v">false</span>, crashed:<span class="v">true</span>, crash_reason: <span class="s">'invalid vitest json'</span>, summary:<span class="p">{}</span>, failures:<span class="p">[]</span> <span class="p">}</span>;
  <span class="p">}</span>

  <span class="k">const</span> summary = <span class="p">{</span> total:<span class="v">0</span>, passed:<span class="v">0</span>, failed:<span class="v">0</span>, skipped:<span class="v">0</span> <span class="p">}</span>;
  <span class="k">const</span> failures = <span class="p">[]</span>;

  <span class="c">// vitest 1.x JSON reporter 结构:</span>
  <span class="c">//   { testResults: [{ assertionResults: [{ status, fullName, failureMessages, ... }] }] }</span>
  <span class="k">for</span> (<span class="k">const</span> file <span class="k">of</span> (raw.<span class="n">testResults</span> || <span class="p">[]</span>)) <span class="p">{</span>
    <span class="k">for</span> (<span class="k">const</span> a <span class="k">of</span> (file.<span class="n">assertionResults</span> || <span class="p">[]</span>)) <span class="p">{</span>
      summary.<span class="n">total</span>++;
      <span class="k">if</span> (a.<span class="n">status</span> === <span class="s">'passed'</span>)  summary.<span class="n">passed</span>++;
      <span class="k">else</span> <span class="k">if</span> (a.<span class="n">status</span> === <span class="s">'failed'</span>) <span class="p">{</span>
        summary.<span class="n">failed</span>++;
        <span class="k">const</span> stack = (a.<span class="n">failureMessages</span> || <span class="p">[]</span>).<span class="n">join</span>(<span class="s">'\n'</span>);
        <span class="k">const</span> <span class="p">{</span> expected, got <span class="p">}</span> = <span class="n">extractAssertion</span>(stack);
        failures.<span class="n">push</span>(<span class="p">{</span>
          test: a.<span class="n">fullName</span>,
          expected, got, stack,
          hint: <span class="n">buildHint</span>(<span class="p">{</span> testName: a.<span class="n">fullName</span>, expected, got, stack <span class="p">}</span>),
        <span class="p">}</span>);
      <span class="p">}</span>
      <span class="k">else</span> summary.<span class="n">skipped</span>++;
    <span class="p">}</span>
  <span class="p">}</span>

  <span class="k">return</span> <span class="p">{</span>
    ok: summary.<span class="n">failed</span> === <span class="v">0</span> &amp;&amp; summary.<span class="n">total</span> &gt; <span class="v">0</span>,
    crashed: <span class="v">false</span>,
    summary, failures,
    duration_ms: raw.<span class="n">testResults</span>?.[<span class="v">0</span>]?.<span class="n">perfStats</span>?.<span class="n">runtime</span> || <span class="v">0</span>,
  <span class="p">}</span>;
<span class="p">}</span>

<span class="k">function</span> <span class="n">extractAssertion</span>(stack) <span class="p">{</span>
  <span class="k">const</span> exp = stack.<span class="n">match</span>(<span class="s">/Expected: ([^\n]+)/</span>);
  <span class="k">const</span> got = stack.<span class="n">match</span>(<span class="s">/Received: ([^\n]+)/</span>);
  <span class="k">return</span> <span class="p">{</span>
    expected: exp ? exp[<span class="v">1</span>].<span class="n">trim</span>() : <span class="v">null</span>,
    got:      got ? got[<span class="v">1</span>].<span class="n">trim</span>() : <span class="v">null</span>,
  <span class="p">}</span>;
<span class="p">}</span>

module.<span class="n">exports</span> = <span class="p">{</span> parseVitest <span class="p">}</span>;</pre>

        <h3>7.2 <code>hint-builder.js</code> · 失败 → 人话 hint</h3>
<pre class="code"><span class="c">// server/services/agent-tools/hint-builder.js · ~60 行</span>

<span class="k">const</span> PATTERNS = <span class="p">[</span>
  <span class="p">{</span>
    match: (s) =&gt; <span class="s">/cannot read.*?of undefined/i</span>.<span class="n">test</span>(s),
    hint:  (ctx) =&gt; <span class="s">'某个对象/字段是 undefined,先做存在性判断再访问'</span>,
  <span class="p">}</span>,
  <span class="p">{</span>
    match: (s) =&gt; <span class="s">/expected (\d+).*received (\d+)/i</span>.<span class="n">test</span>(s),
    hint:  (ctx) =&gt; <span class="p">{</span>
      <span class="k">const</span> m = ctx.<span class="n">stack</span>.<span class="n">match</span>(<span class="s">/expected (\d+).*received (\d+)/i</span>);
      <span class="k">const</span> exp = +m[<span class="v">1</span>], got = +m[<span class="v">2</span>];
      <span class="k">if</span> (exp === <span class="v">401</span> &amp;&amp; got === <span class="v">500</span>)
        <span class="k">return</span> <span class="s">'凭据错误应返 401 不是 500;检查认证路径是否 try/catch 兜底'</span>;
      <span class="k">if</span> (exp === <span class="v">400</span> &amp;&amp; got === <span class="v">500</span>)
        <span class="k">return</span> <span class="s">'参数校验错应返 400 不是 500;在 route 层检查后再传 service'</span>;
      <span class="k">if</span> (exp === <span class="v">404</span> &amp;&amp; got === <span class="v">200</span>)
        <span class="k">return</span> <span class="s">'不存在的资源不应返 200;返回前判断查询结果'</span>;
      <span class="k">return</span> <span class="s">`期望 </span><span class="v">${exp}</span><span class="s"> 收 </span><span class="v">${got}</span><span class="s">,检查对应分支处理`</span>;
    <span class="p">}</span>,
  <span class="p">}</span>,
  <span class="p">{</span>
    match: (s) =&gt; <span class="s">/TypeError.*compare/i</span>.<span class="n">test</span>(s),
    hint:  (ctx) =&gt; <span class="s">'调用 bcrypt.compare 前先确认 user 存在;否则 null 参数会抛 TypeError'</span>,
  <span class="p">}</span>,
  <span class="p">{</span>
    match: (s) =&gt; <span class="s">/SQLITE_CONSTRAINT/i</span>.<span class="n">test</span>(s),
    hint:  (ctx) =&gt; <span class="s">'数据库约束冲突(unique/foreign key),业务层应该先查再写'</span>,
  <span class="p">}</span>,
  <span class="p">{</span>
    match: (s) =&gt; <span class="s">/timeout/i</span>.<span class="n">test</span>(s),
    hint:  (ctx) =&gt; <span class="s">'某个异步操作超时;检查是否漏 await 或外部依赖未 mock'</span>,
  <span class="p">}</span>,
<span class="p">]</span>;

<span class="k">function</span> <span class="n">buildHint</span>(ctx) <span class="p">{</span>
  <span class="k">const</span> stack = ctx.stack || <span class="s">''</span>;
  <span class="k">for</span> (<span class="k">const</span> p <span class="k">of</span> PATTERNS) <span class="p">{</span>
    <span class="k">if</span> (p.<span class="n">match</span>(stack)) <span class="k">return</span> p.<span class="n">hint</span>(ctx);
  <span class="p">}</span>
  <span class="c">// fallback: Tester 在 prompt 里被要求人工审一遍补充</span>
  <span class="k">return</span> <span class="s">`</span><span class="v">${ctx.testName}</span><span class="s">: 期望 </span><span class="v">${ctx.expected}</span><span class="s"> 收 </span><span class="v">${ctx.got}</span><span class="s">,检查 stack 推断原因 (Tester 应补充)`</span>;
<span class="p">}</span>

module.<span class="n">exports</span> = <span class="p">{</span> buildHint, PATTERNS <span class="p">}</span>;</pre>

        <h3>7.3 <code>bug-bridge.js</code> · Tester ↔ bugs.ndjson</h3>
<pre class="code"><span class="c">// server/services/agent-tools/bug-bridge.js · ~70 行</span>
<span class="k">const</span> fs   = <span class="n">require</span>(<span class="s">'fs'</span>);
<span class="k">const</span> path = <span class="n">require</span>(<span class="s">'path'</span>);
<span class="k">const</span> <span class="p">{</span> bugTracker <span class="p">}</span> = <span class="n">require</span>(<span class="s">'../bug-tracker'</span>);

<span class="c">/**
 * Tester 收到 vitest failures 后,自动桥接到 bugs.ndjson
 * - dedup: 同 unit 同 test 已有 open/fixing → 复用 id
 * - 新 fail → bug_open
 * 调用方:Tester Agent 的工具调用 (而非直接 fs)
 */</span>
<span class="k">function</span> <span class="n">bridgeFailuresToBugs</span>(pid, unitId, runId, failures) <span class="p">{</span>
  <span class="k">const</span> bugs_opened = <span class="p">[]</span>;
  <span class="k">const</span> existing = bugTracker.<span class="n">list</span>(pid, <span class="p">{</span>
    unit_id: unitId,
    status: <span class="p">[</span><span class="s">'open'</span>, <span class="s">'fixing'</span><span class="p">]</span>,
  <span class="p">}</span>);

  <span class="k">for</span> (<span class="k">const</span> f <span class="k">of</span> failures) <span class="p">{</span>
    <span class="k">const</span> dedupKey = <span class="s">`</span><span class="v">${unitId}</span><span class="s">:</span><span class="v">${f.test}</span><span class="s">`</span>;
    <span class="k">const</span> dup = existing.<span class="n">find</span>(b =&gt; bugTracker.<span class="n">dedupKey</span>(b) === dedupKey);

    <span class="k">if</span> (dup) <span class="p">{</span>
      f.bug_id = dup.id;   <span class="c">// 复用,不新开</span>
    <span class="p">}</span> <span class="k">else</span> <span class="p">{</span>
      <span class="k">const</span> bug = bugTracker.<span class="n">open</span>(pid, <span class="p">{</span>
        source: <span class="s">'unit_test'</span>,
        unit_id: unitId, run_id: runId,
        test_name: f.test,
        category: <span class="s">'unknown'</span>,    <span class="c">// BugTriager 在 L2 才精修</span>
        severity: <span class="n">guessSeverity</span>(f),
        title: <span class="s">`</span><span class="v">${f.test}</span><span class="s">: 期望 </span><span class="v">${f.expected}</span><span class="s"> 收 </span><span class="v">${f.got}</span><span class="s">`</span>,
        detail: f.stack,
        affected_units: <span class="p">[</span>unitId<span class="p">]</span>,
      <span class="p">}</span>);
      f.bug_id = bug.id;
      bugs_opened.<span class="n">push</span>(bug.id);
    <span class="p">}</span>
  <span class="p">}</span>

  <span class="k">return</span> <span class="p">{</span> bugs_opened <span class="p">}</span>;
<span class="p">}</span>

<span class="k">function</span> <span class="n">bridgePassToBugs</span>(pid, unitId, runId) <span class="p">{</span>
  <span class="c">// 单测绿了 → 该 unit 所有 open/fixing 转 fixed</span>
  <span class="k">const</span> existing = bugTracker.<span class="n">list</span>(pid, <span class="p">{</span>
    unit_id: unitId, status: <span class="p">[</span><span class="s">'open'</span>, <span class="s">'fixing'</span><span class="p">]</span>,
  <span class="p">}</span>);
  <span class="k">const</span> transitioned = <span class="p">[]</span>;
  <span class="k">for</span> (<span class="k">const</span> b <span class="k">of</span> existing) <span class="p">{</span>
    bugTracker.<span class="n">transition</span>(pid, b.id, <span class="p">{</span>
      to: <span class="s">'fixed'</span>, by: <span class="s">'tester'</span>,
      fix_refs: <span class="p">[</span>runId<span class="p">]</span>,
    <span class="p">}</span>);
    transitioned.<span class="n">push</span>(<span class="p">{</span> id: b.id, from: b.<span class="n">status</span>, to: <span class="s">'fixed'</span> <span class="p">}</span>);
  <span class="p">}</span>
  <span class="k">return</span> <span class="p">{</span> bugs_transitioned: transitioned <span class="p">}</span>;
<span class="p">}</span>

<span class="k">function</span> <span class="n">guessSeverity</span>(f) <span class="p">{</span>
  <span class="k">if</span> (<span class="s">/5\d\d/</span>.<span class="n">test</span>(<span class="n">String</span>(f.got))) <span class="k">return</span> <span class="s">'high'</span>;
  <span class="k">if</span> (f.test.<span class="n">includes</span>(<span class="s">'security'</span>) || f.test.<span class="n">includes</span>(<span class="s">'auth'</span>)) <span class="k">return</span> <span class="s">'critical'</span>;
  <span class="k">return</span> <span class="s">'medium'</span>;
<span class="p">}</span>

module.<span class="n">exports</span> = <span class="p">{</span> bridgeFailuresToBugs, bridgePassToBugs <span class="p">}</span>;</pre>
      </section>

      <section>
        <h2>⑧ 自检 Checklist</h2>
        <table>
          <thead><tr><th>#</th><th>检查项</th><th>命令 / 工具</th><th>通过判定</th></tr></thead>
          <tbody>
            <tr><td>1</td><td>tests/ 至少含 N 个 it()(N = acceptance + contract responses)</td><td>cheerio-like scan</td><td>true</td></tr>
            <tr><td>2</td><td>result.json 通过 typebox</td><td>schema check (M-7)</td><td>合规</td></tr>
            <tr><td>3</td><td>每个 failure 有非空 hint</td><td>jsonpath</td><td>无空 hint</td></tr>
            <tr><td>4</td><td>bugs.ndjson 同步</td><td>对照 bug_open/transition 输出</td><td>bugs_opened/transitioned 全部有 entry</td></tr>
            <tr><td>5</td><td>沙箱无越界</td><td><code>scanSandbox</code></td><td>violations=[]</td></tr>
            <tr><td>6</td><td>没 mock 整个被测模块</td><td>spec 文件 grep <code>vi.mock('../code/'</code></td><td>无</td></tr>
            <tr><td>7</td><td>todolist 全 done</td><td>read agent-state/tester-todo.json</td><td>true</td></tr>
            <tr><td>8</td><td>timeline 含 unit_tested / test_failed / test_passed</td><td>tail</td><td>命中</td></tr>
            <tr><td>9</td><td>vitest 没超时(60s)</td><td>duration_ms &lt; 60000</td><td>true</td></tr>
            <tr><td>10</td><td>acceptance_coverage = 1.0</td><td>compare spec.json acceptance vs tests it() 名称</td><td>1.0</td></tr>
          </tbody>
        </table>
      </section>

      <section>
        <h2>⑨ 失败模式与降级</h2>
        <table class="dense">
          <thead><tr><th>场景</th><th>检测</th><th>降级</th></tr></thead>
          <tbody>
            <tr><td>vitest 自身崩</td><td>parse_vitest crashed=true</td><td>result.crashed=true · next_action='retry_tester'</td></tr>
            <tr><td>Tester 写 trivial test(永远绿)</td><td>spec 强制至少 1 negative case</td><td>Architect 在 spec.json 加 negative criterion</td></tr>
            <tr><td>Tester 越权改 code/</td><td>沙箱拒绝</td><td>—</td></tr>
            <tr><td>vitest 超时(&gt;60s)</td><td>Bash 工具超时</td><td>kill + result.crashed=true · 排查死循环测试</td></tr>
            <tr><td>hint 为空(只 fallback)</td><td>self-check 4</td><td>Tester 必须人工审 + 补充</td></tr>
            <tr><td>npm install 慢</td><td>同 Coder</td><td>缓存 node_modules 共享</td></tr>
            <tr><td>测试运行依赖网络(fetch real API)</td><td>vitest spec 扫描</td><td>禁止 · 必须 mock fetch</td></tr>
            <tr><td>vitest 版本与 LemonBoss 不一致</td><td>package.json 校验</td><td>用 LemonBoss 既有 vitest 版本</td></tr>
          </tbody>
        </table>
      </section>

      <section>
        <h2>⑩ 与其他 Agent 握手摘要</h2>
        <table class="dense">
          <thead><tr><th>对方</th><th>Tester 给的</th><th>Tester 收的</th></tr></thead>
          <tbody>
            <tr><td><b>Coder</b></td><td>tests/* + result.json.failures (含 hint)</td><td>code/** + contract.json</td></tr>
            <tr><td><b>Architect</b></td><td>(无)</td><td>spec.json acceptance + sdd tests 列表</td></tr>
            <tr><td><b>Integrator</b></td><td>tests/ 可复用作回归基础</td><td>(无)</td></tr>
            <tr><td><b>BugTracker</b></td><td>bug_open / bug_transition</td><td>—</td></tr>
            <tr><td><b>LoopController</b></td><td>TesterOutput JSON</td><td>TesterInput</td></tr>
            <tr><td><b>UnitRegistry</b></td><td>—</td><td>—(LoopController 中介)</td></tr>
            <tr><td><b>memory/devloop/tester/</b></td><td>很少写</td><td>启动注入</td></tr>
          </tbody>
        </table>
      </section>

      <section>
        <h2>⑪ 实战验证命令</h2>
<pre class="code"><span class="c"># 前置: Coder 已跑通,units/todo-be/code/* + contract.json 就绪</span>

<span class="c"># 1. 注册模板</span>
<span class="c">#    system/agents/devloop-tester/prompt.md ← 本页 §2.2</span>

<span class="c"># 2. 准备输入</span>
echo <span class="s">'{"pid":"p-test001","unit_id":"todo-be","mode":"test","call_id":"call-t-1","company_id":"c-test"}'</span> &gt; /tmp/tester-test.json

<span class="c"># 3. 调 Tester</span>
curl -X POST http://localhost:3010/api/devloop/_test/run-agent/tester -d @/tmp/tester-test.json

<span class="c"># 4. 期望:30-60 秒内</span>
<span class="c">#    units/todo-be/tests/*.spec.ts 生成</span>
<span class="c">#    units/todo-be/runs/{runId}/result.json 含 summary + failures (如有)</span>

<span class="c"># 5. 验证</span>
ls data/companies/c-test/projects/p-test001/units/todo-be/tests/
<span class="c"># 期望: 至少 1 个 .spec.ts</span>

cat data/companies/c-test/projects/p-test001/units/todo-be/runs/*/result.json | jq .summary
<span class="c"># 期望: { total: ≥4, passed/failed 看 Coder 代码质量 }</span>

cat data/companies/c-test/projects/p-test001/bugs.ndjson | head -5
<span class="c"># 期望: 若有 failure,每条 failure 对应 1 行 bug 记录 (status=open)</span>

<span class="c"># 6. 模拟 Coder 修后 retry</span>
echo <span class="s">'{"pid":"p-test001","unit_id":"todo-be","mode":"retry","call_id":"call-t-2","company_id":"c-test"}'</span> &gt; /tmp/tester-retry.json
curl -X POST http://localhost:3010/api/devloop/_test/run-agent/tester -d @/tmp/tester-retry.json

<span class="c"># 期望:</span>
<span class="c">#   result.json ok=true (Coder 已根据 hint 改了)</span>
<span class="c">#   bugs.ndjson 末尾新增一行 (同 id, status=fixed)</span>
node -e <span class="s">"
const {bugTracker} = require('./server/services/bug-tracker');
console.log(bugTracker.list('p-test001'));
"</span>
<span class="c"># 期望: 全部 bug 状态 = fixed</span></pre>
        <div class="callout ok">
          <b>Coder + Tester 这两 §⑪ 都通过 = L1 完整闭环验证完成。</b>Coder/Tester 反复跑直到 unit passed,这是整个 DevLoop 最高频运行的循环。
        </div>
      </section>

    </article>
    <nav class="prev-next"></nav>
    <footer class="site">
      <div><b>Section</b>02 · Design / Agents</div>
      <div><b>Page</b>agents-tester.html</div>
      <div><b>Spec Rev</b>v2 · 2026-05-13</div>
    </footer>
  </main>
</div>
<script src="assets/shell.js"></script>
</body>
</html>