lernie 0.1.56

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

//! The live tail: the three absences that are readings, and the one place
//! this reader is deliberately looser than the engine's own.

use super::{Delta, Stream, follow};
use serde_json::{Value, json};

fn read(v: &Value) -> Result<Stream, String> {
    follow(v.as_object().expect("an object"))
}

/// A frame carrying both halves and saying which one moved last.
#[test]
fn a_frame_carries_the_whole_accumulated_fold() {
    assert_eq!(
        read(
            &json!({"ok": true, "kind": "follow", "tools": [], "stream": {
                "thinking": "weighing the two seams",
                "text": "the seam is real",
                "delta": "text",
            }})
        )
        .expect("a fold"),
        Stream {
            text: Some("the seam is real".to_owned()),
            thinking: Some("weighing the two seams".to_owned()),
            last_delta: Some(Delta::Text),
            tools: Vec::new(),
        }
    );
}

/// **All three absences are readings.** An empty fold is *waiting for the
/// API*, not a model that answered nothing — and a seat that read the two
/// alike would paint silence over anticipation.
#[test]
fn an_empty_fold_is_waiting_and_not_an_empty_answer() {
    assert_eq!(
        read(&json!({"stream": {}, "tools": []})).expect("a fold"),
        Stream::default()
    );
    let thinking_only =
        read(&json!({"stream": {"thinking": "…", "delta": "thinking"}, "tools": []}))
            .expect("a fold");
    assert_eq!(thinking_only.text, None);
    assert_eq!(thinking_only.last_delta, Some(Delta::Thinking));
}

/// **The deliberate divergence.** The engine's own reader refuses an
/// unrecognised delta token; this one keeps the word. The two readers are not
/// doing the same job — refusing here throws away a whole accumulated turn to
/// avoid painting one word, while the operator is watching the tail move.
#[test]
fn an_unknown_delta_keeps_the_turn_rather_than_the_strictness() {
    let read = read(&json!({"stream": {"text": "so far", "delta": "summary"}, "tools": []}))
        .expect("a fold");
    assert_eq!(read.text.as_deref(), Some("so far"));
    assert_eq!(
        read.last_delta,
        Some(Delta::Unknown("summary".to_owned())),
        "the turn survives the word"
    );
    for (delta, word) in [
        (Delta::Text, "text"),
        (Delta::Thinking, "thinking"),
        (Delta::Unknown("summary".to_owned()), "summary"),
    ] {
        assert_eq!(delta.label(), word);
    }
}

/// Rung 1 still holds around it: the fold must be there and must be an object,
/// and a half that is present and mistyped refuses by name.
#[test]
fn a_frame_with_no_fold_in_it_refuses() {
    for (frame, said) in [
        (json!({"ok": true, "kind": "follow"}), "\"stream\""),
        (json!({"stream": [], "tools": []}), "\"stream\""),
        (json!({"stream": {"text": 7}, "tools": []}), "\"text\""),
        // **The window is required, empty included** (REMOTE §5.5): a frame
        // that omits it is a build this seat cannot tell "nothing ran" from,
        // so it refuses by name rather than reading the reassuring answer.
        (json!({"stream": {}}), "\"tools\""),
        (json!({"stream": {}, "tools": {}}), "\"tools\""),
        (
            json!({"stream": {}, "tools": ["toolu_01"]}),
            "not a JSON object",
        ),
        (json!({"stream": {}, "tools": [{}]}), "\"tool_use\""),
    ] {
        let refusal = read(&frame).expect_err("refused");
        assert!(refusal.contains(said), "{frame}: {refusal}");
    }
}

/// **The fold's contract**, and the reason the seat needs no second parser:
/// absorbing a frame's append is reading the concatenation whole. Proven over
/// a split rather than asserted, because that equality is the only thing
/// standing between an append lane and a seat that paints half a sentence.
#[test]
fn absorbing_the_append_is_reading_the_whole() {
    let split = [
        json!({"stream": {"thinking": "weighing ", "delta": "thinking"}, "tools": []}),
        json!({"stream": {"text": "the answer ", "delta": "text"}, "tools": []}),
        json!({"stream": {"text": "so far.", "delta": "text"}, "tools": []}),
    ];
    let mut fold = Stream::default();
    for frame in &split {
        fold.absorb(read(frame).expect("a fold"));
    }
    assert_eq!(
        fold,
        read(&json!({"tools": [], "stream": {"thinking": "weighing ",
                                "text": "the answer so far.", "delta": "text"}}))
        .expect("a fold"),
        "fold(a).absorb(fold(b)) == fold(a ++ b)"
    );
}

/// **Absent stays absent, in both directions.** A frame that appended nothing
/// leaves the accumulation exactly as it was — including its delta kind, which
/// is the last kind *seen* and not the last frame's — and absorbing onto an
/// empty fold is how every read starts, so the first frame is simply the whole
/// of it.
#[test]
fn a_frame_that_appended_nothing_leaves_the_fold_standing() {
    let mut fold = Stream::default();
    fold.absorb(
        read(&json!({"stream": {"text": "said", "delta": "text"}, "tools": []})).expect("a fold"),
    );
    let whole = fold.clone();
    fold.absorb(read(&json!({"stream": {}, "tools": []})).expect("a fold"));
    assert_eq!(fold, whole, "an empty append is not a reset");
    assert_eq!(fold.last_delta, Some(Delta::Text));
    assert_eq!(fold.thinking, None, "and silence is not an empty string");
}