type Blueprint

bendvy-ecs-core@0.1.0.3 · execution_schema_provisioning.bend:13

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_command_permission.bend as Permission
import bendvy-ecs-core@0.1.0.3/execution_relation_failure_retention.bend as Retention

13# A provisioning declaration constructs its owner and framework maintenance
14# evidence together. It grants no capability to an executing gameplay body.
15type Blueprint<-S:Data,-resources:Layout.Layout,-Seed:Type> is Type:
16  Blueprint{build:U32 -> Seed -> Layout.resources(~S,resources),graphs:List<&2,Layout.Route>,scopes:List<&2,Layout.Route>,selection:Permission.Selection<S,resources>,retention:Retention.Program(~S,~resources),preflight:U32 -> Layout.resources(~S,resources) -> Layout.resources(~S,resources) & Bool}