spar/

config.rs

//! Configuration, and the agent presets that make a new CLI a data change
//! rather than a code change.
//!
//! Presets are compiled into the binary. That is not an optimisation: a
//! `cargo install`ed binary has no source tree beside it, so a preset read from
//! a relative path would work for the author and fail for everyone else. Files
//! on disk still win over the built in copies, so a preset can be overridden or
//! a new one added without rebuilding.

use std::collections::BTreeMap;
use std::path::{Path, PathBuf};

use serde::{Deserialize, Serialize};
use toml::Value;

use crate::error::Result;
use crate::proc::{expand_tilde, home_dir};
use crate::style::Style;
use crate::{bail, spar_err};

/// Presets that ship inside the binary.
pub const BUILTIN_PRESETS: &[(&str, &str)] = &[
    ("aider", include_str!("../presets/aider.toml")),
    ("claude", include_str!("../presets/claude.toml")),
    ("codex", include_str!("../presets/codex.toml")),
    ("cursor", include_str!("../presets/cursor.toml")),
    ("gemini", include_str!("../presets/gemini.toml")),
];

// ---------------------------------------------------------------------------
// Agents
// ---------------------------------------------------------------------------

/// One element of a command template: a bare argument, or a group that is
/// dropped whole when its placeholder is unset.
#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
#[serde(untagged)]
pub enum CommandPart {
    One(String),
    Group(Vec<String>),
}

impl CommandPart {
    pub fn args(&self) -> &[String] {
        match self {
            CommandPart::One(s) => std::slice::from_ref(s),
            CommandPart::Group(v) => v,
        }
    }
}

/// How to read the answer out of what a CLI printed.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
pub enum OutputMode {
    /// Everything on stdout is the answer.
    Text,
    /// Same as text; named separately because it reads better in a preset.
    Json,
    /// An event stream, one JSON object per line.
    Jsonl,
}

/// Where the style rules go when a CLI has a system prompt flag.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
pub enum SystemVia {
    /// Prepended to the prompt.
    Prompt,
    /// Passed through the `{system}` placeholder.
    Placeholder,
}

fn default_timeout() -> u64 {
    crate::proc::DEFAULT_TIMEOUT_SECS
}

fn default_output() -> OutputMode {
    OutputMode::Text
}

fn default_system_via() -> SystemVia {
    SystemVia::Prompt
}

/// Everything needed to drive one CLI. An agent is data, not a class:
/// supporting a new tool is a preset file.
#[derive(Debug, Clone, Serialize, Deserialize)]
#[serde(deny_unknown_fields)]
pub struct AgentSpec {
    #[serde(skip)]
    pub name: String,
    pub command: Vec<CommandPart>,
    #[serde(default)]
    pub model: Option<String>,
    #[serde(default)]
    pub effort: Option<String>,
    /// This agent's own schedule, which wins over the shared one.
    ///
    /// Effort words are each CLI's own vocabulary, so one string for both
    /// agents is a value that has to be legal in two languages at once. This is
    /// where a schedule says `ultra` to codex and `high` to claude.
    #[serde(default)]
    pub effort_schedule: EffortSchedule,
    #[serde(default = "default_output")]
    pub output: OutputMode,
    /// For `jsonl`: the event fields that identify the agent's own message.
    #[serde(default)]
    pub message_match: BTreeMap<String, String>,
    /// For `jsonl`: the dotted path to the text inside a matching event.
    #[serde(default)]
    pub message_path: Option<String>,
    /// Extra places to look for the binary when it is not on PATH.
    #[serde(default)]
    pub search_paths: Vec<String>,
    #[serde(default = "default_system_via")]
    pub system_via: SystemVia,
    #[serde(default = "default_timeout")]
    pub timeout: u64,
    /// A stand in for when this agent cannot answer at all: a CLI that is down,
    /// out of quota, or refusing the request on policy grounds.
    ///
    /// Declared as a nested table rather than by naming a third agent, because
    /// spar takes exactly two and a backup is not a third opinion. It never
    /// reviews alongside the pair, it only answers in place of the one that
    /// failed, so the alternation the design rests on is unchanged.
    ///
    /// Built by `build_spec` from the `[agents.NAME.fallback]` table, never
    /// deserialized directly, so a preset of its own still resolves.
    #[serde(skip)]
    pub fallback: Option<Box<AgentSpec>>,

    // -- hints, inert at runtime -----------------------------------------
    //
    // Written into a generated config as comments so nobody has to guess what
    // to put in `model` or `effort`. Deliberately never validated against: a
    // CLI's options drift, and a stale allow list that refuses a model which
    // actually works would be worse than no hint at all.
    /// Model names this CLI is known to accept.
    #[serde(default)]
    pub models: Vec<String>,
    /// Effort levels this CLI is known to accept.
    #[serde(default)]
    pub efforts: Vec<String>,
    /// Where to check the current list, when spar cannot enumerate it.
    #[serde(default)]
    pub options_note: Option<String>,
}

impl AgentSpec {
    /// The model as configured, normalised. An unset and an empty value both
    /// mean "let the CLI pick", because `render` drops the flag either way.
    pub fn model_key(&self) -> String {
        self.model.as_deref().unwrap_or("").trim().to_string()
    }

    pub fn describe(&self) -> String {
        format!(
            "{}/{}",
            self.model.as_deref().unwrap_or("default model"),
            self.effort.as_deref().unwrap_or("default effort")
        )
    }
}

// ---------------------------------------------------------------------------
// Loop and style blocks
// ---------------------------------------------------------------------------

/// Where an out of scope finding goes. On your own repository an issue is the
/// right home. On a large repository that is not yours it is somebody else's
/// notification and somebody else's triage queue.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
pub enum Followups {
    Issues,
    Local,
    None,
}

impl std::fmt::Display for Followups {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(match self {
            Followups::Issues => "issues",
            Followups::Local => "local",
            Followups::None => "none",
        })
    }
}

/// Whether a pull request spar opens starts as a draft, and when it stops being
/// one.
///
/// A draft says the work is not for a person yet, which is exactly true while
/// two agents are still arguing about it. `UntilApproved` makes that state mean
/// something and clear itself: the loop marks the pull request ready the moment
/// it has no blocking findings left. `Always` is for somebody who promotes
/// every pull request by hand and wants spar to keep out of it.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum Drafts {
    /// Open ordinary pull requests. The default, and what spar has always done.
    Never,
    /// Open as a draft, and mark it ready when the review converges.
    UntilApproved,
    /// Open as a draft and leave it that way.
    Always,
}

impl std::fmt::Display for Drafts {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(match self {
            Drafts::Never => "never",
            Drafts::UntilApproved => "until_approved",
            Drafts::Always => "always",
        })
    }
}

/// How much of its own working spar narrates into a pull request thread.
///
/// The agents never read the PR: they receive findings through their prompts,
/// so nothing in the loop depends on any of this being posted. It exists purely
/// for the person who reads the thread later, which is why the default is the
/// outcome rather than the play by play.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
pub enum PrComments {
    /// One comment when the run finishes, and only if it has something to say.
    Outcome,
    /// A comment per review and per response, as it happens. An audit trail,
    /// at the cost of a thread nobody wants to read.
    Rounds,
    /// Never comment on a pull request. Everything goes to the terminal.
    None,
}

impl std::fmt::Display for PrComments {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(match self {
            PrComments::Outcome => "outcome",
            PrComments::Rounds => "rounds",
            PrComments::None => "none",
        })
    }
}

/// Where resume state lives. Local keeps the PR clean and costs no API calls;
/// writing to the PR only buys anything if a run might be resumed from a
/// different checkout.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
pub enum StateStore {
    Local,
    Pr,
    Both,
}

impl StateStore {
    pub fn writes_local(self) -> bool {
        matches!(self, StateStore::Local | StateStore::Both)
    }
    pub fn writes_pr(self) -> bool {
        matches!(self, StateStore::Pr | StateStore::Both)
    }
}

/// Whose comments `spar checkin` will act on, and whose comments under an issue
/// reach a prompt.
///
/// The default is not timidity. Acting on a comment means a commit pushed to a
/// branch because somebody typed a sentence, and `authorAssociation` is one
/// field GitHub already returns on every comment endpoint that says whether
/// they can write to this repository at all. Everybody is still answered in
/// words either way; this governs only whether a comment can produce a commit.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
pub enum Trust {
    /// Anybody GitHub says can write here: OWNER, MEMBER, COLLABORATOR.
    Write,
    /// Anybody at all. Both agents still have to agree before anything changes.
    Anyone,
}

impl std::fmt::Display for Trust {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(match self {
            Trust::Write => "write",
            Trust::Anyone => "anyone",
        })
    }
}

impl Trust {
    /// Whether a comment from somebody with this association may produce a
    /// commit.
    pub fn may_act_on(self, association: &str) -> bool {
        match self {
            Trust::Anyone => true,
            Trust::Write => matches!(
                association.trim().to_uppercase().as_str(),
                "OWNER" | "MEMBER" | "COLLABORATOR"
            ),
        }
    }
}

