Sergio
a97f6b98f3
Iter 21. Cierra el loop iniciado en iter 20: ahora se ven sesiones
+ matches actuales + cómo cambian a través del tiempo.
brahman-handshake/messages:
- Frame::ListMatches → Frame::MatchList(Vec<brahman_broker::Match>).
brahman-handshake/server:
- run_post_handshake pasa Option<&SharedBroker> a handle_inbound_frame.
- Sin broker configurado → MatchList vacía (no error).
brahman-handshake/client + brahman-sidecar:
- Client::list_matches() análogo a list_sessions, drena MatchEvents.
- list_matches / list_matches_blocking, mismo patrón.
brahman-broker-explorer:
- Poll-tick agrega list_matches_blocking además de list_sessions.
- last_match_keys: HashSet<MatchKey> para diff entre ticks.
- timeline: VecDeque<TimelineEntry> cap 50.
- diff_matches (free fn): Available para keys nuevas, Lost para
desaparecidas. Primer tick marca todo Available (boot UX).
- Render: stat_card "Timeline" con HH:MM:SS {+/-} formato compacto.
5 tests broker-explorer (3 nuevos del diff). Stack verde.
Decisión: timeline polled cada POLL_INTERVAL=5s, no push. MatchEvents
del broker son consumer-céntricos (cada session ve sólo SUS matches);
"system-wide timeline" requeriría broker subscribe-all (mucho scope).
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
24 lines
1.0 KiB
TOML
24 lines
1.0 KiB
TOML
[package]
|
|
name = "brahman-broker-explorer"
|
|
version.workspace = true
|
|
edition.workspace = true
|
|
license.workspace = true
|
|
description = "Probe GUI del broker brahman: conecta cada N segundos vía await_provider_blocking con un Card observer agnóstico, reporta 3 estados (down / up sin provider / up con provider)."
|
|
|
|
[dependencies]
|
|
brahman-broker = { path = "../../core/brahman-broker" }
|
|
brahman-card = { path = "../../core/brahman-card" }
|
|
brahman-handshake = { path = "../../core/brahman-handshake" }
|
|
brahman-sidecar = { path = "../../shared/brahman-sidecar" }
|
|
ulid = { workspace = true }
|
|
yahweh-theme = { path = "../../modules/ui_engine/libs/theme" }
|
|
yahweh-launcher = { path = "../../modules/ui_engine/libs/launcher" }
|
|
yahweh-widget-banner = { path = "../../modules/ui_engine/widgets/banner" }
|
|
yahweh-widget-stat-card = { path = "../../modules/ui_engine/widgets/stat-card" }
|
|
yahweh-widget-app-header = { path = "../../modules/ui_engine/widgets/app-header" }
|
|
gpui = { workspace = true }
|
|
|
|
[[bin]]
|
|
name = "brahman-broker-explorer"
|
|
path = "src/main.rs"
|