Historical evidence: any Serena references below describe a provider retired in contract 4.0.0. They are not operational setup instructions.

Auditoría final 1.0.0#

Fecha de corte: 2026-08-22. Esta página distingue el estado del repositorio, la configuración efectiva del equipo y las funciones que solo aparecen en la documentación. Los porcentajes son una estimación de cierre por área, no una cobertura de código ni una promesa de compatibilidad universal.

Nota histórica: esta página conserva la evidencia de la publicación 1.0.0. El estado vigente de la rama y las comprobaciones posteriores se mantienen en v1 readiness, actualmente para 1.1.0.

El contenido de esta auditoría es un snapshot histórico. El estado fechado posterior a la integración de Kivgraph 0.9.2 (incluidos contratos dormidos, supervisor, Scrapling y deudas abiertas) está en la sección Current post-Kivgraph audit — 2026-08-29 de v1 readiness.

Matriz de cierre#

Sobre la confirmación interactiva conviene separar dos cosas que se confunden con facilidad. Lo que 1.0.0 no tenía, y sigue sin tener a propósito, es un prompt implícito: ningún adaptador ni ruta del demonio se detiene a preguntar, porque un servicio bajo systemd o launchd no tiene terminal donde contestar y esa pregunta colgaría la ejecución o no la respondería nadie. La confirmación explícita, la que pide quien llama, llegó después de esta auditoría: --confirm está en task, ask y decide --run desde 1.0.2 – imprime el presupuesto y los efectos que va a conceder y se niega a seguir sin TTY en vez de continuar –, y desde 1.0.5 agent la exige para todo tipo que declare efectos write o external. backup discard no acepta otra palabra desde 1.0.2.

Revisión de mantenimiento posterior#

El 2026-08-22 se corrigieron tres tests de workflow que dependían de sleeps fijos: ahora esperan marcadores escritos por el proceso hijo, con timeout de seguridad. TMPDIR=/tmp go test -race -count=5 ./internal/workflow pasó las cinco repeticiones.

El arnés MCP pasó en normal y bajo -race para internal/core, internal/passthrough, internal/mcpstdio e internal/mcpprobe. Las pruebas falsas cubren read, write, process y external; las acciones mutantes son rechazadas antes de llegar al backend y las denegaciones dejan receipt.

La matriz gratuita de OpenCode pasó 6/6 con 1.18.15: tres modelos sin MCP y tres con el bridge aislado de Atenea, todos con coste observado 0.000000. La nueva matriz read-only de claude-mem confirmó handshake y 14 herramientas, pero ningún corpus, ningún resultado de memoria para las búsquedas realizadas, 0 símbolos estructurales en el árbol TypeScript externo y fallo de parseo de src/server.ts. Esto clasifica claude-mem como disponible pero funcionalmente degradado para ese objetivo.

Herramientas y MCP externos#

Configuración efectiva observada#

Matriz externa posterior al release#

El 2026-08-22 se repitió la validación contra objetivos externos, usando taxiprime-backend, taxiprime-app, taxiprime-frontend y la web pública de Context7. Todas las llamadas fueron de lectura, diagnóstico o compresión local; no se iniciaron índices, aplicaciones, navegadores persistentes ni acciones mutantes.

La matriz confirma que el core respeta los límites de cada provider: Tokensave no cruza su raíz configurada y las acciones de dispositivo, Maestro y navegador se mantienen fuera de esta validación.

El repositorio no contiene overlay .atenea/config.toml; el comando config show usa /Users/gtrave/.config/atenea/atenea.toml. Ese archivo del equipo declara seis repositorios y ocho MCP externos. En esta fase se añadieron tokensave.calls, tokensave.context y tokensave.overview al overlay y se activó el runner con /opt/homebrew/bin/tokensave serve --path /Users/gtrave/Documents/atenea. El índice se inicializó con la fórmula oficial de Homebrew, el contador anónimo de subida se desactivó y /.tokensave/ queda fuera del repositorio mediante .gitignore.

El comando atenea wrap opencode --version comprobó los ocho servidores: dos se declararon al cliente (chrome-devtools y headroom), seis quedaron retenidos como raw o sin superficie directa, y ninguno fue rechazado por el handshake. La comprobación no invocó herramientas externas.