/// Which call is about to be made.
///
/// The schedule used to be two keys, `round_1` and `rest`, chosen by a round
/// number that most of these calls do not have. Triage of the whole queue, the
/// implement call, the follow-up screen, the check-in judge and the split
/// proposer were all "round 1", so `round_1 = "ultra"` put every one of them at
/// ultra, which is neither what the name says nor what anybody wants to pay
/// for.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum Call {
    /// Drafting one issue from a project prompt.
    Code,
    /// Both agents, over the whole queue, once per wave.
    Triage,
    /// Writing the first draft.
    Implement,
    /// A review round. The first is the deep one.
    Review(u32),
    /// The author answering a review.
    Respond(u32),
    /// The closing merge-safety pass.
    Close,
    /// The follow-up screen, one call for the whole queue.
    Screen,
    /// A check-in call: the judge is round 1, the checker round 2.
    Checkin(u32),
    /// A split call: the proposer is round 1, the checker round 2.
    Split(u32),
    /// A brainstorm round: both agents diverge in round 1, cross in the
    /// middle rounds, and converge in the last.
    Brainstorm(u32),
    /// A second look at a reviewed pull request after commits or replies.
    Recheck,
    /// Answering what an issue asks of you: the drafter is round 1, the
    /// checker round 2.
    Answer(u32),
}

impl Call {
    /// The schedule key this call reads.
    pub fn key(self) -> &'static str {
        match self {
            Call::Code => "code",
            Call::Triage => "triage",
            Call::Implement => "implement",
            Call::Review(round) if round <= 1 => "review_1",
            Call::Review(_) => "review_rest",
            Call::Respond(_) => "respond",
            Call::Close => "close",
            Call::Screen => "screen",
            Call::Checkin(_) => "checkin",
            Call::Split(_) => "split",
            Call::Brainstorm(_) => "brainstorm",
            Call::Recheck => "recheck",
            Call::Answer(_) => "answer",
        }
    }

    /// What the two key schedule would have used, so a config written before
    /// the keys existed behaves exactly as it did.
    fn legacy_round(self) -> u32 {
        match self {
            Call::Code | Call::Triage | Call::Implement | Call::Screen => 1,
            Call::Review(round) | Call::Respond(round) => round,
            Call::Checkin(round)
            | Call::Split(round)
            | Call::Brainstorm(round)
            | Call::Answer(round) => round,
            Call::Close | Call::Recheck => 2,
        }
    }

    /// Every kind, for `doctor` to check a configuration against.
    pub fn every() -> [Call; 13] {
        [
            Call::Code,
            Call::Triage,
            Call::Implement,
            Call::Review(1),
            Call::Review(2),
            Call::Recheck,
            Call::Respond(1),
            Call::Close,
            Call::Screen,
            Call::Checkin(1),
            Call::Split(1),
            Call::Brainstorm(1),
            Call::Answer(1),
        ]
    }
}

#[derive(Debug, Clone, Default, Serialize, Deserialize)]
#[serde(deny_unknown_fields)]
pub struct EffortSchedule {
    /// Drafting an issue for `spar code`.
    pub code: Option<String>,
    /// The deep first review.
    ///
    /// Kept, and still read by every call that has no key of its own, so an
    /// existing config keeps working exactly as it did.
    pub round_1: Option<String>,
    /// Every round after the first, and the closing pass. Both are asked a
    /// narrower question than the first review, so neither buys its depth again.
    pub rest: Option<String>,
    /// Both agents, over the whole queue. The most expensive call in a run, and
    /// the one the two key schedule never mentioned.
    pub triage: Option<String>,
    pub implement: Option<String>,
    pub review_1: Option<String>,
    pub review_rest: Option<String>,
    pub respond: Option<String>,
    pub close: Option<String>,
    pub screen: Option<String>,
    pub checkin: Option<String>,
    pub split: Option<String>,
    /// Every brainstorm round. Diverging is the deep call and the later rounds
    /// answer narrower questions, but they read the same key: a brainstorm is
    /// cheap next to a run, and one word for it is enough.
    pub brainstorm: Option<String>,
    /// A second look at a reviewed pull request: a delta and a list of claims
    /// to check, so it sits with the later review rounds and reads
    /// `review_rest` when it has no word of its own.
    pub recheck: Option<String>,
    /// Answering what an issue asks of you, both the draft and the check.
    pub answer: Option<String>,
}

/// A schedule entry that was actually written, blank meaning unset.
fn set(value: &Option<String>) -> Option<String> {
    value.clone().filter(|s| !s.trim().is_empty())
}

impl EffortSchedule {
    /// What this schedule says about one call, if anything.
    pub fn get(&self, call: Call) -> Option<String> {
        let value = match call.key() {
            "code" => &self.code,
            "triage" => &self.triage,
            "implement" => &self.implement,
            "review_1" => &self.review_1,
            "review_rest" => &self.review_rest,
            "respond" => &self.respond,
            "close" => &self.close,
            "screen" => &self.screen,
            "checkin" => &self.checkin,
            "brainstorm" => &self.brainstorm,
            "answer" => &self.answer,
            "recheck" => {
                return set(&self.recheck).or_else(|| set(&self.review_rest));
            }
            _ => &self.split,
        };
        set(value)
    }

    /// What the old two key schedule would have said.
    fn legacy(&self, call: Call) -> Option<String> {
        let value = if call.legacy_round() <= 1 {
            &self.round_1
        } else {
            &self.rest
        };
        value.clone().filter(|s| !s.trim().is_empty())
    }
}

/// A command spar runs itself: the check before a push, or the setup of a new
/// worktree.
///
/// A string is split on whitespace, which covers `cargo test` and `npm test`.
/// A list is taken as it is, for anything that needs an argument with a space
/// in it. No shell either way: spar runs the program, so nothing here is
/// interpreted.
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
#[serde(untagged)]
pub enum CheckCommand {
    Line(String),
    Argv(Vec<String>),
}

impl Default for CheckCommand {
    /// An empty list, which is both "nothing to run" and a value that survives
    /// a round trip through TOML, unlike a unit variant.
    fn default() -> Self {
        CheckCommand::Argv(Vec::new())
    }
}

impl CheckCommand {
    pub fn argv(&self) -> Vec<String> {
        match self {
            CheckCommand::Line(line) => line.split_whitespace().map(str::to_string).collect(),
            CheckCommand::Argv(argv) => argv
                .iter()
                .map(|a| a.trim().to_string())
                .filter(|a| !a.is_empty())
                .collect(),
        }
    }

    pub fn is_set(&self) -> bool {
        !self.argv().is_empty()
    }

    /// How the command reads in a log line or a pull request body.
    pub fn describe(&self) -> String {
        self.argv().join(" ")
    }
}

