feat: search normalized session archives

Author: sarthakagrawal927

PROJECT_STATUS.md

@@ -23,15 +23,15 @@ CodeVetter is a local-first desktop workbench for checking agent-generated code.
 - Review Memory Graph has a repo-level and review-scoped first slice: Repo Unpacked now persists a deterministic local `repo_graph` artifact with package scripts, routes, Tauri commands, DB tables, tests, and decision markers; exports local graph JSON plus agent-context markdown sidecars for optional Graphify/Hunk-style interop without adding either dependency; imports graph JSON only through an explicit Repo Unpacked file action, validates CodeVetter or loose graph-shaped JSON, and renders imported graphs as non-mutating previews; CLI review results also carry a bounded local graph over changed files, evidence candidates, procedure gates, blast/history context, the review prompt includes that graph neighborhood, Review shows a compact graph panel plus selected-finding graph focus, copied reviewer proof includes both full graph and focused finding graph nodes/edges, and Review can copy a selected finding as a Hunk-style agent-context note with file/line, evidence status, local history, focused graph, and next verification actions.
 - Agent Verification Timeline has a first normalized spine: Review now builds a shared task/review/QA/evidence/claim-check/fix/worktree timeline contract, attaches bounded raw-session command anchors to evidence rows with transcript excerpts, adds a dedicated Claim check row for failed/stale command claims, explicit extracted agent claims, positive test/check claims contradicted by failed/stale command evidence, unchecked findings, unresolved post-fix QA, and fixes without same-flow reruns, attaches edit-origin anchors for fix changed files to worktree rows, renders timeline stages and anchors in the sidebar, exposes first-class jump targets for findings, files, QA artifacts, fix worktrees, command source anchors, and edited files, shows same-flow post-fix QA before/after deltas with artifact anchors on the QA row, can copy segment-scoped fix packets directly from Review/Evidence/QA/Fix/Worktree timeline rows, includes clicked-row timeline replay metadata and transcript snippets in those packets, and includes the same timeline plus source/event/artifact/jump/edit/transcript anchors in copied reviewer proof.
 - Codebase History Explainer has a first file-level slice: Review now builds bounded, cited "why this code exists" explanations from local commits, decision markers, recurring findings, agent notes, and command anchors, renders them in the sidebar, and includes them in copied reviewer proof.
-- AI Session Intelligence has a first local scorecard slice: indexed sessions produce a schema-versioned six-dimension scorecard with cited evidence refs, anti-gaming notes, recommendations, normalized Claude/Codex/Cursor adapter coverage summaries, production and scorecard adapter run metadata/parse warnings in `session_adapter_runs`, a compact `session_message_archive` for normalized adapter messages/tool calls, local backfill for previously indexed Claude/Codex sessions missing archive rows, a shared raw parser adapter contract with Claude/Codex/Cursor fixtures, Claude/Codex/Cursor production indexing wired through that contract, a Tauri IPC contract, compact Roadmap dashboard panels for scorecard and source health, visible adapter run status, per-adapter run trends, and recent-run drilldowns.
+- AI Session Intelligence has a first local scorecard slice: indexed sessions produce a schema-versioned six-dimension scorecard with cited evidence refs, anti-gaming notes, recommendations, normalized Claude/Codex/Cursor adapter coverage summaries, production and scorecard adapter run metadata/parse warnings in `session_adapter_runs`, a compact `session_message_archive` for normalized adapter messages/tool calls, local backfill for previously indexed Claude/Codex sessions missing archive rows, FTS-backed local archive search over messages/tool calls, manual re-index archive update events, a shared raw parser adapter contract with Claude/Codex/Cursor fixtures, Claude/Codex/Cursor production indexing wired through that contract, a Tauri IPC contract, compact Roadmap dashboard panels for scorecard and source health, visible adapter run status, per-adapter run trends, and recent-run drilldowns.
 - Home now opens on usage first. The Verification Workbench launcher and latest-roadmap-build banner live on the Roadmap page, so Evidence Search, Agent Timeline, Synthetic QA, Memory Graph, History Brief, AI Sessions, transcript replay, claim checks, replay packets, timeline fix packets, edit origins, and post-fix QA deltas remain visible without pushing usage down on app launch.
 - OSS repo-analysis engines were evaluated in `docs/oss-integration-evaluation.md`; optional `ast-grep` changed-file evidence is implemented behind PATH detection with no required runtime dependency.
 - Product direction has been consolidated around agent-written code verification, evidence levels, timelines, and explainable codebase history.
 
 ## Planned Next
 
