OwnedEventJournal.finish: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/owned_event_journal.bend as OwnedEventJournal
Lines 25-29 of bendvy-ecs-core@0.1.0.4/owned_event_journal.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_journal.bend&start_line=25&end_line=29

import Base
import bendvy-ecs-core@0.1.0.4/recovery_journal.bend as Journal

# Reverse the action spine once: commits retain the global inter-family order,
# and abort receipts retain each family's order. Every closure executes once.
def finish(~State:Type,~Recovery:Type,stage:Stage<State,Recovery>,success:Bool,state:State,recovery:Recovery) -> State & Recovery:
  match stage:
    case Stage{newest,_}:Journal.finish(~State,~Recovery,List.reverse(&1,Journal.Action(~State,~Recovery),newest),success,state,recovery)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_event_journal.bend&name=Stage
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recovery_journal.bend&name=Action
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recovery_journal.bend&name=finish