/// Every field takes its value from `LoopCfg::default()` when a config does not
/// mention it, rather than from a per-field function saying the same thing in a
/// second place. Two places is how a default goes stale.
#[derive(Debug, Clone, Serialize, Deserialize)]
#[serde(default, deny_unknown_fields)]
pub struct LoopCfg {
    /// Review rounds one invocation may spend asking for changes. A run that
    /// spends the full budget may use one closing pass, which is not a round.
    pub max_rounds: u32,
    pub auto_merge: bool,
    pub first_implementor: Option<String>,
    pub base_branch: String,
    pub worktrees: bool,
    pub keep_worktrees: bool,
    pub state_store: StateStore,
    pub branch_prefix: String,
    pub followups: Followups,
    /// File a non-blocking finding as a follow-up.
    ///
    /// Off by default, and this is the setting that stops a run breeding. A
    /// thorough reviewer always finds improvements, and turning each one into a
    /// tracker item made a single issue spawn ten, which spawned more: mean
    /// offspring above one never terminates. Not gating a merge is not the same
    /// as being worth somebody's triage queue.
    pub file_non_blocking: bool,
    /// Most follow-ups one run may record before it stops and says what it
    /// dropped. A backstop, not a target.
    pub max_followups: usize,
    /// Most parts `spar split` will make out of one issue or pull request.
    ///
    /// A backstop, not a target, in the shape of `max_followups`. There is no
    /// setting to turn splitting off: it is a command somebody types, and a
    /// setting to disable a command nobody has to run only ever confuses. There
    /// is no mechanical threshold either, because a floor on files changed
    /// would split a forty file rename and hold back a three file mess.
    pub max_split_parts: usize,
    /// Nits stay in the PR thread by default. A filed nit is somebody else's
    /// notification: a run on a production codebase once opened an issue titled
    /// "Log wording".
    pub file_nits: bool,
    /// Close an issue that both agents independently declined, after posting
    /// the shared reasoning. One agent's opinion is never enough.
    pub close_skipped: bool,
    /// Ask both agents to triage at the same time. They only read during
    /// triage, so there is nothing to serialise.
    pub parallel_triage: bool,
    /// Ignore issues and pull requests numbered below this when spar is picking
    /// for itself. 0 is no floor.
    ///
    /// A repository that has been going a while carries a tail of old issues
    /// nobody is going to reach, and since spar takes the lowest numbered open
    /// items it walks straight into them. A number you name explicitly is still
    /// honoured: naming it is the point.
    pub min_number: i64,
    /// Waves of newly filed follow-ups to fold back into the same run, rather
    /// than leaving them for the next one.
    ///
    /// Off by default because it multiplies what a run costs, and because each
    /// wave can file follow-ups of its own. Every wave is triaged like any
    /// other issue, so both agents still have to agree it is worth doing.
    pub absorb_new_issues: u32,
    /// Turn the checklist in a tracking issue into issues, and work them.
    ///
    /// Off by default, for the reason `file_non_blocking` is: a tracker exists
    /// to contain many things, so this is the shape of feature that multiplies.
    /// `max_tracker_children` caps it, a child that triage calls a tracker is
    /// held rather than decomposed in turn, and both agents still gate every
    /// child at triage.
    ///
    /// The trigger is the checklist, never a judgement about what the parts
    /// are. Writing `- [ ]` lines is something a person does on purpose, which
    /// makes this opt in per issue as well as per repository.
    pub decompose_trackers: bool,
    /// Most items from one tracker's checklist that one run may take on. A cap,
    /// not a target, and what it left is named out loud.
    pub max_tracker_children: usize,
    /// Tick an acceptance criterion on the issue once spar merges a pull
    /// request the signing review ruled met it.
    ///
    /// On by default, unlike `decompose_trackers`, because nothing here
    /// multiplies: a tick follows only a merge spar performed and only the
    /// ruling of the agent that did not write the head, and a box is never
    /// unchecked.
    pub tick_criteria: bool,
    /// Whether a pull request spar opens starts as a draft.
    pub drafts: Drafts,
    /// Publish a new branch from the authenticated user's fork when origin
    /// refuses the push, and open the pull request from there.
    ///
    /// On by default because the alternative is a run that implements an
    /// issue, then fails at the push and throws the work away. A fork is how
    /// anybody without write access contributes, and asking GitHub for one
    /// returns the existing fork when there already is one.
    pub fork_when_denied: bool,
    /// Extra instructions handed to both agents with every request.
    ///
    /// For what a person wants of this repository that the code cannot say and
    /// spar has no setting for: how far to go, what not to touch, what not to
    /// wait on. A CLI reads its own conventions file already, CLAUDE.md or
    /// AGENTS.md, but each reads only its own, and two agents given different
    /// standing instructions are not the pair this design rests on.
    ///
    /// Subordinate to the request and to the schema, which is said in the
    /// header they arrive under: they change how the work is done, never what
    /// was asked for or the shape of the answer.
    pub instructions: String,
    /// The most of one issue, its body and the comments on it, that reaches a
    /// prompt. Past it the oldest comments go first, then the body's tail.
    ///
    /// Sized so that no issue a person wrote is ever cut. It was 2000 for
    /// triage and 6000 for implement, silently, and both were small enough to
    /// clip an ordinary bug report: an agent given half an issue judges and
    /// implements the half it saw and has no way to know the rest existed.
    /// When this does fire it is said out loud, in the log and in the prompt.
    pub max_issue_chars: usize,
    /// The most every issue together, bodies and comments, may add to one
    /// triage prompt.
    ///
    /// Triage reads the whole queue at once, so the only unbounded thing here
    /// is the queue. Past this, whole issues are left for the next run rather
    /// than every issue being shortened: a verdict is posted on the issue and
    /// can close it, so judging one on part of its body is worse than not
    /// reaching it yet.
    pub max_triage_chars: usize,
    /// Whose comments `spar checkin` will act on, and whose comments under an
    /// issue reach the prompts that implement, triage, and review it.
    ///
    /// One setting, because both are the same question: whether what somebody
    /// typed can become a commit. The person who filed an issue is read under
    /// it whatever this says, since they wrote the body. The authenticated
    /// GitHub user is also read under an issue regardless of write access.
    pub checkin_trust: Trust,
    /// Mark a review thread resolved when spar made the change it asked for.
    ///
    /// A thread spar disagreed with is left open whatever this says: the person
    /// who raised it has not had their say yet, and it is their thread.
    pub checkin_resolve: bool,
    /// Most unanswered comments spar answers on one pull request in a run.
    ///
    /// A backstop against a long argument being read back to somebody, not a
    /// target. What it held back is said out loud.
    pub max_checkin_comments: usize,
    /// A command spar runs in every worktree it creates, before any agent works
    /// there or the check runs. Unset means nothing is run.
    ///
    /// A worktree holds only what git tracks, so a project that needs
    /// `npm ci` or `uv sync` before it builds got a checkout that could not.
    /// Whether it ever built then rested on an agent happening to install
    /// dependencies on its own: an issue whose agent did passed the check, and
    /// the next one failed it twice over types it could not find, spending the
    /// one fix on a tree it was never asked to repair. The shared checkout is
    /// left alone, since it is the person's own and already set up.
    pub setup: CheckCommand,
    /// A command spar runs in the worktree after an editing call committed and
    /// before the branch is pushed. Unset means nothing is run.
    ///
    /// The design's rule is that a prompt is not a permission and every claim
    /// an agent makes is checked mechanically where it can be. "I ran the
    /// tests" was the one claim nothing checked: the schema records it, and
    /// spar pushed and opened the pull request on the agent's word. This is not
    /// waiting on CI, which is expensive and somebody else's machine. It is one
    /// command, before the push, that fails closed.
    pub check: CheckCommand,
    pub effort_schedule: EffortSchedule,
}

impl Default for LoopCfg {
    fn default() -> Self {
        Self {
            max_rounds: 3,
            auto_merge: false,
            first_implementor: None,
            base_branch: "main".into(),
            worktrees: true,
            keep_worktrees: false,
            state_store: StateStore::Local,
            branch_prefix: String::new(),
            followups: Followups::Local,
            file_non_blocking: false,
            max_followups: 5,
            max_split_parts: 4,
            file_nits: false,
            close_skipped: true,
            parallel_triage: true,
            min_number: 0,
            absorb_new_issues: 0,
            decompose_trackers: false,
            max_tracker_children: 5,
            tick_criteria: true,
            drafts: Drafts::Never,
            fork_when_denied: true,
            instructions: String::new(),
            max_issue_chars: 60_000,
            max_triage_chars: 200_000,
            checkin_trust: Trust::Write,
            checkin_resolve: true,
            max_checkin_comments: 20,
            setup: CheckCommand::default(),
            check: CheckCommand::default(),
            effort_schedule: EffortSchedule::default(),
        }
    }
}

#[derive(Debug, Clone, Serialize, Deserialize)]
#[serde(default, deny_unknown_fields)]
pub struct StyleCfg {
    pub ban_em_dash: bool,
    pub ban_ai_attribution: bool,
    pub terse: bool,
    pub max_detail_chars: usize,
    pub max_summary_chars: usize,
    pub max_body_chars: usize,
    /// A filed issue's body. Far larger than a PR comment's on purpose: a
    /// comment is read with the diff in front of you, an issue is picked up
    /// cold months later by somebody who needs the whole story.
    pub max_issue_body_chars: usize,
    pub max_title_chars: usize,
    pub pr_comments: PrComments,
    pub inline_comments: bool,
}

impl Default for StyleCfg {
    /// Taken from `Style`, which is where the budgets are decided, rather than
    /// written out again here.
    ///
    /// They were written out again here, and they drifted. The functions
    /// supplying them to serde were still named `d90`, `d200`, `d320`, `d900`
    /// and `d4000` while returning 140, 2000, 6000, 8000 and 20000, and the
    /// config `spar init` generated offered the old numbers as though they
    /// were current. Uncommenting one of those lines to see what it did cut
    /// every comment spar posts to a fifth of its length.
    fn default() -> Self {
        let style = Style::default();
        Self {
            ban_em_dash: style.ban_em_dash,
            ban_ai_attribution: style.ban_ai_attribution,
            terse: style.terse,
            max_detail_chars: style.max_detail_chars,
            max_summary_chars: style.max_summary_chars,
            max_body_chars: style.max_body_chars,
            max_issue_body_chars: style.max_issue_body_chars,
            max_title_chars: style.max_title_chars,
            pr_comments: style.pr_comments,
            inline_comments: style.inline_comments,
        }
    }
}

