pub fn push_user_prompt(messages: &mut Vec<SharedMessage>, prompt: &str)Expand description
Append a user prompt to messages without creating two consecutive user
messages: a turn that ended on its tool results (a budget stop) already
ends with a user message, which then gets the prompt as a text block.