pub fn replay(
rows: &[EditRow],
seed: BTreeMap<Symbol, Expr>,
) -> Result<BTreeMap<Symbol, Expr>>Expand description
Re-apply a ledger to a seed canonical state, yielding the final state.
Rows are applied in order; for a resource, the last set-value wins. This is
the replay surface that proves the ledger is auditable: feeding the rows
produced by a run of edits back over the original seed reproduces the final
canonical state of the hub.
Every committed row carries the universal {op: set-value, ...} operation,
so replay fails closed if a row’s operation is not a set-value: a foreign
or corrupted ledger row is surfaced as an error rather than silently dropped,
which would otherwise reproduce a state that never existed.