impl StyleCfg {
    pub fn to_style(&self) -> Style {
        Style {
            ban_em_dash: self.ban_em_dash,
            ban_ai_attribution: self.ban_ai_attribution,
            terse: self.terse,
            max_detail_chars: self.max_detail_chars,
            max_summary_chars: self.max_summary_chars,
            max_body_chars: self.max_body_chars,
            max_issue_body_chars: self.max_issue_body_chars,
            max_title_chars: self.max_title_chars,
            pr_comments: self.pr_comments,
            inline_comments: self.inline_comments,
        }
    }
}

// ---------------------------------------------------------------------------
// Listening
// ---------------------------------------------------------------------------

/// What `spar listen` does with a pull request somebody put in front of you.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
pub enum ReviewOrIgnore {
    /// Review it, with a verdict when `verdicts` is on.
    Review,
    /// Say so in the log and do nothing.
    Ignore,
}

impl std::fmt::Display for ReviewOrIgnore {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(match self {
            ReviewOrIgnore::Review => "review",
            ReviewOrIgnore::Ignore => "ignore",
        })
    }
}

/// What `spar listen` does when somebody speaks on a pull request you wrote.
/// GitHub will not let the same account approve it, so the choice is between
/// `spar checkin` with and without the power to push.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
pub enum OwnPr {
    /// `spar checkin`: a change both agents agree on is pushed, behind
    /// `checkin_trust`.
    Checkin,
    /// `spar checkin --reply-only`: answered in words, nothing pushed.
    Reply,
    /// Say so in the log and do nothing.
    Ignore,
}

impl std::fmt::Display for OwnPr {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(match self {
            OwnPr::Checkin => "checkin",
            OwnPr::Reply => "reply",
            OwnPr::Ignore => "ignore",
        })
    }
}

/// What `spar listen` does when somebody mentions you on an issue with no pull
/// request spar reviewed.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
pub enum OnMention {
    /// `spar answer`: what both agents agree on and can check is posted, and
    /// anything that asks you to decide is left for you.
    Answer,
    /// The same, saved for `spar post` rather than posted.
    Draft,
    /// Say so in the log and do nothing.
    Ignore,
}

impl std::fmt::Display for OnMention {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(match self {
            OnMention::Answer => "answer",
            OnMention::Draft => "draft",
            OnMention::Ignore => "ignore",
        })
    }
}

/// What `spar listen` watches for and what it does about it. As with `LoopCfg`,
/// every field takes its value from `ListenCfg::default()` when a config does
/// not mention it.
#[derive(Debug, Clone, Serialize, Deserialize)]
#[serde(default, deny_unknown_fields)]
pub struct ListenCfg {
    /// Seconds between polls of GitHub's notifications for the repository.
    /// GitHub says how often it will answer, and the larger of the two is used.
    pub interval: u64,
    /// Seconds between sweeps of the open pull requests. The sweep sees what a
    /// notification can miss: a review asked for again, an assignment, a
    /// close, or a push, which raises no notification for a reviewer.
    pub sweep: u64,
    /// Seconds an item has to stay quiet before spar acts on it, so a review
    /// request and three comments in the same minute cost one recheck rather
    /// than four.
    pub settle: u64,
    /// Most seconds an item may keep settling before it is acted on anyway.
    pub max_wait: u64,
    /// Rechecks one pull request gets before a person has to run `spar review`
    /// on it again. A cap against two bots arguing, not a target. 0 turns
    /// automatic rechecks off.
    pub max_rechecks: u32,
    pub on_review_requested: ReviewOrIgnore,
    pub on_assigned: ReviewOrIgnore,
    pub on_own_pr: OwnPr,
    /// Whether a review `spar listen` starts submits a formal verdict, approve
    /// or request changes, rather than a comment. A recheck always does.
    pub verdicts: bool,
    pub on_mention: OnMention,
    /// Times `spar listen` runs `spar answer` on one issue before a person has
    /// to run it by hand. A cap against two bots talking to each other, not a
    /// target. 0 turns automatic answers off.
    pub max_answers: u32,
}

impl Default for ListenCfg {
    fn default() -> Self {
        Self {
            interval: 60,
            sweep: 300,
            settle: 120,
            max_wait: 900,
            max_rechecks: 5,
            on_review_requested: ReviewOrIgnore::Review,
            on_assigned: ReviewOrIgnore::Review,
            on_own_pr: OwnPr::Checkin,
            verdicts: true,
            on_mention: OnMention::Answer,
            max_answers: 3,
        }
    }
}

// ---------------------------------------------------------------------------
// The whole config
// ---------------------------------------------------------------------------

#[derive(Debug, Clone)]
pub struct Config {
    /// In declaration order, which is what `first_implementor` defaults to.
    pub agents: Vec<AgentSpec>,
    pub loop_cfg: LoopCfg,
    pub style: Style,
    pub listen: ListenCfg,
    /// Resolved: never empty, always one of the configured agents. Under the
    /// alternating policy this is who goes first on the first issue.
    pub first_implementor: String,
    /// Whether the first implementor swaps from issue to issue.
    pub alternate_first: bool,
    /// Where this config was read from, for error messages.
    pub source: Option<PathBuf>,
}

impl Config {
    pub fn agent_names(&self) -> Vec<String> {
        self.agents.iter().map(|a| a.name.clone()).collect()
    }

    pub fn has_agent(&self, name: &str) -> bool {
        self.agents.iter().any(|a| a.name == name)
    }

    pub fn spec(&self, name: &str) -> Result<&AgentSpec> {
        self.agents.iter().find(|a| a.name == name).ok_or_else(|| {
            spar_err!(
                "no agent named '{name}' ({})",
                self.agent_names().join(", ")
            )
        })
    }

    /// The other agent. With exactly two configured, custody alternates by
    /// definition.
    pub fn other(&self, name: &str) -> String {
        let names = self.agent_names();
        if names.first().map(String::as_str) == Some(name) {
            names.get(1).cloned().unwrap_or_else(|| name.to_string())
        } else {
            names.first().cloned().unwrap_or_else(|| name.to_string())
        }
    }

    /// What effort one agent is asked for on one call.
    ///
    /// Four places, most specific first: this agent's own schedule, the shared
    /// schedule, the old `round_1`/`rest` pair, and the agent's plain `effort`.
    /// The per agent layer is what makes a schedule expressible at all when the
    /// two CLIs do not share a vocabulary: `ultra` is not a value the claude
    /// preset accepts, and `max` means different things to each.
    pub fn effort_for(&self, spec: &AgentSpec, call: Call) -> Option<String> {
        spec.effort_schedule
            .get(call)
            .or_else(|| self.loop_cfg.effort_schedule.get(call))
            .or_else(|| self.loop_cfg.effort_schedule.legacy(call))
            .or_else(|| spec.effort.clone())
    }

    /// Round 1 gets the deep pass; later rounds only see a small delta, and a
    /// full ultra review of a three line delta is money on fire.
    pub fn effort_for_round(&self, spec: &AgentSpec, round: u32) -> Option<String> {
        self.effort_for(spec, Call::Review(round))
    }

    /// Who writes the first draft of the nth issue this run works.
    ///
    /// Fixed unless the policy is to alternate, in which case it swaps every
    /// issue, so both models author and both models review first over a queue.
    pub fn first_implementor_for(&self, nth: usize) -> String {
        if !self.alternate_first || nth % 2 == 0 {
            return self.first_implementor.clone();
        }
        self.other(&self.first_implementor)
    }

    /// What to print when somebody asks who goes first.
    pub fn first_implementor_policy(&self) -> String {
        if self.alternate_first {
            format!("alternating, {} first", self.first_implementor)
        } else {
            self.first_implementor.clone()
        }
    }

    pub fn base_branch(&self) -> &str {
        &self.loop_cfg.base_branch
    }
}

#[derive(Debug, Deserialize)]
#[serde(deny_unknown_fields)]
struct RawConfig {
    #[serde(default)]
    agents: toml::Table,
    #[serde(default)]
    #[serde(rename = "loop")]
    loop_cfg: Option<LoopCfg>,
    #[serde(default)]
    style: Option<StyleCfg>,
    #[serde(default)]
    listen: Option<ListenCfg>,
}

// ---------------------------------------------------------------------------
// Presets
// ---------------------------------------------------------------------------

/// Directories searched for preset overrides, nearest first.
///
/// Deliberately *not* a bare `presets/`. spar runs from inside the user's own
/// repository, where `presets/` is a perfectly ordinary directory name for
/// something unrelated (sampler configs, prompt libraries, editor themes), and
/// a stray `presets/claude.toml` shadowing the built in preset produces a
/// baffling failure: `spar init` reports Claude Code as missing while it sits
/// on PATH. Overrides live somewhere that names spar.
pub fn preset_dirs() -> Vec<PathBuf> {
    let mut dirs = Vec::new();
    if let Some(custom) = std::env::var_os("SPAR_PRESET_DIR") {
        dirs.push(PathBuf::from(custom));
    }
    dirs.push(PathBuf::from(".spar").join("presets"));
    if let Some(home) = home_dir() {
        dirs.push(home.join(".config").join("spar").join("presets"));
    }
    dirs
}

