diff --git a/README.md b/README.md
index 2a1f1fb..b6e5191 100644
--- a/README.md
+++ b/README.md
@@ -4,12 +4,87 @@
 ## THE PROOF IS MATHEMATICAL
 ### TIME WILL TELL
 
+---
+
+## AIΩN Foundations
+
+**A formal framework for deterministic, history-native computation.**
+
+[![Paper I](https://img.shields.io/badge/Paper_I-Published-brightgreen)](https://zenodo.org/...) [![Paper II](https://img.shields.io/badge/Paper_II-Published-brightgreen)](https://zenodo.org/...) [![Paper III](https://img.shields.io/badge/Paper_III-Published-brightgreen)](https://zenodo.org/...) [![Paper IV](https://img.shields.io/badge/Paper_IV-Published-brightgreen)](https://zenodo.org/...) [![Paper V](https://img.shields.io/badge/Paper_V-Draft-yellow)]() [![Paper VI](https://img.shields.io/badge/Paper_VI-Draft-yellow)]()
+
+---
+
+## Overview
+
+This repository collects the **AIΩN Foundations Series**, a sequence of papers that establish a mathematical and architectural foundation for deterministic computation. The series develops, from first principles, a framework in which history is the primary representational artefact and state is derived as a materialised view.
+
+We address a class of problems endemic to contemporary software systems: irreproducible builds, nondeterministic concurrency failures, and the absence of verifiable provenance for automated transformations. Our approach demonstrates that these pathologies are not inevitable features of complex systems, but consequences of an architectural decision—storing snapshots rather than transformations—that can be revisited.
+
+The series proceeds incrementally. Each paper assumes familiarity with its predecessors but remains self-contained in its contributions. Papers I–IV establish the theoretical substrate; Papers V–VI extend the framework to ethical considerations and system architecture.
+
+---
+
+## Papers
+
+| # | Title | Status | Contribution |
+|---|-------|--------|--------------|
+| I | **WARP Graphs** | Published | Introduces recursive meta-graphs as the foundational substrate for causal, nested computation. |
+| II | **Computational Holography** | Published | Establishes how local graph structure encodes and reconstructs global semantic content. |
+| III | **Observer Geometry** | Published | Formalises multiple observer perspectives over a single causal structure. |
+| IV | **Echo Engine** | Published | Presents a deterministic scheduling algorithm based on Double-Pushout graph rewriting. |
+| V | **Ethics & Sovereignty** | Draft | Addresses provenance, accountability, and the rights of computational agents. |
+| VI | **Architecture & Operating System** | Draft | Specifies JITOS, a causal operating system that instantiates the preceding theory. |
+
+---
+
+## Related Work
+
+The following repositories implement or extend concepts from the Foundations Series:
+
+| Repository | Description |
+|------------|-------------|
+| [echo-engine](https://github.com/...) | Reference implementation of the DPO rewrite scheduler (Paper IV). |
+| [jitos](https://github.com/...) | Userland kernel daemon for the causal operating system (Paper VI). |
+| [wesley](https://github.com/...) | GraphQL-to-PostgreSQL compiler with formal verification. |
+| [nine-lives](https://github.com/...) | Fractal supervision model for asynchronous operations. |
+| [gatos](https://github.com/...) | Git As The Operating Surface—Git as programmable computational substrate. |
+
+---
+
+## Central Thesis
+
+We contend that the fundamental unit of computational storage should be the *transformation*, not the *state*. When transformations are first-class and immutable, deterministic replay, time-travel debugging, and structural provenance emerge as natural consequences rather than heroic engineering efforts.
+
+The AIΩN Foundations Series develops the formal machinery required to make this inversion rigorous and the architectural patterns required to make it practical.
+
+---
+
+## Citation
+
+```bibtex
+@misc{ross2025aion,
+  author       = {Ross, James},
+  title        = {The {AIΩN} Foundations Series},
+  year         = {2025},
+  publisher    = {Zenodo},
+  note         = {Papers I--VI}
+}
+```
+
 ## License
 
-This repository contains only the CΩMPUTER manuscript, figures, compiled PDF, and documentation. These materials are © 2025 James Ross and licensed under Creative Commons Attribution 4.0 (CC BY 4.0); see LICENSE for details.
+These materials are © 2025 James Ross and licensed under Creative Commons Attribution 4.0 (CC BY 4.0); see LICENSE for details.
 
 The AIΩN Runtime and JITOS software projects referenced by the paper are not part of this repository. Those separate codebases are licensed under the Apache License, Version 2.0 (see their own repositories or Apache License 2.0).
 
+### More on AIΩN
+
+For updates, see the main [AIΩN](github.com/flyingrobots/aion) repository.
+
+AIΩN Foundations Series © 2025 by James Ross is licensed under CC BY 4.0. To view a copy of this license, visit [https://creativecommons.org/licenses/by/4.0/](https://creativecommons.org/licenses/by/4.0/)
+
+_NOTE:_ If you do not wish to use MIND-UCAL, you may freely use all theory, math, and documentation under Apache 2.0 or CC BY 4.0, alone. No part of this repository requires adopting MIND-UCAL.
+
 ---
 
-*Pronounced AYE-on, ryhmes with lion*
+*Pronounced EYE-on, ryhmes with "lion"*