type RunResult

bendvy-ecs-core@0.1.0.4 · ordinary_app_service.bend:23

import Base
import bendvy-ecs-core@0.1.0.4/schedule.bend as Sch
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

23# Every run result retains App. Missing reports unmet preflight requirements;
24# Rejected is schedule admission refusal. Failed carries runner failure and
25# observations; none of these add external IO rollback or payload recovery.
26type RunResult<App:Type,S:Data> is Type:
27  Finished{app:App,observations:List<&2,Sch.Observation>}
28  Failed{app:App,error:Unit,observations:List<&2,Sch.Observation>}
29  Rejected{app:App}
30  Missing{app:App,missing:List<&2,SP.Requirement<S>>}