Expand description
Fold-replay for causal node lifecycle state (ADR-067 P1-graph / WEFT-629).
set_node_state emits a
causal.node.state chain event
on every real transition. Folding those events (optionally plus
causal.node.add / causal.node.remove) reconstructs
node_id → state at any chain sequence without requiring a full graph
snapshot.
This is the chain-event fold half of P1-graph. ADR-067 also describes a per-commit snapshot-diff path (more faithful for un-instrumented mutations); both can coexist — fold is the small kernel ask named by WEFT-629.
Structs§
- Node
State Transition - A single parsed
causal.node.statetransition.
Functions§
- fold_
node_ states - Fold a sequence of chain events into
node_id → current state. - fold_
node_ states_ from_ chain - Fold all events on a
ChainManager(viaChainManager::tail). - fold_
node_ states_ until - Fold only events with
sequence <= at_seq(scrub to chain time T). - parse_
node_ state_ event - Parse a chain event into a
NodeStateTransitionwhen kind matches.