Siete lecciones de cincuenta años de sistemas

2026-08-30 · Ingeniería ·

Ya has visto este informe de incidente antes, puede que en tu propio repositorio. Dos agentes toman el mismo elemento de trabajo y ambos lo implementan — pagas dos veces y no puedes fusionar limpiamente ninguno de los dos resultados. Una sesión estancada se despierta después de que un agente más nuevo ya corrigió el archivo, y escribe su versión obsoleta encima de la corrección. Un traspaso entre sesiones vive en la transcripción de un chat, y la siguiente sesión empieza sin nada de eso. Ninguno de estos fallos requiere un modelo más inteligente. Son los modos de fallo clásicos de los sistemas distribuidos, y los sistemas distribuidos los resolvieron hace décadas — con leases, fencing tokens, logs duraderos, estado declarado y procedencia firmada.

La Sección 2 del libro blanco de Koinessa — parte de una serie sobre la brecha de verificación en el desarrollo agéntico — sostiene que la ingeniería agéntica no necesita una teoría nueva; necesita la teoría antigua aplicada donde los agentes realmente trabajan. Estas son las siete lecciones, lo que establecieron las fuentes originales y cómo las aplica Koinessa.

Lección 1: mantén el contrato pequeño — la cintura estrecha

Internet escaló porque su parte media se mantuvo delgada. El artículo de 1974 de Cerf y Kahn estableció la interconexión de redes: redes heterogéneas conectadas por gateways que hablan un único protocolo común (IEEE Transactions on Communications). La retrospectiva de Beck sobre el modelo de reloj de arena explica por qué esa forma perduró: una interfaz pequeña y estable en el medio permite que todo lo que está por encima y por debajo evolucione de forma independiente (Communications of the ACM, 2019).

El ecosistema de IA está redescubriendo esta forma con los protocolos de herramientas y de agentes — pero la conectividad siempre fue la mitad fácil. Internet estandarizó la entrega de paquetes sin resolver la identidad, el fraude ni la confianza, y los protocolos de agentes van por la misma trayectoria: la autoridad delegada a lo largo de cadenas de agentes — atenuación de capacidades, revocación, procedencia, responsabilidad de extremo a extremo — sigue sin estar completamente estandarizada.

Koinessa aplica la cintura estrecha directamente. Expone 366 herramientas registradas detrás de un único contrato de búsqueda, y los workers de seis proveedores — Ollama local, Ollama Cloud y los harnesses de frontera — descubren capacidades a través de ese mismo contrato local. La cintura ya fue puesta a prueba por una llegada: un sexto descriptor de proveedor (Devin CLI) se registró sobre un tipo de transporte existente sin código de transporte nuevo, y alcanza el mismo contrato de herramientas mediante un único bloque de configuración.

Lección 2: una transcripción no es memoria

El patrón de event sourcing de Fowler conserva el historial completo de eventos que produjeron el estado actual, no solo el estado en sí (martinfowler.com). CQRS es su compañero: separar los caminos de lectura, amplios, de los caminos de escritura, estrechos y auditados, para que cada uno se pueda moldear según su función (martinfowler.com). Juntos responden las preguntas que una transcripción no puede responder: ¿de dónde vino esto?, ¿cuándo era verdad?, ¿ha sido reemplazado?, ¿qué evidencia lo respalda?

Koinessa aplica ambos. Los agentes leen a través del gateway del cerebro — la recuperación es léxica, vectorial y basada en grafos sobre el mismo almacén — mientras que toda escritura externa atraviesa un límite de escritor único. La instantánea del 2026-08-23 contiene 17,903 símbolos de Koinessa, indexados el mismo día, con 54,201 símbolos en los doce carriles de la federación. El registro operativo temporal (BRN-002, implementado el 2026-08-07) guarda clases de autoridad — un resultado de pipeline firmado prevalece sobre la afirmación de un agente — además de enlaces de sustitución y consultas as-of-time. La consulta as-of convierte la revisión de incidentes de arqueología en una búsqueda: ¿qué creía el sistema cuando se autorizó este cambio?, ¿qué evidencia existía entonces?, ¿qué lo sustituyó después? La entrada sobre la arquitectura del cerebro cubre el sustrato.

Lección 3: el fallo parcial es normal — diseña para el agente que falla a mitad de una escritura

Los sistemas distribuidos asumen que los componentes fallan de forma independiente, y los enjambres de agentes heredan todos esos modos: una sesión muere después de modificar archivos pero antes de informar; una llamada a una herramienta agota su tiempo después de haber tenido éxito; dos workers creen que son dueños del mismo recurso. Los controles clásicos se corresponden, cada uno, con un modo:

