DependencyApplication.trusted_build_checked: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/dependency_application.bend as DependencyApplication
Lines 77-81 of bendvy-ecs-core@0.1.0.3/dependency_application.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/dependency_application.bend&start_line=77&end_line=81

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

# Only declared System owners supply registration identity and access metadata.
# Build failure keeps every owner and refuses invocation on subsequent runs.
def 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>:
  match systems guards:
    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}

Uses (17):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=String
  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.3/dependency_application.bend&name=Application
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_application.bend&name=Binding
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_application.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_application.bend&name=checked_bindings
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_application.bend&name=checked_guards
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_application.bend&name=valid_bindings
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_executor.bend&name=Handling
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_executor.bend&name=Invocation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_plan.bend&name=Edge
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_plan.bend&name=build
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registration.bend&name=ConditionRegistry
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/dependency_registration.bend&name=Registry