Function save_state 

pub fn save_state<C: ContextAccess + ?Sized>(
    program: &Program,
    ctx: &C,
) -> SaveState

Capture a flow’s game state as a durable, name-keyed SaveState. Does not capture execution position — see the module docs.

ctx can be any ContextAccess implementor: World directly, a ContextView routing over (World, FlowLocal) (in which case every value captured is the effective value for that flow — a Local override where present, else World’s value on a read-through miss), or an ObservedContext wrapping either.