El mismo servicio arrancó con estado temporal y atenea mcp --check confirmó:

• socket local creado y servicio escuchando;
• 13 capacidades ofrecibles por el bridge MCP;
• ningún chat abierto;
• servidores externos en estado unknown en status, porque ese estado no persiste el handshake de wrap ni fuerza llamadas a herramientas raw/off.

La configuración del equipo mantiene Atenea instalada en /Users/gtrave/Library/LaunchAgents/atenea.plist, apuntando al binario estable /Users/gtrave/.local/bin/atenea. Serena se mantiene persistente para los seis repositorios y cada proceso arranca con --enable-web-dashboard True --open-web-dashboard False: las webs quedan escuchando, pero no se abre el navegador automáticamente. Headroom mantiene su proxy en 127.0.0.1:8787 con memoria desactivada y su dashboard se consulta con headroom dashboard --no-open. Maestro mantiene su Viewer en 127.0.0.1:8765 mediante el LaunchAgent com.atenea.maestro-viewer, usando OpenJDK 21 y sin ningún comando de apertura de navegador. Estas unidades son configuración de este Mac, no archivos del producto Atenea.

Kivgraph mantiene su MCP stdio oficial en /Users/gtrave/.local/bin/kivgraph y un binario separado con visor web en /Users/gtrave/.local/opt/kivgraph-ui/bin/kivgraph. Atenea supervisa el segundo como kivgraph-dashboard, limitado a 127.0.0.1:7777, con readiness HTTP y sin abrir el navegador. La comprobación real devolvió 200 para / y para assets/index-rN4CIRLY.js; atenea dashboard kivgraph --check pasó.

Kivgraph quedó registrado en /Users/gtrave/.config/kivgraph/repositories.yaml con Atenea y se indexó con éxito. La configuración excluye docs/ porque es un módulo Go independiente; incluirlo provocaba que el loader tratase ese módulo como un paquete del módulo raíz. El resultado publicado es generation 000009, con 5 repositorios, 655 archivos, 19.805 símbolos y 5.205 referencias no resueltas. La capability graph.status informó 50.971 edges del grafo publicado; el provider separa este contador de las capas de indexación auxiliares, por lo que no se presenta como una única métrica universal. La ejecución de repository.index devuelve los contadores autoritativos del documento JSONL final de kivgraph index --full: 19.805 nodos y 71.664 edges. Comprueba graph_status solo como postcondición de disponibilidad; esa lectura del snapshot publicado informa 50.971 edges. La diferencia es real y esperada: el indexador cuenta todas las relaciones producidas, mientras graph.status expone el contador de edges del grafo consultable, no una métrica universal. No deben sumarse ambos contadores. Atenea confirmó ready: true para su repositorio. Además, el adapter se actualizó para aceptar el formato compacto groups[].files[].at que devuelve el Kivgraph instalado.

Límites que impiden afirmar “100%”#

1. El significado de una narrativa más allá de las líneas citadas no tiene verificación determinista.
2. budget_usd y limits.max_tokens son autorización y frontera observada, no límites duros universales de los proveedores.
3. OpenCode no ofrece schema nativo ni cap de coste común; la evidencia real cubre tres modelos gratuitos y una versión de CLI.
4. Tokensave puede truncar su respuesta general de tokensave_entities en archivos grandes; el adapter detecta el JSON incompleto y repite la consulta con el filtro oficial kinds, fusionando y deduplicando los resultados. La ruta real sobre internal/adapter/tokensave/tokensave.go pasó con 45 símbolos. code.impact e repository.index ya tienen provider Kivgraph; el impacto omite foreign repos porque su salida no tiene campo repository.
5. Los MCP externos tienen handshake válido y varias herramientas raw de lectura probadas. El health del panel sigue siendo bajo demanda y no convierte un handshake en disponibilidad permanente. Codex tiene una búsqueda real validada dentro del presupuesto configurado; Claude Code alcanzó su techo y reportó un sobrecoste, que el adapter rechaza como permiso excedido. Ambos siguen siendo proveedores opcionales.
6. La cobertura global observada es 80,3%. CI conserva la ejecución con perfil y publica la medición por plataforma, pero no convierte ningún porcentaje en requisito de paso. La cobertura cuenta sentencias ejecutadas, no afirmaciones comprobadas.
7. Las herramientas raw no destructivas de Semgrep, Context7, Serena, claude-mem, agent-device, Maestro, Headroom y Chrome DevTools fueron enumeradas y probadas en la medida permitida por sus objetivos; las acciones de escritura, interacción o dispositivo se excluyeron deliberadamente.
8. La suite completa TMPDIR=/tmp go test -race -count=1 ./... pasó en esta revisión, incluidos los tests de timing de Claude Code y OpenCode después de ampliar sus márgenes para máquinas cargadas y el detector de carreras. La suite normal, go vet, build, política y Hugo también pasaron.

