batuta/agent/

repl.rs

//! Interactive REPL for `apr code`.
//!
//! Terminal UI: user types prompts, agent streams responses token-by-token.
//! Crossterm raw mode input, tokio agent loop, mpsc streaming events.
//! See: apr-code.md §3, agent-and-playbook.md §7

use std::io::{self, Write};
use std::sync::Arc;

use std::sync::atomic::{AtomicBool, Ordering};

use tokio::sync::mpsc;

use crate::agent::driver::{LlmDriver, Message, StreamEvent};
use crate::agent::memory::MemorySubstrate;
use crate::agent::result::AgentLoopResult;
use crate::agent::session::SessionStore;
use crate::agent::tool::ToolRegistry;
use crate::agent::AgentManifest;
use crate::ansi_colors::Colorize;
use crate::serve::context::TokenEstimator;

/// Slash commands recognized by the REPL.
///
/// PMAT-CODE-SLASH-PARITY-001: expanded from 11 → 21 variants to mirror
/// Claude Code's built-in slash command surface. Variants marked STUB
/// print a placeholder pointing to the closure ticket; the parser
/// recognizes them so `/help` can advertise them and the user sees a
/// deliberate "not yet implemented" message rather than `Unknown`.
#[derive(Debug, PartialEq)]
enum SlashCommand {
    Help,
    Quit,
    Cost,
    Context,
    Model,
    Compact,
    Clear,
    Session,
    Sessions,
    Test,
    Quality,
    // PMAT-CODE-SLASH-PARITY-001: 10 new variants (Claude-Code parity).
    // Semantics per row documented in the handler match arms below.
    Mcp,
    Config,
    Review,
    Memory,
    Permissions,
    Hooks,
    Init,
    Resume,
    AddDir,
    Agents,
    // PMAT-CODE-SLASH-EXTENDED-001: final 3 variants from Claude Code's
    // built-in surface. Stubs that print a deliberate placeholder so
    // operators see "not yet wired" rather than `Unknown`.
    Debug,
    Rename,
    Upgrade,
    Unknown(String),
}

impl SlashCommand {
    fn parse(input: &str) -> Option<Self> {
        let trimmed = input.trim();
        if !trimmed.starts_with('/') {
            return None;
        }
        let cmd = trimmed.split_whitespace().next().unwrap_or("");
        Some(match cmd {
            "/help" | "/h" | "/?" => Self::Help,
            "/quit" | "/q" | "/exit" => Self::Quit,
            "/cost" => Self::Cost,
            "/context" | "/ctx" => Self::Context,
            "/model" => Self::Model,
            "/compact" => Self::Compact,
            "/clear" => Self::Clear,
            "/session" => Self::Session,
            "/sessions" => Self::Sessions,
            "/test" => Self::Test,
            "/quality" => Self::Quality,
            // PMAT-CODE-SLASH-PARITY-001
            "/mcp" => Self::Mcp,
            "/config" | "/cfg" => Self::Config,
            "/review" => Self::Review,
            "/memory" => Self::Memory,
            "/permissions" | "/perms" => Self::Permissions,
            "/hooks" => Self::Hooks,
            "/init" => Self::Init,
            "/resume" => Self::Resume,
            "/add-dir" | "/adddir" => Self::AddDir,
            "/agents" => Self::Agents,
            // PMAT-CODE-SLASH-EXTENDED-001
            "/debug" | "/dbg" => Self::Debug,
            "/rename" => Self::Rename,
            "/upgrade" => Self::Upgrade,
            other => Self::Unknown(other.to_string()),
        })
    }
}

/// Auto-compaction threshold (80% of context window). See apr-code.md §7.3.
const AUTO_COMPACT_THRESHOLD: f64 = 0.80;

/// Session state tracked across turns.
pub(super) struct ReplSession {
    pub(super) turn_count: u32,
    pub(super) total_input_tokens: u64,
    pub(super) total_output_tokens: u64,
    pub(super) total_tool_calls: u32,
    pub(super) estimated_cost_usd: f64,
    /// Persistent session store (JSONL). None if persistence failed to init.
    pub(super) store: Option<SessionStore>,
    /// Context window size in tokens (from driver).
    pub(super) context_window: usize,
}

