feat(yahweh-widget-app-header): promover header standard de explorers
1[package]
2name = "minga-explorer"
3version.workspace = true
4edition.workspace = true
5license.workspace = true
6description = "Dashboard GPUI del repo Minga: counts de nodos AST, atestaciones, claves MST, refresh por polling. Lee sled directo (sin passphrase). Standalone."
7
8[dependencies]
9minga-store = { path = "../../modules/semantic_dht/minga-store" }
10yahweh-theme = { path = "../../modules/ui_engine/libs/theme" }
11yahweh-widget-banner = { path = "../../modules/ui_engine/widgets/banner" }
12yahweh-widget-stat-card = { path = "../../modules/ui_engine/widgets/stat-card" }
13yahweh-widget-app-header = { path = "../../modules/ui_engine/widgets/app-header" }
14gpui = { workspace = true }
15
16[[bin]]
17name = "minga-explorer"
18path = "src/main.rs"