CapturedScheduleComposition.pair_dispatch: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend as CapturedScheduleComposition
Lines 69-75 of bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend&start_line=69&end_line=75

import Base

# Advanced heterogeneous dispatch using the left catalog to choose a branch.
# Retains both owners, wraps errors as LeftError/RightError and preserves skip/
# refusal outcomes. The selected dispatcher performs registration validation;
# metadata membership alone confers no authority and adds no rollback.
def pair_dispatch(~World:Type,~L:Type,~R:Type,~LE:Data,~RE:Data,~catalog:L -> L & List<&2,Identity>,~left:L -> World -> U32 -> Outcome<World,L,LE>,~right:R -> World -> U32 -> Outcome<World,R,RE>,owners:L & R,world:World,id:U32) -> Outcome<World,L & R,Choice<LE,RE>>:
  match owners:
    case (a,b):pair_cataloged(~World,~L,~R,~LE,~RE,~left,~right,b,world,id,catalog(a))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend&name=Choice
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend&name=Identity
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend&name=pair_cataloged