pub fn replace_range_with_summary( messages: &[Message], range: &CompactRange, summary: String, turn_id: TurnId, ) -> Vec<Message>