Separation of Generic Runtime and Control Profile in StateM
StateM explicitly separates two functional architectural layers: the generic runtime and the task-specific control profile.
- Generic Runtime: Provides reusable, workflow-agnostic mechanisms for state persistence, transition validation, hook execution, execution history logging, and fault recovery.
- Control Profile: Encoded in a domain-specific runbook artifact, specifying the phases, contextual prompts, concrete exit checks, edge guards, and repair policies tailored to a particular class of work or benchmark.
This separation ensures that the core state-machine execution substrate remains static and reusable across diverse models and environments, while procedural knowledge and domain rules can be adapted and versioned independently.
0
1
Tags
Prep Sessions
Long-Horizon Agent Reliability: Stateful Scaffolding and Runtime Verification @ University of Michigan - Ann Arbor
Ch.2 Runtime Architecture and Boundary Control - Long-Horizon Agent Reliability: Stateful Scaffolding and Runtime Verification @ University of Michigan - Ann Arbor
StateM Runtime and Runbook Architecture - Long-Horizon Agent Reliability: Stateful Scaffolding and Runtime Verification @ University of Michigan - Ann Arbor
Learn After
In StateM, in what artifact is the task-specific control profile encoded?
In StateM, procedural knowledge and domain rules are embedded directly within the static execution substrate.
What is the primary architectural advantage of keeping StateM's core state-machine execution substrate separated from its procedural knowledge and domain rules?