yog 0.0.3

yog: a balls-oriented session manager for lernie loops (egui frontend)
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

//! **A wire the acceptance world answers itself** (REMOTE §1.2 and its
//! read-path residual; bl-adcb).
//!
//! A migrated surface paints a decoded `Reply`, so a test that paints one paints
//! nothing at all unless something answers. The real answerer is the engine's
//! listener reached over loopback mTLS, which an acceptance world has no
//! business standing up: it mints no certificate, binds no port and holds no
//! [`Engine`](crate::engine::Engine) — it is a model, a deriver and a shell
//! state over a temp dir.
//!
//! So this stands in for the *transport* and nothing else. The questions are the
//! frame's own, taken off the [`LinkEnd`](crate::wire::link::LinkEnd) exactly as
//! the [`Asker`](crate::wire::asker::Asker) takes them; each is decoded by the
//! one [`codec`] and answered by [`AppModel::answer`], which is the same
//! chokepoint `ConsumerCtx::answer_as` reaches over the socket. **No second
//! dispatch implementation is added** — REMOTE §11's rejection is about a face,
//! and this is a wire with the socket taken out for a test that cannot have one.
//!
//! **The answering itself lives on the fixture** (`fixture::world`, bl-1747),
//! because every world needs it now that acts are posted; what is left here is
//! the settle-then-render *dance* a migrated READ costs, and the witness that a
//! migrated fold really reads a reply.
//!
//! Two things it deliberately does not reproduce, both stated rather than
//! implied: the answers are **unscoped** (there is no registration to narrow
//! them against, and the fixture registers no client), and they are **prompt**
//! rather than one [`ASK_PERIOD`](crate::wire::asker::ASK_PERIOD) late — the
//! delay is time, not shape, and [`wired`] pays the *shape* in full by painting
//! the settle-then-render dance out.

use super::super::{ShellState, render};
use super::fixture::World;
use crate::AppModel;
use crate::cli_outbound::Cli;
use crate::keymap::InspectorTab;

/// Paint `f` with the wire answered — the whole settle-then-render dance, which
/// is three passes and cannot be fewer.
///
/// A frame *declares* its standing questions while it paints and hands them over
/// at [`AppModel::refresh`], so the first pass is what asks; the answers land in
/// a channel the *next* settle drains; and a settle whose frame declared nothing
/// would drop them as no longer standing. Hence: paint (ask), settle, answer,
/// paint (re-declare), settle (land), paint — and the last painting is the one
/// returned. Exactly what the window does over half a second, minus the waiting.
pub(super) fn wired(
    world: &mut World,
    paint: &mut dyn FnMut(&mut AppModel, &mut ShellState) -> String,
) -> String {
    let _ = paint(&mut world.model, &mut world.state);
    world.model.refresh();
    world.reads();
    world.acts();
    let _ = paint(&mut world.model, &mut world.state);
    world.model.refresh();
    paint(&mut world.model, &mut world.state)
}

/// Arm a §4.3 loop on the fixture's own state root and fold it in — the one
/// board fact reachable without a `bl` store, so a board witness needs no
/// project, no ball and no fork of `bl`. The label the fold paints is
/// [`crate::fleet::Facts::label`]'s.
fn arm(world: &mut World) {
    let root = world.model.state_root().to_path_buf();
    std::fs::write(
        root.join(crate::app::cadence::CADENCE_YAML),
        "fleet:\n  /ws/a:\n    project: /dev/yog\n    cap: 3\n",
    )
    .expect("the fixture world takes a cadence file");
    world
        .model
        .dirty_handle()
        .mark_all([(root, crate::watch::Mark::Watch)]);
    world.converge();
}

/// Paint the §11 balls fold, wired or not — the two directions of the same
/// witness, so the assertion below is about the *wire* and not about a fixture
/// that happens to hold no balls.
fn painted_board(world: &mut World, answered: bool) -> String {
    let lernie = Cli::new("lernie");
    let mut paint = |model: &mut AppModel, state: &mut ShellState| {
        crate::paint_probe::paint(|ui| {
            super::super::board::board(ui, model, state, &lernie);
        })
    };
    if answered {
        wired(world, &mut paint)
    } else {
        paint(&mut world.model, &mut world.state)
    }
}

/// **The board is painted from a `Reply`, in both directions** (REMOTE §1.2,
/// bl-adcb). An armed loop is a board fact and nothing else's, so its label on
/// screen can only have come through `Query::Board` — and with nobody answering,
/// the same world with the same armed loop paints no board at all.
///
/// The negative half is the half that matters: without it, a fold that had
/// quietly kept deriving in process would pass the positive assertion unchanged.
#[test]
fn the_balls_fold_paints_the_board_the_wire_answers_and_nothing_without_one() {
    let mut world = super::fixture::world();
    arm(&mut world);
    let unanswered = painted_board(&mut world, false);
    assert!(
        !unanswered.contains("fleet"),
        "with nothing answering, the fold has no board to paint:\n{unanswered}"
    );
    let answered = painted_board(&mut world, true);
    assert!(
        answered.contains("fleet"),
        "and the armed loop reaches the glass once a reply lands:\n{answered}"
    );
    assert!(
        answered.contains("3 drones"),
        "the row's own figures ride the same reply:\n{answered}"
    );
}

/// The §11 inspector's chat, painted **without settling anything** — two frames
/// on one context, so the layout is measured and the wire has still said
/// nothing. The negative direction has to run the real window, because what it
/// denies is that the pane derives its own content.
fn painted_unanswered(world: &mut World) -> String {
    let (lernie, bl, bz) = (Cli::new("lernie"), Cli::new("bl"), Cli::new("bz"));
    let ctx = egui::Context::default();
    let frame = |world: &mut World| {
        ctx.run(super::input(), |ctx| {
            render(ctx, &mut world.model, &mut world.state, &lernie, &bl, &bz);
        })
    };
    let _ = frame(world);
    crate::paint_probe::text_of(&frame(world))
}

/// **The conversation is painted from a `Reply`, in both directions** (REMOTE
/// §9.7, bl-13f9). The fixture's committed model turn is on disk the whole time,
/// so with nobody answering the chat pane holds *no messages at all* — which is
/// the assertion that would have failed had any of the seven §11 reads quietly
/// kept deriving in process, and which no positive assertion can make.
#[test]
fn the_inspector_paints_the_chat_the_wire_answers_and_nothing_without_one() {
    let (lernie, bl) = (Cli::new("lernie"), Cli::new("bl"));
    let mut world = super::fixture::world();
    let ws = world.ws.clone();
    world.model.focus_agent(&ws, "c-1");
    world.model.select_tab(InspectorTab::Transcript);
    let unanswered = painted_unanswered(&mut world);
    assert!(
        !unanswered.contains("pong reply"),
        "with nothing answering, the chat has nothing to paint:\n{unanswered}"
    );
    assert!(
        unanswered.contains("(no messages yet)"),
        "and it says so rather than painting a torn pane:\n{unanswered}"
    );
    let answered = super::painted(&mut world, &lernie, &bl);
    assert!(
        answered.contains("pong reply"),
        "and the conversation reaches the glass once a reply lands:\n{answered}"
    );
}