# grafo-nav

*Read this in English: [README.md](README.md).*

El contrato del DAG navegable, una sola vez (PLAN-GRAFO F1)

Un DAG cualquiera del repo (Mónadas, commits, celdas, mensajes) se vuelve
navegable y gestionable implementando `GrafoNavegable`: dice sus nodos, sus
aristas dirigidas `(padre → hijo)`, y qué `Verbo`s permite para la
selección. Todo lo estructural — raíces, cabezas, cono, bifurcación — se
deriva solo, puro, de las aristas.

El cockpit compartido (`llimphi-widget-navigator::cockpit_grafo_view`) toma
cualquier `impl GrafoNavegable` y lo pinta con pan/zoom/selección y la paleta
de verbos. Esta caja NO conoce la UI: sólo topología y vocabulario.

Convención de dirección de arista: `(from, to)` = `ancestro → descendiente`
(padre → hijo). Así una **raíz** no tiene aristas entrantes (commit inicial)
y una **cabeza** no tiene salientes (tip / mensaje sin respuesta) — coincide
con `minga::GrafoCommits` y con el layout por rango del nodegraph.

---

Parte de **shared** — ver [shared](../LEEME.md).