feat: 为研究报告引入 claim 身份与 claim↔evidence 双向映射

[eric7h]

改动说明

Deep Research 报告的 EvidenceRef 此前只有一个自由文本 claim 字段：没有稳定 id，也无法从某条证据反查引用它的结论，重新加载后没有任何可依赖的映射。

本 PR 只做 issue #13 里的数据关系这一层 —— claim 身份、claim ↔ evidence 双向映射，以及让它在组装、持久化、重载、导出之间保持一致；不含 verifier，也不含 UI 跳转。

• core：EvidenceRef 增加稳定 id 与 claimId；新增 ResearchClaim；ResearchReport 增加可选 claims 列表
• shared / claim-evidence：新增模块。所有 id 都由报告自身携带的数据派生（section key / run id / capability id / 位置），所以存储、重载、导出之后能重建出与组装时完全一致的映射；提供 claim → evidence、evidence → claim 双向查询，以及“无证据 claim”检测
• shared / runner：组装报告时为每个 section 写入 claim 与双向链接；capability 失败的 section 仍保留 claim，但以空 evidence 暴露出来
• shared / export：Markdown 证据行携带 claim id，可选出完整映射 JSON；无证据的 claim 单独列出，不再混在正文里冒充已证实结论

已 rebase 到最新 main（4eca2d1）。packages/shared/src/research/runner.ts 与 #80（持久化检查点与崩溃恢复）、#59（canonical instrument identity）有重叠，冲突按两边都保留的方式解决：evidence 仍然写入 instrumentId，同时带上稳定的 id / claimId 并登记进 claims。

关联 Issue

Related to #13 —— 只覆盖该 Issue 的 claim / evidence 数据关系部分，不关闭整个 Issue。

验证

环境：macOS 15.7.3（Darwin 24.6.0，arm64）；Bun 1.4.2，与 .github/workflows/pr.yml 里固定的 BUN_VERSION: '1.4.2' 一致。

三个 focused test（本 PR 涉及的文件），实际命令：

bun test packages/shared/src/research/claim-evidence.test.ts \
         packages/shared/src/research/runner.test.ts \
         packages/shared/src/export/markdown.test.ts --isolate

结果：27 pass / 0 fail（163 expect() calls）

改动工作区全量与类型检查：

bun test packages/shared --isolate   # 897 pass / 0 fail
bun test packages/core --isolate     # 36 pass / 0 fail
bun run typecheck                    # core / i18n / shared / ui / electron 全部 exit 0

附带确认：改用 Bun 1.4.2 后，全仓 bun test --isolate 为 1365 pass / 7 skip / 0 fail。之前描述里记录的 340 个失败确实只来自本机旧的 Bun 1.3.5，与 main 无关，该记录作废。

UI 截图（涉及 UI 时必填）

• 本 PR 不涉及 UI 变化

未触碰 packages/ui，没有可见渲染差异：Markdown 导出只在证据行追加了 claim id，原有文本不变，既有的 toContain 断言全部保持通过。

Scope / 后续

本 PR 是 issue #13 的第一步。

未完成、留给后续 PR：

• evidence 定位到原始 source 的 passage / span（当前仍指向 capability run）
• claim 级 verifier（supported / contradicted / insufficient_evidence）
• 报告 UI 的 claim → passage 跳转与 evidence → claim 反查
• 走真实模型 + 真实 retrieval 的 Deep Research E2E 验证，以及截图 / 录屏

向后兼容：新增字段全部可选；读取历史报告时按 section key + 位置派生 id，既有渲染与导出结果不变。

[helsome]

这条作为 #13 的 claim↔evidence 数据关系增量是合理的，不要求你补 verifier 或真实 Deep Research E2E。当前只补测试报告环境一致性：请注明 OS，并用仓库固定的 Bun 1.4.2 至少重跑本 PR 三个 focused test（claim-evidence / runner / markdown export），给出实际命令与 pass/fail。你现在记录的全仓 340 failures 来自 Bun 1.3.5，已经不能作为当前 main 的有效 baseline；无需为了它重跑全仓。补齐 focused 1.4.2 结果即可继续审核。

[eric7h]

已按反馈补齐，谢谢确认 scope。

• 已 rebase 到最新 main（4eca2d1）。packages/shared/src/research/runner.ts 与 feat: 为 Deep Research 增加持久化检查点与崩溃恢复 #80、feat: add canonical instrument identity and symbol resolution #59 有重叠，冲突按两边都保留的方式解决：evidence 仍然写入 instrumentId，同时带上稳定的 id / claimId 并登记进 claims。
• 环境：macOS 15.7.3（Darwin 24.6.0，arm64）；Bun 1.4.2，与 pr.yml 里固定的版本一致。

三个 focused test，实际命令与结果：

bun test packages/shared/src/research/claim-evidence.test.ts \
         packages/shared/src/research/runner.test.ts \
         packages/shared/src/export/markdown.test.ts --isolate
# → 27 pass / 0 fail (163 expect() calls)

改动工作区与类型检查：

bun test packages/shared --isolate   # 897 pass / 0 fail
bun test packages/core --isolate     # 36 pass / 0 fail
bun run typecheck                    # core / i18n / shared / ui / electron 全部 exit 0

顺带用 1.4.2 跑了一次全仓 bun test --isolate：1365 pass / 7 skip / 0 fail。之前记录的 340 个失败确认只来自本机旧的 Bun 1.3.5，已在 PR 描述里作废，不再作为 baseline 引用。

PR 描述已同步更新。

Bun 1.4.2 / macOS 环境与 focused/full/typecheck 报告已经补齐，原测试报告 blocker 已解决；下面的新 review 只针对后来出现的统一 Evidence Contract 架构重叠。

[helsome]

测试与当前实现质量本身没问题，新的 blocker 来自后续出现的统一 Evidence Contract（#104）：当前 PR 新增 ResearchClaim、claim:<section>:<index>、evidence:<run>:<capability>，而 #104 已定义 EvidenceClaim 与统一 claim_ / ev_ 身份语义。两套都合进 main 会让 verifier、Source Inspector、Eval/Export 后续维护双重 join 规则。

请不要继续扩这套平行模型。建议等 #104 的 contract blocker 修完后 rebase，并把本 PR 收敛成“基于统一 EvidenceBundle 的 research report claim↔evidence 生产接线/反向索引”：复用 core 的 EvidenceClaim/EvidenceItem/ID 语义，保留你现有的 persistence/reload/export 与 unbacked-claim 测试价值即可。若 #104/#105 已完全覆盖某部分，可直接删掉重复实现，不要求保留文件数。

另外 #13 当前已由 @KKK-keria 认领；这个增量可以继续存在，但请把边界写清楚为数据接线，不要与 verifier completion path 竞争。无需补真实 E2E 或 UI 截图来处理本轮 blocker。