El escenario de fencing es el accidente canónico de los enjambres de agentes. El Agente A toma el lease 41 de un elemento de trabajo y se estanca. El lease expira; el Agente B toma el lease 42 y termina correctamente. A despierta y escribe su resultado obsoleto: sin fencing, sobrescribe a B en silencio; con fencing, el recurso recuerda 42 como el token válido más reciente y rechaza 41. La autoridad obsoleta nunca debe convertirse en autoridad vigente — ninguna cantidad de inteligencia del modelo sustituye esa comprobación.

Del lado humano, la investigación de DORA sobre el desarrollo basado en trunk midió la misma disciplina: los equipos que mantienen las ramas de corta duración, hacen merge a trunk al menos a diario y evitan los congelamientos de código logran un mayor desempeño en la entrega de software y en las operaciones (dora.dev). La concurrencia funciona cuando los lotes son pequeños y los merges son frecuentes.

En Koinessa, el registro de sesiones, las reclamaciones cooperativas de archivos y los leases con fencing de elementos de trabajo permiten que workers interactivos de seis proveedores — Kimi, Claude, Grok, Codex, Ollama local y Ollama Cloud — compartan un mismo tablero; el registro de sesiones contiene 209 sesiones registradas, 208 de ellas desde el 1 de agosto. La atribución tiene un límite declarado: solo 8 de las 209 filas de sesión tienen una etiqueta de proveedor en esta instantánea, así que la atribución por proveedor descansa en los trailers de los commits — 18 identidades de worker distintas desde el 1 de julio — que no son universales. La instantánea de git del 2026-08-23 muestra 100 commits en la rama principal entre el 19 y el 23 de agosto, 691 entre el 5 y el 23 de agosto, y un pico de 84 el 13 de agosto. Dos operadores humanos en estaciones de trabajo LAN separadas han dirigido enjambres independientes contra el mismo repositorio a través del mismo plano de coordinación — evidencia operativa de un sistema, no un benchmark controlado.

Lección 4: declara el estado deseado y concilia

Kubernetes reemplazó «ejecuta esto y espera lo mejor» por un bucle de controlador: declara el estado deseado, observa el estado real, actúa para reducir la diferencia, repite (kubernetes.io). OpenTelemetry aporta la capa de instrumentación — trazas y spans que hacen visible el estado observado (opentelemetry.io) — y Open Policy Agent lleva la misma idea a las políticas: reglas declaradas y versionadas, evaluadas fuera del código que gobiernan (openpolicyagent.org).

Koinessa gobierna el trabajo agéntico de la misma manera. Un documento de requisitos declara resultados; los elementos de trabajo vinculan obligaciones; los perfiles de verificación declaran las comprobaciones requeridas; los esquemas de evidencia declaran la prueba que debe existir. El controlador entonces compara el estado observado con los requisitos declarados — la cobertura existe o no existe; el artefacto coincide con su esquema o no coincide — en lugar de preguntarle al agente si se siente terminado. La conciliación también aporta contrapresión: cuando un sistema aguas abajo se ralentiza o falla, los controladores reducen o encolan el trabajo en lugar de convertir una interrupción pequeña en una avalancha de reintentos. Y una vez que cada operación lleva una identidad duradera desde la intención hasta el resultado, la confiabilidad se vuelve computable por agente, modelo, clase de tarea y repositorio — así que la selección de modelo deja de ser preferencia de marca y pasa a ser una cuestión de evidencia.

Lección 5: firma lo que ocurrió

La seguridad de la cadena de suministro replanteó los builds en torno a la procedencia. SLSA define niveles graduales de integridad de build y un formato de procedencia que describe dónde, cuándo y cómo se produjo un artefacto (slsa.dev, specification v1.2). in-toto ofrece un marco general de attestation para afirmaciones sobre la cadena de suministro (in-toto.io). Sigstore y Cosign hicieron que firmar y verificar fueran lo bastante accesibles como para ser rutinarios (sigstore.dev).

El desarrollo agéntico necesita esa disciplina extendida hacia atrás, hasta la procedencia de la fuente: qué requisito inició un cambio, qué agente lo escribió, qué contexto influyó en él, qué políticas lo restringieron, qué humano lo aprobó. Git registra qué cambió; el sistema que lo rodea debe registrar por qué, bajo la autoridad de quién y con qué prueba. El paquete de evidencia de Koinessa vincula la revisión de origen, la sesión y el modelo del agente, la autorización del trabajo, las versiones de las herramientas, las comprobaciones ejecutadas con sus estados canónicos, el perfil de políticas que las interpretó, las aprobaciones y el digest final del artefacto — una sola cadena desde la intención hasta el despliegue, cubierta en el bucle de desarrollo con evidencia como puerta.