-1. Continue the AI Session Intelligence PRD in `docs/PRD-AI-SESSION-INTELLIGENCE.md`: add full-text search and live update events over the normalized session message archive; Claude, Codex, and Cursor production session rows now use the normalized raw parser adapter contract, production index passes persist adapter run metadata/parse warnings plus compact message/tool-call archive rows, local backfill repairs older Claude/Codex sessions with missing archive rows, and Roadmap shows latest source-health status with per-adapter trends and recent-run drilldowns.
-2. Continue the Agent Verification Timeline PRD in `docs/PRD-AGENT-VERIFICATION-TIMELINE.md`: add richer claim-vs-evidence discrepancy parsing beyond literal positive test/check claim contradictions, command/QA/evidence-count signals, and fuller multi-turn transcript replay; raw session command anchors with bounded transcript excerpts, explicit agent-claim anchors, dedicated claim-check rows, edit-origin anchors, timeline-specific jump targets, timeline-segment replay packets, same-flow post-fix QA deltas, and the Roadmap latest-build banner are now attached to visible Review/Roadmap actions and proof export.
+1. Continue the AI Session Intelligence PRD in `docs/PRD-AI-SESSION-INTELLIGENCE.md`: add active-session tailing events beyond manual re-index refresh; Claude, Codex, and Cursor production session rows now use the normalized raw parser adapter contract, production index passes persist adapter run metadata/parse warnings plus compact message/tool-call archive rows, local backfill repairs older Claude/Codex sessions with missing archive rows, Roadmap shows latest source-health status with per-adapter trends and recent-run drilldowns, and Roadmap can search the normalized archive locally.
+2. Continue the Agent Verification Timeline PRD in `docs/PRD-AGENT-VERIFICATION-TIMELINE.md`: add richer claim-vs-evidence discrepancy parsing beyond literal positive test/check claim contradictions, command/QA/evidence-count signals, and fuller multi-turn transcript replay; raw session command anchors with bounded transcript excerpts, explicit agent-claim anchors, dedicated claim-check rows, edit-origin anchors, timeline-specific jump targets, timeline-segment replay packets, same-flow post-fix QA deltas, archive search, and the Roadmap latest-build banner are now attached to visible Review/Roadmap actions and proof export.
 3. Continue the Codebase History Explainer PRD in `docs/PRD-CODEBASE-HISTORY-EXPLAINER.md`: turn the persisted `history_brief` slice into a queryable local history graph; Repo Unpacked history brief integration and agent-context sidecar export are now implemented.
 4. Curate 20-30 real public agent-generated PR benchmark cases with hand-labeled ground truth before making external catch-rate claims.
 5. Add benchmark fields for unverified-fix count and time/cost impact once review artifacts capture those values consistently.