/// Every preset name available, built in and on disk, sorted.
pub fn available_presets() -> Vec<String> {
    let mut names: Vec<String> = BUILTIN_PRESETS.iter().map(|(n, _)| n.to_string()).collect();
    for dir in preset_dirs() {
        if let Ok(entries) = std::fs::read_dir(&dir) {
            for entry in entries.flatten() {
                let path = entry.path();
                if path.extension().and_then(|e| e.to_str()) == Some("toml") {
                    if let Some(stem) = path.file_stem().and_then(|s| s.to_str()) {
                        names.push(stem.to_string());
                    }
                }
            }
        }
    }
    names.sort();
    names.dedup();
    names
}

/// Parse a whole TOML document into a `Value`.
///
/// `"...".parse::<Value>()` parses a single TOML *value*, not a document, so it
/// rejects the first comment line of every preset.
fn parse_document(text: &str, what: &str) -> Result<Value> {
    let table: toml::Table =
        toml::from_str(text).map_err(|e| spar_err!("{what} is not valid TOML: {e}"))?;
    Ok(Value::Table(table))
}

/// Load a preset. A file on disk wins over the built in copy of the same name,
/// so a drifting CLI can be corrected without waiting for a release.
pub fn load_preset(name: &str) -> Result<Value> {
    for dir in preset_dirs() {
        let path = dir.join(format!("{name}.toml"));
        if path.is_file() {
            let text = std::fs::read_to_string(&path)
                .map_err(|e| spar_err!("could not read preset {}: {e}", path.display()))?;
            return parse_document(&text, &format!("preset {}", path.display()));
        }
    }
    for (builtin, text) in BUILTIN_PRESETS {
        if *builtin == name {
            return parse_document(text, &format!("built in preset {name}"));
        }
    }
    Err(spar_err!(
        "unknown preset '{name}'. Available: {}",
        available_presets().join(", ")
    ))
}

/// Deep merge, with `over` winning. Used so a config block can override one
/// field of a preset without restating the whole command template.
fn merge(base: &Value, over: &Value) -> Value {
    match (base, over) {
        (Value::Table(b), Value::Table(o)) => {
            let mut out = b.clone();
            for (key, value) in o {
                let merged = match out.get(key) {
                    Some(existing) => merge(existing, value),
                    None => value.clone(),
                };
                out.insert(key.clone(), merged);
            }
            Value::Table(out)
        }
        _ => over.clone(),
    }
}

fn build_spec(name: &str, raw: &Value) -> Result<AgentSpec> {
    let table = raw
        .as_table()
        .ok_or_else(|| spar_err!("agent '{name}' must be a table"))?;

    let merged = match table.get("preset").and_then(Value::as_str) {
        Some(preset) => merge(&load_preset(preset)?, raw),
        None => raw.clone(),
    };

    let mut merged_table = merged
        .as_table()
        .cloned()
        .ok_or_else(|| spar_err!("agent '{name}' must be a table"))?;
    merged_table.remove("preset");
    // Lifted out before the spec is deserialized: a fallback is a whole agent,
    // preset and all, and only this function knows how to resolve a preset.
    let fallback_raw = merged_table.remove("fallback");

    if !merged_table.contains_key("command") {
        bail!(
            "agent '{name}' has no command and no preset. Set one of them, or pick a preset: {}",
            available_presets().join(", ")
        );
    }

    let mut spec: AgentSpec = Value::Table(merged_table)
        .try_into()
        .map_err(|e| spar_err!("agent '{name}': {e}"))?;
    spec.name = name.to_string();

    if spec.command.is_empty() {
        bail!("agent '{name}' has an empty command");
    }
    if matches!(spec.command.first(), Some(CommandPart::Group(_))) {
        bail!("agent '{name}': the first command element must be the program name, not a group");
    }
    if spec.output == OutputMode::Jsonl && spec.message_path.as_deref().unwrap_or("").is_empty() {
        bail!(
            "agent '{name}': output = \"jsonl\" needs a message_path saying where the answer lives"
        );
    }

    if let Some(raw) = fallback_raw {
        if !raw.is_table() {
            bail!(
                "agent '{name}': fallback is a whole agent, so write it as a table:\n                   [agents.{name}.fallback]\n  preset = \"cursor\""
            );
        }
        // Named for the env override it answers to, SPAR_<NAME>_FALLBACK_BIN,
        // and so a log line says which agent stood in for which.
        let backup = build_spec(&format!("{name}-fallback"), &raw)?;
        if backup.fallback.is_some() {
            bail!(
                "agent '{name}': a fallback may not have a fallback of its own. Each one costs \
                 another full timeout on a call that has already failed once."
            );
        }
        spec.fallback = Some(Box::new(backup));
    }

    Ok(spec)
}

// ---------------------------------------------------------------------------
// Loading
// ---------------------------------------------------------------------------

/// One option the parser accepts, with the value it takes when unset.
#[derive(Debug, Clone)]
pub struct OptionInfo {
    pub section: &'static str,
    pub key: String,
    pub default: String,
}

/// Every option a config file may set, with its default.
///
/// Derived from the defaults themselves rather than written out by hand, so an
/// option added to the code cannot go missing here. That is what lets `doctor`
/// tell somebody upgrading which settings are new since they wrote their file.
pub fn known_options() -> Vec<OptionInfo> {
    fn lines<T: Serialize>(section: &'static str, value: &T) -> Vec<OptionInfo> {
        toml::to_string(value)
            .unwrap_or_default()
            .lines()
            .filter_map(|line| line.split_once(" = "))
            .map(|(key, default)| OptionInfo {
                section,
                key: key.trim().to_string(),
                default: default.trim().to_string(),
            })
            .collect()
    }
    let mut out = lines("loop", &LoopCfg::default());
    out.extend(lines("style", &StyleCfg::default()));
    out.extend(lines(
        "loop.effort_schedule",
        &EffortSchedule {
            round_1: Some("high".into()),
            rest: Some("low".into()),
            code: Some("high".into()),
            triage: Some("low".into()),
            implement: Some("high".into()),
            review_1: Some("high".into()),
            review_rest: Some("low".into()),
            respond: Some("high".into()),
            close: Some("low".into()),
            screen: Some("low".into()),
            checkin: Some("high".into()),
            split: Some("high".into()),
            brainstorm: Some("high".into()),
            recheck: Some("low".into()),
            answer: Some("high".into()),
        },
    ));
    out.extend(lines("listen", &ListenCfg::default()));
    out
}

/// Whether a config file mentions an option at all, set or commented out.
pub fn mentions(config_text: &str, key: &str) -> bool {
    config_text.lines().any(|line| {
        let bare = line.trim_start().trim_start_matches('#').trim_start();
        bare.starts_with(&format!("{key} ")) || bare.starts_with(&format!("{key}="))
    })
}

/// Options this config file has never heard of, which is what somebody who
/// upgraded wants to know.
pub fn unmentioned_options(config_text: &str) -> Vec<OptionInfo> {
    known_options()
        .into_iter()
        .filter(|o| !mentions(config_text, &o.key))
        .collect()
}

pub const CONFIG_NAMES: &[&str] = &["spar.toml", ".spar.toml"];

/// Find a config: an explicit path, then the working directory, then
/// `~/.config/spar/spar.toml`.
pub fn find_config(explicit: Option<&Path>) -> Result<Option<PathBuf>> {
    if let Some(path) = explicit {
        if !path.is_file() {
            bail!("config not found: {}", path.display());
        }
        return Ok(Some(path.to_path_buf()));
    }
    for name in CONFIG_NAMES {
        let path = PathBuf::from(name);
        if path.is_file() {
            return Ok(Some(path));
        }
    }
    if let Some(home) = home_dir() {
        let path = home.join(".config").join("spar").join("spar.toml");
        if path.is_file() {
            return Ok(Some(path));
        }
    }
    Ok(None)
}

pub fn load(explicit: Option<&Path>) -> Result<Config> {
    let Some(path) = find_config(explicit)? else {
        bail!(
            "no spar.toml found. Run `spar init` to generate one from the CLIs you have installed."
        );
    };
    let text = std::fs::read_to_string(&path)
        .map_err(|e| spar_err!("could not read {}: {e}", path.display()))?;
    let mut cfg = parse(&text).map_err(|e| spar_err!("{}: {e}", path.display()))?;
    cfg.source = Some(path);
    Ok(cfg)
}

