lernie 0.1.39

lernie: the operator seat — the window and wire client for a yog server
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
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174

//! The conversation list: the two names, the signed age, and rung 3 on both
//! token fields.

use super::{AgentState, ConvRow, Tone, row};
use serde_json::json;

/// A whole row, with every field the list paints and several the engine sends
/// that this build does not read — rung 4, which is what makes a field the
/// engine adds a non-event here.
#[test]
fn a_row_carries_what_the_list_paints_and_ignores_what_it_does_not() {
    let read = row(&json!({
        "root_id": "20260830T051200Z-a1b2",
        "display": "port the paint probe",
        "name": "port the paint probe",
        "display_only": false,
        "state": "live",
        "uncertain": false,
        "preview": "the galley reports the string that went in",
        "age_secs": 42,
        "flight": "inference",
        "attention": 1,
        "members": 3,
        "direct": 2,
        "stoppable": true,
        "depth": 0,
        "tone": "live",
        "ball": {"id": "bl-428f"},
    }))
    .expect("a row");
    assert_eq!(
        read,
        ConvRow {
            root_id: "20260830T051200Z-a1b2".to_owned(),
            display: "port the paint probe".to_owned(),
            name: Some("port the paint probe".to_owned()),
            state: AgentState::Live,
            uncertain: false,
            preview: "the galley reports the string that went in".to_owned(),
            age_secs: 42,
            attention: 1,
            members: 3,
            depth: 0,
            tone: Tone::Live,
            failure: None,
        }
    );
}

/// **The failure clause, and the absence that is not a null** (REMOTE §9.10,
/// PROTOCOL 3). The engine leaves the key out on a conversation whose latest
/// model call did not fail, so a reader never has to tell *no failure* from *a
/// failure with nothing to say* — and the row above, which carries no key at
/// all, is the other half of this assertion.
///
/// `null` reads the same as absent because [`super::super::fields::opt_text`]
/// says so for every optional field on this wire; the queue row spells it that
/// way and a seat that read two conventions would be the place they diverge.
#[test]
fn the_failure_clause_is_read_and_its_absence_is_a_reading() {
    let failed = row(&json!({
        "root_id": "x", "display": "x", "state": "stopped", "uncertain": false,
        "preview": "", "age_secs": 0, "attention": 0, "members": 1, "depth": 0,
        "tone": "bad", "failure": "no credential for provider row \"work\"",
    }))
    .expect("a row");
    assert_eq!(
        failed.failure.as_deref(),
        Some("no credential for provider row \"work\"")
    );
    let nulled = row(&json!({
        "root_id": "x", "display": "x", "state": "stopped", "uncertain": false,
        "preview": "", "age_secs": 0, "attention": 0, "members": 1, "depth": 0,
        "tone": "bad", "failure": null,
    }))
    .expect("a row");
    assert_eq!(nulled.failure, None);
    let refusal = row(&json!({
        "root_id": "x", "display": "x", "state": "stopped", "uncertain": false,
        "preview": "", "age_secs": 0, "attention": 0, "members": 1, "depth": 0,
        "tone": "bad", "failure": 7,
    }))
    .expect_err("a clause that is not words");
    assert!(refusal.contains("\"failure\""), "{refusal}");
}

/// **A name the engine will not answer to is withheld, and the id still
/// works.** That is the whole reason the two are separate fields: a seat that
/// posted the display name would be posting a target the engine refuses.
#[test]
fn a_display_only_name_is_absent_and_the_id_remains() {
    let read = row(&json!({
        "root_id": "20260830T051200Z-c3d4", "display": "a goal-stamp title",
        "display_only": true, "state": "quiescent", "uncertain": false, "preview": "",
        "age_secs": 0, "attention": 0, "members": 1, "depth": 1, "tone": "weak",
    }))
    .expect("a row");
    assert_eq!(read.name, None);
    assert_eq!(read.display, "a goal-stamp title");
    assert_eq!(read.root_id, "20260830T051200Z-c3d4");
}

/// **The age is signed on purpose**: two machines' clocks disagreeing is a
/// fact about a distributed seat, not a malformed answer.
#[test]
fn an_age_may_be_negative_because_two_clocks_may_disagree() {
    let read = row(&json!({
        "root_id": "x", "display": "x", "state": "stopped", "uncertain": false,
        "preview": "",
        "age_secs": -3, "attention": 0, "members": 1, "depth": 0, "tone": "plain",
    }))
    .expect("a row");
    assert_eq!(read.age_secs, -3);
}

/// **The uncertainty flag is its own fact and it is required.** A state and
/// whether anything observed it are two answers: a conversation the engine
/// cannot probe reads settled and is not known to be, and a reader that let the
/// flag default would paint that reading as definite.
#[test]
fn whether_the_state_was_observed_is_read_and_is_not_optional() {
    let read = row(&json!({
        "root_id": "x", "display": "x", "state": "quiescent", "uncertain": true,
        "preview": "", "age_secs": 0, "attention": 0, "members": 1, "depth": 0,
        "tone": "weak",
    }))
    .expect("a row");
    assert!(read.uncertain);
    let refusal = row(&json!({
        "root_id": "x", "display": "x", "state": "quiescent", "preview": "",
        "age_secs": 0, "attention": 0, "members": 1, "depth": 0, "tone": "weak",
    }))
    .expect_err("no uncertain");
    assert!(refusal.contains("\"uncertain\""), "{refusal}");
}

/// **Rung 3 on the state**, and the round trip through the label: an
/// unrecognised word paints as itself rather than as `quiescent`, which would
/// tell an operator nothing is happening on the strength of a word this build
/// has never seen.
#[test]
fn an_unknown_state_keeps_its_word() {
    for word in ["live", "in-flight", "quiescent", "stopped", "parked"] {
        assert_eq!(AgentState::of(word).label(), word);
    }
    assert_eq!(
        AgentState::of("parked"),
        AgentState::Unknown("parked".to_owned())
    );
}

/// The same on the tone, which is the other token field and not derivable from
/// the state beside it.
#[test]
fn an_unknown_tone_keeps_its_word() {
    for word in ["plain", "weak", "good", "bad", "live", "in-flight", "amber"] {
        assert_eq!(Tone::of(word).label(), word);
    }
    assert_eq!(Tone::of("amber"), Tone::Unknown("amber".to_owned()));
}

/// Rung 1 under rung 3: a row that is not an object, and a row missing a field
/// the list paints.
#[test]
fn a_row_that_is_not_a_row_refuses_by_name() {
    assert_eq!(
        row(&json!([])),
        Err("conversation row: not an object".to_owned())
    );
    let refusal = row(&json!({"root_id": "x", "display": "x", "state": "live",
                              "uncertain": false}))
    .expect_err("no preview");
    assert!(refusal.contains("\"preview\""), "{refusal}");
}