ExecutionSaveGate.checked: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_save_gate.bend as ExecutionSaveGate
Lines 8-13 of bendvy-ecs-core@0.1.0.3/execution_save_gate.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_gate.bend&start_line=8&end_line=13

import Base

# Framework boundary. The ordinary adapter supplies the closed owner inventory,
# not deferred history or a caller's estimate of outstanding work.
def checked(~Actual:Type,~Value:Data,~Error:Data,~project:Actual -> Actual & Outcome<Value,Error>,result:Actual & Bool) -> Actual & Outcome<Value,Error>:
  match result:
    case (actual,True{}):(actual,RefusedPending{})
    case (actual,False{}):project(actual)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_gate.bend&name=Outcome