impl ReplSession {
    fn new(agent_name: &str, context_window: usize) -> Self {
        let store = SessionStore::create(agent_name).ok();
        Self {
            turn_count: 0,
            total_input_tokens: 0,
            total_output_tokens: 0,
            total_tool_calls: 0,
            estimated_cost_usd: 0.0,
            store,
            context_window,
        }
    }

    fn record_turn(&mut self, result: &AgentLoopResult, cost: f64) {
        self.turn_count += 1;
        self.total_input_tokens += result.usage.input_tokens;
        self.total_output_tokens += result.usage.output_tokens;
        self.total_tool_calls += result.tool_calls;
        self.estimated_cost_usd += cost;
        // Persist turn count
        if let Some(ref mut store) = self.store {
            let _ = store.record_turn();
        }
    }

    /// Persist new messages from this turn to JSONL.
    fn persist_messages(&self, history: &[Message], prev_len: usize) {
        if let Some(ref store) = self.store {
            let new_msgs = &history[prev_len..];
            if !new_msgs.is_empty() {
                let _ = store.append_messages(new_msgs);
            }
        }
    }

    pub(crate) fn session_id(&self) -> Option<&str> {
        self.store.as_ref().map(|s| s.id())
    }

    /// Estimate total tokens used by conversation history.
    fn estimate_history_tokens(history: &[Message]) -> usize {
        let estimator = TokenEstimator::new();
        let chat_msgs: Vec<_> = history.iter().map(Message::to_chat_message).collect();
        estimator.estimate_messages(&chat_msgs)
    }

    /// Context usage as fraction (0.0–1.0).
    pub(super) fn context_usage(&self, history: &[Message]) -> f64 {
        if self.context_window == 0 {
            return 0.0;
        }
        Self::estimate_history_tokens(history) as f64 / self.context_window as f64
    }

    /// Auto-compact if history exceeds 80% of context window.
    /// Returns true if compaction was triggered.
    fn auto_compact_if_needed(&self, history: &mut Vec<Message>) -> bool {
        let usage = self.context_usage(history);
        if usage >= AUTO_COMPACT_THRESHOLD {
            let before = history.len();
            compact_history(history);
            let after = history.len();
            if after < before {
                println!(
                    "  {} Auto-compacted: {} → {} messages ({:.0}% context)",
                    "⚙".dimmed(),
                    before,
                    after,
                    self.context_usage(history) * 100.0
                );
                return true;
            }
        }
        false
    }
}

/// Resume an existing session or create a new one.
fn resume_or_new(
    resume_id: Option<&str>,
    agent_name: &str,
    ctx_window: usize,
) -> (ReplSession, Vec<Message>) {
    if let Some(id) = resume_id {
        if let Ok(store) = SessionStore::resume(id) {
            let msgs = store.load_messages().unwrap_or_default();
            let turns = store.manifest.turns;
            println!("  {} Resumed {} ({turns} turns, {} msgs)", "✓".green(), id, msgs.len());
            let s = ReplSession {
                turn_count: turns,
                total_input_tokens: 0,
                total_output_tokens: 0,
                total_tool_calls: 0,
                estimated_cost_usd: 0.0,
                store: Some(store),
                context_window: ctx_window,
            };
            return (s, msgs);
        }
        println!("  {} Could not resume session: {id}", "⚠".bright_yellow());
    }
    let s = ReplSession::new(agent_name, ctx_window);
    if let Some(id) = s.session_id() {
        println!("  {} {}", "Session:".dimmed(), id.dimmed());
    }
    (s, Vec::new())
}