pub fn parse(text: &str) -> Result<Config> {
    let raw: RawConfig = toml::from_str(text)?;

    if raw.agents.len() != 2 {
        bail!(
            "spar needs exactly two agents, found {}. The whole design is one reviewing the other.",
            raw.agents.len()
        );
    }

    let mut agents = Vec::new();
    for (name, value) in raw.agents.iter() {
        agents.push(build_spec(name, value)?);
    }

    let loop_cfg = raw.loop_cfg.unwrap_or_default();
    let style = raw.style.unwrap_or_default().to_style();
    let listen = raw.listen.unwrap_or_default();

    if loop_cfg.max_rounds == 0 {
        bail!("max_rounds must be at least 1");
    }
    if listen.settle > listen.max_wait {
        bail!(
            "[listen] settle ({}) cannot be longer than max_wait ({}): an item that kept \
             changing would never be acted on. Raise max_wait or lower settle.",
            listen.settle,
            listen.max_wait
        );
    }
    if listen.interval == 0 || listen.sweep == 0 {
        bail!(
            "[listen] interval and sweep are seconds between polls and must be at least 1. \
             Polling never goes below 15 seconds whatever they say."
        );
    }
    // A draft cannot be merged, so merging one means promoting it first, which
    // is the one thing `always` asks spar not to do. Refusing is better than
    // picking a winner: either setting alone is coherent and only somebody who
    // set both can say which they meant.
    if loop_cfg.auto_merge && loop_cfg.drafts == Drafts::Always {
        bail!(
            "auto_merge cannot be on with drafts = \"always\": merging a draft means marking it \
             ready, which is what \"always\" asks spar not to do. Use drafts = \"until_approved\" \
             to have it promoted when the review converges, or turn auto_merge off."
        );
    }

    // "alternate" is not an agent name, it is a policy: whoever is not the
    // agent that wrote the last first draft. Roles alternate within a pull
    // request and never between them, so over a queue of twenty issues one
    // model writes every first draft and the other reviews every one of them.
    // A model's blind spots as an author are systematic, and the ones the pair
    // shares go through every time.
    let alternate = loop_cfg
        .first_implementor
        .as_deref()
        .is_some_and(|name| name.trim().eq_ignore_ascii_case("alternate"));
    let first = match &loop_cfg.first_implementor {
        Some(name) if !name.trim().is_empty() && !alternate => name.trim().to_string(),
        _ => agents[0].name.clone(),
    };
    if !agents.iter().any(|a| a.name == first) {
        bail!(
            "first_implementor '{first}' is not a configured agent ({})",
            agents
                .iter()
                .map(|a| a.name.as_str())
                .collect::<Vec<_>>()
                .join(", ")
        );
    }

    Ok(Config {
        agents,
        loop_cfg,
        style,
        listen,
        first_implementor: first,
        alternate_first: alternate,
        source: None,
    })
}

/// Resolve a configured search path, expanding a leading `~`.
pub fn resolve_search_path(raw: &str) -> PathBuf {
    expand_tilde(raw)
}

#[cfg(test)]
mod tests {
    use super::*;

    const TWO_AGENTS: &str = r#"
[agents.claude]
preset = "claude"
model = "fable"

[agents.codex]
preset = "codex"
model = "gpt-5.6-sol"
"#;

    // -- fallback --------------------------------------------------------

    #[test]
    fn a_fallback_is_a_whole_agent_with_its_own_preset() {
        let text = format!(
            "{TWO_AGENTS}\n[agents.codex.fallback]\npreset = \"cursor\"\nmodel = \"kimi-k3\"\n"
        );
        let cfg = parse(&text).expect("parses");
        // Still a pair. A backup is not a third opinion.
        assert_eq!(2, cfg.agents.len());
        let codex = cfg.spec("codex").expect("codex");
        let backup = codex.fallback.as_ref().expect("fallback");
        assert_eq!("codex-fallback", backup.name);
        assert_eq!(Some("kimi-k3"), backup.model.as_deref());
        assert_eq!(
            Some(&CommandPart::One("cursor-agent".into())),
            backup.command.first()
        );
    }

    #[test]
    fn the_agent_without_a_fallback_does_not_grow_one() {
        let cfg = parse(TWO_AGENTS).expect("parses");
        assert!(cfg.agents.iter().all(|a| a.fallback.is_none()));
    }

    #[test]
    fn a_fallback_may_not_have_one_of_its_own() {
        let text = format!(
            "{TWO_AGENTS}\n[agents.codex.fallback]\npreset = \"cursor\"\n\
             [agents.codex.fallback.fallback]\npreset = \"gemini\"\n"
        );
        let err = parse(&text).expect_err("rejected");
        assert!(err.message().contains("may not have a fallback"), "{err}");
    }

    #[test]
    fn a_fallback_written_as_a_string_says_what_it_should_be() {
        let text = "[agents.claude]\npreset = \"claude\"\n\n\
                    [agents.codex]\npreset = \"codex\"\nfallback = \"cursor\"\n";
        let err = parse(text).expect_err("rejected");
        assert!(err.message().contains("[agents.codex.fallback]"), "{err}");
    }

    /// A block that names one setting keeps the defaults for every setting it
    /// did not name. That is what the container level serde default buys: each
    /// field used to carry its own default function repeating a number that
    /// also lived in `Default`, and the two copies stopped agreeing.
    #[test]
    fn a_partial_block_keeps_the_defaults_it_did_not_name() {
        let text = format!("{TWO_AGENTS}\n[loop]\nmax_rounds = 9\n\n[style]\nterse = false\n");
        let cfg = parse(&text).expect("parses");

        assert_eq!(9, cfg.loop_cfg.max_rounds);
        assert_eq!(LoopCfg::default().followups, cfg.loop_cfg.followups);
        assert_eq!(LoopCfg::default().close_skipped, cfg.loop_cfg.close_skipped);

        assert!(!cfg.style.terse);
        assert_eq!(Style::default().max_body_chars, cfg.style.max_body_chars);
        assert_eq!(Style::default().max_title_chars, cfg.style.max_title_chars);
    }

    /// The budgets are decided in `Style` and read from there by the config
    /// layer. When they were written out in both places they drifted, and the
    /// generated config offered the older set for months.
    #[test]
    fn the_config_layer_does_not_keep_its_own_copy_of_the_budgets() {
        assert_eq!(Style::default(), StyleCfg::default().to_style());
    }

    // -- drafts ------------------------------------------------------------

    #[test]
    fn pull_requests_are_not_drafts_unless_asked_for() {
        assert_eq!(Drafts::Never, parse(TWO_AGENTS).unwrap().loop_cfg.drafts);
    }

    #[test]
    fn each_draft_setting_parses() {
        for (text, want) in [
            ("never", Drafts::Never),
            ("until_approved", Drafts::UntilApproved),
            ("always", Drafts::Always),
        ] {
            let cfg = parse(&format!("{TWO_AGENTS}\n[loop]\ndrafts = \"{text}\"\n"))
                .unwrap_or_else(|e| panic!("{text}: {e}"));
            assert_eq!(want, cfg.loop_cfg.drafts, "{text}");
        }
    }

    /// Merging a draft means marking it ready, which is the one thing `always`
    /// asks spar not to do. Either setting alone is coherent, so refusing beats
    /// picking a winner between them.
    #[test]
    fn auto_merge_and_a_permanent_draft_are_refused_together() {
        let text = format!("{TWO_AGENTS}\n[loop]\nauto_merge = true\ndrafts = \"always\"\n");
        let err = parse(&text).expect_err("refused");
        assert!(err.message().contains("auto_merge"), "{err}");
        assert!(
            err.message().contains("until_approved"),
            "says the way out: {err}"
        );
    }

    /// The pairing that does make sense: the draft clears when the review
    /// converges, and then it can merge.
    #[test]
    fn auto_merge_is_fine_with_a_draft_that_clears() {
        let text =
            format!("{TWO_AGENTS}\n[loop]\nauto_merge = true\ndrafts = \"until_approved\"\n");
        assert!(parse(&text).is_ok());
    }

    #[test]
    fn every_builtin_preset_parses() {
        for (name, _) in BUILTIN_PRESETS {
            let value = load_preset(name).unwrap_or_else(|e| panic!("{name}: {e}"));
            assert!(value.get("command").is_some(), "{name} has no command");
        }
    }

    #[test]
    fn every_builtin_preset_builds_a_spec() {
        for (name, _) in BUILTIN_PRESETS {
            let raw = parse_document(&format!("preset = \"{name}\""), "test").unwrap();
            build_spec(name, &raw).unwrap_or_else(|e| panic!("{name}: {e}"));
        }
    }

    /// `--allowedTools` is variadic, so the separate form swallows the
    /// following positional prompt unless another flag happens to sit between
    /// them. The equals form is not cosmetic.
    #[test]
    fn claude_preset_uses_the_equals_form_for_allowed_tools() {
        let spec = build_spec(
            "claude",
            &parse_document("preset = \"claude\"", "test").unwrap(),
        )
        .unwrap();
        let flat: Vec<&String> = spec.command.iter().flat_map(|p| p.args()).collect();
        assert!(flat.iter().any(|a| a.starts_with("--allowedTools=")));
        assert!(!flat.iter().any(|a| a.as_str() == "--allowedTools"));
    }

