def run

bendvy-ecs-core@0.1.0.4 · event_runtime.bend:262

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/system.bend as Sy

262# Validate token namespace/registry identity, then invoke the actual registered
263# runner with ordered unread Data, lag flag and Args. Admission rejection returns
264# Args without body execution; registry checks remain authoritative in Sy.run.
265# Success advances reader cursor and synchronizes returned publications. Callback
266# failure preserves unread position, activating an absent reader under the failed-
267# reader rule; returned World is whatever the callback returned, not automatically
268# rolled back by this runtime. Actual transaction behavior belongs to the runner.
269# Runtime ticks and reader cursors are distinct from system lifecycle cursors.
270def run(~S: Data,~C: Type,~R: Type,~E: Data,~A: Type,~Error: Data,~O: Type,~runner: W.World<S,C,R,E> -> Input<E,A> -> Sy.Outcome<W.World<S,C,R,E>,Error,O>,runtime: Runtime<S,C,R,E>,reader: Reader<S>,registry: Sy.Registry<S,C,R,E,Input<E,A>,Error,O,runner>,args: A) -> RunResult<S,C,R,E,A,Error,O,runner>:
271  run_identified(~S,~C,~R,~E,~A,~Error,~O,~runner,runtime,reader,Sy.identity(~S,~C,~R,~E,~Input<E,A>,~Error,~O,~runner,registry),args)