Traces

Status: Draft stub.

Scope: compilation trace structure, input references, deterministic ordering, and replay support.

To complete: verify exact trace schemas and a trace that can be replayed with pinned inputs.