feat: archive normalized session messages

Author: sarthakagrawal927

PROJECT_STATUS.md

@@ -23,14 +23,14 @@ 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 shared raw parser adapter contract with Claude/Codex/Cursor fixtures, Claude/Codex/Cursor production indexing wired through that contract, a Tauri IPC contract, compact Home 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, 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 Home dashboard panels for scorecard and source health, visible adapter run status, per-adapter run trends, and recent-run drilldowns.
 - Home now has a persistent Verification Workbench launcher plus a visible latest-roadmap-build banner, 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 are visible immediately after launch instead of only appearing after a Review or Repo Unpacked run.
 - 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`: normalize full message/tool-call archives into the SQLite evidence 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, and Home shows latest source-health status with per-adapter trends and recent-run drilldowns.
+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, and Home 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 Home latest-roadmap-build banner are now attached to visible Review/Home 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.

apps/desktop/package.json

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

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

@@ -238,6 +238,7 @@ fn full_index_impl(conn: &rusqlite::Connection) -> Result<(u64, u64, u64), Strin
                 if let Some(ref meta) = existing {
                     if meta.file_mtime.as_deref() == file_mtime_str.as_deref()
                         && meta.message_count > 0
+                        && meta.archived_message_count > 0
                     {
                         skipped_sessions += 1;
                         continue;
@@ -323,7 +324,9 @@ fn full_index_impl(conn: &rusqlite::Connection) -> Result<(u64, u64, u64), Strin
                 .map_err(|e| e.to_string())?;
 
             if let Some(ref meta) = existing {
-                if meta.file_mtime.as_deref() == file_mtime_str.as_deref() && meta.message_count > 0
+                if meta.file_mtime.as_deref() == file_mtime_str.as_deref()
+                    && meta.message_count > 0
+                    && meta.archived_message_count > 0
                 {
                     skipped_sessions += 1;
                     continue;
@@ -668,9 +671,12 @@ fn upsert_adapter_summary_session(
         .map(String::from)
         .or_else(|| summary.stable_id.clone())
         .unwrap_or_else(|| uuid::Uuid::new_v4().to_string());
+    let adapter_id = summary.adapter_id.clone();
+    let agent_type = summary.agent_type.clone();
     let source_ref = summary.source_ref.clone();
     let message_count = summary.message_count.max(0) as u64;
     let day_counts = summary.day_counts.clone();
+    let archive_messages = summary.archive_messages.clone();
     let parse_warnings = summary.parse_warnings.clone();
 
     for warning in &summary.parse_warnings {
@@ -699,7 +705,7 @@ fn upsert_adapter_summary_session(
         &queries::SessionInput {
             id: sid.clone(),
             project_id: project_id.to_string(),
-            agent_type: Some(summary.agent_type),
+            agent_type: Some(agent_type.clone()),
             jsonl_path: Some(source_ref.clone()),
             git_branch: summary.git_branch,
             cwd: summary.cwd,
@@ -726,6 +732,27 @@ fn upsert_adapter_summary_session(
         let _ = queries::bump_session_day(conn, &sid, day, *n);
     }
 
+    let archive_inputs: Vec<_> = archive_messages
+        .into_iter()
+        .enumerate()
+        .map(|(idx, message)| queries::SessionMessageArchiveInput {
+            adapter_id: adapter_id.clone(),
+            agent_type: agent_type.clone(),
+            source_ref: source_ref.clone(),
+            source_line: message.source_line,
+            message_index: idx as i64,
+            role: message.role,
+            kind: message.kind,
+            timestamp: message.timestamp,
+            content_text: message.content_text,
+            tool_name: message.tool_name,
+            tool_call_id: message.tool_call_id,
+            raw_type: message.raw_type,
+        })
+        .collect();
+    queries::replace_session_message_archive(conn, &sid, &archive_inputs)
+        .map_err(|e| e.to_string())?;
+
     Ok(IndexedAdapterSession {
         session_id: sid,
         source_ref,
@@ -1018,6 +1045,7 @@ fn index_cursor_sessions(conn: &rusqlite::Connection) -> Result<(u64, u64, u64),
         if let Some(ref existing) = existing {
             if existing.file_mtime.as_deref() == composer_mtime.as_deref()
                 && existing.message_count > 0
+                && existing.archived_message_count > 0
             {
                 skipped_sessions += 1;
                 continue;
@@ -1278,6 +1306,13 @@ mod tests {
             )
             .expect("session day bucket");
         assert_eq!(day_count, 3);
+
+        let archived =
+            queries::list_session_message_archive(&conn, "claude-session-1", 10).expect("archive");
+        assert_eq!(archived.len(), 3);
+        assert_eq!(archived[0].adapter_id, "claude-code");
+        assert_eq!(archived[0].role.as_deref(), Some("user"));
+        assert_eq!(archived[2].kind, "compaction");
     }
 
     #[test]
@@ -1332,6 +1367,13 @@ mod tests {
             )
             .expect("session day bucket");
         assert_eq!(day_count, 2);
+
+        let archived =
+            queries::list_session_message_archive(&conn, "codex-session-1", 10).expect("archive");
+        assert_eq!(archived.len(), 2);
+        assert_eq!(archived[0].adapter_id, "codex");
+        assert_eq!(archived[0].role.as_deref(), Some("user"));
+        assert_eq!(archived[1].raw_type.as_deref(), Some("response_item"));
     }
 
     #[test]
@@ -1390,6 +1432,16 @@ mod tests {
             )
             .expect("session day bucket");
         assert_eq!(day_count, 2);
+
+        let archived =
+            queries::list_session_message_archive(&conn, "cursor-composer-1", 10).expect("archive");
+        assert_eq!(archived.len(), 2);
+        assert_eq!(archived[0].adapter_id, "cursor");
+        assert_eq!(
+            archived[0].content_text.as_deref(),
+            Some("Fix checkout test")
+        );
+        assert_eq!(archived[1].role.as_deref(), Some("assistant"));
     }
 
     #[test]