harn-cli 0.7.62

CLI for the Harn programming language — run, test, REPL, format, and lint
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119

use std::path::PathBuf;

use clap::{Args, Subcommand};

#[derive(Debug, Args)]
pub(crate) struct FlowArgs {
    #[command(subcommand)]
    pub command: FlowCommand,
}

#[derive(Debug, Subcommand)]
pub(crate) enum FlowCommand {
    /// Replay-audit historical slices against the current invariant predicates.
    ReplayAudit(FlowReplayAuditArgs),
    /// Ship Captain Phase 0 utilities.
    Ship(FlowShipArgs),
    /// Archivist Phase 0 utilities.
    Archivist(FlowArchivistArgs),
}

#[derive(Debug, Args)]
pub(crate) struct FlowReplayAuditArgs {
    /// SQLite Flow store path.
    #[arg(long, value_name = "PATH", default_value = ".harn/flow.sqlite")]
    pub store: PathBuf,
    /// Repo root used to discover current `invariants.harn` predicates.
    #[arg(
        long = "predicate-root",
        alias = "root",
        value_name = "PATH",
        default_value = "."
    )]
    pub predicate_root: PathBuf,
    /// Touched directory to resolve predicates for. Repeat for cross-directory slices.
    #[arg(long = "touched-dir", alias = "target-dir", value_name = "PATH")]
    pub touched_dirs: Vec<PathBuf>,
    /// SQLite created_at lower bound, for example `2026-04-26` or `2026-04-26 12:00:00`.
    #[arg(long, value_name = "DATE")]
    pub since: Option<String>,
    /// Emit JSON instead of text.
    #[arg(long)]
    pub json: bool,
    /// Exit non-zero when drift is detected.
    #[arg(long)]
    pub fail_on_drift: bool,
}

#[derive(Debug, Args)]
pub(crate) struct FlowShipArgs {
    #[command(subcommand)]
    pub command: FlowShipCommand,
}

#[derive(Debug, Subcommand)]
pub(crate) enum FlowShipCommand {
    /// Derive a candidate slice from stored atoms and emit a mock PR receipt.
    Watch(FlowShipWatchArgs),
}

#[derive(Debug, Args)]
pub(crate) struct FlowShipWatchArgs {
    /// SQLite Flow store path.
    #[arg(long, value_name = "PATH", default_value = ".harn/flow.sqlite")]
    pub store: PathBuf,
    /// Repo root used to discover current `invariants.harn` predicates.
    #[arg(
        long = "predicate-root",
        alias = "root",
        value_name = "PATH",
        default_value = "."
    )]
    pub predicate_root: PathBuf,
    /// Touched directory to resolve predicates for. Repeat for cross-directory slices.
    #[arg(long = "touched-dir", alias = "target-dir", value_name = "PATH")]
    pub touched_dirs: Vec<PathBuf>,
    /// Persona id written into the Phase 0 receipt.
    #[arg(long, value_name = "NAME", default_value = "ship_captain")]
    pub persona: String,
    /// Write the Phase 0 mock PR receipt to this path.
    #[arg(long = "mock-pr-out", value_name = "PATH")]
    pub mock_pr_out: Option<PathBuf>,
    /// Emit JSON instead of text.
    #[arg(long)]
    pub json: bool,
}

#[derive(Debug, Args)]
pub(crate) struct FlowArchivistArgs {
    #[command(subcommand)]
    pub command: FlowArchivistCommand,
}

#[derive(Debug, Subcommand)]
pub(crate) enum FlowArchivistCommand {
    /// Scan a repo and emit review-ready predicate proposal metadata.
    Scan(FlowArchivistScanArgs),
}

#[derive(Debug, Args)]
pub(crate) struct FlowArchivistScanArgs {
    /// Repo root to scan.
    #[arg(value_name = "REPO", default_value = ".")]
    pub repo: PathBuf,
    /// Optional persona manifest to validate. Defaults to repo-local Flow persona manifests when present.
    #[arg(long, value_name = "PATH")]
    pub manifest: Option<PathBuf>,
    /// SQLite Flow store path used for shadow evaluation.
    #[arg(long, value_name = "PATH", default_value = ".harn/flow.sqlite")]
    pub store: PathBuf,
    /// Number of recent atom days to include in shadow evaluation.
    #[arg(long = "shadow-days", value_name = "DAYS", default_value_t = 30)]
    pub shadow_days: u32,
    /// Write the proposal JSON to this path.
    #[arg(long, value_name = "PATH")]
    pub out: Option<PathBuf>,
    /// Emit JSON instead of text.
    #[arg(long)]
    pub json: bool,
}