/// Run the interactive REPL.
///
/// This is the main entry point for `apr code` interactive mode.
/// Returns when the user types `/quit` or Ctrl+D.
///
/// If `resume_id` is provided, loads conversation history from
/// the corresponding session in `~/.apr/sessions/`.
pub fn run_repl(
    manifest: &AgentManifest,
    driver: &dyn LlmDriver,
    tools: &ToolRegistry,
    memory: &dyn MemorySubstrate,
    max_turns: u32,
    budget_usd: f64,
    resume_id: Option<&str>,
) -> anyhow::Result<()> {
    let rt = tokio::runtime::Builder::new_current_thread()
        .enable_all()
        .build()
        .map_err(|e| anyhow::anyhow!("tokio runtime: {e}"))?;

    print_welcome(manifest, driver);

    let ctx_window = driver.context_window();

    let (mut session, mut history) = resume_or_new(resume_id, &manifest.name, ctx_window);

    let stdin = io::stdin();
    let mut line_buf = String::new();

    loop {
        // Check turn budget
        if session.turn_count >= max_turns {
            println!(
                "\n{} Max turns ({}) reached. Session complete.",
                "⚠".bright_yellow(),
                max_turns
            );
            break;
        }
        if session.estimated_cost_usd >= budget_usd {
            println!(
                "\n{} Budget (${:.2}) exhausted. Session complete.",
                "⚠".bright_yellow(),
                budget_usd
            );
            break;
        }

        // Read input
        let input = match read_input(&stdin, &mut line_buf, &session, budget_usd, &mut history) {
            InputResult::Prompt(s) => s,
            InputResult::SlashHandled => continue,
            InputResult::Exit => break,
            InputResult::Empty => continue,
        };

        // Execute turn with streaming
        let cancel = Arc::new(AtomicBool::new(false));
        let cancel_clone = Arc::clone(&cancel);

        rt.block_on(async {
            let flag = cancel_clone;
            tokio::spawn(async move {
                if tokio::signal::ctrl_c().await.is_ok() {
                    flag.store(true, Ordering::SeqCst);
                }
            });
        });

        let (tx, rx) = mpsc::channel::<StreamEvent>(64);

        println!();

        let history_len_before = history.len();
        let result = rt.block_on(run_turn_streaming(
            manifest,
            &input,
            driver,
            tools,
            memory,
            &mut history,
            tx,
            rx,
            &cancel,
        ));

        match result {
            Ok(r) => {
                let cost = driver.estimate_cost(&r.usage);
                session.record_turn(&r, cost);
                // Persist new messages to JSONL
                session.persist_messages(&history, history_len_before);
                // Auto-compact at 80% context window (spec §7.3)
                session.auto_compact_if_needed(&mut history);
                print_turn_footer(&r, cost, &session, budget_usd);
            }
            Err(e) => {
                if cancel.load(Ordering::SeqCst) {
                    println!("\n{} Generation cancelled.", "⚠".bright_yellow());
                } else {
                    println!("\n{} Error: {e}", "✗".bright_red());
                }
            }
        }
    }

    print_session_summary(&session);
    Ok(())
}

/// Input reading result.
enum InputResult {
    Prompt(String),
    SlashHandled,
    Exit,
    Empty,
}

/// Read one line of input, handling slash commands inline.
fn read_input(
    stdin: &io::Stdin,
    buf: &mut String,
    session: &ReplSession,
    budget: f64,
    history: &mut Vec<Message>,
) -> InputResult {
    let cost_str = if session.estimated_cost_usd > 0.0 {
        format!(" ${:.3}", session.estimated_cost_usd)
    } else {
        String::new()
    };
    print!(
        "\n{}{} ",
        format!("[{}/{}{}]", session.turn_count + 1, "?", cost_str).dimmed(),
        " >".bright_green().bold(),
    );
    io::stdout().flush().ok();

    buf.clear();
    let bytes = match stdin.read_line(buf) {
        Ok(b) => b,
        Err(_) => return InputResult::Exit,
    };
    if bytes == 0 {
        println!();
        return InputResult::Exit;
    }

    let trimmed = buf.trim();
    if trimmed.is_empty() {
        return InputResult::Empty;
    }

    // PMAT-CODE-REPL-PHASE2-001: handle `!<cmd>` shell directive
    // BEFORE slash-command parsing — `!` is a peer to `/` in the
    // Claude-Code interactive surface.
    if let Some(shell_cmd) = super::repl_directives::parse_bang_command(trimmed) {
        match super::repl_directives::execute_bang_command(shell_cmd) {
            Ok((code, out)) => {
                if !out.is_empty() {
                    println!("{out}");
                }
                if code != 0 {
                    eprintln!("(exit {code})");
                }
            }
            Err(e) => eprintln!("! shell error: {e}"),
        }
        return InputResult::SlashHandled;
    }

    // Handle slash commands
    if let Some(cmd) = SlashCommand::parse(trimmed) {
        handle_slash_command(&cmd, session, budget, history);
        return match cmd {
            SlashCommand::Quit => InputResult::Exit,
            _ => InputResult::SlashHandled,
        };
    }

    // PMAT-CODE-REPL-PHASE2-001: expand `@<path>` tokens inline
    // before handing the prompt to the agent. Missing files print a
    // stderr warning and leave the token verbatim (Poka-Yoke — no
    // silent partial expansion).
    let mut warnings = Vec::new();
    let expanded = super::repl_directives::expand_at_paths(trimmed, &mut warnings);
    for w in &warnings {
        eprintln!("⚠ @-expansion: {w}");
    }

    InputResult::Prompt(expanded)
}

