What it must do
Contract K describes observable conditions software must satisfy.
About Ato
Preserve computation. Continue the work.
Ato explores how to preserve a point in a computation so people can continue their work in a compatible environment. It is an open-source runtime and computation model for verifiable, transferable software.
Our vision: a better interface between people and computing.
CapsuleA sealed continuation point
Execution path AContinue
Execution path BContinue
Ato
Open-source runtime and computation model
ato.run
A platform built on Ato to discover, try, save, and share software
Why Ato
Work shouldn't have to start over.
Running software is often tied closely to a process, a machine, and its environment. Sharing or continuing work can mean reconstructing context, dependencies, and state. Ato explores how to preserve a point from which computation can continue.
What is a Capsule?
A Capsule is a sealed, immutable, addressable point from which computation can continue. A Run resumes that point and evolves. Containers, VMs, or snapshots can help realize it, but do not define its identity.
The technology
One contract. Different ways to realize it.
Ato separates the conditions software must satisfy from the way they are achieved, making execution environments clearer for people and AI agents.
How to realize it
Derivation D describes one way to meet those conditions.
What happened
A verification receipt records the selected route and actual observations.
Different routes can be investigated against the same contract. This does not guarantee that software runs in every environment.
Try it today
Start with something that runs.
2048 shows how public software can be discovered and run through ato.run. Developers can also build the CLI and inspect a verification receipt for a separate static example.
Availability depends on the declared route, permissions, and host capabilities.
Development status
Building and exploring.
Ato is experimental.
Available now
Browse and try public software on ato.run; build the CLI and run the static example.
In development
Portable application contracts and verification across execution paths are under development.
Research directions
General recovery across different hosts, process-memory restoration, and autonomous AI Formation are not generally available capabilities.
Open source and contact
Let's talk.
Ato is developed by Kohsuke Egami, who operates ato.run as an individual sole proprietor in Japan. Technical exchange is welcome.