Formal Models Formal models and verified theory grounding the Axios design Atom — the Protocol Plane Formal model: Atom — the Protocol Plane Composition — the Second Primitive Formal model: Composition — the Second Primitive Eos Build Scheduling Formal model: Eos Build Scheduling Execution — the Third Primitive Formal model: Execution — the Third Primitive Publishing Stack Layer Boundaries Formal model: Publishing Stack Layer Boundaries Storage — the First Primitive Formal model: Storage — the First Primitive