type Admission

bendvy-ecs-core@0.1.0.3 · execution_relation_failure_retention.bend:90

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout

90# Root setup admits the whole schema catalogue before executing any system.
91# A partial catalogue retains the callback and manifest rather than maintaining
92# only the convenient subset. Accepted programs are trusted framework evidence.
93type Admission<-S:Data,-resources:Layout.Layout> is Type:
94  Accepted{program:Program(~S,~resources)}
95  Refused{catalogue:Catalogue<S,resources>}