软件需要满足什么
Contract K（契约）描述软件需要满足的可观察条件。
关于 Ato
保存计算，让它可以继续。
Ato 探索如何保存计算的延续点，让人们能在兼容的执行环境中继续工作。它是面向可验证、可转移软件的开源运行时与计算模型。
愿景：连接人与计算的更好接口。
Capsule封存的延续点
执行路径 A继续执行
执行路径 B继续执行
Ato
开源运行时与计算模型
ato.run
基于 Ato，发现、试用、保存和分享软件的平台
为什么是 Ato
让工作不必从头开始。
软件运行时往往与特定的进程、机器和环境紧密相连。分享或继续工作，通常需要重新准备上下文、依赖和状态。Ato 探索如何保存一个可供继续的计算点。
什么是 Capsule？
Capsule 是封存后不可变、可寻址的计算延续点。Run 从这个点继续执行并不断演进。容器、虚拟机或快照可以帮助实现它们，但并不定义其身份。
技术模型
同一份契约， 不同的实现路径。
Ato 将软件需要满足的条件与实现这些条件的方法分开，让人和 AI 智能体都能更清楚地理解执行环境。
如何实现
Derivation D（实现路径）描述实现这些条件的一种方式。
记录实际结果
验证回执记录所选路径及实际观察结果。
可以研究不同路径是否满足同一契约。这不保证软件在所有环境中都能运行。
开发阶段
正在构建，持续探索。
Ato 仍处于实验阶段。
现在可用
在 ato.run 上浏览和试用公开软件；构建 CLI 并运行静态示例。
开发中
便携应用的契约与跨执行路径验证仍在开发。
研究方向
跨异构环境的通用恢复、进程内存恢复和 AI 自主 Formation 尚非普遍可用的能力。
开源与联系
一起交流。
Ato 由 Kohsuke Egami（江上広介）开发，ato.run 由其以日本个人事业者身份运营。欢迎技术交流。