    #[test]
    fn codex_preset_declares_where_its_answer_lives() {
        let spec = build_spec(
            "codex",
            &parse_document("preset = \"codex\"", "test").unwrap(),
        )
        .unwrap();
        assert_eq!(OutputMode::Jsonl, spec.output);
        assert_eq!(Some("item.text"), spec.message_path.as_deref());
        assert!(!spec.message_match.is_empty());
    }

    /// ChatGPT 26.924 moved the bundled CLI from `Resources/codex` to
    /// `Resources/codex-cli/bin/codex`. An app not yet updated still has the
    /// old one, so both are searched, the current layout first.
    #[test]
    fn codex_preset_looks_where_either_chatgpt_layout_keeps_the_cli() {
        let spec = build_spec(
            "codex",
            &parse_document("preset = \"codex\"", "test").unwrap(),
        )
        .unwrap();
        let at = |path: &str| spec.search_paths.iter().position(|p| p == path);
        let current = at("/Applications/ChatGPT.app/Contents/Resources/codex-cli/bin");
        let older = at("/Applications/ChatGPT.app/Contents/Resources");
        assert!(current.is_some(), "{:?}", spec.search_paths);
        assert!(older.is_some(), "{:?}", spec.search_paths);
        assert!(current < older, "{:?}", spec.search_paths);
    }

    #[test]
    fn agent_order_follows_declaration_order() {
        let cfg = parse(TWO_AGENTS).unwrap();
        assert_eq!(vec!["claude", "codex"], cfg.agent_names());
        assert_eq!("claude", cfg.first_implementor);
    }

    #[test]
    fn other_alternates() {
        let cfg = parse(TWO_AGENTS).unwrap();
        assert_eq!("codex", cfg.other("claude"));
        assert_eq!("claude", cfg.other("codex"));
    }

    #[test]
    fn a_config_block_overrides_one_preset_field() {
        let cfg = parse(TWO_AGENTS).unwrap();
        let claude = cfg.spec("claude").unwrap();
        assert_eq!(Some("fable"), claude.model.as_deref());
        assert!(claude.command.len() > 1, "the preset command survived");
    }

    #[test]
    fn exactly_two_agents_are_required() {
        let one = "[agents.claude]\npreset = \"claude\"\n";
        assert!(parse(one).unwrap_err().to_string().contains("exactly two"));
    }

    #[test]
    fn an_unknown_agent_option_is_named() {
        let text = "[agents.a]\ncommand = [\"x\"]\nwidget = 3\n[agents.b]\ncommand = [\"y\"]\n";
        let err = parse(text).unwrap_err().to_string();
        assert!(err.contains("widget"), "{err}");
    }

    #[test]
    fn an_unknown_loop_option_is_named() {
        let text = format!("{TWO_AGENTS}\n[loop]\nmax_round = 4\n");
        let err = parse(&text).unwrap_err().to_string();
        assert!(err.contains("max_round"), "{err}");
    }

    #[test]
    fn an_unknown_listen_option_is_named() {
        let text = format!("{TWO_AGENTS}\n[listen]\ninterval_secs = 30\n");
        let err = parse(&text).unwrap_err().to_string();
        assert!(err.contains("interval_secs"), "{err}");
    }

    #[test]
    fn a_listen_block_keeps_the_defaults_it_did_not_name() {
        let text = format!("{TWO_AGENTS}\n[listen]\nsweep = 30\n");
        let cfg = parse(&text).expect("parses");
        assert_eq!(30, cfg.listen.sweep);
        assert_eq!(ListenCfg::default().interval, cfg.listen.interval);
        assert_eq!(ListenCfg::default().settle, cfg.listen.settle);
        assert_eq!(OwnPr::Checkin, cfg.listen.on_own_pr);
        assert!(cfg.listen.verdicts);

        let bare = parse(TWO_AGENTS).unwrap();
        assert_eq!(60, bare.listen.interval);
        assert_eq!(300, bare.listen.sweep);
        assert_eq!(120, bare.listen.settle);
        assert_eq!(900, bare.listen.max_wait);
        assert_eq!(5, bare.listen.max_rechecks);
        assert_eq!(ReviewOrIgnore::Review, bare.listen.on_review_requested);
        assert_eq!(ReviewOrIgnore::Review, bare.listen.on_assigned);
    }

    #[test]
    fn settle_longer_than_max_wait_is_refused_with_a_reason() {
        let text = format!("{TWO_AGENTS}\n[listen]\nsettle = 1000\nmax_wait = 900\n");
        let err = parse(&text).unwrap_err().to_string();
        assert!(err.contains("settle"), "{err}");
        assert!(err.contains("Raise max_wait"), "{err}");

        let text = format!("{TWO_AGENTS}\n[listen]\ninterval = 0\n");
        let err = parse(&text).unwrap_err().to_string();
        assert!(err.contains("at least 1"), "{err}");
    }

    #[test]
    fn each_listen_action_word_parses() {
        for (text, want) in [
            ("review", ReviewOrIgnore::Review),
            ("ignore", ReviewOrIgnore::Ignore),
        ] {
            let cfg = parse(&format!(
                "{TWO_AGENTS}\n[listen]\non_review_requested = \"{text}\"\non_assigned = \"{text}\"\n"
            ))
            .unwrap();
            assert_eq!(want, cfg.listen.on_review_requested);
            assert_eq!(want, cfg.listen.on_assigned);
            assert_eq!(text, want.to_string());
        }
        for (text, want) in [
            ("checkin", OwnPr::Checkin),
            ("reply", OwnPr::Reply),
            ("ignore", OwnPr::Ignore),
        ] {
            let cfg = parse(&format!("{TWO_AGENTS}\n[listen]\non_own_pr = \"{text}\"\n")).unwrap();
            assert_eq!(want, cfg.listen.on_own_pr);
            assert_eq!(text, want.to_string());
        }
        for (text, want) in [
            ("answer", OnMention::Answer),
            ("draft", OnMention::Draft),
            ("ignore", OnMention::Ignore),
        ] {
            let cfg = parse(&format!(
                "{TWO_AGENTS}\n[listen]\non_mention = \"{text}\"\n"
            ))
            .unwrap();
            assert_eq!(want, cfg.listen.on_mention);
            assert_eq!(text, want.to_string());
        }
        assert_eq!(OnMention::Answer, ListenCfg::default().on_mention);
        assert_eq!(3, ListenCfg::default().max_answers);
        let err = parse(&format!("{TWO_AGENTS}\n[listen]\non_own_pr = \"push\"\n"))
            .unwrap_err()
            .to_string();
        assert!(err.contains("on_own_pr") || err.contains("push"), "{err}");
    }

    #[test]
    fn a_recheck_reads_its_own_key_before_review_rest_and_falls_back_to_it() {
        let text = format!(
            "{TWO_AGENTS}\n[loop.effort_schedule]\nreview_rest = \"low\"\nrecheck = \"high\"\n"
        );
        let cfg = parse(&text).unwrap();
        let spec = cfg.spec("claude").unwrap();
        assert_eq!(
            Some("high".to_string()),
            cfg.effort_for(spec, Call::Recheck)
        );

        let text = format!("{TWO_AGENTS}\n[loop.effort_schedule]\nreview_rest = \"low\"\n");
        let cfg = parse(&text).unwrap();
        let spec = cfg.spec("claude").unwrap();
        assert_eq!(Some("low".to_string()), cfg.effort_for(spec, Call::Recheck));

        let text = format!(
            "{TWO_AGENTS}\n[loop.effort_schedule]\nround_1 = \"ultra\"\nrest = \"medium\"\n"
        );
        let cfg = parse(&text).unwrap();
        let spec = cfg.spec("claude").unwrap();
        assert_eq!(
            Some("medium".to_string()),
            cfg.effort_for(spec, Call::Recheck)
        );
    }

    #[test]
    fn every_call_kind_is_in_every() {
        let every = Call::every();
        assert_eq!(13, every.len());
        assert!(every.contains(&Call::Code));
        assert!(every.contains(&Call::Recheck));
        assert!(every.contains(&Call::Answer(1)));
        assert_eq!("recheck", Call::Recheck.key());
        assert_eq!("answer", Call::Answer(2).key());
    }

    #[test]
    fn an_agent_with_no_command_and_no_preset_is_rejected() {
        let text = "[agents.a]\nmodel = \"x\"\n[agents.b]\ncommand = [\"y\"]\n";
        let err = parse(text).unwrap_err().to_string();
        assert!(err.contains("no command and no preset"), "{err}");
    }

    #[test]
    fn jsonl_without_a_message_path_is_rejected() {
        let text =
            "[agents.a]\ncommand = [\"x\"]\noutput = \"jsonl\"\n[agents.b]\ncommand = [\"y\"]\n";
        let err = parse(text).unwrap_err().to_string();
        assert!(err.contains("message_path"), "{err}");
    }

