type Application

bendvy-ecs-core@0.1.0.4 · ordinary_app_condition_schedule.bend:12

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend as Schedule
import bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend as DTO
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Fields
import bendvy-ecs-core@0.1.0.4/ordinary_condition_declaration.bend as Condition

12# The same closed ordinary Program derives operational routing and descriptions.
13# Existing provision, step order, dispatch, condition truth, skip and barriers run
14# unchanged. Stateful registered conditions/readers remain outside this adapter.
15# Ordinary scheduled App retaining materialized condition entries from the
16# same closed Program used to route predicates. World/system owners remain
17# single; stateful registered guards/readers use their separate binding APIs.
18type Application<S:Data,C:Type,R:Type,E:Data,H:Type,Rows:Data,-observe:W.World<S,C,R,E> -> W.World<S,C,R,E> & DTO.Observation<Rows>,-fold:H -> H & List<&2,Fields.Fields<S>>,-Ids:Data,-declaration:Condition.Program<S,C,R,E,Ids>> is Type:
19  Application{scheduled:Schedule.Application<S,C,R,E,H,Rows,observe,fold>,program:Condition.Entries<S>}