feat(tui): update system message for clarity and conciseness in tool usage instructions

apps/infrastructure/src/tools/utility/todofinish.rs

@@ -28,8 +28,39 @@ impl Tool for Todofinish {
         })
     }
 
-    fn run(&self, _ctx: &ToolCtx, args: &Value) -> Result<String> {
+    fn run(&self, ctx: &ToolCtx, args: &Value) -> Result<String> {
         let item = crate::tools::arg_str(args, "item")?;
+        
+        let todo_path = ctx.session_dir.join("TODO.md");
+        let mut content = std::fs::read_to_string(&todo_path).unwrap_or_default();
+        
+        // Very basic replace to mark as finished
+        let mut replaced = false;
+        let lines: Vec<&str> = content.lines().collect();
+        let mut new_lines = Vec::new();
+        for line in lines {
+            if line.contains(&item) && line.starts_with("- [") {
+                let s = line.replacen("- [high]", "- [x]", 1)
+                            .replacen("- [medium]", "- [x]", 1)
+                            .replacen("- [low]", "- [x]", 1);
+                // if it didn't match those, just replace the first `[`
+                let s = if s == line { line.replacen("[ ]", "[x]", 1) } else { s };
+                new_lines.push(s);
+                replaced = true;
+            } else {
+                new_lines.push(line.to_string());
+            }
+        }
+        
+        if replaced {
+            content = new_lines.join("\n") + "\n";
+            let _ = std::fs::write(&todo_path, &content);
+            if let Some(events) = &ctx.turn_events {
+                let mut q = events.lock().unwrap();
+                q.push_back(crate::TurnEvent::TodoUpdate(content));
+            }
+        }
+        
         Ok(format!("TODO completed: {}", item))
     }
 }

apps/infrastructure/src/tools/utility/todowrite.rs

@@ -33,13 +33,26 @@ impl Tool for Todowrite {
         })
     }
 
-    fn run(&self, _ctx: &ToolCtx, args: &Value) -> Result<String> {
+    fn run(&self, ctx: &ToolCtx, args: &Value) -> Result<String> {
         let item = crate::tools::arg_str(args, "item")?;
         let priority = args
             .get("priority")
             .and_then(|v| v.as_str())
             .unwrap_or("medium");
 
+        let todo_line = format!("- [{}] {}\n", priority, item);
+        
+        let todo_path = ctx.session_dir.join("TODO.md");
+        let mut content = std::fs::read_to_string(&todo_path).unwrap_or_default();
+        content.push_str(&todo_line);
+        
+        let _ = std::fs::write(&todo_path, &content);
+
+        if let Some(events) = &ctx.turn_events {
+            let mut q = events.lock().unwrap();
+            q.push_back(crate::TurnEvent::TodoUpdate(content));
+        }
+
         Ok(format!("[{}] TODO added: {}", priority, item))
     }
 }