oh-my-codex 0.17.2 → 0.18.0

package/crates/omx-sparkshell/src/main.rs

@@ -2,28 +2,70 @@ mod codex_bridge;
 mod error;
 mod exec;
 mod prompt;
+mod redaction;
 #[cfg(test)]
 mod test_support;
 mod threshold;
 
 use crate::codex_bridge::summarize_output;
 use crate::error::SparkshellError;
-use crate::exec::execute_command;
+use crate::exec::{execute_command, execute_shell_command, CommandOutput};
+use crate::redaction::redact_output;
 use crate::threshold::{combined_visible_lines, read_line_threshold};
 use omx_mux::build_capture_pane_args;
+use std::collections::hash_map::DefaultHasher;
+use std::fs;
+use std::hash::{Hash, Hasher};
 use std::io::{self, Write};
+use std::path::{Path, PathBuf};
 use std::process;
+use std::time::{SystemTime, UNIX_EPOCH};
 
 const DEFAULT_TMUX_TAIL_LINES: usize = 200;
 const MIN_TMUX_TAIL_LINES: usize = 100;
 const MAX_TMUX_TAIL_LINES: usize = 1000;
 
 #[derive(Debug, Clone, PartialEq, Eq)]
-enum SparkShellInput {
+enum SparkShellTarget {
     Command(Vec<String>),
+    Shell(String),
     TmuxPane { pane_id: String, tail_lines: usize },
 }
 
+#[derive(Debug, Clone, PartialEq, Eq)]
+struct SparkShellOptions {
+    target: SparkShellTarget,
+    json: bool,
+    budget: usize,
+    team: Option<String>,
+    worker: Option<String>,
+    since_last: bool,
+    cache: bool,
+    cache_ttl_ms: u64,
+}
+
+#[derive(Debug, Clone)]
+struct Evidence {
+    stdout_lines: usize,
+    stderr_lines: usize,
+    raw_hash: String,
+    pane_id: Option<String>,
+    tail_lines: Option<usize>,
+    line_range: Option<String>,
+}
+
+#[derive(Debug, Clone)]
+struct CacheMeta {
+    cache_hit: bool,
+    previous_hash: Option<String>,
+    current_hash: String,
+    changed_line_ranges: Vec<String>,
+}
+
+const DEFAULT_BUDGET: usize = 1000;
+const STALE_HEARTBEAT_MS: u64 = 120_000;
+const DEFAULT_CACHE_TTL_MS: u64 = 10 * 60 * 1000;
+
 fn main() {
     let args: Vec<String> = std::env::args().skip(1).collect();
     if args
@@ -40,31 +82,69 @@ fn main() {
 }
 
 fn run(args: Vec<String>) -> Result<(), SparkshellError> {
-    let execution_argv = match parse_input(&args)? {
-        SparkShellInput::Command(command) => command,
-        SparkShellInput::TmuxPane {
+    let options = parse_input(&args)?;
+    let execution_argv = match &options.target {
+        SparkShellTarget::Command(command) => command.clone(),
+        SparkShellTarget::Shell(script) => {
+            vec!["bash".to_string(), "-lc".to_string(), script.clone()]
+        }
+        SparkShellTarget::TmuxPane {
             pane_id,
             tail_lines,
         } => {
             let mut argv = vec!["tmux".to_string()];
-            argv.extend(build_capture_pane_args(&pane_id, tail_lines));
+            argv.extend(build_capture_pane_args(pane_id, *tail_lines));
             argv
         }
     };
 
-    let output = execute_command(&execution_argv)?;
+    let raw_output = match &options.target {
+        SparkShellTarget::Shell(script) => execute_shell_command(script)?,
+        _ => execute_command(&execution_argv)?,
+    };
+    let redacted = redact_output(&raw_output);
+    let output = if options.json {
+        &redacted.output
+    } else {
+        &raw_output
+    };
+    let summary_output = &redacted.output;
     let threshold = read_line_threshold();
     let line_count = combined_visible_lines(&output.stdout, &output.stderr);
+    let evidence = build_evidence(&options, output);
+    let cache_meta = handle_cache(&options, output, &evidence.raw_hash)?;
+
+    if options.json {
+        let summary = if options.since_last {
+            since_last_summary(output, cache_meta.as_ref(), options.budget)
+        } else if line_count <= threshold {
+            compact_text(&combined_text(output), options.budget)
+        } else if cache_meta.as_ref().is_some_and(|meta| meta.cache_hit) {
+            "unchanged since previous observation".to_string()
+        } else {
+            summarize_output(&execution_argv, output)
+                .unwrap_or_else(|error| format!("summary unavailable: {error}"))
+        };
+        write_json_report(
+            &options,
+            output,
+            &summary,
+            &evidence,
+            cache_meta,
+            redacted.count,
+        )?;
+        process::exit(output.exit_code());
+    }
 
     if line_count <= threshold {
         write_raw_output(&output.stdout, &output.stderr)?;
         process::exit(output.exit_code());
     }
 
-    match summarize_output(&execution_argv, &output) {
+    match summarize_output(&execution_argv, summary_output) {
         Ok(summary) => {
             let mut stdout = io::stdout().lock();
-            stdout.write_all(summary.as_bytes())?;
+            stdout.write_all(compact_text(&summary, options.budget).as_bytes())?;
             if !summary.ends_with('\n') {
                 stdout.write_all(b"\n")?;
             }
@@ -104,7 +184,7 @@ fn usage_text() -> String {
     )
 }
 
-fn parse_input(args: &[String]) -> Result<SparkShellInput, SparkshellError> {
+fn parse_input(args: &[String]) -> Result<SparkShellOptions, SparkshellError> {
     if args.is_empty() {
         return Err(SparkshellError::InvalidArgs(usage_text()));
     }
@@ -113,10 +193,139 @@ fn parse_input(args: &[String]) -> Result<SparkShellInput, SparkshellError> {
     let mut tail_lines = DEFAULT_TMUX_TAIL_LINES;
     let mut explicit_tail_lines = false;
     let mut positional = Vec::new();
+    let mut json = false;
+    let mut budget = DEFAULT_BUDGET;
+    let mut team = None;
+    let mut worker = None;
+    let mut since_last = false;
+    let mut cache = true;
+    let mut cache_ttl_ms = DEFAULT_CACHE_TTL_MS;
+    let mut shell = None;
 
     let mut index = 0;
     while index < args.len() {
         let token = &args[index];
+        if !positional.is_empty() {
+            positional.extend(args[index..].iter().cloned());
+            break;
+        }
+        if token == "--" {
+            positional.extend(args[index + 1..].iter().cloned());
+            break;
+        }
+        if token == "--json" {
+            json = true;
+            index += 1;
+            continue;
+        }
+        if token == "--budget" {
+            let Some(next) = args.get(index + 1) else {
+                return Err(SparkshellError::InvalidArgs(
+                    "--budget requires a numeric value".to_string(),
+                ));
+            };
+            budget = parse_positive_usize(next, "--budget")?;
+            index += 2;
+            continue;
+        }
+        if let Some(value) = token.strip_prefix("--budget=") {
+            budget = parse_positive_usize(value, "--budget")?;
+            index += 1;
+            continue;
+        }
+        if token == "--shell" {
+            let Some(next) = args.get(index + 1) else {
+                return Err(SparkshellError::InvalidArgs(
+                    "--shell requires a command string".to_string(),
+                ));
+            };
+            shell = Some(next.clone());
+            index += 2;
+            continue;
+        }
+        if let Some(value) = token.strip_prefix("--shell=") {
+            if value.trim().is_empty() {
+                return Err(SparkshellError::InvalidArgs(
+                    "--shell requires a command string".to_string(),
+                ));
+            }
+            shell = Some(value.to_string());
+            index += 1;
+            continue;
+        }
+        if token == "--since-last" {
+            since_last = true;
+            index += 1;
+            continue;
+        }
+        if token == "--cache-ttl-ms" {
+            let Some(next) = args.get(index + 1) else {
+                return Err(SparkshellError::InvalidArgs(
+                    "--cache-ttl-ms requires a numeric value".to_string(),
+                ));
+            };
+            cache_ttl_ms = parse_positive_usize(next, "--cache-ttl-ms")? as u64;
+            index += 2;
+            continue;
+        }
+        if let Some(value) = token.strip_prefix("--cache-ttl-ms=") {
+            cache_ttl_ms = parse_positive_usize(value, "--cache-ttl-ms")? as u64;
+            index += 1;
+            continue;
+        }
+        if let Some(value) = token.strip_prefix("--cache=") {
+            cache = match value {
+                "on" => true,
+                "off" => false,
+                _ => {
+                    return Err(SparkshellError::InvalidArgs(
+                        "--cache must be on or off".to_string(),
+                    ))
+                }
+            };
+            index += 1;
+            continue;
+        }
+        if token == "--team" {
+            let Some(next) = args.get(index + 1) else {
+                return Err(SparkshellError::InvalidArgs(
+                    "--team requires a value".to_string(),
+                ));
+            };
+            team = Some(next.clone());
+            index += 2;
+            continue;
+        }
+        if let Some(value) = token.strip_prefix("--team=") {
+            if value.trim().is_empty() {
+                return Err(SparkshellError::InvalidArgs(
+                    "--team requires a value".to_string(),
+                ));
+            }
+            team = Some(value.to_string());
+            index += 1;
+            continue;
+        }
+        if token == "--worker" {
+            let Some(next) = args.get(index + 1) else {
+                return Err(SparkshellError::InvalidArgs(
+                    "--worker requires a value".to_string(),
+                ));
+            };
+            worker = Some(next.clone());
+            index += 2;
+            continue;
+        }
+        if let Some(value) = token.strip_prefix("--worker=") {
+            if value.trim().is_empty() {
+                return Err(SparkshellError::InvalidArgs(
+                    "--worker requires a value".to_string(),
+                ));
+            }
+            worker = Some(value.to_string());
+            index += 1;
+            continue;
+        }
         if token == "--tmux-pane" {
             let Some(next) = args.get(index + 1) else {
                 return Err(SparkshellError::InvalidArgs(
@@ -164,25 +373,525 @@ fn parse_input(args: &[String]) -> Result<SparkShellInput, SparkshellError> {
         index += 1;
     }
 
-    if let Some(pane_id) = pane_id {
+    let target = if let Some(script) = shell {
+        if pane_id.is_some() || !positional.is_empty() {
+            return Err(SparkshellError::InvalidArgs(
+                "--shell does not accept --tmux-pane or additional argv".to_string(),
+            ));
+        }
+        SparkShellTarget::Shell(script)
+    } else if let Some(pane_id) = pane_id {
         if !positional.is_empty() {
             return Err(SparkshellError::InvalidArgs(
                 "tmux pane mode does not accept an additional command".to_string(),
             ));
         }
-        return Ok(SparkShellInput::TmuxPane {
+        SparkShellTarget::TmuxPane {
             pane_id,
             tail_lines,
-        });
+        }
+    } else {
+        if explicit_tail_lines {
+            return Err(SparkshellError::InvalidArgs(
+                "--tail-lines requires --tmux-pane".to_string(),
+            ));
+        }
+        SparkShellTarget::Command(positional)
+    };
+
+    Ok(SparkShellOptions {
+        target,
+        json,
+        budget,
+        team,
+        worker,
+        since_last,
+        cache,
+        cache_ttl_ms,
+    })
+}
+
+fn parse_positive_usize(raw: &str, flag: &str) -> Result<usize, SparkshellError> {
+    raw.trim()
+        .parse::<usize>()
+        .ok()
+        .filter(|value| *value > 0)
+        .ok_or_else(|| SparkshellError::InvalidArgs(format!("{flag} requires a positive integer")))
+}
+
+fn build_evidence(options: &SparkShellOptions, output: &CommandOutput) -> Evidence {
+    let text = combined_text(output);
+    let lines = text.lines().count();
+    let (pane_id, tail_lines) = match &options.target {
+        SparkShellTarget::TmuxPane {
+            pane_id,
+            tail_lines,
+        } => (Some(pane_id.clone()), Some(*tail_lines)),
+        SparkShellTarget::Command(_) | SparkShellTarget::Shell(_) => (None, None),
+    };
+    Evidence {
+        stdout_lines: String::from_utf8_lossy(&output.stdout).lines().count(),
+        stderr_lines: String::from_utf8_lossy(&output.stderr).lines().count(),
+        raw_hash: hash_text(&text),
+        pane_id,
+        tail_lines,
+        line_range: (lines > 0).then(|| format!("1-{lines}")),
+    }
+}
+
+fn combined_text(output: &CommandOutput) -> String {
+    format!("{}{}", output.stdout_text(), output.stderr_text())
+}
+
+fn hash_text(text: &str) -> String {
+    let mut hasher = DefaultHasher::new();
+    text.hash(&mut hasher);
+    format!("{:016x}", hasher.finish())
+}
+
+fn compact_text(text: &str, budget: usize) -> String {
+    if text.len() <= budget {
+        return text.to_string();
+    }
+    let end = safe_boundary(text, budget);
+    format!(
+        "{}\n[truncated: {} chars omitted]",
+        &text[..end],
+        text.len().saturating_sub(end)
+    )
+}
+
+fn safe_boundary(text: &str, max: usize) -> usize {
+    let mut end = 0;
+    for (index, ch) in text.char_indices() {
+        let next = index + ch.len_utf8();
+        if next > max {
+            break;
+        }
+        end = next;
+    }
+    end
+}
+
+fn json_escape(value: &str) -> String {
+    let mut escaped = String::new();
+    for ch in value.chars() {
+        match ch {
+            '\\' => escaped.push_str("\\\\"),
+            '"' => escaped.push_str("\\\""),
+            '\n' => escaped.push_str("\\n"),
+            '\r' => escaped.push_str("\\r"),
+            '\t' => escaped.push_str("\\t"),
+            '\u{08}' => escaped.push_str("\\b"),
+            '\u{0c}' => escaped.push_str("\\f"),
+            ch if ch <= '\u{1f}' => escaped.push_str(&format!("\\u{:04x}", ch as u32)),
+            ch => escaped.push(ch),
+        }
+    }
+    escaped
+}
+
+fn json_str(value: &str) -> String {
+    format!("\"{}\"", json_escape(value))
+}
+
+fn json_string_array(values: &[String]) -> String {
+    format!(
+        "[{}]",
+        values
+            .iter()
+            .map(|value| json_str(value))
+            .collect::<Vec<_>>()
+            .join(",")
+    )
+}
+
+fn optional_json_string(value: &Option<String>) -> String {
+    value
+        .as_ref()
+        .map(|value| json_str(value))
+        .unwrap_or_else(|| "null".to_string())
+}
+
+fn cache_dir() -> PathBuf {
+    std::env::var("OMX_SPARKSHELL_CACHE_DIR")
+        .map(PathBuf::from)
+        .unwrap_or_else(|_| {
+            std::env::var("OMX_TEAM_STATE_ROOT")
+                .map(|root| PathBuf::from(root).join("../cache/sparkshell"))
+                .unwrap_or_else(|_| PathBuf::from(".omx/cache/sparkshell"))
+        })
+}
+
+fn handle_cache(
+    options: &SparkShellOptions,
+    output: &CommandOutput,
+    current_hash: &str,
+) -> Result<Option<CacheMeta>, SparkshellError> {
+    if !options.cache {
+        return Ok(None);
+    }
+    let key = match &options.target {
+        SparkShellTarget::TmuxPane { pane_id, .. } => {
+            format!("pane-{}", pane_id.replace('%', "pct"))
+        }
+        SparkShellTarget::Command(_) | SparkShellTarget::Shell(_) => return Ok(None),
+    };
+    let dir = cache_dir();
+    fs::create_dir_all(&dir)?;
+    handle_cache_at_path(
+        &dir.join(format!("{key}.txt")),
+        output,
+        current_hash,
+        options.cache_ttl_ms,
+    )
+}
+
+fn handle_cache_at_path(
+    path: &Path,
+    output: &CommandOutput,
+    current_hash: &str,
+    ttl_ms: u64,
+) -> Result<Option<CacheMeta>, SparkshellError> {
+    let now = now_ms();
+    let current = combined_text(output);
+    let mut previous_hash = None;
+    let mut cache_hit = false;
+    let mut changed_line_ranges = Vec::new();
+    if let Ok(previous) = fs::read_to_string(path) {
+        let mut parts = previous.splitn(3, '\n');
+        let timestamp = parts
+            .next()
+            .and_then(|value| value.parse::<u64>().ok())
+            .unwrap_or(0);
+        let old_hash = parts.next().unwrap_or("").to_string();
+        let old_body = parts.next().unwrap_or("");
+        if now.saturating_sub(timestamp) <= ttl_ms {
+            previous_hash = Some(old_hash.clone());
+            cache_hit = old_hash == current_hash;
+            if !cache_hit {
+                changed_line_ranges = changed_ranges(old_body, &current);
+            }
+        }
+    }
+    fs::write(path, format!("{now}\n{current_hash}\n{current}"))?;
+    Ok(Some(CacheMeta {
+        cache_hit,
+        previous_hash,
+        current_hash: current_hash.to_string(),
+        changed_line_ranges,
+    }))
+}
+
+fn since_last_summary(output: &CommandOutput, cache: Option<&CacheMeta>, budget: usize) -> String {
+    let Some(cache) = cache else {
+        return compact_text(&combined_text(output), budget);
+    };
+    if cache.cache_hit {
+        return "unchanged since previous observation".to_string();
+    }
+    if cache.changed_line_ranges.is_empty() {
+        return compact_text(&combined_text(output), budget);
+    }
+    let text = combined_text(output);
+    let lines: Vec<&str> = text.lines().collect();
+    let mut selected = Vec::new();
+    for range in &cache.changed_line_ranges {
+        if let Some((start, end)) = range.split_once('-') {
+            if let (Ok(start), Ok(end)) = (start.parse::<usize>(), end.parse::<usize>()) {
+                for line in lines
+                    .iter()
+                    .skip(start.saturating_sub(1))
+                    .take(end.saturating_sub(start).saturating_add(1))
+                {
+                    selected.push((*line).to_string());
+                }
+            }
+        }
+    }
+    if selected.is_empty() {
+        compact_text(&combined_text(output), budget)
+    } else {
+        compact_text(
+            &format!(
+                "new findings since last observation:\n{}",
+                selected.join("\n")
+            ),
+            budget,
+        )
+    }
+}
+
+fn changed_ranges(old: &str, new: &str) -> Vec<String> {
+    let old_count = old.lines().count();
+    let new_count = new.lines().count();
+    if new_count > old_count {
+        vec![format!("{}-{}", old_count + 1, new_count)]
+    } else if old != new {
+        vec!["1-*".to_string()]
+    } else {
+        Vec::new()
+    }
+}
+
+#[derive(Debug, Clone)]
+struct Diagnostics {
+    classification: String,
+    next_action: String,
+    confidence: f32,
+    errors: Vec<String>,
+    warnings: Vec<String>,
+}
+
+fn classify(options: &SparkShellOptions, output: &CommandOutput) -> Diagnostics {
+    let text = combined_text(output).to_ascii_lowercase();
+    let mut diagnostics = Diagnostics {
+        classification: "unknown".to_string(),
+        next_action: "inspect raw output".to_string(),
+        confidence: 0.45,
+        errors: Vec::new(),
+        warnings: Vec::new(),
+    };
+
+    if text.contains("authorization") || text.contains("authentication") || text.contains("401") {
+        diagnostics.classification = "auth_error".to_string();
+        diagnostics.confidence = 0.8;
+        diagnostics
+            .errors
+            .push("authentication-like error in output".to_string());
+    } else if text.contains("typeerror") || text.contains("type error") {
+        diagnostics.classification = "type_error".to_string();
+        diagnostics.confidence = 0.75;
+        diagnostics
+            .errors
+            .push("type error pattern in output".to_string());
+    } else if text.contains("test failed") || text.contains("failures:") || text.contains("failed")
+    {
+        diagnostics.classification = "test_failure".to_string();
+        diagnostics.confidence = 0.65;
+        diagnostics
+            .errors
+            .push("failure pattern in output".to_string());
+    } else if text.contains("press enter")
+        || text.contains("waiting for input")
+        || text.contains("continue?")
+    {
+        diagnostics.classification = "waiting_for_input".to_string();
+        diagnostics.confidence = 0.75;
+    } else if text.contains("thinking") || text.contains("running") || text.contains("building") {
+        diagnostics.classification = "busy_processing".to_string();
+        diagnostics.next_action = "wait".to_string();
+        diagnostics.confidence = 0.65;
+        diagnostics.warnings.push("do not shutdown yet".to_string());
+    }
+
+    if let (Some(team), Some(worker)) = (&options.team, &options.worker) {
+        if let Some(team_diagnostics) = classify_team(team, worker) {
+            diagnostics = team_diagnostics;
+        }
+    }
+
+    diagnostics
+}
+
+fn classify_team(team: &str, worker: &str) -> Option<Diagnostics> {
+    let state_root = std::env::var("OMX_TEAM_STATE_ROOT")
+        .map(PathBuf::from)
+        .unwrap_or_else(|_| PathBuf::from(".omx/state"));
+    let base = state_root
+        .join("team")
+        .join(team)
+        .join("workers")
+        .join(worker);
+    if !base.exists() {
+        return None;
+    }
+
+    if let Ok(heartbeat) = fs::read_to_string(base.join("heartbeat.json")) {
+        if let Some(timestamp) = extract_heartbeat_ms(&heartbeat) {
+            if now_ms().saturating_sub(timestamp) > STALE_HEARTBEAT_MS {
+                return Some(Diagnostics {
+                    classification: "stale_heartbeat".to_string(),
+                    next_action: "run omx team status".to_string(),
+                    confidence: 0.78,
+                    errors: Vec::new(),
+                    warnings: vec!["heartbeat is stale".to_string()],
+                });
+            }
+        }
     }
 
-    if explicit_tail_lines {
-        return Err(SparkshellError::InvalidArgs(
-            "--tail-lines requires --tmux-pane".to_string(),
-        ));
+    if let Ok(status) = fs::read_to_string(base.join("status.json")) {
+        let normalized = status.to_ascii_lowercase();
+        if normalized.contains("blocked") || normalized.contains("needs_input") {
+            return Some(Diagnostics {
+                classification: "waiting_for_input".to_string(),
+                next_action: "inspect raw pane".to_string(),
+                confidence: 0.7,
+                errors: Vec::new(),
+                warnings: Vec::new(),
+            });
+        }
+        if normalized.contains("busy") || normalized.contains("in_progress") {
+            return Some(Diagnostics {
+                classification: "busy_processing".to_string(),
+                next_action: "wait".to_string(),
+                confidence: 0.72,
+                errors: Vec::new(),
+                warnings: vec!["do not shutdown yet".to_string()],
+            });
+        }
     }
 
-    Ok(SparkShellInput::Command(positional))
+    None
+}
+
+fn extract_heartbeat_ms(text: &str) -> Option<u64> {
+    extract_json_number(text, "updated_at_ms")
+        .or_else(|| extract_json_number(text, "timestamp"))
+        .or_else(|| {
+            extract_json_string(text, "last_turn_at")
+                .and_then(|value| parse_iso_timestamp_ms(&value))
+        })
+}
+
+fn extract_json_number(text: &str, key: &str) -> Option<u64> {
+    let key_pattern = format!("\"{key}\"");
+    let start = text.find(&key_pattern)? + key_pattern.len();
+    let after_colon = text[start..].split_once(':')?.1.trim_start();
+    let digits: String = after_colon
+        .chars()
+        .take_while(|ch| ch.is_ascii_digit())
+        .collect();
+    if digits.is_empty() {
+        return None;
+    }
+    digits.parse().ok()
+}
+
+fn extract_json_string(text: &str, key: &str) -> Option<String> {
+    let key_pattern = format!("\"{key}\"");
+    let start = text.find(&key_pattern)? + key_pattern.len();
+    let after_colon = text[start..].split_once(':')?.1.trim_start();
+    let after_quote = after_colon.strip_prefix('"')?;
+    let value = after_quote.split('"').next()?;
+    Some(value.to_string())
+}
+
+fn parse_iso_timestamp_ms(value: &str) -> Option<u64> {
+    let trimmed = value.strip_suffix('Z').unwrap_or(value);
+    let (date, time) = trimmed.split_once('T')?;
+    let mut date_parts = date.split('-').map(|part| part.parse::<i64>().ok());
+    let year = date_parts.next()??;
+    let month = date_parts.next()??;
+    let day = date_parts.next()??;
+    let mut time_parts = time.split(':');
+    let hour = time_parts.next()?.parse::<i64>().ok()?;
+    let minute = time_parts.next()?.parse::<i64>().ok()?;
+    let second_part = time_parts.next()?;
+    let second = second_part.split('.').next()?.parse::<i64>().ok()?;
+    let days = days_from_civil(year, month, day)?;
+    Some(((days * 86_400 + hour * 3_600 + minute * 60 + second) as u64) * 1000)
+}
+
+fn days_from_civil(year: i64, month: i64, day: i64) -> Option<i64> {
+    if !(1..=12).contains(&month) || !(1..=31).contains(&day) {
+        return None;
+    }
+    let year = year - i64::from(month <= 2);
+    let era = if year >= 0 { year } else { year - 399 } / 400;
+    let yoe = year - era * 400;
+    let mp = month + if month > 2 { -3 } else { 9 };
+    let doy = (153 * mp + 2) / 5 + day - 1;
+    let doe = yoe * 365 + yoe / 4 - yoe / 100 + doy;
+    Some(era * 146_097 + doe - 719_468)
+}
+
+fn now_ms() -> u64 {
+    SystemTime::now()
+        .duration_since(UNIX_EPOCH)
+        .unwrap_or_default()
+        .as_millis() as u64
+}
+
+fn write_json_report(
+    options: &SparkShellOptions,
+    output: &CommandOutput,
+    summary: &str,
+    evidence: &Evidence,
+    cache: Option<CacheMeta>,
+    redaction_count: usize,
+) -> Result<(), SparkshellError> {
+    let mode = match options.target {
+        SparkShellTarget::Command(_) => "command",
+        SparkShellTarget::Shell(_) => "shell",
+        SparkShellTarget::TmuxPane { .. } => "tmux-pane",
+    };
+    let status = if output.status.success() {
+        "ok"
+    } else {
+        "failed"
+    };
+    let mut diagnostics = classify(options, output);
+    if !output.status.success() && diagnostics.errors.is_empty() {
+        diagnostics
+            .errors
+            .push(compact_text(&output.stderr_text(), options.budget));
+    }
+    let tail_lines = evidence
+        .tail_lines
+        .map(|value| value.to_string())
+        .unwrap_or_else(|| "null".to_string());
+    let cache_json = cache
+        .map(|cache| {
+            format!(
+                "{{\"cache_hit\":{},\"previous_hash\":{},\"current_hash\":{},\"changed_line_ranges\":{}}}",
+                cache.cache_hit,
+                optional_json_string(&cache.previous_hash),
+                json_str(&cache.current_hash),
+                json_string_array(&cache.changed_line_ranges),
+            )
+        })
+        .unwrap_or_else(|| "null".to_string());
+    let json = format!(
+        concat!(
+            "{{\n",
+            "  \"ok\": {},\n",
+            "  \"mode\": {},\n",
+            "  \"status\": {},\n",
+            "  \"exit_code\": {},\n",
+            "  \"summary\": {},\n",
+            "  \"errors\": {},\n",
+            "  \"warnings\": {},\n",
+            "  \"evidence\": {{\"stdout_lines\":{},\"stderr_lines\":{},\"raw_hash\":{},\"pane_id\":{},\"tail_lines\":{},\"line_range\":{}}},\n",
+            "  \"next_action\": {},\n",
+            "  \"confidence\": {:.2},\n",
+            "  \"classification\": {},\n",
+            "  \"cache\": {},\n",
+            "  \"redactions\": {{\"count\": {}}}\n",
+            "}}\n"
+        ),
+        output.status.success(),
+        json_str(mode),
+        json_str(status),
+        output.exit_code(),
+        json_str(&compact_text(summary, options.budget)),
+        json_string_array(&diagnostics.errors),
+        json_string_array(&diagnostics.warnings),
+        evidence.stdout_lines,
+        evidence.stderr_lines,
+        json_str(&evidence.raw_hash),
+        optional_json_string(&evidence.pane_id),
+        tail_lines,
+        optional_json_string(&evidence.line_range),
+        json_str(&diagnostics.next_action),
+        diagnostics.confidence,
+        json_str(&diagnostics.classification),
+        cache_json,
+        redaction_count,
+    );
+    io::stdout().write_all(json.as_bytes())?;
+    Ok(())
 }
 
 fn parse_tail_lines(raw: &str) -> Result<usize, SparkshellError> {
@@ -201,7 +910,7 @@ fn parse_tail_lines(raw: &str) -> Result<usize, SparkshellError> {
 
 #[cfg(test)]
 mod tests {
-    use super::{parse_input, SparkShellInput};
+    use super::{parse_input, SparkShellTarget};
 
     fn strings(values: &[&str]) -> Vec<String> {
         values.iter().map(|value| value.to_string()).collect()
@@ -211,8 +920,8 @@ mod tests {
     fn parses_direct_command_mode() {
         let parsed = parse_input(&strings(&["git", "status"])).expect("parsed");
         assert_eq!(
-            parsed,
-            SparkShellInput::Command(strings(&["git", "status"]))
+            parsed.target,
+            SparkShellTarget::Command(strings(&["git", "status"]))
         );
     }
 
@@ -220,8 +929,8 @@ mod tests {
     fn parses_tmux_pane_mode_with_default_tail_lines() {
         let parsed = parse_input(&strings(&["--tmux-pane", "%11"])).expect("parsed");
         assert_eq!(
-            parsed,
-            SparkShellInput::TmuxPane {
+            parsed.target,
+            SparkShellTarget::TmuxPane {
                 pane_id: "%11".to_string(),
                 tail_lines: 200,
             }
@@ -233,8 +942,8 @@ mod tests {
         let parsed =
             parse_input(&strings(&["--tmux-pane=%22", "--tail-lines=400"])).expect("parsed");
         assert_eq!(
-            parsed,
-            SparkShellInput::TmuxPane {
+            parsed.target,
+            SparkShellTarget::TmuxPane {
                 pane_id: "%22".to_string(),
                 tail_lines: 400,
             }
@@ -301,15 +1010,15 @@ mod tests {
         let max = parse_input(&strings(&["--tmux-pane", "%11", "--tail-lines", "1000"]))
             .expect("max parsed");
         assert_eq!(
-            min,
-            SparkShellInput::TmuxPane {
+            min.target,
+            SparkShellTarget::TmuxPane {
                 pane_id: "%11".to_string(),
                 tail_lines: 100
             }
         );
         assert_eq!(
-            max,
-            SparkShellInput::TmuxPane {
+            max.target,
+            SparkShellTarget::TmuxPane {
                 pane_id: "%11".to_string(),
                 tail_lines: 1000
             }