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
//! egui/eframe frontend for the lernie agent harness — the balls-oriented
//! manager for lernie loops.
//!
//! This crate is the desktop UI: a stateless renderer over on-disk state that
//! issues user actions as `lernie` and `bl` subcommand invocations. Every
//! render is a pure function of filesystem state at the current tick, and the
//! public view-model API is reentrant, so a future `lernie-ui-web` runs
//! concurrently against the same repo without coordination.
//!
//! **`docs/DESIGN.md` is the authority** for the state inventory, the attention
//! model, the module map, and line budgets; the module docs below stay terse
//! and defer to it. The shape in brief: pure view-model modules (no egui) — the
//! per-tick [`git_tree`], the [`nav`] roster, [`attention`], [`projects`]/
//! [`binding`], [`start`], [`ui_state`], the inspector VMs ([`transcript`],
//! [`steps_view`], [`jsonview`], [`inboxview`], [`budgets`]) composed by the
//! tested [`inspector`] tab dispatch, [`config_edit`] — fronted by the thin
//! egui glue in [`shell`] (§11). [`app`] re-exports `Args`, `Roots`,
//! `Focus`, and the multi-workspace [`AppModel`]; [`keymap`] is the pure §11
//! key → intent table; [`cli_outbound`] execs the binaries; [`actions`] holds
//! the message/stop/scan/close/unclaim/create/update verb surface; [`theme`]
//! is the congeries palette — the single colour/visuals authority (§11).
//!
//! The crate root is deliberately declaration-only. A root carrying a
//! coverable `impl` or `fn` accrues an llvm-cov phantom uncovered region on
//! its header line each time the `pub mod` list above it grows and shifts
//! byte offsets (this cost 99.90% coverage after the Y2/Y7/Y15 folds). With
//! all coverable code in submodules, new `pub mod` lines have no root-level
//! line to mis-attribute, so coverage stays at 100% as modules land.
pub use ;
pub