Module trace 

ExecutionTrace + TraceSink — 审计日志，与 Checkpoint 分离。

Checkpoint = Snapshot（恢复） ExecutionTrace = WAL（审计）

Runtime 层：强类型 ExecutionTrace<E>，E = S::Mutation 导出层：ExportedTrace，JSON 序列化

Structs

ExecutionTrace

执行追踪 — 强类型 Mutation 审计日志。

ExportedTrace

导出的追踪记录 — 统一 JSON 序列化，供外部消费。

ExportedTraceStep

MemoryTraceSink

内存 TraceSink — v0.4 默认实现。

TraceStep

执行步骤记录 — 单个节点的 Mutation 审计。

Traits

TraceSink

审计日志接收器 — Executor 通过 TraceSink 记录每一步。