def run

bendvy-ecs-core@0.1.0.4 · system.bend:90

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

90# Validate runtime namespace and live registration metadata, then invoke
91# the runner. Rejection returns original Args, World and Registry unchanged
92# in ownership; completed failure returns only the runner Error/World.
93# Every admitted execution captures this_run and records it on success or error.
94# Rejection leaves time/cursor unchanged. Runner defines rollback behavior.
95def run(~S: Data,~C: Type,~R: Type,~E: Data,~Args: Type,~Error: Data,~Output: Type,~runner: W.World<S,C,R,E> -> Args -> Outcome<W.World<S,C,R,E>,Error,Output>,registry: Registry<S,C,R,E,Args,Error,Output,runner>,world: W.World<S,C,R,E>,args: Args) -> RunResult<S,C,R,E,Args,Error,Output,runner>:
96  run_namespace(~S,~C,~R,~E,~Args,~Error,~Output,~runner,registry,W.namespace(~S,~C,~R,~E,world),args)