/// Handle a slash command.
fn handle_slash_command(
    cmd: &SlashCommand,
    session: &ReplSession,
    budget: f64,
    history: &mut Vec<Message>,
) {
    match cmd {
        SlashCommand::Help => print_help(),
        SlashCommand::Quit => println!("{} Goodbye.", "✓".green()),
        SlashCommand::Cost => {
            // PMAT-169: local inference is free — show tokens, not misleading dollars
            if session.estimated_cost_usd < 0.0001 {
                println!("  Cost: {} (local inference)", "free".green());
            } else {
                println!(
                    "  Cost: ${:.4} / ${:.2} ({:.1}%)",
                    session.estimated_cost_usd,
                    budget,
                    (session.estimated_cost_usd / budget * 100.0).min(100.0)
                );
            }
            println!(
                "  Tokens: {} in / {} out",
                session.total_input_tokens, session.total_output_tokens
            );
            println!("  Turns: {}, Tool calls: {}", session.turn_count, session.total_tool_calls);
        }
        SlashCommand::Context => {
            let user_msgs = history.iter().filter(|m| matches!(m, Message::User(_))).count();
            let asst_msgs = history.iter().filter(|m| matches!(m, Message::Assistant(_))).count();
            let tool_msgs = history
                .iter()
                .filter(|m| matches!(m, Message::AssistantToolUse(_) | Message::ToolResult(_)))
                .count();
            let usage_pct = session.context_usage(history) * 100.0;
            let est_tokens = ReplSession::estimate_history_tokens(history);
            println!(
                "  History: {} messages ({} user, {} assistant, {} tool)",
                history.len(),
                user_msgs,
                asst_msgs,
                tool_msgs
            );
            println!(
                "  Context: ~{} / {} tokens ({:.0}%)",
                est_tokens, session.context_window, usage_pct
            );
            if usage_pct >= 80.0 {
                println!("  {} Near context limit — /compact to free space", "⚠".bright_yellow());
            }
            println!("  Turns: {}", session.turn_count);
        }
        SlashCommand::Model => {
            println!("  Model switching not yet implemented.");
        }
        SlashCommand::Compact => {
            let before = history.len();
            compact_history(history);
            println!("  Compacted: {} -> {} messages", before, history.len());
        }
        SlashCommand::Clear => {
            history.clear();
            print!("\x1B[2J\x1B[1;1H");
            io::stdout().flush().ok();
            println!("  Screen and conversation history cleared.");
        }
        SlashCommand::Session => {
            if let Some(id) = session.session_id() {
                println!("  Session: {id}");
                println!("  Turns: {}, Messages: {}", session.turn_count, history.len());
            } else {
                println!("  No active session (persistence disabled).");
            }
        }
        SlashCommand::Sessions => {
            list_recent_sessions();
        }
        SlashCommand::Test => {
            println!("  Running tests...");
            let _ = io::stdout().flush();
            run_shell_shortcut("cargo test --lib 2>&1 | tail -5");
        }
        SlashCommand::Quality => {
            println!("  Running quality gate...");
            let _ = io::stdout().flush();
            run_shell_shortcut("cargo clippy -- -D warnings 2>&1 | tail -3 && cargo test --lib --quiet 2>&1 | tail -3");
        }
        // PMAT-CODE-SLASH-PARITY-001: 10 new Claude-Code-parity variants.
        // Kept as minimal stubs so the parser + /help advertise them; each
        // points to its closure ticket so users see a deliberate message
        // instead of "Unknown command".
        SlashCommand::Mcp => {
            println!(
                "  MCP servers are configured under {} in the AgentManifest TOML.",
                "mcp_servers[]".bright_yellow()
            );
            println!("  Project-root .mcp.json loader: PMAT-CODE-MCP-JSON-LOADER-001 (P2).");
        }
        SlashCommand::Config => {
            println!(
                "  Config source: {} (TOML). User-global ladder tracked in PMAT-CODE-CONFIG-LADDER-001.",
                "AgentManifest".bright_yellow()
            );
        }
        SlashCommand::Review => {
            println!("  /review not yet implemented — tracked by PMAT-CODE-REVIEW-001.");
        }
        SlashCommand::Memory => {
            println!(
                "  Use the {} tool for CRUD on project memory; /memory TUI: PMAT-CODE-MEMORY-TUI-001.",
                "memory".bright_yellow()
            );
        }
        SlashCommand::Permissions => {
            println!(
                "  Permission modes not yet implemented — tracked by PMAT-CODE-PERMISSIONS-001."
            );
        }
        SlashCommand::Hooks => {
            println!("  Hooks not yet implemented — tracked by PMAT-CODE-HOOKS-001.");
        }
        SlashCommand::Init => {
            println!("  /init scaffold not yet implemented — tracked by PMAT-CODE-INIT-001.");
        }
        SlashCommand::Resume => {
            println!("  REPL-scope /resume not yet implemented — CLI `apr code --resume [id]` works today.");
        }
        SlashCommand::AddDir => {
            println!("  /add-dir not yet implemented — tracked by PMAT-CODE-ADDDIR-001.");
        }
        SlashCommand::Agents => {
            println!(
                "  Custom agents not yet implemented — tracked by PMAT-CODE-CUSTOM-AGENTS-001."
            );
        }
        // PMAT-CODE-SLASH-EXTENDED-001: stub handlers for the final 3
        // Claude-Code-parity variants. Each prints a deliberate placeholder
        // so the operator sees "recognized, not yet wired" instead of
        // "Unknown command" — same pattern the 2026-04-18 batch used.
        SlashCommand::Debug => {
            println!(
                "  /debug not yet implemented — interactive trace inspection \
                 tracked by PMAT-CODE-SLASH-DEBUG-001 (P2). \
                 Use `apr trace --json --payload` for non-interactive tracing."
            );
        }
        SlashCommand::Rename => {
            println!(
                "  /rename not yet implemented — session rename \
                 tracked by PMAT-CODE-SLASH-RENAME-001 (P2). \
                 Sessions are currently identified by their UUIDv7 id under \
                 ~/.apr/sessions/<id>/."
            );
        }
        SlashCommand::Upgrade => {
            println!(
                "  /upgrade not yet implemented — version-check + self-upgrade \
                 tracked by PMAT-CODE-SLASH-UPGRADE-001 (P2). \
                 Run `cargo install aprender --force` for now."
            );
        }
        SlashCommand::Unknown(name) => {
            println!("  {} Unknown command: {name}. Type /help for commands.", "?".bright_yellow());
        }
    }
}

