1//! The Crux `App`: model, events, effects, update logic and view.
3//! Streaming works like this: after a successful connect the shell opens the
4//! `/event` SSE stream and forwards every decoded event as
5//! [`Event::ServerEvent`]. The core parses those and mutates the chat
6//! incrementally — creating the assistant message on `message.updated`, growing
7//! its text on `message.part.updated`, and clearing the "generating" flag on
8//! `session.idle`. User messages are shown optimistically the moment they're
9//! sent, so the stream only ever *adds* assistant content.
14 render::{render, RenderOperation},
17use crux_http::command::{Http, RequestBuilder};
18use crux_http::protocol::HttpRequest;
19use serde::{Deserialize, Serialize};
21use crate::protocol::{self, ServerEvent, WireMessageEnvelope, WirePart};
23/// Result of an HTTP effect handed back to the core.
24pub type HttpResult = Result<crux_http::Response<String>, crux_http::HttpError>;
26// ─── Events ──────────────────────────────────────────────────────────────────
29 // Lifecycle / connect
31 ServerUrlChanged(String),
32 UsernameChanged(String),
33 PasswordChanged(String),
38 SelectSession(String),
40 DeleteSession(String),
48 // A raw event line from the shell's `/event` SSE subscription.
56 // ── Internal: results of HTTP effects (never sent by the shell) ──────────
57 HealthProbed(HttpResult),
58 SessionsLoaded(HttpResult),
59 SessionCreated(HttpResult),
60 MessagesLoaded(String, HttpResult),
61 PromptSent(HttpResult),
62 SessionDeleted(HttpResult),
66// ─── Effects ─────────────────────────────────────────────────────────────────
71 Render(RenderOperation),
75// ─── Model ───────────────────────────────────────────────────────────────────
82 /// The server answered 401 to an unauthenticated probe — show credentials.
84 /// Credentials were accepted; attach the auth header to every request.
88 error: Option<String>,
91 sessions: Vec<SessionView>,
92 current_session_id: Option<String>,
93 current_session_title: String,
95 messages: Vec<MsgState>,
99 /// Monotonic counter for optimistic (client-side) user-message ids.
104 fn message_mut(&mut self, id: &str) -> Option<&mut MsgState> {
105 self.messages.iter_mut().find(|m| m.id == id)
108 fn has_credentials(&self) -> bool {
109 !self.username.is_empty() || !self.password.is_empty()
112 fn is_current(&self, session_id: &str) -> bool {
113 self.current_session_id.as_deref() == Some(session_id)
117/// Internal per-message state. Parts are tracked by id so streaming updates can
118/// upsert them; the [`MessageView`] handed to the shell is derived from these.
123 status: MessageStatus,
125 text_parts: Vec<(String, String)>,
126 reasoning_parts: Vec<(String, String)>,
127 tool_parts: Vec<(String, ToolView)>,
131 fn new(id: String, role: String, time: u64) -> Self {
136 status: MessageStatus::Sent,
138 text_parts: Vec::new(),
139 reasoning_parts: Vec::new(),
140 tool_parts: Vec::new(),
144 fn upsert_part(parts: &mut Vec<(String, String)>, id: &str, text: String) {
145 if let Some(slot) = parts.iter_mut().find(|(pid, _)| pid == id) {
148 parts.push((id.to_string(), text));
152 fn upsert_tool(&mut self, id: &str, view: ToolView) {
153 if let Some(slot) = self.tool_parts.iter_mut().find(|(pid, _)| pid == id) {
156 self.tool_parts.push((id.to_string(), view));
160 fn remove_part(&mut self, part_id: &str) {
161 self.text_parts.retain(|(pid, _)| pid != part_id);
162 self.reasoning_parts.retain(|(pid, _)| pid != part_id);
163 self.tool_parts.retain(|(pid, _)| pid != part_id);
166 fn to_view(&self) -> MessageView {
167 let join = |parts: &[(String, String)]| {
168 parts.iter().map(|(_, t)| t.as_str()).collect::<String>()
170 let reasoning = join(&self.reasoning_parts);
173 role: self.role.clone(),
174 text: join(&self.text_parts),
175 reasoning: (!reasoning.is_empty()).then_some(reasoning),
176 tools: self.tool_parts.iter().map(|(_, t)| t.clone()).collect(),
178 status: self.status.clone(),
179 streaming: self.streaming,
184// ─── View model ──────────────────────────────────────────────────────────────
186#[derive(Serialize, Deserialize, Clone, Debug, Default, PartialEq, Eq)]
194#[derive(Serialize, Deserialize, Clone, Debug, Default)]
195pub struct SessionView {
200#[derive(Serialize, Deserialize, Clone, Debug, Default, PartialEq, Eq)]
201pub enum MessageStatus {
208#[derive(Serialize, Deserialize, Clone, Debug, Default)]
212 pub title: Option<String>,
215#[derive(Serialize, Deserialize, Clone, Debug, Default)]
216pub struct MessageView {
220 pub reasoning: Option<String>,
221 pub tools: Vec<ToolView>,
223 pub status: MessageStatus,
227#[derive(Serialize, Deserialize, Clone, Debug, Default)]
228pub struct ViewModel {
230 pub server_url: String,
231 pub username: String,
232 pub password: String,
233 pub auth_required: bool,
236 pub error: Option<String>,
237 pub sessions: Vec<SessionView>,
238 pub current_session_id: Option<String>,
239 pub current_session_title: String,
240 pub messages: Vec<MessageView>,
242 pub generating: bool,
245// ─── App ─────────────────────────────────────────────────────────────────────
248pub struct OpencodeApp;
251 fn get(&self, model: &Model, path: &str) -> RequestBuilder<Effect, Event, String> {
252 let url = format!("{}{path}", model.server_url);
253 self.with_auth(Http::get(&url).expect_string(), model)
256 fn post_json(&self, model: &Model, path: &str, body: &serde_json::Value) -> RequestBuilder<Effect, Event, String> {
257 let url = format!("{}{path}", model.server_url);
258 let bytes = serde_json::to_vec(body).unwrap_or_default();
259 let req = Http::post(&url)
261 .header("Content-Type", "application/json")
263 self.with_auth(req, model)
266 fn delete(&self, model: &Model, path: &str) -> RequestBuilder<Effect, Event, String> {
267 let url = format!("{}{path}", model.server_url);
268 self.with_auth(Http::delete(&url).expect_string(), model)
271 /// Attach an RFC 7617 Basic-Auth header when the model carries credentials.
272 fn with_auth<E>(&self, req: RequestBuilder<Effect, Event, E>, model: &Model) -> RequestBuilder<Effect, Event, E>
276 if model.has_credentials() {
277 let creds = format!("{}:{}", model.username, model.password);
278 let encoded = base64::engine::general_purpose::STANDARD.encode(creds.as_bytes());
279 req.header("Authorization", format!("Basic {encoded}"))
286impl App for OpencodeApp {
289 type ViewModel = ViewModel;
290 type Effect = Effect;
292 fn update(&self, event: Event, model: &mut Model) -> Command<Effect, Event> {
294 // ── Lifecycle / connect ─────────────────────────────────────────
295 Event::Start => render(),
297 // Store the field verbatim while typing; normalizing here would fight
298 // the user's edits (e.g. eat the "://" as they type it). The URL is
299 // normalized once, on Connect.
300 // Clear any prior error as soon as the user edits a field, so a stale
301 // message (e.g. "Invalid credentials") doesn't linger while they correct it.
302 Event::ServerUrlChanged(url) => {
303 model.server_url = url;
304 if model.error.is_some() {
309 Event::UsernameChanged(u) => {
311 if model.error.is_some() {
316 Event::PasswordChanged(p) => {
318 if model.error.is_some() {
325 model.server_url = normalize_url(&model.server_url);
326 if model.server_url.is_empty() {
327 model.error = Some("Enter a server URL".to_string());
330 model.loading = true;
332 model.auth_required = false;
333 render().and(self.get(model, "/global/health").build().then_send(Event::HealthProbed))
336 Event::HealthProbed(result) => self.on_health_probed(model, result),
338 // ── Sessions ────────────────────────────────────────────────────
339 Event::LoadSessions => {
340 model.loading = true;
341 render().and(self.get(model, "/session").build().then_send(Event::SessionsLoaded))
344 Event::SessionsLoaded(result) => {
345 model.loading = false;
346 match ok_body(result) {
348 model.sessions = protocol::parse_sessions(&body)
350 .map(|s| SessionView {
352 title: display_title(&s.title),
355 // Impose a stable alphabetical order so the list doesn't shuffle
356 // with whatever order the server happens to return sessions in.
357 model.sessions.sort_by_key(|s| s.title.to_lowercase());
359 Err(e) => model.error = Some(e),
364 Event::SelectSession(id) => {
365 model.current_session_title = model
368 .find(|s| s.id == id)
369 .map(|s| s.title.clone())
370 .unwrap_or_default();
371 model.current_session_id = Some(id.clone());
372 model.messages.clear();
373 model.screen = Screen::Chat;
374 model.loading = true;
376 render().and(Command::event(Event::LoadMessages(id)))
379 Event::CreateSession => {
380 model.loading = true;
382 self.post_json(model, "/session", &serde_json::json!({}))
384 .then_send(Event::SessionCreated),
388 Event::SessionCreated(result) => {
389 model.loading = false;
390 match ok_body(result) {
392 if let Some(s) = protocol::parse_session(&body) {
393 let view = SessionView {
395 title: display_title(&s.title),
397 if !model.sessions.iter().any(|e| e.id == view.id) {
398 model.sessions.insert(0, view);
400 return render().and(Command::event(Event::SelectSession(s.id)));
402 model.error = Some("Malformed session response".to_string());
404 Err(e) => model.error = Some(e),
409 Event::DeleteSession(id) => {
410 model.sessions.retain(|s| s.id != id);
411 let mut cmd = self.delete(model, &format!("/session/{id}")).build().then_send(Event::SessionDeleted);
412 if model.is_current(&id) {
413 model.current_session_id = None;
414 model.messages.clear();
415 model.screen = Screen::Sessions;
417 cmd = render().and(cmd);
421 Event::SessionDeleted(result) => {
422 if let Err(e) = ok_body(result) {
423 model.error = Some(e);
428 // ── Chat ────────────────────────────────────────────────────────
429 Event::LoadMessages(id) => {
431 self.get(model, &format!("/session/{id}/message"))
433 .then_send(move |result| Event::MessagesLoaded(id.clone(), result)),
437 Event::MessagesLoaded(session_id, result) => {
438 if !model.is_current(&session_id) {
441 model.loading = false;
442 match ok_body(result) {
444 model.messages = protocol::parse_messages(&body).iter().map(message_from_wire).collect();
445 model.generating = model.messages.iter().any(|m| m.streaming);
447 Err(e) => model.error = Some(e),
452 Event::DraftChanged(text) => {
457 Event::SendMessage(text) => {
458 let text = text.trim().to_string();
459 let Some(session_id) = model.current_session_id.clone() else {
465 model.local_seq += 1;
466 let mut user = MsgState::new(format!("local-{}", model.local_seq), "user".to_string(), 0);
467 user.status = MessageStatus::Pending;
468 MsgState::upsert_part(&mut user.text_parts, "local", text.clone());
469 model.messages.push(user);
471 model.generating = true;
474 let body = serde_json::json!({ "parts": [{ "type": "text", "text": text }] });
476 self.post_json(model, &format!("/session/{session_id}/prompt_async"), &body)
478 .then_send(Event::PromptSent),
482 Event::PromptSent(result) => {
483 match ok_body(result) {
484 Ok(_) => set_last_pending(model, MessageStatus::Sent),
486 set_last_pending(model, MessageStatus::Failed);
487 model.generating = false;
488 model.error = Some(e);
494 Event::CancelGeneration => {
495 model.generating = false;
496 match model.current_session_id.clone() {
497 Some(id) => render().and(
498 self.post_json(model, &format!("/session/{id}/abort"), &serde_json::json!({}))
500 .then_send(Event::Aborted),
506 Event::Aborted(_) => render(),
508 // ── SSE ─────────────────────────────────────────────────────────
509 Event::ServerEvent(json) => {
510 if let Some(event) = protocol::parse_event(&json) {
511 apply_server_event(model, event);
516 // ── Navigation / misc ───────────────────────────────────────────
517 Event::NavigateToSessions => {
518 model.screen = Screen::Sessions;
519 model.current_session_id = None;
520 model.messages.clear();
521 model.generating = false;
522 render().and(self.get(model, "/session").build().then_send(Event::SessionsLoaded))
525 Event::NavigateToConnect => {
526 model.screen = Screen::Connect;
527 model.connected = false;
528 model.sessions.clear();
529 model.messages.clear();
530 model.current_session_id = None;
534 Event::DismissError => {
541 fn view(&self, model: &Model) -> ViewModel {
543 screen: model.screen.clone(),
544 server_url: model.server_url.clone(),
545 username: model.username.clone(),
546 password: model.password.clone(),
547 auth_required: model.auth_required,
548 connected: model.connected,
549 loading: model.loading,
550 error: model.error.clone(),
551 sessions: model.sessions.clone(),
552 current_session_id: model.current_session_id.clone(),
553 current_session_title: model.current_session_title.clone(),
554 messages: model.messages.iter().map(MsgState::to_view).collect(),
555 draft: model.draft.clone(),
556 generating: model.generating,
562 fn on_health_probed(&self, model: &mut Model, result: HttpResult) -> Command<Effect, Event> {
563 let has_creds = model.has_credentials();
566 let status = response.status().as_u16();
568 model.loading = false;
570 model.error = Some("Invalid credentials".to_string());
572 model.auth_required = true;
576 if (200..300).contains(&status) {
580 model.connected = true;
581 model.auth_required = false;
583 model.screen = Screen::Sessions;
584 model.loading = true;
585 return render().and(self.get(model, "/session").build().then_send(Event::SessionsLoaded));
587 model.loading = false;
588 model.error = Some(format!("Server returned status {status}"));
592 model.loading = false;
593 model.error = Some(format!("Connection failed: {e}"));
600// ─── SSE application ─────────────────────────────────────────────────────────
602fn apply_server_event(model: &mut Model, event: ServerEvent) {
604 // Only assistant messages are created from the stream — the user's own
605 // message is already shown optimistically, so ignoring the server's copy
606 // avoids a duplicate bubble.
607 ServerEvent::MessageUpdated { properties } => {
608 let info = properties.info;
609 if info.role != "assistant" || !model.is_current(&info.session_id) {
612 let streaming = info.time.completed.is_none() && info.error.is_none();
613 if let Some(msg) = model.message_mut(&info.id) {
614 msg.streaming = streaming;
616 msg.time = info.time.created;
619 let mut msg = MsgState::new(info.id.clone(), "assistant".to_string(), info.time.created);
620 msg.streaming = streaming;
621 model.messages.push(msg);
623 if let Some(err) = info.error {
624 model.error = Some(err.message());
625 model.generating = false;
629 // Apply only to a message we already track (an assistant message from the
630 // event above). Parts for unknown ids are ignored — see module docs.
631 ServerEvent::MessagePartUpdated { properties } => {
632 let part = properties.part;
633 let delta = properties.delta;
634 let msg_id = part.message_id().to_string();
635 let Some(msg) = model.message_mut(&msg_id) else {
639 WirePart::Text { id, text, synthetic, .. } => {
643 let value = pick_text(text, &delta, &msg.text_parts, &id);
644 MsgState::upsert_part(&mut msg.text_parts, &id, value);
646 WirePart::Reasoning { id, text, .. } => {
647 let value = pick_text(text, &delta, &msg.reasoning_parts, &id);
648 MsgState::upsert_part(&mut msg.reasoning_parts, &id, value);
650 WirePart::Tool { id, tool, state, .. } => {
651 let sv = protocol::tool_state_view(&state);
652 msg.upsert_tool(&id, ToolView { name: tool, status: sv.status, title: sv.title });
654 WirePart::Other => {}
658 ServerEvent::MessagePartRemoved { properties } => {
659 if let Some(msg) = model.message_mut(&properties.message_id) {
660 msg.remove_part(&properties.part_id);
664 ServerEvent::MessageRemoved { properties } => {
665 model.messages.retain(|m| m.id != properties.message_id);
668 ServerEvent::SessionIdle { properties } => {
669 if model.is_current(&properties.session_id) {
670 model.generating = false;
671 for m in &mut model.messages {
677 ServerEvent::SessionError { properties } => {
678 let scoped = properties.session_id.as_deref().map_or(true, |s| model.is_current(s));
680 if let Some(err) = properties.error {
681 model.error = Some(err.message());
683 model.generating = false;
687 ServerEvent::SessionCreated { properties } | ServerEvent::SessionUpdated { properties } => {
688 let s = properties.info;
689 let view = SessionView { id: s.id.clone(), title: display_title(&s.title) };
690 if let Some(existing) = model.sessions.iter_mut().find(|e| e.id == view.id) {
691 existing.title = view.title.clone();
693 model.sessions.insert(0, view);
695 if model.is_current(&s.id) {
696 model.current_session_title = display_title(&s.title);
700 ServerEvent::SessionDeleted { properties } => {
701 let id = properties.session_id.or(properties.info.map(|i| i.id));
702 if let Some(id) = id {
703 model.sessions.retain(|s| s.id != id);
704 if model.is_current(&id) {
705 model.current_session_id = None;
706 model.messages.clear();
707 model.screen = Screen::Sessions;
712 ServerEvent::Other => {}
716// ─── Helpers ─────────────────────────────────────────────────────────────────
718/// `part.text` is the full current text when present; otherwise fall back to
719/// accumulating the incremental `delta` onto whatever we already have.
720fn pick_text(text: String, delta: &Option<String>, existing: &[(String, String)], part_id: &str) -> String {
721 if !text.is_empty() {
724 let prior = existing.iter().find(|(pid, _)| pid == part_id).map(|(_, t)| t.clone()).unwrap_or_default();
726 Some(d) => format!("{prior}{d}"),
731fn message_from_wire(env: &WireMessageEnvelope) -> MsgState {
732 let info = &env.info;
733 let mut msg = MsgState::new(info.id.clone(), info.role.clone(), info.time.created);
734 msg.streaming = info.role == "assistant" && info.time.completed.is_none() && info.error.is_none();
735 for part in &env.parts {
737 WirePart::Text { id, text, synthetic, .. } => {
739 MsgState::upsert_part(&mut msg.text_parts, id, text.clone());
742 WirePart::Reasoning { id, text, .. } => {
743 MsgState::upsert_part(&mut msg.reasoning_parts, id, text.clone());
745 WirePart::Tool { id, tool, state, .. } => {
746 let sv = protocol::tool_state_view(state);
747 msg.upsert_tool(id, ToolView { name: tool.clone(), status: sv.status, title: sv.title });
749 WirePart::Other => {}
755fn set_last_pending(model: &mut Model, status: MessageStatus) {
756 if let Some(msg) = model.messages.iter_mut().rev().find(|m| m.status == MessageStatus::Pending) {
761/// Trim whitespace and any trailing `/` so paths concatenate cleanly, and
762/// default to an `http://` scheme when the user didn't type one (e.g.
763/// "192.168.1.10:4096") — otherwise the shell's URL parser rejects it.
764fn normalize_url(url: &str) -> String {
765 let trimmed = url.trim().trim_end_matches('/');
766 if trimmed.is_empty() {
768 } else if trimmed.contains("://") {
771 format!("http://{trimmed}")
775fn display_title(title: &str) -> String {
776 let t = title.trim();
778 "Untitled".to_string()
784/// Reduce an [`HttpResult`] to `Ok(body)` for 2xx, or `Err(message)` otherwise.
785fn ok_body(result: HttpResult) -> Result<String, String> {
787 Ok(mut response) => {
788 let status = response.status().as_u16();
789 if (200..300).contains(&status) {
790 Ok(response.take_body().unwrap_or_default())
792 Err(format!("Server returned status {status}"))
795 Err(e) => Err(format!("Request failed: {e}")),
799// ─── Tests ───────────────────────────────────────────────────────────────────
805 fn app() -> OpencodeApp {
806 OpencodeApp::default()
809 /// Put the model into a connected Chat view for the given session.
810 fn in_chat(session_id: &str) -> Model {
811 let mut model = Model::default();
812 model.server_url = "http://localhost:4096".to_string();
813 model.connected = true;
814 model.screen = Screen::Chat;
815 model.current_session_id = Some(session_id.to_string());
819 fn feed(app: &OpencodeApp, model: &mut Model, json: serde_json::Value) {
820 let _ = app.update(Event::ServerEvent(json.to_string()), model);
824 fn server_url_is_kept_raw_while_typing() {
826 let mut model = Model::default();
827 // Mid-scheme input must survive verbatim — normalizing per keystroke
828 // would eat the "://" the user is typing and make the field unusable.
829 let _ = app.update(Event::ServerUrlChanged("http:/".into()), &mut model);
830 assert_eq!(app.view(&model).server_url, "http:/");
834 fn connect_normalizes_scheme_less_url() {
836 let mut model = Model::default();
837 // A scheme-less host (what a user often types) must gain http:// on
838 // connect, or the shell's URL parser throws and the attempt crashes.
839 let _ = app.update(Event::ServerUrlChanged("192.168.1.10:4096".into()), &mut model);
840 assert_eq!(app.view(&model).server_url, "192.168.1.10:4096");
841 let _ = app.update(Event::Connect, &mut model);
842 assert_eq!(app.view(&model).server_url, "http://192.168.1.10:4096");
846 fn connect_trims_and_keeps_explicit_scheme() {
848 let mut model = Model::default();
849 let _ = app.update(Event::ServerUrlChanged(" https://host:4096/ ".into()), &mut model);
850 let _ = app.update(Event::Connect, &mut model);
851 assert_eq!(app.view(&model).server_url, "https://host:4096");
855 fn connect_requires_a_url() {
857 let mut model = Model::default();
858 let _ = app.update(Event::Connect, &mut model);
859 assert_eq!(app.view(&model).error.as_deref(), Some("Enter a server URL"));
863 fn sending_adds_optimistic_user_message_and_sets_generating() {
865 let mut model = in_chat("ses_1");
866 let _ = app.update(Event::DraftChanged("hello there".into()), &mut model);
867 let _ = app.update(Event::SendMessage("hello there".into()), &mut model);
869 let view = app.view(&model);
870 assert!(view.generating);
871 assert!(view.draft.is_empty());
872 assert_eq!(view.messages.len(), 1);
873 assert_eq!(view.messages[0].role, "user");
874 assert_eq!(view.messages[0].text, "hello there");
875 assert_eq!(view.messages[0].status, MessageStatus::Pending);
879 fn empty_send_is_ignored() {
881 let mut model = in_chat("ses_1");
882 let _ = app.update(Event::SendMessage(" ".into()), &mut model);
883 assert!(app.view(&model).messages.is_empty());
884 assert!(!app.view(&model).generating);
888 fn assistant_reply_streams_in_from_sse() {
890 let mut model = in_chat("ses_1");
892 // Assistant message shell arrives first.
893 feed(&app, &mut model, serde_json::json!({
894 "type": "message.updated",
895 "properties": { "info": {
896 "id": "msg_a", "role": "assistant", "sessionID": "ses_1",
897 "time": { "created": 100 }
900 assert_eq!(app.view(&model).messages.len(), 1);
901 assert!(app.view(&model).messages[0].streaming);
903 // Two text deltas for the same part accumulate into full text.
904 feed(&app, &mut model, serde_json::json!({
905 "type": "message.part.updated",
906 "properties": { "part": {
907 "id": "prt_1", "messageID": "msg_a", "sessionID": "ses_1",
908 "type": "text", "text": "Hello"
911 feed(&app, &mut model, serde_json::json!({
912 "type": "message.part.updated",
913 "properties": { "part": {
914 "id": "prt_1", "messageID": "msg_a", "sessionID": "ses_1",
915 "type": "text", "text": "Hello, world"
919 let view = app.view(&model);
920 assert_eq!(view.messages[0].role, "assistant");
921 assert_eq!(view.messages[0].text, "Hello, world");
925 fn text_delta_accumulates_when_full_text_absent() {
927 let mut model = in_chat("ses_1");
928 feed(&app, &mut model, serde_json::json!({
929 "type": "message.updated",
930 "properties": { "info": { "id": "msg_a", "role": "assistant", "sessionID": "ses_1", "time": {"created": 1}}}
932 for delta in ["Wor", "ld"] {
933 feed(&app, &mut model, serde_json::json!({
934 "type": "message.part.updated",
936 "part": { "id": "p", "messageID": "msg_a", "sessionID": "ses_1", "type": "text", "text": "" },
941 assert_eq!(app.view(&model).messages[0].text, "World");
945 fn user_message_from_sse_is_not_duplicated() {
947 let mut model = in_chat("ses_1");
948 let _ = app.update(Event::SendMessage("hi".into()), &mut model);
949 // Server echoes the user message on the stream — must be ignored.
950 feed(&app, &mut model, serde_json::json!({
951 "type": "message.updated",
952 "properties": { "info": { "id": "msg_user", "role": "user", "sessionID": "ses_1", "time": {"created": 5}}}
954 let users = app.view(&model).messages.iter().filter(|m| m.role == "user").count();
955 assert_eq!(users, 1);
959 fn session_idle_clears_generating() {
961 let mut model = in_chat("ses_1");
962 let _ = app.update(Event::SendMessage("hi".into()), &mut model);
963 assert!(app.view(&model).generating);
964 feed(&app, &mut model, serde_json::json!({
965 "type": "session.idle", "properties": { "sessionID": "ses_1" }
967 assert!(!app.view(&model).generating);
971 fn idle_for_other_session_is_ignored() {
973 let mut model = in_chat("ses_1");
974 let _ = app.update(Event::SendMessage("hi".into()), &mut model);
975 feed(&app, &mut model, serde_json::json!({
976 "type": "session.idle", "properties": { "sessionID": "ses_other" }
978 assert!(app.view(&model).generating);
982 fn reasoning_and_tool_parts_are_surfaced() {
984 let mut model = in_chat("ses_1");
985 feed(&app, &mut model, serde_json::json!({
986 "type": "message.updated",
987 "properties": { "info": { "id": "m", "role": "assistant", "sessionID": "ses_1", "time": {"created": 1}}}
989 feed(&app, &mut model, serde_json::json!({
990 "type": "message.part.updated",
991 "properties": { "part": { "id": "r", "messageID": "m", "type": "reasoning", "text": "thinking..." }}
993 feed(&app, &mut model, serde_json::json!({
994 "type": "message.part.updated",
995 "properties": { "part": {
996 "id": "t", "messageID": "m", "type": "tool", "tool": "bash",
997 "state": { "status": "completed", "title": "ls -la" }
1000 let msg = &app.view(&model).messages[0];
1001 assert_eq!(msg.reasoning.as_deref(), Some("thinking..."));
1002 assert_eq!(msg.tools.len(), 1);
1003 assert_eq!(msg.tools[0].name, "bash");
1004 assert_eq!(msg.tools[0].status, "completed");
1005 assert_eq!(msg.tools[0].title.as_deref(), Some("ls -la"));
1009 fn session_created_event_updates_list() {
1011 let mut model = in_chat("ses_1");
1012 feed(&app, &mut model, serde_json::json!({
1013 "type": "session.created",
1014 "properties": { "info": { "id": "ses_new", "title": "Fresh" }}
1016 assert!(app.view(&model).sessions.iter().any(|s| s.id == "ses_new" && s.title == "Fresh"));
1020 fn unknown_event_types_are_ignored() {
1022 let mut model = in_chat("ses_1");
1023 feed(&app, &mut model, serde_json::json!({
1024 "type": "pty.created", "properties": { "whatever": true }
1026 feed(&app, &mut model, serde_json::json!({ "type": "totally.new.event" }));
1027 // No panic, no state change.
1028 assert!(app.view(&model).messages.is_empty());
1032 fn messages_loaded_parses_info_and_parts() {
1034 let mut model = in_chat("ses_1");
1035 let body = serde_json::json!([
1036 { "info": { "id": "m1", "role": "user", "sessionID": "ses_1", "time": {"created": 1} },
1037 "parts": [{ "id": "p1", "type": "text", "text": "Question?" }] },
1038 { "info": { "id": "m2", "role": "assistant", "sessionID": "ses_1", "time": {"created": 2, "completed": 3} },
1039 "parts": [{ "id": "p2", "type": "text", "text": "Answer." }] }
1041 let result: HttpResult = Ok(crux_http::testing::ResponseBuilder::ok().body(body).build());
1042 let _ = app.update(Event::MessagesLoaded("ses_1".into(), result), &mut model);
1044 let view = app.view(&model);
1045 assert_eq!(view.messages.len(), 2);
1046 assert_eq!(view.messages[0].text, "Question?");
1047 assert_eq!(view.messages[1].text, "Answer.");
1048 assert!(!view.messages[1].streaming);
1049 assert!(!view.generating);
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list