Explanations High-level conceptual overviews and design discussions Stack Architecture and Protocols Frequently asked questions The whole Axios project in one place: what it is, why it matters, how each layer works, and how to get involved Atom's version integrity: one append-only record log How Atom's charter, claim, publish, and fact records work together as one signed, append-only log per project, built on a Merkle construction whose core soundness argument is machine-checked Ecosystem agnosticism How Atom publishes any ecosystem's sources without a registry — and composes hermetic, whole-world builds a level above Cargo, npm, PyPI, and other language package managers Stack architecture and implementation Technical overview of the Axios monorepo workspaces, crate organization, and trait boundaries Supply chain security How Atom's Surety of Source model replaces registry trust with cryptographic proofs of repository origin The HTC Substrate Hermetic Transactional Composition: the post-Nix build substrate How HTC builds unmodified upstream software inside a cryptographic closure, with no expression language and no store-path lore — the four new nouns, the one function, and why it replaces Nix's model rather than patching it The three primitives: store, compose, execute A plain-language companion to the formal substrate models — why the whole build system reduces to three operations, and what that buys you Eos Build Scheduler How the Eos scheduler works A cohesive end-to-end walkthrough of the Eos build scheduler: what it does, how each piece is designed, and why — for engineers who want to understand the system well enough to use it What Eos's formal proofs guarantee A plain-language tour of the safety, fairness, and performance properties proven about the Eos scheduler in TLA+ and Lean — no formal-methods background required What the Eos scheduling simulation found A plain-language account of the simulation study that determined how Eos selects build entry points — what we tested, what the data showed, and why the result holds under realistic conditions