REA
Arquitectura de REA: de una pregunta a la evidencia
Seguir una petición por MCP, sesiones, proveedores y límites del resultado
Qué aprenderás
- Separar coordinación y observación
- Conservar identidad del proveedor
- Devolver evidencia calificada
Antes de empezar
- Un objetivo propio o autorizado
- Node.js y npm
- Un proveedor local solo si hace falta análisis nativo
Usar un artefacto inocuo para probar configuración, procedencia y limpieza
Conclusiones clave
- MCP y CLI comparten contratos de evidencia.
- La elección del proveedor pertenece a la sesión.
- Un timeout no siempre detiene el análisis.
Separar coordinación y observación
El servidor MCP expone operaciones de descubrimiento y análisis; la CLI usa los mismos contratos de flujo y evidencia. Una petición identifica objetivo y operación; el adaptador o proveedor inspecciona localmente.
Para binarios, una sesión liga proveedor y objetivo. Los artefactos JavaScript tienen un flujo propio de módulos e importaciones; observar un navegador requiere otro contexto en ejecución.
Conservar identidad del proveedor
El router de sesión no convierte Hopper, Ghidra e IDA en herramientas equivalentes. Disponibilidad, operaciones y formato del objetivo deciden la ruta; si varias sirven, hay que escoger expresamente.
Un proveedor puede continuar después de que expire la espera del cliente. La guía CLI pide revisar actividad y recuperación, no interpretar cada tiempo de espera como fracaso.
Devolver evidencia calificada
Los contratos MCP distinguen registros de evidencia, procedencia, límites y resúmenes de presentación. El resumen facilita la lectura, pero no debe borrar las condiciones de las observaciones.
La arquitectura ayuda al agente a formular mejores preguntas. No puede transformar una operación no soportada o una señal ambigua en un hecho sobre el código fuente original.
Cómo elegir
| Criterio | Opción A | Opción B |
|---|---|---|
| Best when | You need predictable behavior and easy auditing | You need adaptive optimization and have reliable telemetry |
| Main risk | May leave performance on the table | Can become difficult to explain or debug |
Pasos de implementación
- 1
Identificar objetivo, operación y proveedor.
- 2
Seguir estado de sesión y registro de evidencia.
- 3
Leer límites junto a cada conclusión.
Ejemplo para copiar
agent or CLI -> operation -> session router -> local provider
provider result -> evidence + provenance + limitations -> readerPreguntas frecuentes
¿El resumen sustituye la evidencia?
No. La guía separa la vista de presentación de los registros y límites retenidos.
¿Se puede cambiar de proveedor?
La guía dice que sigue ligado a la sesión hasta un cambio explícito.
Fuentes
- REA / README.mdFuente verificada 2026-10-14
- REA / docs/cli.mdFuente verificada 2026-10-14
- REA / docs/mcp-contracts.mdFuente verificada 2026-10-14
- REA / src/application/binary/SessionProviderRouter.tsFuente verificada 2026-10-14
- REA / src/application/javascript/JavaScriptArtifactAnalysis.tsFuente verificada 2026-10-14
- REA / src/server/EvidenceMcpServer.tsFuente verificada 2026-10-14