Cierre de la Fase 21#

La deriva Tokensave del overlay quedó corregida sin habilitar un proceso que no existe. CI publica la cobertura como señal informativa. Hugo se construyó localmente con la misma versión de CI, los ocho MCP respondieron al handshake y Semgrep/Context7 completaron llamadas seguras reales. Los MCP raw/off siguen siendo integraciones externas hasta que se prueben sus herramientas concretas.

code.impact y repository.index ya forman parte del contrato activo con Kivgraph: el primero usa baseline Git más get_blast_radius, y el segundo ejecuta kivgraph index --full --json bajo write+process y comprueba graph_status antes de responder y devuelve los contadores del resultado final del indexador, no una lectura potencialmente anterior del servidor persistente.

Cierre de la Fase 23#

Kivgraph ya está activado para Atenea y su generation publicada responde a través del adapter real. Se recompiló el binario local con la integración MCP get_unresolved_references, se comprobó su presencia en tools/list y symbol.unresolved quedó activo en el overlay global.

Cierre de la Fase 24#

La fuente oficial de Tokensave quedó resuelta: Homebrew instaló 7.10.0, el servidor MCP respondió al handshake y a tokensave_status/tokensave_context, y Atenea ejecutó realmente sus tres implementaciones activas. La matriz de las 13 capabilities disponibles en el overlay quedó así:

Los runners válidos quedaron verificados bajo demanda: ripgrep, Serena, Kivgraph y Tokensave. Claude Code y Codex siguen configurados como opcionales porque requieren CLI/login y no se usó ningún modelo de pago. Los MCP raw del equipo mantienen su distinción de integración externa y no se convierten artificialmente en capabilities nativas.

Cierre de la Fase 25#

La fase resolvió las cuatro tareas operativas pendientes. El binario local de Kivgraph se recompiló con LadybugDB v0.13.1 y expone get_unresolved_references; el overlay global ya lo anuncia y la capability responde ok. Tokensave conserva su índice oficial y el adapter particiona por kinds las respuestas grandes, fusionando y deduplicando 45 símbolos reales. Hugo 0.165.0 quedó instalado y construyó correctamente el sitio de documentación. La matriz completa de 13 capabilities activas pasó; code.impact y repository.index ya están en el catálogo y pasaron ejecución real con permisos explícitos.

Cierre de la validación 1.0.0#

La matriz raw enumeró los ocho MCP configurados. Pasaron llamadas de lectura y diagnóstico en Serena, Context7, Semgrep, claude-mem, agent-device, Maestro, Headroom y Chrome DevTools. Una búsqueda general de claude-mem agotó su timeout sin modificar estado; las acciones mutantes de dispositivos, navegador y procesos fueron excluidas por política.

La prueba previa de Claude Code respondió a code.search con 0,210193 USD de 0,25 USD; en la última revalidación externa alcanzó el techo y reportó 0,310367 USD observado. Codex completó una búsqueda aislada en 81,8 s con un timeout diagnóstico de 180 s; el valor operativo queda en 120 s. La matriz OpenCode pasó sus seis combinaciones gratuitas; un timeout aislado de opencode-go/ox-alpha-free se repitió individualmente y pasó con y sin MCP.

La suite normal, -race, vet, build, política, Hugo, release smoke y git diff --check pasaron. scripts/v1-readiness.sh pasó sus nueve etapas en una copia exacta del worktree con un commit temporal fuera del repositorio real. La publicación 1.0.0 se completó después mediante el workflow de release y el worktree principal quedó limpio.

Estado posterior a 1.0.0#

