yog 0.0.12

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
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

//! **What a pass adopts off the yog-state root** — the three announcement-driven
//! reads, split off [`super`] at the cap on the seam they share: each is a file
//! the operator hand-edits, re-read when that root says so and never on a tick
//! of its own, and each is severable — deleting the file deletes the policy
//! rather than reaching a code path.

use super::super::Harness;
use crate::watch::Mark;
use std::time::Duration;

/// The clock's one setting, end to end (bl-3381): a `cadence.yaml` present at
/// boot tunes the first pass; a change re-tunes on its own announcement and
/// rides the published snapshot; deleting the file is the reset to defaults.
#[test]
fn cadence_yaml_tunes_the_clock_at_boot_on_change_and_resets_on_delete() {
    let h = Harness::new();
    let file = h.roots.yog_state.join(crate::app::cadence::CADENCE_YAML);
    std::fs::write(&file, "cadence:\n  watcher:\n    cheap_sweep_ms: 5000\n").unwrap();
    let (_c, mut model) = h.model();
    assert_eq!(
        model.cadence().cheap_sweep,
        Duration::from_secs(5),
        "boot adopted the file before the first schedule decision"
    );
    std::fs::write(&file, "cadence:\n  watcher:\n    cheap_sweep_ms: 9000\n").unwrap();
    model
        .dirty_handle()
        .mark_all([(h.roots.yog_state.clone(), Mark::Watch)]);
    assert!(model.tick(), "a re-tune publishes");
    assert_eq!(model.cadence().cheap_sweep, Duration::from_secs(9));
    std::fs::remove_file(&file).unwrap();
    model
        .dirty_handle()
        .mark_all([(h.roots.yog_state.clone(), Mark::Watch)]);
    assert!(model.tick(), "the reset publishes too");
    assert_eq!(
        model.cadence(),
        crate::app::Cadence::default(),
        "deleting the file is the reset — severability, not an error"
    );
}

#[test]
fn adopting_our_own_ui_json_echo_is_suppressed() {
    let h = Harness::new();
    let (_c, mut model) = h.model();
    // Pin the real workspace (write-through to ui.json), then let the state
    // root fire.
    // `ui.json` keys pins by PATH (§4.1) — durable state whose re-keying would
    // be its own migration — while a tab is addressed by its §3.1 name.
    let key = crate::naming::leaf(&h.ws);
    model.ui.set_pinned(vec![crate::nav::ws_key(&h.ws)]);
    model
        .dirty_handle()
        .mark_all([(h.roots.yog_state.clone(), Mark::Watch)]);
    model.tick(); // adopt_ui reads our own bytes → is_echo true → skip adopt
    let bar = model.tab_bar(Some(&key));
    assert!(
        bar.tabs.first().is_some_and(|t| t.pinned),
        "the pin survives the echo: {bar:?}"
    );
}

/// The armed loops the published snapshot carries — the same `board::build` the
/// §8.5 `Query::Board` answers and the §11 fold now paints over the wire
/// (bl-adcb retired the model's own `board()` with that migration). Spelled here
/// because the subject of the test below is the **worker's** side: what the
/// derivation adopted, read through the derivation that reads it.
fn fleet(model: &crate::AppModel) -> Vec<crate::fleet::Facts> {
    crate::board::build(&model.snap, &model.ui, model.now_unix()).fleet
}

/// The §4.3 fleet arming rides the clock's own file and the clock's own
/// announcement (bl-66fb): an entry published on the snapshot the board reads,
/// deleted the same way. The **burden check from the worker's side** — with no
/// entry, the published snapshot carries no loop at all.
#[test]
fn a_fleet_entry_is_adopted_and_deleted_on_the_clocks_own_announcement() {
    let h = Harness::new();
    let file = h.roots.yog_state.join(crate::app::cadence::CADENCE_YAML);
    let (_c, mut model) = h.model();
    assert!(
        fleet(&model).is_empty(),
        "unarmed: the board is today's balls section"
    );
    std::fs::write(
        &file,
        "fleet:\n  /ws/a:\n    project: /dev/yog\n    cap: 3\n",
    )
    .unwrap();
    model
        .dirty_handle()
        .mark_all([(h.roots.yog_state.clone(), Mark::Watch)]);
    assert!(model.tick(), "an arming publishes");
    let armed = fleet(&model);
    assert_eq!(armed.len(), 1);
    assert_eq!(armed[0].cap, 3);
    assert_eq!(armed[0].project, std::path::PathBuf::from("/dev/yog"));
    std::fs::remove_file(&file).unwrap();
    model
        .dirty_handle()
        .mark_all([(h.roots.yog_state.clone(), Mark::Watch)]);
    assert!(model.tick(), "the disarming publishes too");
    assert!(
        fleet(&model).is_empty(),
        "deleting the entry deletes the loop, not a code path"
    );
}

/// **The §9.2 global `models.yaml`, adopted on the sweep** (§5.1 #35): the
/// context windows it declares reach the published snapshot, and a change to
/// them republishes. Not a watch of its own — the file is world-global and
/// hand-edited, so it changes at operator speed and rides the full sweep.
#[test]
fn the_declared_context_windows_are_adopted_and_re_adopted() {
    let h = Harness::new();
    let models = crate::config_edit::litany_global::LitanyGlobal::resolve(&h.roots.world).models();
    std::fs::create_dir_all(models.parent().expect("a root")).expect("mkdir");
    let declare = |window: u64| {
        std::fs::write(
            &models,
            format!("models:\n  opus:\n    context_window: {window}\n"),
        )
        .expect("write");
    };
    declare(200_000);
    let (clock, mut model) = h.model();
    assert_eq!(
        model.snap.windows.get("opus").copied(),
        Some(200_000),
        "the boot's own sweep adopted the declaration"
    );
    // The adopt rides the 15 s full sweep, so the clock is what makes one due.
    declare(400_000);
    clock.advance(std::time::Duration::from_mins(1));
    assert!(model.tick(), "a moved window republishes");
    assert_eq!(model.snap.windows.get("opus").copied(), Some(400_000));
}

/// **Another instance's `ui.json` is adopted wholesale** (§4.1, I5) — the other
/// side of the echo suppression above, and the whole of I0's convergence: two
/// yogs over one document agree because each takes what the worker read, and
/// only its own bytes are skipped.
#[test]
fn an_external_ui_json_write_is_adopted() {
    let h = Harness::new();
    let (_c, mut model) = h.model();
    let key = crate::naming::leaf(&h.ws);
    assert!(
        model
            .ws_listing()
            .rows
            .iter()
            .all(|row| row.pinned.is_none()),
        "nothing is pinned yet"
    );
    // A write this instance did not make: another yog's, or an operator's
    // editor. `ui.json` keys pins by path (§4.1), which is why the fixture
    // writes the key rather than the name.
    crate::ui_state::UiState::open(model.ui_json_path())
        .set_pinned(vec![crate::nav::ws_key(&h.ws)]);
    model
        .dirty_handle()
        .mark_all([(h.roots.yog_state.clone(), Mark::Watch)]);
    assert!(model.tick(), "the re-read publishes");
    let bar = model.tab_bar(Some(&key));
    assert!(
        bar.tabs.first().is_some_and(|t| t.pinned),
        "the other instance's pin is this one's too: {bar:?}"
    );
}