⚓ Axios Project Umbrella

Search... /

Architecture

ADR-0001: Monorepo with independent workspace architecture ADR-0002: Snix Integration via Service Boundaries ADR-0003: Composable Deployment Modes ADR-0004: Learning-Augmented Build Scheduling ADR-0005: Hermetic Transactional Composition — The Post-Nix Substrate ADR-0006: Execution as the Primitive — Actions, Trials, and the Death of the Evaluator ADR-0007: Atom as a Version Integrity System — The Compositional Unit Atom Software Architecture Document (SAD) Eos Software Architecture Document (SAD) HTC (Hermetic Transactional Composition) Software Architecture Document (SAD) Ion Software Architecture Document (SAD)

Explanations

Frequently asked questions Atom's version integrity: one append-only record log Ecosystem agnosticism Hermetic Transactional Composition: the post-Nix build substrate How the Eos scheduler works Stack architecture and implementation Supply chain security The three primitives: store, compose, execute What Eos's formal proofs guarantee What the Eos scheduling simulation found

Formal Models

Atom — the Protocol Plane Composition — the Second Primitive Eos Build Scheduling Execution — the Third Primitive Publishing Stack Layer Boundaries Storage — the First Primitive

How-to guides

Running the spec compliance tracker Setting up a contributor environment

Reference

Aliased URL Resolution Atom Backend Contract Atom Sourcing Atom Transaction Protocol Axios Glossary Compliance Annotation Format & Schema Eos Build Engine Eos Build Scheduler Eos Network Protocol Executor Sandbox Contract (Primary FHS Executor) Git Storage Format Ion Manifest Ion Resolution Ion–Eos Contract Layer Boundary Constraints Lock File Schema Spec Compliance Matrix Trust Model — Acceptance Policy

Repository Issues Spec Source 🄯 2026 Axiosophic Systems

How-to guides

Step-by-step instructions and recipes for working with Axios

Running the spec compliance tracker How to run the automated spec-compliance tracking script on the Axios codebase Setting up a contributor environment Configure your local Nix development environment, run tests, format code, and execute fuzz harnesses on the Axios codebase

Type to search...

↑↓ to navigate ↵ to select

Powered by Pagefind