¿Qué es Ato?
Ato es una forma de tratar el software como una continuación: el cómputo que todavía es posible desde un punto dado, en lugar de un endpoint de servicio, un repositorio o una instantánea.
El objetivo no es reemplazar contenedores, gestores de paquetes o máquinas virtuales. Esos pueden preparar y ejecutar el entorno. La capa de Ato es la que hace que el Computation(cómputo) que se ejecuta encima de ellos se pueda registrar, guardar, ramificar, transferir y continuar.
El problema
La mayor parte del software se entrega como acceso a un servicio: una interfaz que habla con el servidor y la base de datos de otra persona. Lo que recibes es la pantalla, no el software. De ahí se siguen tres consecuencias.
- El trabajo en curso no se puede mover. Una sesión deja de ser utilizable cuando cambia el entorno del proveedor, el servicio se cierra o pierdes el acceso.
- El pasado no es un lugar al que puedas volver. Un documento guardado no es lo mismo que el estado del programa que lo produjo.
- El entorno decide qué se puede ejecutar. El mismo proyecto puede funcionar en una máquina y fallar en otra porque falta un tiempo de ejecución, una biblioteca o un servicio.
El desarrollo asistido por LLM hace esto más visible: el software se produce más rápido y en más variantes, así que la capacidad de guardar, comparar, mover y reanudar un Computation en funcionamiento importa más que la capacidad de conservar la máquina donde se ejecutó por primera vez.
El modelo
Computation ──▶ seal ──▶ Capsule ──▶ transfer ──▶ materialize ──▶ Run ──▶ continue
- Un Computation es el trabajo que queda desde el punto actual. Cambia cuando ocurre una interacción.
- Un Capsule(una cápsula) es un punto sellado, inmutable y direccionable de ese Computation. Se puede preservar, pasar, reanudar, componer y bifurcar.
- Un Run(una ejecución) es una evaluación en vivo reanudada desde un Capsule. Los Run avanzan; sellar un punto produce otro Capsule.
- Un Record(un registro) es la evidencia de que se observó una interacción. Explica cómo un Run llegó a un punto, pero no es el punto en sí.
- Una Materialization(una materialización) es una forma física de realizar un Capsule: Replay(repetición), reconstrucción del espacio de trabajo o un mecanismo de instantáneas futuro.
Estas distinciones son el núcleo del modelo. Conceptos básicos define cada término y explica cómo se relacionan.
Qué se ejecuta hoy
Ato es experimental. El repositorio incluye objetos de cómputo, comandos de ciclo de vida, adaptadores, paquetes portables y un ejemplo de verificación estática. El perfil de aplicación portable separa Contract K (condiciones observables) de Derivation D (ruta declarada); un recibo registra las observaciones reales. La especificación es un borrador de implementación. Las capacidades y permisos del host determinan las rutas disponibles. La recuperación general entre hosts distintos, la memoria de procesos y la Formation autónoma con IA siguen en investigación o desarrollo. About · Guía de desarrollo.
Lo que Ato no es
- No es un aprovisionador de entornos de propósito general que reemplace Docker, Nix o las VM.
- No es una reimplementación de gestores de paquetes o cadenas de herramientas.
- No es un reemplazo de Git ni de un registro de contenedores.
- No garantiza que todos los procesos se puedan reproducir (Replay) de forma determinista.