No hay un bloqueo crítico del código del repositorio que obligue a otra fase de implementación inmediata. Atenea 1.0.0 está publicada y validada. Los límites deliberados de proveedores externos, permisos y compatibilidad quedan como trabajo opcional de mantenimiento, no como impedimentos para el núcleo.

Contrato de dashboards#

La configuración global de [[mcp_server]] admite ahora el campo opcional:

dashboard = "http://127.0.0.1:8787/dashboard"

El loader valida HTTP/HTTPS, host, puerto, ausencia de credenciales e ID DNS. Los overlays de repositorio siguen sin poder declarar mcp_server: esa restricción evita que un clon pueda ordenar procesos o modificar dashboards de la máquina.

La resolución centralizada es MCP id -> dashboard URL -> alias. Para MCPs estáticos, el campo dashboard contiene la URL completa. Serena es dinámica: sus instancias por repositorio reciben puertos propios y Atenea descubre la instancia cuyo proyecto coincide con el directorio actual. El supervisor calienta las instancias Serena secuencialmente para evitar que varias elijan el mismo puerto libre. El comando atenea dashboard <id> comprueba accesibilidad y abre el navegador solo por petición explícita; --check no abre nada. atenea status y atenea detect exponen la URL configurada sin convertir una URL declarada en una afirmación de salud.

atenea dashboard hosts --dry-run genera un bloque idempotente y marcado en /etc/hosts, preserva entradas ajenas y detecta conflictos. La escritura solo ocurre con el comando explícito atenea dashboard hosts y requiere los permisos del sistema. Los aliases no ocultan el puerto: el mecanismo oficial de apertura sigue siendo atenea dashboard <id>; un proxy local queda fuera de esta fase.

La cobertura incluye validación de configuración, resolución, MCP sin dashboard, dashboard inaccesible, conflictos, preservación de hosts, idempotencia y --dry-run. No se modificó /etc/hosts durante la ejecución.

Auditoría operativa del plan pendiente#

La comprobación de apertura pasó para Headroom en http://127.0.0.1:8787/dashboard y Maestro en http://127.0.0.1:8765. La instancia Serena de Atenea fue descubierta y validada en http://127.0.0.1:24287/dashboard/index.html; las seis instancias mantuvieron sus dashboards en 24282–24287 tras el reinicio. dashboard hosts --check detecta que el bloque gestionado todavía no está escrito, mientras --dry-run propone headroom, kivgraph y maestro; no se escribió el archivo del sistema.

Tras la implementación, el binario local /Users/gtrave/.local/bin/atenea se actualizó con el build actual y su LaunchAgent se reinició. El servicio quedó activo y conserva sus 13 capabilities; status muestra las URLs estáticas de Headroom y Maestro, además del proceso kivgraph-dashboard en ready, mientras dashboard serena resuelve la URL dinámica por proyecto. Esta actualización local no era una publicación: no creaba commit, tag, push ni release.

Revalidación final del workspace — 2026-08-22#

La reindexación oficial de Kivgraph desde la raíz de TaxiPrime terminó con éxito en la generación 000011: 5 repositorios lógicos, 656 archivos, 19.885 símbolos, 72.034 edges y 5.080 referencias no resueltas. Los cinco repositorios registrados quedaron listos para consultas.

taxiprime-root no se añadió al grafo publicado porque representa el workspace agregado, no un sexto repositorio lógico de Kivgraph. Atenea conserva correctamente indexed_by=[] para ese target y detect lo muestra como no listo con la explicación del provider. No se debe marcar artificialmente como ready: el resultado es una limitación de modelado intencional, no un fallo de la indexación de los repositorios reales.

La diferencia entre los contadores de repository.index y graph.status se mantiene documentada: el primero describe relaciones producidas por el indexador y el segundo el grafo consultable publicado; no son métricas que deban sumarse.

Publicación 1.0.0#

La publicación de 1.0.0 se realizó mediante el workflow release.yml. El artefacto de Atenea incluye sus binarios nativos y el instalador con checksum; los providers externos y sus viewers nativos se distribuyen por separado. En particular, el viewer de Kivgraph requiere un bundle construido con webassets en un host compatible y no forma parte del artefacto portable de Atenea.