yog 0.0.2

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

//! The environment a gesture executes in (§8.5) — [`Deps`], its own file per
//! §12's budget. It is built fresh at each call site (cheap clones, no held
//! state), which is what keeps [`dispatch`](super::dispatch) pure over its
//! inputs and deterministic under test.

use crate::app::Snapshot;
use crate::cli_outbound::Cli;
use crate::config_edit::brazen::BzRunner;
use std::path::PathBuf;
use std::sync::Arc;

/// What a gesture needs to execute (§8.5). `mint_seed` feeds only the start
/// family — it drives the §3.3 conversation mint.
#[derive(Clone)]
pub struct Deps {
    pub lernie: Cli,
    pub bl: Cli,
    /// `ops.jsonl`'s root (§4.2).
    pub state_root: PathBuf,
    /// yog's own binary — the `$EDITOR` shim the §9.3 lineage write re-enters.
    pub yog_binary: PathBuf,
    /// The composed world (§16.2): what the §9 config family folds its
    /// destinations from, and the snapshot the **linked** brazen answers
    /// [`provider_rows`](Self::provider_rows) through.
    pub world: crate::xdg::Env,
    /// The bare rung's driver cwd (`~`), resolved at the process boundary.
    pub home: PathBuf,
    pub yog_data_root: PathBuf,
    pub balls_state_root: PathBuf,
    /// The published derivation the start/delete families read (§7.2): the
    /// occupied conversation names, the §3.6 confirmation's liveness + claims.
    pub snapshot: Arc<Snapshot>,
    /// The §3.3 mint's seed — the GUI passes its held preview seed so the
    /// greyed prediction and the fire agree; headless callers derive one.
    pub mint_seed: u64,
}

impl Deps {
    /// This gesture's `lernie` bound to `workspace` (§8.2, §16.2) — the one
    /// composition point for a workspace-bound spawn, so the sphere's wall and
    /// name ride every §8.2 lernie verb by construction rather than by each
    /// arm remembering to layer them (bl-bf79,
    /// [`verbs::Bound`](crate::actions::verbs::Bound)).
    pub fn bound(&self, workspace: &std::path::Path) -> crate::actions::verbs::Bound {
        crate::actions::verbs::Bound::at(&self.lernie, &self.world, workspace)
    }

    /// brazen's effective provider table, by name (§5.1 #20) — **asked, never
    /// stored**: the rows are brazen's fact, so every gate that needs them
    /// (§9.2's apply, §9.4's pick, §9.5's provider control) reads the
    /// one answer at the moment it acts, against the wall of the workspace
    /// whose file it is judging (§16.2). This retires the headless interim §8.5
    /// recorded, where the consumer left the table empty and rode "empty gates
    /// nothing" because brazen was unasked; both faces now ask.
    pub fn provider_rows(&self) -> Vec<String> {
        crate::config_edit::brazen::row_names(
            &crate::config_edit::brazen::RealBzRunner::resolve(&self.world).providers(),
        )
    }
}