def trusted_build_checked

bendvy-ecs-core@0.1.0.3 · dependency_application.bend:77

import Base
import bendvy-ecs-core@0.1.0.3/dependency_plan.bend as Plan
import bendvy-ecs-core@0.1.0.3/dependency_executor.bend as Exec
import bendvy-ecs-core@0.1.0.3/dependency_registration.bend as Reg

77# Only declared System owners supply registration identity and access metadata.
78# Build failure keeps every owner and refuses invocation on subsequent runs.
79def trusted_build_checked(~World:Type,~Owners:Type,~Guards:Type,~Handler:Type,~Error:Data,~Out:Data,~dispatch:Owners -> World -> U32 -> Owners & (World & Exec.Invocation<Error,Out>),~guardDispatch:Guards -> World -> U32 -> Guards & (World & Exec.Invocation<Error,Bool>),~handle:Handler -> Error -> Handler & Exec.Handling,~available:String -> Bool,world:World,systems:Reg.Registry<World,Owners,Error,Out,dispatch>,guards:Reg.ConditionRegistry<World,Guards,Error,guardDispatch>,handler:Handler,edges:List<&2,Plan.Edge>,+bindings:List<&2,Binding>) -> Application<World,Owners,Guards,Handler,Error,Out,dispatch,guardDispatch,handle>:
80  match systems guards:
81    case Reg.Registry{owners,+nodes} Reg.ConditionRegistry{Reg.Registry{guardOwners,+guardNodes},invalid}:Application{State{world,owners,guardOwners,handler,bindings},checked_guards(checked_bindings(invalid,Plan.build(~String,~available,guardNodes,[])),checked_bindings(valid_bindings(bindings,nodes,guardNodes),Plan.build(~String,~available,nodes,edges))),bindings}