apps/desktop/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@code-reviewer/desktop",
-  "version": "1.1.45",
+  "version": "1.1.46",
   "private": true,
   "scripts": {
     "dev": "lsof -ti:1420 | xargs kill -9 2>/dev/null; vite",

apps/desktop/src-tauri/src/commands/history.rs

@@ -3,9 +3,13 @@ use crate::commands::session_adapters::{
 };
 use crate::db::queries;
 use crate::DbState;
+use serde::Serialize;
 use serde_json::{json, Value};
 use std::io::BufRead;
-use tauri::State;
+use std::sync::Mutex;
+use tauri::{AppHandle, Emitter, State};
+
+static FULL_INDEX_LOCK: Mutex<()> = Mutex::new(());
 
 #[derive(Debug, Clone)]
 struct IndexedAdapterSession {
@@ -28,6 +32,15 @@ struct ProductionAdapterRunStats {
     supports_incremental: bool,
 }
 
+#[derive(Debug, Clone, Serialize)]
+struct SessionArchiveUpdatedPayload {
+    indexed_sessions: u64,
+    indexed_messages: u64,
+    skipped_sessions: u64,
+    archive_search_rows_indexed: i64,
+    indexed_at: String,
+}
+
 impl ProductionAdapterRunStats {
     fn new(
         adapter_id: &str,
@@ -120,6 +133,9 @@ fn persist_production_adapter_run(
 /// Run the full index directly with a connection reference.
 /// Used by the startup background thread.
 pub fn run_full_index_with_conn(conn: &rusqlite::Connection) -> Result<String, String> {
+    let _index_guard = FULL_INDEX_LOCK
+        .lock()
+        .map_err(|e| format!("full index lock poisoned: {e}"))?;
     let (indexed_sessions, indexed_messages, skipped_sessions) = full_index_impl(conn)?;
 
     // Store the last indexed timestamp
@@ -132,19 +148,35 @@ pub fn run_full_index_with_conn(conn: &rusqlite::Connection) -> Result<String, S
 }
 
 #[tauri::command]
-pub async fn trigger_index(db: State<'_, DbState>) -> Result<Value, String> {
+pub async fn trigger_index(app: AppHandle, db: State<'_, DbState>) -> Result<Value, String> {
     let conn = conn_lock(&db)?;
+    let _index_guard = FULL_INDEX_LOCK
+        .lock()
+        .map_err(|e| format!("full index lock poisoned: {e}"))?;
     let (indexed_sessions, indexed_messages, skipped_sessions) =
         full_index_impl(&conn).map_err(|e| e.to_string())?;
+    let archive_search_rows_indexed =
+        queries::sync_session_message_archive_fts(&conn).map_err(|e| e.to_string())?;
 
     // Store the last indexed timestamp
     let now = chrono::Utc::now().to_rfc3339();
     let _ = queries::set_preference(&conn, "last_indexed_at", &now);
+    let payload = SessionArchiveUpdatedPayload {
+        indexed_sessions,
+        indexed_messages,
+        skipped_sessions,
+        archive_search_rows_indexed,
+        indexed_at: now.clone(),
+    };
+    if let Err(error) = app.emit("session_archive_updated", payload) {
+        log::warn!("Failed to emit session_archive_updated: {error}");
+    }
 
     Ok(json!({
         "indexed_sessions": indexed_sessions,
         "indexed_messages": indexed_messages,
         "skipped_sessions": skipped_sessions,
+        "archive_search_rows_indexed": archive_search_rows_indexed,
         "projects_scanned": 0,
     }))
 }

apps/desktop/src-tauri/src/commands/sessions.rs

@@ -37,6 +37,28 @@ pub async fn list_session_message_archive(
     Ok(json!({ "messages": messages }))
 }
 
+/// Full-text search over the compact normalized adapter message/tool archive.
+#[tauri::command]
+pub async fn search_session_message_archive(
+    db: State<'_, DbState>,
+    query: String,
+    adapter_id: Option<String>,
+    kind: Option<String>,
+    limit: Option<i64>,
+) -> Result<Value, String> {
+    let conn = db.0.lock().map_err(|e| e.to_string())?;
+    queries::sync_session_message_archive_fts(&conn).map_err(|e| e.to_string())?;
+    let results = queries::search_session_message_archive(
+        &conn,
+        &query,
+        adapter_id.as_deref(),
+        kind.as_deref(),
+        limit.unwrap_or(50),
+    )
+    .map_err(|e| e.to_string())?;
+    Ok(json!({ "results": results }))
+}
+
 /// Move all sessions from one or more source projects into a target project.
 /// Updates session counts on both source and target projects.
 #[tauri::command]