    /// One agent wrote every first draft, so half the pair's diversity went
    /// unused: a model's blind spots as an author are systematic, and the ones
    /// the two share go through every time.
    /// The one claim a report makes that nothing else checks.
    #[test]
    fn a_check_is_read_as_an_argv_either_way_it_is_written() {
        let line = format!("{TWO_AGENTS}\n[loop]\ncheck = \"cargo test --all\"\n");
        let cfg = parse(&line).unwrap();
        assert!(cfg.loop_cfg.check.is_set());
        assert_eq!(vec!["cargo", "test", "--all"], cfg.loop_cfg.check.argv());
        assert_eq!("cargo test --all", cfg.loop_cfg.check.describe());

        let listed =
            format!("{TWO_AGENTS}\n[loop]\ncheck = [\"npm\", \"run\", \"test -- --ci\"]\n");
        let cfg = parse(&listed).unwrap();
        assert_eq!(
            vec!["npm", "run", "test -- --ci"],
            cfg.loop_cfg.check.argv(),
            "a list is taken as it is, spaces and all"
        );

        // Unset is the default, and runs nothing.
        let bare = parse(TWO_AGENTS).unwrap();
        assert!(!bare.loop_cfg.check.is_set());
        assert!(bare.loop_cfg.check.argv().is_empty());
    }

    #[test]
    fn a_setup_is_read_like_a_check_and_runs_nothing_unset() {
        let line = format!("{TWO_AGENTS}\n[loop]\nsetup = \"npm ci --no-audit\"\n");
        let cfg = parse(&line).unwrap();
        assert_eq!(vec!["npm", "ci", "--no-audit"], cfg.loop_cfg.setup.argv());
        assert!(
            !cfg.loop_cfg.check.is_set(),
            "setting up a worktree is not checking it"
        );

        let bare = parse(TWO_AGENTS).unwrap();
        assert!(!bare.loop_cfg.setup.is_set());
    }

    #[test]
    fn alternating_swaps_the_author_from_issue_to_issue() {
        let text = format!("{TWO_AGENTS}\n[loop]\nfirst_implementor = \"alternate\"\n");
        let cfg = parse(&text).unwrap();

        assert!(cfg.alternate_first);
        assert_eq!(
            "claude", cfg.first_implementor,
            "declaration order still leads"
        );
        assert_eq!("claude", cfg.first_implementor_for(0));
        assert_eq!("codex", cfg.first_implementor_for(1));
        assert_eq!("claude", cfg.first_implementor_for(2));
        assert!(cfg.first_implementor_policy().contains("alternating"));
    }

    /// Naming an agent still pins it, which is what --first does for a run.
    #[test]
    fn a_named_first_implementor_never_swaps() {
        let text = format!("{TWO_AGENTS}\n[loop]\nfirst_implementor = \"codex\"\n");
        let cfg = parse(&text).unwrap();
        assert!(!cfg.alternate_first);
        for nth in 0..4 {
            assert_eq!("codex", cfg.first_implementor_for(nth));
        }
        assert_eq!("codex", cfg.first_implementor_policy());
    }

    #[test]
    fn first_implementor_must_name_a_configured_agent() {
        let text = format!("{TWO_AGENTS}\n[loop]\nfirst_implementor = \"nobody\"\n");
        let err = parse(&text).unwrap_err().to_string();
        assert!(err.contains("not a configured agent"), "{err}");
    }

    #[test]
    fn defaults_are_the_conservative_ones() {
        let cfg = parse(TWO_AGENTS).unwrap();
        assert!(
            !cfg.loop_cfg.auto_merge,
            "auto_merge must be off by default"
        );
        assert!(cfg.loop_cfg.worktrees);
        assert!(
            !cfg.loop_cfg.file_nits,
            "a filed nit is somebody else's triage queue"
        );
        assert_eq!(3, cfg.loop_cfg.max_rounds);
        assert_eq!(
            Followups::Local,
            cfg.loop_cfg.followups,
            "the tracker is somebody's queue; the default must not write to it"
        );
        assert!(
            !cfg.loop_cfg.file_non_blocking,
            "a suggestion is not a tracker item"
        );
        assert_eq!(StateStore::Local, cfg.loop_cfg.state_store);
        assert!(cfg.style.terse);
    }

    #[test]
    fn effort_schedule_splits_round_one_from_the_rest() {
        let text =
            format!("{TWO_AGENTS}\n[loop.effort_schedule]\nround_1 = \"ultra\"\nrest = \"high\"\n");
        let cfg = parse(&text).unwrap();
        let spec = cfg.spec("claude").unwrap();
        assert_eq!(Some("ultra".into()), cfg.effort_for_round(spec, 1));
        assert_eq!(Some("high".into()), cfg.effort_for_round(spec, 2));
        assert_eq!(Some("high".into()), cfg.effort_for_round(spec, 9));
    }

    /// The schedule is one string handed to whichever agent holds the round,
    /// and the two CLIs do not share a vocabulary.
    ///
    /// The README's own example pairs round_1 = "ultra" with a claude agent at
    /// effort = "high", and ultra is not a value the claude preset accepts, so
    /// the first review failed at the CLI whenever claude reviewed first.
    #[test]
    fn an_agent_can_carry_its_own_schedule_in_its_own_words() {
        let text = format!(
            "{TWO_AGENTS}\n[agents.claude.effort_schedule]\nreview_1 = \"xhigh\"\n\n\
             [loop.effort_schedule]\nreview_1 = \"ultra\"\n"
        );
        let cfg = parse(&text).unwrap();
        assert_eq!(
            Some("xhigh".into()),
            cfg.effort_for(cfg.spec("claude").unwrap(), Call::Review(1)),
            "the agent's own schedule has to win"
        );
        assert_eq!(
            Some("ultra".into()),
            cfg.effort_for(cfg.spec("codex").unwrap(), Call::Review(1))
        );
    }

    /// Every call used to read round_1 or rest by a round number most of them
    /// do not have, so round_1 = "ultra" put triage over the whole queue, the
    /// implement call and the follow-up screen at ultra too.
    #[test]
    fn each_kind_of_call_reads_its_own_key_and_falls_back_to_the_old_pair() {
        let text = format!(
            "{TWO_AGENTS}\n[loop.effort_schedule]\nround_1 = \"ultra\"\nrest = \"low\"\n\
             triage = \"minimal\"\n"
        );
        let cfg = parse(&text).unwrap();
        let spec = cfg.spec("claude").unwrap();

        assert_eq!(Some("minimal".into()), cfg.effort_for(spec, Call::Triage));
        // No key of its own: exactly what the two key schedule did.
        for call in [Call::Implement, Call::Review(1), Call::Screen] {
            assert_eq!(Some("ultra".into()), cfg.effort_for(spec, call), "{call:?}");
        }
        for call in [Call::Review(2), Call::Close, Call::Respond(3)] {
            assert_eq!(Some("low".into()), cfg.effort_for(spec, call), "{call:?}");
        }
    }

    #[test]
    fn effort_falls_back_to_the_agents_own_setting() {
        let text = format!("{TWO_AGENTS}effort = \"low\"\n");
        let cfg = parse(&text).unwrap();
        let spec = cfg.spec("codex").unwrap();
        assert_eq!(Some("low".into()), cfg.effort_for_round(spec, 1));
    }

    #[test]
    fn an_unset_model_and_an_empty_model_normalise_the_same() {
        let a = AgentSpec {
            name: "a".into(),
            command: vec![CommandPart::One("x".into())],
            model: None,
            effort: None,
            effort_schedule: EffortSchedule::default(),
            output: OutputMode::Text,
            message_match: BTreeMap::new(),
            message_path: None,
            search_paths: vec![],
            system_via: SystemVia::Prompt,
            timeout: 60,
            fallback: None,
            models: vec![],
            efforts: vec![],
            options_note: None,
        };
        let b = AgentSpec {
            model: Some("  ".into()),
            ..a.clone()
        };
        assert_eq!(a.model_key(), b.model_key());
    }

    #[test]
    fn max_rounds_zero_is_rejected() {
        let text = format!("{TWO_AGENTS}\n[loop]\nmax_rounds = 0\n");
        assert!(parse(&text).is_err());
    }

    #[test]
    fn an_inline_command_needs_no_preset() {
        let text = r#"
[agents.custom]
command = ["mytool", ["-m", "{model}"], "--prompt", "{prompt}"]
output = "text"

[agents.other]
command = ["othertool", "{prompt}"]
"#;
        let cfg = parse(text).unwrap();
        assert_eq!(4, cfg.spec("custom").unwrap().command.len());
    }

    #[test]
    fn style_budgets_are_configurable() {
        let text = format!("{TWO_AGENTS}\n[style]\nterse = false\nmax_detail_chars = 40\n");
        let cfg = parse(&text).unwrap();
        assert!(!cfg.style.terse);
        assert_eq!(40, cfg.style.max_detail_chars);
    }
}