feat(dashboard): extract inline script to standalone dashboard.ts/js, add UI build/check recipes, and add route unit tests

server/src/tools.rs

@@ -1157,6 +1157,8 @@ pub struct TasksTool {
     pub git_branch: Option<String>,
     /// Acceptance criteria (required for 'set_criteria').
     pub criteria: Option<Vec<String>>,
+    /// Verification proof or details (optional for 'verify').
+    pub proof: Option<String>,
     /// Summary level: 'compact', 'detailed', or 'full' (for 'list').
     pub summary_level: Option<String>,
     /// Maximum tokens budget cap (for 'list').