def run

bendvy-ecs-core@0.1.0.4 · ordinary_resource_system.bend:80

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend as Query
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/system.bend as Sys

80# Registry's existing namespace and registration checks remain authoritative.
81# Run tracked registration, returning its full success/refusal result plus slot.
82# Refusal retains actual registry, World and Args under Sys.RunResult; successful
83# execution returns callback Out, while callback failure does not return Out.
84def run(~S:Data,~C:Type,~R:Type,~E:Data,~Args:Type,~Error:Data,~Out:Type,~kind:Query.Mode,~runner:W.World<S,C,R,E> -> Args -> Sys.Outcome<W.World<S,C,R,E>,Error,Out>,owner:Owner<S,Sys.Registry<S,C,R,E,Args,Error,Out,runner>,kind>,world:W.World<S,C,R,E>,args:Args) -> Sys.RunResult<S,C,R,E,Args,Error,Out,runner> & String:
85  match owner:
86    case Owner{registry,slot}:(Sys.run(~S,~C,~R,~E,~Args,~Error,~Out,~runner,registry,world,args),slot)