/// Execute one turn with streaming output and multi-turn history.
#[allow(clippy::too_many_arguments)]
async fn run_turn_streaming(
    manifest: &AgentManifest,
    prompt: &str,
    driver: &dyn LlmDriver,
    tools: &ToolRegistry,
    memory: &dyn MemorySubstrate,
    history: &mut Vec<Message>,
    tx: mpsc::Sender<StreamEvent>,
    mut rx: mpsc::Receiver<StreamEvent>,
    cancel: &Arc<AtomicBool>,
) -> Result<AgentLoopResult, crate::agent::result::AgentError> {
    // Drain task: print streaming events as they arrive
    let drain = tokio::spawn(async move {
        while let Some(event) = rx.recv().await {
            print_stream_event_repl(&event);
        }
    });

    let result = crate::agent::runtime::run_agent_turn(
        manifest,
        history,
        prompt,
        driver,
        tools,
        memory,
        Some(tx),
    )
    .await;

    // If cancelled, wrap the error
    if cancel.load(Ordering::SeqCst) && result.is_err() {
        return Err(crate::agent::result::AgentError::CircuitBreak("cancelled by user".into()));
    }

    // Ensure drain task finishes
    let _ = drain.await;
    result
}

// Display functions extracted to repl_display.rs for file size compliance.
use super::repl_display::{
    compact_history, list_recent_sessions, print_help, print_session_summary,
    print_stream_event_repl, print_turn_footer, print_welcome, run_shell_shortcut,
};

#[cfg(test)]
#[path = "repl_tests.rs"]
mod tests;