yog 0.0.38

yog: the standalone server for litany loops — the world, the balls and the conversations, behind one wire
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

//! The **policy** families' half of the parity table (§8.5): the gestures whose
//! subject is what an agent may do rather than what it is doing — the §4.11
//! hold answer and its §4.9 floor, the §4.9 monitor, and the §4.3 armed loop.
//!
//! Split from [`super`] at §12's cap, on the seam those four share: each is
//! aimed by the seat, each carries only what no seat could supply, and each
//! reads back as itself from the seat it was spelled at.

use super::super::ctx;
use super::rt;
use crate::boundary::line::{Context, parse};
use crate::boundary::{Action, Gesture, Query};
use crate::monitor::Verb;

/// The §8.6 capability answer: aimed by the seat like `/seen`, and its whole
/// tail is the verdict — the held `tool_use` id is derived at fire time, so
/// there is nothing else a line could carry.
#[test]
fn every_hold_answer_round_trips_and_a_bad_verdict_refuses() {
    use crate::control::judge::Ruling;
    for ruling in [Ruling::Pass, Ruling::Hold, Ruling::Refuse] {
        rt(Gesture::Act(Action::AnswerHold {
            workspace: "ws".to_owned(),
            agent: "c-1".to_owned(),
            ruling,
        }));
    }
    let bad = parse("/answer maybe", &ctx()).expect_err("only the three words");
    assert!(bad.contains("unknown verdict"), "{bad}");
    let bare = parse("/answer", &ctx()).expect_err("no default verdict exists");
    assert!(bare.contains("pass, hold or refuse"), "{bare}");
}

/// The §4.9 fifth rung over that same fold: two verbs, aimed by the seat, each
/// carrying nothing at all — the direction *is* the verb.
#[test]
fn the_capability_floor_round_trips_both_ways_and_takes_no_words() {
    for raised in [true, false] {
        rt(Gesture::Act(Action::Floor {
            workspace: "ws".to_owned(),
            agent: "c-1".to_owned(),
            raised,
        }));
    }
    let extra = parse("/revoke everything", &ctx()).expect_err("it takes no arguments");
    assert!(extra.contains("takes no arguments"), "{extra}");
    let unaimed = parse("/restore", &Context::default()).expect_err("nothing is selected");
    assert!(unaimed.contains("no workspace in context"), "{unaimed}");
    let unselected = parse(
        "/restore",
        &Context {
            workspace: Some("ws".to_owned()),
            ..Context::default()
        },
    )
    .expect_err("a floor is written for a conversation, and none is selected");
    assert!(
        unselected.contains("no conversation is selected"),
        "{unselected}"
    );
}

/// The alignment monitor's three (VISION §4.9): arming carries its model pin,
/// disarming names nothing, and a flag carries its reason verbatim.
#[test]
fn every_monitor_action_round_trips() {
    rt(Gesture::Act(Action::Monitor(Verb::Arm {
        workspace: "ws".to_owned(),
        model: "claude-haiku-4-5".to_owned(),
    })));
    rt(Gesture::Act(Action::Monitor(Verb::Disarm {
        workspace: "ws".to_owned(),
    })));
    rt(Gesture::Act(Action::Monitor(Verb::Flag {
        workspace: "ws".to_owned(),
        agent: "c-1".to_owned(),
        reason: "it is rewriting an unrelated crate".to_owned(),
    })));
    rt(Gesture::Ask(Query::Workspaces));
}

/// The armed loop's two (VISION §4.3): arming carries its cap, disbanding names
/// nothing at all. The project and the workspace are the seat's, so the line
/// elides them and the context supplies them back.
#[test]
fn every_fleet_action_round_trips() {
    rt(Gesture::Act(Action::Fleet(crate::fleet::Verb::Arm {
        workspace: "ws".to_owned(),
        project: "proj".to_owned(),
        cap: 4,
    })));
    rt(Gesture::Act(Action::Fleet(crate::fleet::Verb::Disarm {
        workspace: "ws".to_owned(),
    })));
    rt(Gesture::Ask(Query::Conversations {
        workspace: "ws".to_owned(),
    }));
    rt(Gesture::Ask(Query::Balls));
    rt(Gesture::Ask(Query::Board));
    rt(Gesture::Ask(Query::Attention));
    rt(Gesture::Ask(Query::Ops { max: 12 }));
    // Both moods of the needle: text, and the empty one that clears.
    for text in ["", "tekeli-li"] {
        rt(Gesture::Ask(Query::Search {
            text: text.to_owned(),
        }));
    }
    // Both moods of the work-diff: the listing, and one file's patch.
    for file in [
        None,
        Some(crate::workdiff::WorkFile {
            ball: "bl-1".to_owned(),
            handle: None,
            path: "src/a.rs".to_owned(),
        }),
        // The three-word form: a fan candidate's file (bl-c2bd).
        Some(crate::workdiff::WorkFile {
            ball: "bl-1".to_owned(),
            handle: Some("at-1a2b3c4d".to_owned()),
            path: "src/a.rs".to_owned(),
        }),
    ] {
        rt(Gesture::Ask(Query::WorkDiff {
            workspace: "ws".to_owned(),
            file,
        }));
    }
    // The §3.9 projection: the address is the seat's and it takes nothing else.
    rt(Gesture::Ask(Query::Science {
        workspace: "ws".to_owned(),
    }));
    rt(Gesture::Ask(Query::Help { verb: None }));
    rt(Gesture::Ask(Query::Help {
        verb: Some("prepare".to_owned()),
    }));
}