Function agent_state_model 

pub fn agent_state_model(
    agent: &AgentDecl,
    types: &HashMap<String, Arc<TypeDecl>>,
) -> AgentStateModel

Derive every state machine of agent. types is the unit’s combined type table (ContextBoundaryInfo::types); a state field whose type doesn’t resolve to a sum in it is skipped, not guessed (#2195 DECISION A).