日志、派生历史、重放与 Fork

结论：这里没有一种“Replay”，而是六套彼此不能替代的重建契约

这个设计最重要的品质不是“保存了聊天记录”，而是让不同消费者声明自己需要哪一种真相。代价也正来自这里：逻辑历史可能比物理落盘日志更完整，UI 可能刻意隐藏失败 attempt，而 Fork 已发布也不等于 parent/child 已原子落盘。

1. 六种经常被混称为 Replay 的操作

2. 每个模型 attempt 先保存 raw stream，成功后才提交语义消息

3. Retry 同时维护“审计真相”和“用户当前看到的真相”

4. “每次请求可重建”由 Surface 与完整 Header 两部分共同成立

Request at dispatch boundary
= fresh Session(log prefix).deriveMessages()
+ foldRequestHeader(log prefix)
   ├─ provider / model / reasoning effort
   ├─ system prompt
   ├─ ordered tool schemas
   └─ temperature / maxTokens / stop

这里的精确性来自两种互补日志：Message history 由 Surface fold 决定，非消息 request 参数由完整 header snapshot 的 last-wins fold 决定。Raw chunks 证明 Provider 返回了什么，却不参与自己所属请求的输入重建。

5. 空 completion 也可以是耐久的成功锚点

当 Provider 正常停止却没有可见 content，或 max-token 截断使不安全的半截 tool call 被 assembler 丢弃时，Agent 仍追加 content 为空的 assistant/message，并引用这次 attempt 的 chunks。Chapter 09 已说明空 assistant 不进入 deriveMessages()；在这里它的作用是记录“请求成功结束过”以及 usage/replay boundary，而不是给模型加入空轮次。

6. 持久化提供四种不同的读面

对 live Session，inspect 可返回仍在 open turn 的内存快照；load 则先 flush，并拒绝把 open live turn 包装成“完整 durable inspection”。同一个函数名不能只看“是否读到了 events”，还要看它承诺的 logical balance 与 ownership。

7. Crash repair 不伪造成功，只确定性地封闭未知状态

8. Cold history 可以逻辑完整，而磁盘此刻仍物理未闭合

physical artifact:  turn/start → tool/call ───────────────┐
                                                         │ inspect only
logical history:   turn/start → tool/call → unknown result → step/end → interrupted turn/end

load / prepare:    compare revision → commit repair → reload exact committed graph

因此冷浏览器 History 可以安全显示一次中断闭合，而同一时刻 readFrom 或 raw artifact 仍展示 open physical tail。前者回答“按恢复规则，这段会话逻辑上是什么”；后者回答“后端确实存了哪些字节/事件”。把这两者强行统一，反而会丢失诊断能力。

9. Write-behind 把热路径提交与磁盘 durability 分开

10. Core Fork 是 live source 的 inclusive prefix copy

• 空 source 可以产生带 lineage 的空 child。
• Source 后面已有 open Turn 时，仍可选择它之前的旧稳定 boundary。
• Turn 结束后的 title、plugin marker 等 log-only event 可以包含在 prefix 中。
• 稳定性只以 Turn bracket 为硬边界；跨 prefix 的 plugin bracket 可随 seed 继承，并由新的 end-seed marker 划开 ownership。
• Seed 被 detach、snapshot 和 freeze；父子不共享可变 event array。

11. Host Fork 把消息锚点提升为“包含整轮”的产品语义

Host 可以从 attached live state 或 cold inspect 读 source，不需要先 resume Agent。它复制 prefix，继承 cwd、lineage、seedLength 和 source 当前 composition，创建新 Agent，再尝试继承 Workspace。若 Workspace attach 失败，响应明确返回已创建 child ID；child 不会因为外围归组失败而被隐式撤销。LOG-HOST-FORKLOG-HISTORY-CONTRACT

12. Fork publication 与跨 Session durability 之间存在明确 crash window

这并不会破坏正常进程中的 child 内容：child 已复制完整内存前缀。风险只出现在恰当时刻进程崩溃或 backend 写失败时，可能出现 child 尚未物化，或 child 已写入而 parent 的同一尾部仍在 write-behind 的非对称状态。当前设计的权威 durability primitive 是显式 flush，而 Fork API 没有在返回前对父子做双 barrier。

13. History 分页保留连续 raw range，而不是返回 Message DTO

Tail page 自然包含尚无 final message 的 partial chunks；较早页面只按 beforeSeq 截断。每个 entry 可携带一个 Host 当前根据 presenter registry 计算的 tool view，但 view 从不持久化，也不属于 event envelope。调用参数若在更早页，当前页 backscan 找不到时会降级成 generic presentation；事实本身仍完整。LOG-HISTORY-VIEW

14. 浏览器通过“拉尾页 + 缓存 live + seq 补洞”收敛

subscribe starts ────────────────┐
                               ├─ liveBuffer
history tail request ──────────┘
            ↓ install raw window
drop seq overlap → append contiguous live tail
            ↓
if next.seq > tail.seq + 1: buffer + refetch tail + restitch

因此重连不是“从 server offset 继续推”；它是用 durable/raw History 建基线，再用 seq 对 live frames 去重和补洞。Seq 同时承担 ordering、dedup、gap detection 与 UI correlation。

15. Query trace 和 Raw export 服务不同的审计问题

Query 是对逻辑 event graph 的可解释计算；Export 是保全物理证据。前者帮助回答“这个节点为何被遮蔽、从哪里来”，后者帮助独立工具重新检查原始文件。LOG-QUERY-TRACELOG-RAW-EXPORT

16. 已确认的边界、缺口与规模风险

• 有意取舍：retry 失败内容在 UI 隐藏、在 raw log 保留。
• 有意取舍：tool render view 是当前代码的即时 projection，跨页缺少 call args 时允许 generic fallback。
• 有意取舍：logical inspect 可提前给出 deterministic recovery，不强迫只读页面修改磁盘。
• 未知：本研究没有执行故障注入、超大历史响应或真实断线实验；不能把源码推断写成已复现事故。

17. 设计评价与验证状态