aristo-cli 0.2.3

Aristo CLI binary (the `aristo` command).
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
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143

//! `aristo review` — authored-intent review surface integration tests
//! (Phase 18 #7).

use assert_cmd::Command;
use predicates::str::contains;
use std::fs;
use std::path::Path;

fn aristo_in(dir: &Path) -> Command {
    let mut cmd = Command::cargo_bin("aristo").unwrap();
    cmd.current_dir(dir);
    cmd
}

fn write_lib(root: &Path, content: &str) {
    fs::create_dir_all(root.join("src")).unwrap();
    fs::write(root.join("src/lib.rs"), content).unwrap();
}

/// init → one intent → stamp → review.
fn repo_with_one_intent() -> tempfile::TempDir {
    let tmp = tempfile::tempdir().unwrap();
    aristo_in(tmp.path()).arg("init").assert().success();
    write_lib(
        tmp.path(),
        r#"#[aristo::intent("does a thing", verify = "test", id = "a")] fn a() {}"#,
    );
    aristo_in(tmp.path())
        .args(["stamp", "--skip-canon"])
        .assert()
        .success();
    tmp
}

#[test]
fn review_lists_an_unreviewed_authored_intent() {
    let tmp = repo_with_one_intent();
    aristo_in(tmp.path())
        .args(["review", "--json"])
        .assert()
        .success()
        .stdout(contains("\"unreviewed_count\": 1"))
        .stdout(contains("\"id\": \"a\""))
        .stdout(contains("does a thing"));
}

#[test]
fn review_human_readout_prompts_to_mark() {
    let tmp = repo_with_one_intent();
    aristo_in(tmp.path())
        .arg("review")
        .assert()
        .success()
        .stdout(contains("await review"))
        .stdout(contains("aristo review --mark"));
}

#[test]
fn marking_an_intent_clears_it_from_the_backlog() {
    let tmp = repo_with_one_intent();
    aristo_in(tmp.path())
        .args(["review", "--mark", "a"])
        .assert()
        .success()
        .stdout(contains("Marked 1 intent(s) reviewed"));

    // Now the backlog is empty.
    aristo_in(tmp.path())
        .args(["review", "--json"])
        .assert()
        .success()
        .stdout(contains("\"unreviewed_count\": 0"));

    aristo_in(tmp.path())
        .arg("review")
        .assert()
        .success()
        .stdout(contains("All authored intents are reviewed"));
}

#[test]
fn marking_an_unknown_id_errors_and_writes_nothing() {
    let tmp = repo_with_one_intent();
    // A batch with a bad id marks nothing (atomic) and exits non-zero.
    aristo_in(tmp.path())
        .args(["review", "--mark", "a,bogus"])
        .assert()
        .failure()
        .stderr(contains("bogus"));

    // The valid id in the bad batch was NOT marked.
    aristo_in(tmp.path())
        .args(["review", "--json"])
        .assert()
        .success()
        .stdout(contains("\"unreviewed_count\": 1"));
}

#[test]
fn editing_an_intent_after_review_reopens_it() {
    let tmp = repo_with_one_intent();
    aristo_in(tmp.path())
        .args(["review", "--mark", "a"])
        .assert()
        .success();
    aristo_in(tmp.path())
        .args(["review", "--json"])
        .assert()
        .success()
        .stdout(contains("\"unreviewed_count\": 0"));

    // Reword the claim (same id) and re-stamp → the reviewed snapshot drifts,
    // so the intent re-opens as unreviewed.
    write_lib(
        tmp.path(),
        r#"#[aristo::intent("does a DIFFERENT thing", verify = "test", id = "a")] fn a() {}"#,
    );
    aristo_in(tmp.path())
        .args(["stamp", "--skip-canon"])
        .assert()
        .success();
    aristo_in(tmp.path())
        .args(["review", "--json"])
        .assert()
        .success()
        .stdout(contains("\"unreviewed_count\": 1"));
}

#[test]
fn review_is_empty_with_no_authored_intents() {
    let tmp = tempfile::tempdir().unwrap();
    aristo_in(tmp.path()).arg("init").assert().success();
    write_lib(tmp.path(), "pub fn a() {}\n");
    aristo_in(tmp.path())
        .args(["stamp", "--skip-canon"])
        .assert()
        .success();
    aristo_in(tmp.path())
        .args(["review", "--json"])
        .assert()
        .success()
        .stdout(contains("\"unreviewed_count\": 0"));
}