Enhance logging and documentation across utility tools and TUI overlays

- Added tracing instrumentation and improved logging messages in the Pong, Todofinish, and Todowrite tools for better debugging and monitoring.
- Enhanced documentation comments for clarity on tool functionalities and workflows.
- Implemented tracing in WorkflowRun, NoteFinding, ReadFindings, and HiveMind tools to track execution phases and findings.
- Updated TUI overlays (e.g., Bash, Clear Confirm, Editor, Effort Level, Help, Key Input, Learning, Loading, MCP, Model Selector, Plan, Quit Confirm, Rewind, Settings, Todo, Usage) with debug logging to capture rendering details.
- Improved the status bar and workflow panel rendering with additional debug information.
- Added tracing to various utility functions to facilitate better performance monitoring and error tracking.

apps/infrastructure/src/tools/lsp/diagnostics.rs

@@ -1,9 +1,18 @@
 //! Get diagnostics from LSP.
+//!
+//! Sends a `textDocument/diagnostic` request to the connected language
+//! server for a given file and returns errors, warnings, and other
+//! diagnostics.
 
 use crate::tools::{Tool, ToolCtx};
 use anyhow::Result;
 use serde_json::{json, Value};
+use tracing::{info, error, instrument};
 
+/// Tool that retrieves diagnostics (errors, warnings) from the LSP for a file.
+///
+/// Flow: parse language/path → lock LSP manager → find client
+/// → send `textDocument/diagnostic` → return pretty-printed JSON response.
 pub struct LspDiagnostics;
 
 impl Tool for LspDiagnostics {
@@ -32,14 +41,17 @@ impl Tool for LspDiagnostics {
         })
     }
 
+    #[instrument(skip(self, ctx, args))]
     fn run(&self, ctx: &ToolCtx, args: &Value) -> Result<String> {
         let language = crate::tools::arg_str(args, "language")?;
         let path = crate::tools::arg_str(args, "path")?;
 
+        info!(language, path, "LSP diagnostics requested");
+
         let manager = match ctx.lsp_manager.lock() {
             Ok(g) => g,
             Err(poisoned) => {
-                tracing::error!("LSP manager mutex poisoned, recovering");
+                error!("LSP manager mutex poisoned, recovering");
                 poisoned.into_inner()
             }
         };