TestServerConfig_TransportType 验证 transportType() 的推断逻辑。

--- Shell 模式测试 ---

TestSlidingWindow_ATypeOrphan_ToolResultWithoutCall 验证 A 类孤立修复： 向前回溯逻辑（backward scan）遇到非 tool_result 消息即停止， 导致 result 落入窗口但其 call 仍在 head 中，repairOrph

TestSlidingWindow_BTypeOrphan_ToolCallWithoutResult 验证 B 类孤立修复： 窗口内保留了 assistant(tool_call)，但其 tool_result 被截出窗口， repairOrphanedToolPairs 应插入占位 tool_r

TestStallNudgeKeepsReActLoopCorrect 验证：启用 WithStallNudge（连续多轮无进展工具即注入 一次停滞提示）后，ReAct 主循环仍正确运行——长时只读探索触发 nudge 注入，循环不被破坏， 工具调用序列与终止行为保持正确。这是停滞提示注入路径（ap

TestStallNudge_InjectedAfterWindowWithoutProgress 验证：连续 window 轮没有任何"进展工具" （edit_file/write_file）调用后，引擎向发送给 LLM 的历史副本注入一次停滞提示。

TestStallNudge_NotPersisted 验证停滞提示只注入临时副本，绝不持久化到会话。

TestStallNudge_ResetByProgressTool 验证：只要在 window 内调用过进展工具（edit_file）， 停滞计数被重置，不会触发停滞提示。

---- StdioTransport 边界条件测试（不启动真实子进程，通过 mockTransport 替代）---- TestStdioTransport_Send_CtxCancel 验证 ctx 取消时 Send 立即返回错误（不永久阻塞）。 使用 cancelledMockTranspor

TestStorePurgeExpiredReleasesSignature 验证 PurgeExpired 将过期记忆的 signature 置为 NULL， 使相同内容在过期后可以被重新添加（不触发 UNIQUE 约束冲突）。 修复前：PurgeExpired 仅设 disabled=1，保留

TestStoreSearchDisabledNotReturned 验证 Search 不返回已软删除的条目。

TestStoreSoftDeleteNotFound 验证 SoftDelete 在条目不存在时返回错误。

TestStoreUpdateNotFound 验证 Update 在条目不存在时返回 ErrNotFound 包装的错误。

TestSummarizationCompactor_CallsProviderAndInjectsSummary 验证超限时调用 Provider， 将摘要注入为单条 user 消息，并保留 tail 不变。

TestSummarizationCompactor_EmptyHeadNoOp 验证非 system 消息数量 ≤ MinTailMessages 时不压缩。

TestSummarizationCompactor_FallbackOnProviderError 验证 Provider 返回错误时 回退到 TokenBudgetCompactor 而非崩溃或返回未压缩数据。

TestSummarizationCompactor_IncrementalUpdate 验证 head 中已含摘要消息时， 向 Provider 发送增量更新 prompt（含 <previous-summary> 标签）。

TestSummarizationCompactor_NewConstructorDefaults 验证 NewSummarizationCompactor 的默认参数。

TestSummarizationCompactor_NilProviderFallback 验证 Provider 为 nil 时走 fallback 而非 panic。

TestSummarizationCompactor_NilResponseFallback 验证 Provider 返回 nil Message 时走 fallback。

TestSummarizationCompactor_NoSystemMessage 验证首条消息不是 system 时直接返回。

TestSummarizationCompactor_OrphanedToolPairRepaired 验证压缩后孤立的工具对被修复。

TestSummarizationCompactor_SummaryMarkerInOutput 验证摘要消息以 summaryMarker 开头， 以便下次压缩时能识别并执行增量更新。

TestSummarizationCompactor_UnderBudget 验证 token 未超限时原样返回，不调用 Provider。

TestSwebenchPrompt_InjectsHints 验证 hints_text 被注入 prompt（R3：维护者讨论常含决定性 API 设计，如 flask 的 text=True；此前被解析却从未注入，是最强信号被静默丢弃）。

TestSwebenchPrompt_MandatesRealVerification 验证 prompt 重平衡（R5/R7）： 不再把"退化为静态分析"写成默认逃生门，并加入最小化/错误点局部修复偏置与 deprecation 约定提示。

TestSwebenchPrompt_OmitsHintsSectionWhenEmpty 验证无 hints 时优雅省略整段（不留空标题/占位符）。

后台安全：即使调用方 ctx 携带"父 sink"，后台也绝不调用它（避免向已关闭 channel 发送）；进度只写入 tracker。

TestThinkingWordWrap_FirstWordExceedsWidth 验证首词超长（如 URL）时被正确 hard-break。

TestTodoWriteTool_BulkNewItemCompleted 验证批量新建 completed 条目（2 个以上）被拒绝。 单个新建直接 completed 允许（LLM 可能完成了工作再创建记录）， 同时新建 2+ 个 completed 条目视为作弊。

TestTodoWriteTool_BulkPendingToCompleted 验证批量 pending→completed（2 个以上）被拒绝。 单个任务直接 pending→completed 允许（LLM 实际完成工作但未经 in_progress 步骤）， 但同时完成 2+ 个未开始的任务

TestTodoWriteTool_CancelledToCompleted 验证 cancelled→completed 始终被拒绝。 cancelled 任务必须先恢复为 pending/in_progress 才能完成，不适用"单个允许"宽松规则。

TestTodoWriteTool_InProgressToCompleted 验证 in_progress→completed 允许通过。