tawasuyu

tawasuyu/brahman

Rust 582TOML 222Markdown 83JSON 198635 Definitions

⎇ be3a0e78fc894587313cb5e23631daf89ce52976 crates/apps/nakui-explorer/src/main.rs Rust · 443 lines · 16.8 KB History Who touched what raw

feat(yahweh-widget-app-header): promover header standard de explorers be3a0e78f · Sergio ·

1//! `nakui-explorer` — panel GPUI que renderea el event log de un
2//! repo Nakui: timeline de seeds + morphisms con sus parámetros y
3//! breakdown por entity type.
4//!
5//! ## Diseño
6//!
7//! Standalone, lee un archivo `.jsonl` (formato append-only del
8//! `nakui_core::event_log::EventLog`). Refresh por polling cada 2s
9//! para detectar nuevos eventos appended (típico de un nakui ERP en
10//! producción que va escribiendo). Sin discovery dinámico vía broker
11//! brahman porque nakui hoy es CLI/library/demos, no daemon — cuando
12//! se daemonice, sustituir el lector de archivo por un sidecar
13//! consumer (mismo patrón que `nouser-explorer`).
14//!
15//! ## Uso
16//!
17//! ```sh
18//! # Path explícito:
19//! NAKUI_EVENT_LOG=/tmp/nakui-demo.jsonl cargo run -p nakui-explorer
20//!
21//! # Default si la env no está: ./nakui.jsonl en pwd.
22//! cargo run -p nakui-explorer
23//! ```
24
25use std::path::PathBuf;
26use std::time::Duration;
27
28use gpui::{
29    div, prelude::*, px, rgb, App, Application, Bounds, Context, IntoElement, Render,
30    SharedString, Window, WindowBounds, WindowOptions,
31};
32use nakui_core::event_log::{EventLog, LogEntry};
33use yahweh_meta_runtime::{preview_value, short_hash, short_uuid};
34use yahweh_theme::Theme;
35use yahweh_widget_banner::{banner_themed, Banner};
36use yahweh_widget_app_header::app_header;
37use yahweh_widget_card::card_themed;
38
39const REFRESH_INTERVAL: Duration = Duration::from_secs(2);
40
41fn main() {
42    Application::new().run(|cx: &mut App| {
43        // Theme global instalado al boot — los widgets themed lo
44        // requieren, y simplifica el chrome del app a una paleta
45        // consistente.
46        Theme::install_default(cx);
47        let bounds = Bounds::centered(None, gpui::size(px(900.), px(640.)), cx);
48        cx.open_window(
49            WindowOptions {
50                window_bounds: Some(WindowBounds::Windowed(bounds)),
51                titlebar: Some(gpui::TitlebarOptions {
52                    title: Some(SharedString::from("Nakui — Event Log")),
53                    ..Default::default()
54                }),
55                ..Default::default()
56            },
57            |_w, cx| cx.new(Explorer::new),
58        )
59        .expect("open window");
60        cx.activate(true);
61    });
62}
63
64/// Estado de la vista. `entries` se reescribe en cada tick (el log
65/// es append-only así que reload completo es seguro y barato hasta
66/// decenas de miles de entries; optimizar a delta cuando duela).
67struct Explorer {
68    log_path: PathBuf,
69    entries: Vec<LogEntry>,
70    error: Option<SharedString>,
71    last_load_ms: u64,
72}
73
74impl Explorer {
75    fn new(cx: &mut Context<Self>) -> Self {
76        let log_path = std::env::var("NAKUI_EVENT_LOG")
77            .ok()
78            .map(PathBuf::from)
79            .unwrap_or_else(|| PathBuf::from("nakui.jsonl"));
80
81        // Loop de refresh.
82        let path_for_loop = log_path.clone();
83        cx.spawn(async move |this, cx| {
84            let timer = cx.background_executor().clone();
85            loop {
86                let started = std::time::Instant::now();
87                let result = load_log(&path_for_loop);
88                let elapsed_ms = started.elapsed().as_millis() as u64;
89                let _ = this.update(cx, |me, cx| {
90                    match result {
91                        Ok(entries) => {
92                            me.entries = entries;
93                            me.error = None;
94                        }
95                        Err(e) => {
96                            me.error = Some(SharedString::from(format!(
97                                "no pude leer {}: {}",
98                                me.log_path.display(),
99                                e
100                            )));
101                        }
102                    }
103                    me.last_load_ms = elapsed_ms;
104                    cx.notify();
105                });
106                timer.timer(REFRESH_INTERVAL).await;
107            }
108        })
109        .detach();
110
111        Self {
112            log_path,
113            entries: Vec::new(),
114            error: None,
115            last_load_ms: 0,
116        }
117    }
118
119    fn breakdown(&self) -> (usize, usize, Vec<(String, usize)>) {
120        let mut seeds = 0;
121        let mut morphisms = 0;
122        let mut entity_counts: std::collections::BTreeMap<String, usize> =
123            std::collections::BTreeMap::new();
124        for e in &self.entries {
125            match e {
126                LogEntry::Seed { entity, .. } => {
127                    seeds += 1;
128                    *entity_counts.entry(entity.clone()).or_default() += 1;
129                }
130                LogEntry::Morphism { morphism, .. } => {
131                    morphisms += 1;
132                    *entity_counts.entry(format!("→ {}", morphism)).or_default() += 1;
133                }
134            }
135        }
136        let mut ranked: Vec<_> = entity_counts.into_iter().collect();
137        ranked.sort_by(|a, b| b.1.cmp(&a.1));
138        (seeds, morphisms, ranked)
139    }
140}
141
142fn load_log(path: &std::path::Path) -> Result<Vec<LogEntry>, String> {
143    let log = EventLog::open(path).map_err(|e| format!("open: {e}"))?;
144    log.entries().map_err(|e| format!("read: {e}"))
145}
146
147impl Render for Explorer {
148    fn render(&mut self, _w: &mut Window, cx: &mut Context<Self>) -> impl IntoElement {
149        // Colores cromáticos del chrome del app vienen del Theme
150        // global (instalado en main). Los acentos por kind (seed
151        // azul, morphism verde) siguen siendo locales: son señales
152        // semánticas del log, no del chrome.
153        let theme = Theme::global(cx).clone();
154        let bg = theme.bg_app.clone();
155        let text = theme.fg_text;
156        let text_dim = theme.fg_muted;
157        let accent_seed = rgb(0x88c0d0);
158        let accent_morphism = rgb(0xa3be8c);
159
160        let (seed_count, morphism_count, top_breakdown) = self.breakdown();
161
162        let header_text = format!(
163            "Log: {}  ·  {} entries ({} seeds, {} morphisms)  ·  reload {} ms",
164            self.log_path.display(),
165            self.entries.len(),
166            seed_count,
167            morphism_count,
168            self.last_load_ms,
169        );
170
171        // Header standard via widget compartido yahweh-widget-app-header
172        // (label flex_grow + theme switcher derecha + bg panel + border
173        // bottom + text styling consistente).
174        let header = app_header(cx, header_text);
175
176        let breakdown_line = if top_breakdown.is_empty() {
177            String::new()
178        } else {
179            let parts: Vec<String> = top_breakdown
180                .iter()
181                .take(5)
182                .map(|(k, v)| format!("{k}({v})"))
183                .collect();
184            format!("breakdown: {}", parts.join(", "))
185        };
186
187        let breakdown_div = (!breakdown_line.is_empty()).then(|| {
188            div()
189                .px(px(16.))
190                .py(px(6.))
191                .bg(theme.bg_panel_alt.clone())
192                .text_color(text_dim)
193                .text_size(px(11.))
194                .child(breakdown_line)
195        });
196
197        // Banner de error themed: deriva (bg, fg) del Theme actual
198        // según `Banner::Error` + `is_dark`. Padding extra (16/8)
199        // del header preservado via overrides del builder.
200        let error_banner = self.error.as_ref().map(|e| {
201            banner_themed(cx, Banner::Error, e.clone())
202                .px(px(16.))
203                .py(px(8.))
204                .text_size(px(12.))
205        });
206
207        // Renderea las últimas N entries (la timeline crece hacia abajo
208        // en append-order; mostramos las más recientes primero para
209        // que el usuario vea actividad reciente sin scroll).
210        const MAX_VISIBLE: usize = 200;
211        let visible: Vec<_> = self
212            .entries
213            .iter()
214            .rev()
215            .take(MAX_VISIBLE)
216            .collect();
217
218        let cards: Vec<gpui::AnyElement> = visible
219            .iter()
220            .map(|e| match e {
221                LogEntry::Seed {
222                    seq,
223                    entity,
224                    id,
225                    data,
226                    schema_hash,
227                } => {
228                    let data_preview = preview_value(data, 80);
229                    let schema_label = schema_hash
230                        .as_ref()
231                        .map(|h| format!("schema={}", short_hash(h)))
232                        .unwrap_or_else(|| "schema=(legacy)".into());
233                    card_themed(cx)
234                        .border_l_4()
235                        .border_color(accent_seed)
236                        .child(
237                            div()
238                                .flex()
239                                .flex_row()
240                                .gap(px(8.))
241                                .items_center()
242                                .child(
243                                    div()
244                                        .text_color(accent_seed)
245                                        .text_size(px(11.))
246                                        .child(format!("[#{seq} seed]")),
247                                )
248                                .child(
249                                    div()
250                                        .text_color(text)
251                                        .text_size(px(13.))
252                                        .child(entity.clone()),
253                                )
254                                .child(
255                                    div()
256                                        .text_color(text_dim)
257                                        .text_size(px(10.))
258                                        .child(format!("id={}", short_uuid(id))),
259                                ),
260                        )
261                        .child(
262                            div()
263                                .text_color(text_dim)
264                                .text_size(px(11.))
265                                .child(data_preview),
266                        )
267                        .child(
268                            div()
269                                .text_color(text_dim)
270                                .text_size(px(10.))
271                                .child(schema_label),
272                        )
273                        .into_any_element()
274                }
275                LogEntry::Morphism {
276                    seq,
277                    morphism,
278                    inputs,
279                    params,
280                    ops,
281                    schema_hash,
282                } => {
283                    let inputs_line = if inputs.is_empty() {
284                        String::new()
285                    } else {
286                        let parts: Vec<String> = inputs
287                            .iter()
288                            .map(|(name, id)| format!("{name}={}", short_uuid(id)))
289                            .collect();
290                        format!("inputs: {}", parts.join(", "))
291                    };
292                    let params_line = preview_value(params, 80);
293                    let ops_line = format!("{} op(s)", ops.len());
294                    let schema_label = schema_hash
295                        .as_ref()
296                        .map(|h| format!("schema={}", short_hash(h)))
297                        .unwrap_or_else(|| "schema=(legacy)".into());
298                    card_themed(cx)
299                        .border_l_4()
300                        .border_color(accent_morphism)
301                        .child(
302                            div()
303                                .flex()
304                                .flex_row()
305                                .gap(px(8.))
306                                .items_center()
307                                .child(
308                                    div()
309                                        .text_color(accent_morphism)
310                                        .text_size(px(11.))
311                                        .child(format!("[#{seq} morph]")),
312                                )
313                                .child(
314                                    div()
315                                        .text_color(text)
316                                        .text_size(px(13.))
317                                        .child(morphism.clone()),
318                                )
319                                .child(
320                                    div()
321                                        .text_color(text_dim)
322                                        .text_size(px(10.))
323                                        .child(ops_line),
324                                ),
325                        )
326                        .when(!inputs_line.is_empty(), |d| {
327                            d.child(
328                                div()
329                                    .text_color(text_dim)
330                                    .text_size(px(11.))
331                                    .child(inputs_line),
332                            )
333                        })
334                        .when(!params_line.is_empty(), |d| {
335                            d.child(
336                                div()
337                                    .text_color(text_dim)
338                                    .text_size(px(11.))
339                                    .child(format!("params: {params_line}")),
340                            )
341                        })
342                        .child(
343                            div()
344                                .text_color(text_dim)
345                                .text_size(px(10.))
346                                .child(schema_label),
347                        )
348                        .into_any_element()
349                }
350            })
351            .collect();
352
353        let body = div()
354            .flex()
355            .flex_col()
356            .p(px(12.))
357            .overflow_hidden()
358            .children(cards);
359
360        div()
361            .flex()
362            .flex_col()
363            .size_full()
364            .bg(bg)
365            .child(header)
366            .when_some(breakdown_div, |d, b| d.child(b))
367            .when_some(error_banner, |d, b| d.child(b))
368            .child(body)
369    }
370}
371
372// Helpers `short_uuid`, `short_hash`, `preview_value` viven en
373// `yahweh_meta_runtime::format`. Se usan acá via el `use` de arriba.
374
375#[cfg(test)]
376mod tests {
377    use super::*;
378    use std::io::Write;
379
380    fn write_sample_log() -> tempfile::NamedTempFile {
381        let mut f = tempfile::NamedTempFile::new().unwrap();
382        // 3 seeds + 2 morphisms, formato canónico de event_log.
383        let lines = [
384            r#"{"kind":"seed","seq":0,"entity":"product","id":"00000000-0000-0000-0000-000000000001","data":{"sku":"A"}}"#,
385            r#"{"kind":"seed","seq":1,"entity":"product","id":"00000000-0000-0000-0000-000000000002","data":{"sku":"B"}}"#,
386            r#"{"kind":"seed","seq":2,"entity":"customer","id":"00000000-0000-0000-0000-000000000003","data":{"name":"Acme"}}"#,
387            r#"{"kind":"morphism","seq":3,"morphism":"sale.create","inputs":{"product":"00000000-0000-0000-0000-000000000001"},"params":{"qty":1},"ops":[]}"#,
388            r#"{"kind":"morphism","seq":4,"morphism":"sale.refund","inputs":{},"params":{},"ops":[]}"#,
389        ];
390        for l in lines {
391            writeln!(f, "{l}").unwrap();
392        }
393        f.flush().unwrap();
394        f
395    }
396
397    #[test]
398    fn load_log_returns_all_entries_in_order() {
399        let f = write_sample_log();
400        let entries = load_log(f.path()).expect("load");
401        assert_eq!(entries.len(), 5);
402        for (i, e) in entries.iter().enumerate() {
403            assert_eq!(e.seq(), i as u64, "seqs should be 0..4 contiguous");
404        }
405    }
406
407    #[test]
408    fn breakdown_counts_seeds_morphisms_and_buckets() {
409        let f = write_sample_log();
410        let entries = load_log(f.path()).unwrap();
411        let me = Explorer {
412            log_path: f.path().to_path_buf(),
413            entries,
414            error: None,
415            last_load_ms: 0,
416        };
417        let (seeds, morphisms, ranked) = me.breakdown();
418        assert_eq!(seeds, 3);
419        assert_eq!(morphisms, 2);
420        // Buckets esperados: product (2), customer (1), → sale.create (1),
421        // → sale.refund (1).
422        assert_eq!(ranked.len(), 4);
423        let map: std::collections::BTreeMap<_, _> = ranked.into_iter().collect();
424        assert_eq!(map.get("product"), Some(&2));
425        assert_eq!(map.get("customer"), Some(&1));
426        assert_eq!(map.get("→ sale.create"), Some(&1));
427        assert_eq!(map.get("→ sale.refund"), Some(&1));
428    }
429
430    #[test]
431    fn load_missing_file_yields_empty_not_error() {
432        // EventLog::open de un archivo inexistente no falla; entries() devuelve [].
433        let path = std::env::temp_dir().join("nakui-explorer-missing-test.jsonl");
434        let _ = std::fs::remove_file(&path);
435        let result = load_log(&path).expect("missing path is OK per EventLog::open contract");
436        assert!(result.is_empty());
437    }
438
439    // Tests de `short_uuid` / `short_hash` / `preview_value` viven
440    // en `yahweh-meta-runtime::format` tras la migración. Si esos se
441    // vuelven a romper, los tests específicos del crate runtime los
442    // capturan; acá no duplicamos.
443}