AIP-09: Execution Model
Abstract#
Defines the abstract execution lifecycle.
Execution States#
-
IDLE
-
PLANNING
-
GATING
-
EXECUTING
-
MEMORY_UPDATE
-
DONE
Distributed environments MAY include:
-
SUSPENDED
-
MIGRATING
Normative Requirements#
-
Execution MUST be deterministic at side-effect boundaries.
-
Checkpointing MUST preserve state integrity.
-
Idempotency MUST be enforced for all side-effecting operations.
-
Migration MUST preserve lease and fencing semantics.
-
Execution state transitions MUST be traceable.