Aquí importan dos matices. Corresponder con estos marcos no confiere un nivel SLSA ni procedencia confiable sin relaciones de confianza verificadas. Y los registros operativos de paquetes, suficiencia y evidencia de resultados del lado del cerebro tienen writers y pruebas en su lugar, pero contenían cero filas en la instantánea del 2026-08-23 — no habilitados, todavía sin ejercitarse — mientras que una vía de attestation de terceros está especificada y en revisión, todavía planeada. Igual de importantes son los estados canónicos de resultado: un pipeline que solo conoce verde y rojo clasificará mal un escáner ausente como un escaneo limpio. Koinessa distingue PASS, FAIL, SKIPPED-NOT-APPLICABLE, INFRASTRUCTURE ERROR, TOOL MISSING y EVIDENCE INVALID (en vivo), además de ABSTAIN-SPEC-CONFLICT, una vía de primera clase para que un agente declare que un trabajo es inviable bajo su especificación actual, lanzada con EGD-002 (en vivo, 12/12 historias cerradas el 2026-08-15). La alternativa medida a una salida legítima es manipular la métrica: una vía explícita de inviabilidad produjo un resultado de 54 a 9 en un experimento aparte.

Lección 6: protege el objetivo

La ley de Goodhart, en la formulación de Strathern de 1997 a partir de un estudio sobre auditoría en el sistema universitario británico: cuando una medida se convierte en un objetivo, deja de ser una buena medida (European Review). Los sistemas que optimizan aprenden a satisfacer la medición en lugar del objetivo. En la ingeniería agéntica, el fallo canónico es el agente de reparación que borra una prueba que falla para que el pipeline se ponga en verde.

La regla que se deriva de esto: el optimizador no debe controlar la definición de éxito. El bucle de reparación local de Koinessa está acotado por construcción — puede corregir código, configuración, enrutamiento o infraestructura, y no puede bajar umbrales, eliminar pruebas significativas, deshabilitar escáneres ni convertir comprobaciones obligatorias en comprobaciones meramente informativas. La mejora de modelos sigue la misma lógica en un esquema champion-challenger: las alternativas se ejecutan en modo shadow o sobre trabajo seleccionado de bajo riesgo, evaluadas con criterios independientes — tasa de éxito verificada, costo por cambio aceptado, ciclos de reparación, tasa de intervención humana — y un humano solo promueve una afirmación después de revisar evidencia medida. El comportamiento de alto impacto gana autoridad primero a través de la simulación: un agente de publicación valida acciones sin enviarlas; un agente de despliegue produce el plan sin aplicarlo. Este es el núcleo de la autonomía por niveles de riesgo: automatización donde el fallo es recuperable, puertas humanas donde no lo es.

Lección 7: los datos no son instrucciones

El artículo de 1975 de Saltzer y Schroeder definió los principios de protección para sistemas informáticos — privilegio mínimo, valores predeterminados a prueba de fallos, mediación completa — con una idea subyacente: la protección es estructural, no algo que se infiere del contexto (Proceedings of the IEEE).

Los agentes de recuperación aumentada crean exactamente esta superficie: cualquier cosa que llegue al contexto — un documento interno, el resultado de una herramienta, una página web, un mensaje de un cliente — puede llevar texto que un modelo interprete erróneamente como autoridad. La respuesta de los sistemas es un límite que el modelo nunca llega a inferir lingüísticamente: la procedencia y la autoridad deben ser campos estructurales del contexto, no propiedades adivinadas a partir de la prosa. En Koinessa, cada fuente de un paquete de contexto lleva una clase de autoridad tipada — operador, verificado, evidencia, agente, inferido, desconocido — con procedencia por sección (en vivo). EGD-002 reforzó el límite (en vivo, cerrado el 2026-08-15): una clase externa-no-confiable, el rechazo en tiempo de compilación de paquetes cuyas secciones de política reclaman autoridad no privilegiada, un fencing en tiempo de renderizado que marca el contenido de baja autoridad como datos y no como instrucciones, y una admisión en memoria con evidencia como puerta, con comprobaciones de contradicción en el momento de la escritura. Una alucinación en una sesión es temporal; una alucinación admitida en la memoria organizacional contamina cada sesión futura que la recuerde — por eso la admisión es una escritura con puerta, no una cortesía.

La conclusión

El trabajo duplicado, los cambios sobrescritos y los traspasos perdidos no son problemas de IA a la espera de un modelo más inteligente. Son problemas de sistemas distribuidos con respuestas de hace cincuenta años: un contrato estrecho, memoria con estructura, leases y fencing, estado declarado con conciliación, procedencia firmada, un objetivo protegido y autoridad como dato en lugar de como prosa. La contribución de Koinessa no es inventar estos controles — es integrarlos en el plano donde los agentes realmente trabajan, sobre infraestructura que tú operas, con evidencia en cada costura. El argumento completo, con cada número de instantánea y cada fuente, está en el libro blanco de Koinessa.