Moira：Core live/replay ingest flow for Lachesis verification

[xiaoland]

Summary

为 Moira 增加一条可复用的 Core ingest source feature：

• attach 到 live Core OTLP stream
• replay 已捕获的 OTLP/session evidence
• 用于 Lachesis walkthrough、调试、演示与回归验证

Rationale

当前 Lachesis walkthrough 的一个现实问题是：如果没有正在运行的 Core，或没有可信的 replay source，就很难稳定复现 Moira 的 ingest/query/workspace 行为。

把 live/replay source 做成 Moira 自己的功能，会直接降低三类成本：

• verification 成本
• demo 成本
• contract drift 诊断成本

这条能力不依赖 Atropos/Clotho 完整闭环，可以独立为 Lachesis 提供真实输入。

Specification

1. Moira 可以连接到一条 live Core OTLP source，供 Lachesis 正常 ingest。
2. Moira 可以加载并 replay 一份已捕获的 OTLP/session evidence，生成与 live ingest 等价的 Lachesis browse surface。
3. replay 输入需要有最小元数据约束，避免“能播但不可解释”的匿名数据块。
4. 该能力应当能服务：
   • Lachesis walkthrough
   • bug reproduction
   • future contract regression checks

Acceptance Criteria

• 定义 replay/live source 的最小输入契约与证据格式边界。
• Moira 能 ingest 一条 live source 而不要求 Atropos 先接管该 Core。
• Moira 能 replay 一份 captured evidence，并 materialize wake list / tick timeline / selected tick detail。
• replay 结果在 operator surface 上与正常 ingest 路径保持可比性。
• 该能力与 Lachesis v1：contract 对齐与收口证据 #24 的 walkthrough 需求建立明确链接。

Technical Constraints

• 不把 replay 做成新的“第二 observability contract”；它只是另一种输入路径。
• 不为 replay 单独发明一套 Loom projection model。
• 证据格式必须包含足够的 run/tick/source metadata，避免生成不可追溯的匿名浏览面。

Backward Compatibility

Not required.

Alternatives Considered

• 只依赖 live Core，不做 replay：
  • 问题：验证与演示高度依赖外部时序，复现成本高。
• 只做 replay，不支持 live source attach：
  • 问题：会把真实运行中的诊断需求排除在外。

References

• related: Lachesis v1：contract 对齐与收口证据 #24
• parent working set: tasks/moira-v1/*
• docs: docs/30-unit-tdd/moira/verification.md