O que é o Ato?
O Ato é uma forma de tratar o software como uma continuação: a computação que ainda é possível a partir de um determinado ponto, em vez de um endpoint de serviço, um repositório ou um snapshot.
O objetivo não é substituir contêineres, gerenciadores de pacotes ou máquinas virtuais. Eles podem preparar e executar o ambiente. A camada do Ato é o que torna o Computation(computação) executado sobre eles registrável, salvável, ramificável, transferível e continuável.
O problema
A maior parte do software é entregue como acesso a um serviço: uma interface que fala com o servidor e o banco de dados de outra pessoa. O que você recebe é a tela, não o software. Três consequências decorrem disso.
- O trabalho em andamento não pode se mover. Uma sessão deixa de ser utilizável quando o ambiente do provedor muda, o serviço é encerrado ou você perde o acesso.
- O passado não é um lugar ao qual você pode voltar. Um documento salvo não é o mesmo que o estado do programa que o produziu.
- O ambiente decide o que pode rodar. O mesmo projeto pode funcionar em uma máquina e falhar em outra porque falta um runtime, uma biblioteca ou um serviço.
O desenvolvimento assistido por LLM torna isso mais visível: o software é produzido mais rápido e em mais variações, então a capacidade de guardar, comparar, mover e retomar um Computation em funcionamento importa mais do que a capacidade de manter a máquina em que ele rodou pela primeira vez.
O modelo
Computation ──▶ seal ──▶ Capsule ──▶ transfer ──▶ materialize ──▶ Run ──▶ continue
- Um Computation é o trabalho que resta a partir do ponto atual. Muda quando ocorre uma interação.
- Um Capsule(uma cápsula) é um ponto selado, imutável e endereçável nesse Computation. Pode ser preservado, passado, retomado, composto e bifurcado.
- Um Run(uma execução) é uma avaliação ao vivo retomada de um Capsule. Runs avançam; selar um ponto produz outro Capsule.
- Um Record(um registro) é a evidência de que uma interação foi observada. Explica como um Run chegou a um ponto, mas não é o ponto em si.
- Uma Materialization(uma materialização) é uma forma física de realizar um Capsule: Replay(reprodução), reconstrução do workspace ou um mecanismo de snapshot futuro.
Essas distinções são o núcleo do modelo. Conceitos fundamentais define cada termo e explica como eles se relacionam.
O que roda hoje
Ato é experimental. O repositório inclui objetos de computação, comandos de ciclo de vida, adaptadores, pacotes portáveis e um exemplo de verificação estática. O perfil de aplicativo portátil separa Contract K (condições observáveis) de Derivation D (caminho declarado); um recibo registra observações reais. A especificação é um rascunho em implementação. Recursos e permissões do host determinam os caminhos disponíveis. Recuperação geral entre hosts heterogêneos, memória de processos e Formation autônoma por IA continuam em pesquisa ou desenvolvimento. About · Guia de desenvolvimento.
O que o Ato não é
- Não é um provisionador de ambientes de uso geral que substitui Docker, Nix ou VMs.
- Não é uma reimplementação de gerenciadores de pacotes ou toolchains.
- Não é um substituto para o Git ou para um registro de contêineres.
- Não garante que processos arbitrários sejam reproduzidos (Replay) de forma determinística.