truth_mirror/
cli.rs

1use std::path::PathBuf;
2
3use clap::{ArgGroup, Args, Parser, Subcommand, ValueEnum};
4use serde::{Deserialize, Serialize};
5
6#[derive(Debug, Parser)]
7#[command(
8    name = "truth-mirror",
9    version,
10    about = "Truthfulness gate and reviewer harness for coding agents.",
11    propagate_version = true
12)]
13pub struct Cli {
14    #[arg(
15        long,
16        global = true,
17        env = "TRUTH_MIRROR_STATE_DIR",
18        default_value = ".truth-mirror",
19        value_name = "DIR"
20    )]
21    pub state_dir: PathBuf,
22
23    #[arg(long, global = true, env = "TRUTH_MIRROR_CONFIG", value_name = "FILE")]
24    pub config: Option<PathBuf>,
25
26    #[command(subcommand)]
27    pub command: Commands,
28}
29
30#[derive(Debug, Subcommand)]
31pub enum Commands {
32    /// Install, uninstall, or preview agent hook shims.
33    InstallHooks(InstallHooksArgs),
34    /// Review a commit or the staged diff with a separate reviewer model.
35    Review(ReviewArgs),
36    /// Run deterministic repository gates.
37    Gate(GateArgs),
38    /// Reinject unresolved findings into an agent prompt surface.
39    Reinject(ReinjectArgs),
40    /// Inspect or update the dual ledger.
41    Ledger(LedgerArgs),
42    /// Run the post-commit reviewer loop.
43    Watch(WatchArgs),
44    /// Internal git hook dispatcher.
45    #[command(hide = true)]
46    HookDispatch(HookDispatchArgs),
47}
48
49#[derive(Clone, Copy, Debug, Deserialize, Eq, PartialEq, Serialize, ValueEnum)]
50#[serde(rename_all = "kebab-case")]
51pub enum Agent {
52    Claude,
53    Codex,
54    Pi,
55}
56
57#[derive(Clone, Copy, Debug, Deserialize, Eq, PartialEq, Serialize, ValueEnum)]
58#[serde(rename_all = "kebab-case")]
59pub enum ReviewerHarness {
60    Claude,
61    Codex,
62    Pi,
63    Gemini,
64    Opencode,
65    Custom,
66}
67
68#[derive(Debug, Args)]
69pub struct InstallHooksArgs {
70    #[arg(long)]
71    pub claude: bool,
72
73    #[arg(long)]
74    pub codex: bool,
75
76    #[arg(long)]
77    pub pi: bool,
78
79    #[arg(long)]
80    pub uninstall: bool,
81
82    #[arg(long)]
83    pub dry_run: bool,
84}
85
86#[derive(Debug, Args)]
87pub struct ReviewArgs {
88    #[arg(
89        value_name = "SHA",
90        required_unless_present = "staged",
91        conflicts_with = "staged"
92    )]
93    pub target: Option<String>,
94
95    #[arg(long)]
96    pub staged: bool,
97
98    #[arg(long, value_enum, value_name = "AGENT")]
99    pub watched_agent: Option<Agent>,
100
101    #[arg(long, value_enum, value_name = "HARNESS")]
102    pub reviewer_harness: Option<ReviewerHarness>,
103
104    #[arg(long, value_name = "MODEL")]
105    pub watched_model: Option<String>,
106
107    #[arg(long, value_name = "MODEL")]
108    pub reviewer_model: Option<String>,
109
110    #[arg(long)]
111    pub allow_same_model: bool,
112
113    #[arg(long)]
114    pub strict_two_pass: bool,
115
116    #[arg(long, value_enum, value_name = "HARNESS")]
117    pub arbiter_harness: Option<ReviewerHarness>,
118
119    #[arg(long, value_name = "MODEL")]
120    pub arbiter_model: Option<String>,
121
122    /// Sic the adversarial reviewer in a loop until N lies or N fuckups.
123    #[arg(long)]
124    pub strict_goal: bool,
125
126    #[arg(long, value_name = "N")]
127    pub stop_after_lies: Option<u32>,
128
129    #[arg(long, value_name = "N")]
130    pub stop_after_fuckups: Option<u32>,
131
132    #[arg(long, value_name = "N")]
133    pub max_passes: Option<u32>,
134}
135
136#[derive(Debug, Args)]
137#[command(group(
138    ArgGroup::new("gate_mode")
139        .required(true)
140        .args(["pre_push", "commit_msg"])
141))]
142pub struct GateArgs {
143    #[arg(long, value_name = "RANGE", conflicts_with = "commit_msg")]
144    pub pre_push: Option<String>,
145
146    #[arg(long, value_name = "FILE", conflicts_with = "pre_push")]
147    pub commit_msg: Option<PathBuf>,
148
149    #[arg(long, value_name = "FILE", requires = "commit_msg")]
150    pub claim_file: Option<PathBuf>,
151
152    #[arg(long, value_name = "FILE", requires = "commit_msg")]
153    pub diff_file: Option<PathBuf>,
154
155    #[arg(long = "fake-marker", value_name = "TOKEN", requires = "commit_msg")]
156    pub fake_markers: Vec<String>,
157}
158
159#[derive(Debug, Args)]
160pub struct ReinjectArgs {
161    #[arg(long, value_enum)]
162    pub agent: Agent,
163}
164
165#[derive(Debug, Args)]
166pub struct LedgerArgs {
167    #[command(subcommand)]
168    pub command: LedgerCommand,
169}
170
171#[derive(Debug, Subcommand)]
172pub enum LedgerCommand {
173    List,
174    Show {
175        #[arg(value_name = "SHA")]
176        sha: String,
177    },
178    Resolve {
179        #[arg(value_name = "SHA")]
180        sha: String,
181    },
182    Waive {
183        #[arg(value_name = "SHA")]
184        sha: String,
185
186        #[arg(long, value_name = "REASON")]
187        reason: String,
188    },
189    Stats,
190}
191
192#[derive(Debug, Args)]
193pub struct WatchArgs {
194    #[arg(long, value_enum, value_name = "AGENT")]
195    pub watched_agent: Option<Agent>,
196
197    #[arg(long, value_enum, value_name = "HARNESS")]
198    pub reviewer_harness: Option<ReviewerHarness>,
199
200    #[arg(long, value_name = "MODEL")]
201    pub watched_model: Option<String>,
202
203    #[arg(long, value_name = "MODEL")]
204    pub reviewer_model: Option<String>,
205
206    #[arg(long)]
207    pub allow_same_model: bool,
208
209    /// Drain the review queue exactly once and exit (deterministic; used in CI).
210    #[arg(long)]
211    pub once: bool,
212
213    /// Poll interval in seconds when running as a daemon (ignored with --once).
214    #[arg(long, value_name = "SECONDS", default_value_t = 5)]
215    pub poll_secs: u64,
216}
217
218#[derive(Debug, Args)]
219pub struct HookDispatchArgs {
220    #[arg(value_enum)]
221    pub hook: HookName,
222
223    #[arg(value_name = "ARGS")]
224    pub args: Vec<String>,
225}
226
227#[derive(Clone, Copy, Debug, Eq, PartialEq, ValueEnum)]
228#[value(rename_all = "kebab-case")]
229pub enum HookName {
230    CommitMsg,
231    PostCommit,
232    PrePush,
233}
234
235impl HookName {
236    pub fn as_str(self) -> &'static str {
237        match self {
238            Self::CommitMsg => "commit-msg",
239            Self::PostCommit => "post-commit",
240            Self::PrePush => "pre-push",
241        }
242    }
243}
244
245#[cfg(test)]
246mod tests {
247    use clap::CommandFactory;
248
249    use super::Cli;
250
251    #[test]
252    fn clap_contract_is_valid() {
253        Cli::command().debug_assert();
254    }
255}
truth_mirror/cli.rs

truth_mirror/
cli.rs
