v0.4.1

本次重点修复推理历史回放、目标误判与任务收官：保留真实推理块及已执行工具结果，目标达成须有对应证据，终验失败可追踪、可纠错并有界恢复。

修复

• 识别网关要求回传 content[].thinking 的原始 HTTP 400 措辞，进入有界历史恢复，保留已执行工具结果；强制开启推理等配置错误仍保留原错误。
• 对目标达成的成功结论增加独立支持性复核；布尔结论与理由不一致、实际成果属于其他目标或复核失败时，不再写入达成状态。两次审核共用原有 60 秒预算。
• 收官终验核实决定性缺口后立即拒绝完成并保存目标缺口，避免为否定结论遍历全部证明而耗尽预算；成功结论仍须核验全部必要目标与检查。
• 目标标记达成前独立审核证据，区分实际成果与检查完成；证明边、状态及审核理由在同一事务保存，并重新核对任务、目标、证据版本。
• 支持纠正错误的目标完成判定，保留原证明及原因；修改目标内容会撤销旧判定。终验返回具体目标证据缺口，任务面板与报告展示恢复信息。
• 收官申请检查全部目标，避免目标列表显示上限遗漏必要工作；阴性事实不能证明已获取 flag 或已确认漏洞。
• 任务终验默认预算改为 180 秒、16 轮并支持配置；复核期限与 Worker 排空期限分别展示，保留绝对截止时间和迟到结论保护。
• 对相同输入的终验失败持久保存类别、计数和恢复动作，瞬时故障最多自动重试两次并退避；重启或 Planner 再申请不会重置限制，人工恢复记录原因。
• 统一 Anthropic thinking 配置与单次请求覆盖：默认模式保留真实推理历史，显式关闭才过滤，非法模式明确报错。
• 对推理历史缺失增加原始块恢复、工具关联校验及有界会话恢复；保留旧 transcript 和已完成工具结果，记录恢复边界，支持重启继续。
• 模型池识别确定性历史和配置错误，避免无效故障转移及健康计数误清零。
• 保留流式 thinking 的块边界、分片签名、空块和 opaque 内容；NOA 不再改写带签名的推理文字。保存最小模型来源，切换不兼容配置时从记录恢复上下文。
• 断流不执行未收完的工具调用，并持久保存已执行工具的结果和部分响应，避免续聊遗漏副作用；缺少 message_stop 的响应明确报错。

代码组织

• 将 server.go、server_mgmt.go 中的 HTTP API、路由、模型装配、提示词模板及 Skill 文件操作按职责拆分，保留同一 server 包和现有接口。
• 接续拆分时保留 v0.4.0 的后台同步锁与启动恢复、四条同步历史/job 路由、任务收官 DTO/报告和 Windows Skill 路径修正，不改变数据库结构或配置格式。

验证与升级

• 四批功能修复及补充修复的 GitHub CI 已通过；本地完成构建、静态检查、隔离 PostgreSQL 下 Agent/DB/Server 竞态回归，以及 Norma 推理、会话和 transcript 回归。缺少外部环境的 live 用例不计为通过。
• 真实 DeepSeek 已验证流式与非流式多轮工具调用、历史冷加载、上下文恢复、成果与阴性检查的区分，以及结构化目标缺口和纠错。历史中记录的缺失 thinking HTTP 400 已用原文回归验证；当前网关的最小请求返回 200，不宣称本轮远端重现了该 400。
• 升级时保留现有配置和数据；启动会执行幂等数据库迁移，增加目标审核与终验重试信息。不会自动纠正历史任务的达成判定，历史误标需要在目标面板明确执行纠错。
• 发布包包含静态前端，提供 Linux/macOS amd64、arm64 和 Windows amd64 五个平台包及 SHA256 校验文件。

Full Changelog: v0.4.0...v4.0.1