Expand README with AIΩN Foundations details #11
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change | ||||
|---|---|---|---|---|---|---|
|
|
@@ -4,12 +4,87 @@ | |||||
| ## THE PROOF IS MATHEMATICAL | ||||||
| ### TIME WILL TELL | ||||||
|
|
||||||
| --- | ||||||
|
|
||||||
| ## AIΩN Foundations | ||||||
|
|
||||||
| **A formal framework for deterministic, history-native computation.** | ||||||
|
|
||||||
| [](https://zenodo.org/...) [](https://zenodo.org/...) [](https://zenodo.org/...) [](https://zenodo.org/...) []() []() | ||||||
|
|
||||||
|
Contributor
There was a problem hiding this comment. 🧩 Analysis chain🏁 Script executed: cat -n README.md | head -20Repository: flyingrobots/aion Length of output: 1384 Replace placeholder Zenodo URLs in badge links. The badge links on line 13 reference -[](https://zenodo.org/...) [](https://zenodo.org/...) [](https://zenodo.org/...) [](https://zenodo.org/...)
+[](<ZENODO_URL_I>) [](<ZENODO_URL_II>) [](<ZENODO_URL_III>) [](<ZENODO_URL_IV>)
🤖 Prompt for AI Agents |
||||||
| --- | ||||||
|
|
||||||
| ## 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. | | ||||||
|
Comment on lines
+46
to
+50
Contributor
There was a problem hiding this comment. 🧩 Analysis chain🏁 Script executed: # First, check if README.md exists and read lines around 46-50
if [ -f "README.md" ]; then
echo "=== README.md exists. Reading lines 40-55 ==="
sed -n '40,55p' README.md
else
echo "README.md not found"
fiRepository: flyingrobots/aion Length of output: 813 🏁 Script executed: # Search for each repository to see if they are real projects
for repo in "echo-engine" "jitos" "wesley" "nine-lives" "gatos"; do
echo "=== Searching for: $repo ==="
# Use ripgrep to search for any references in the repo itself
rg "$repo" --type md --type txt -i 2>/dev/null | head -20
doneRepository: flyingrobots/aion Length of output: 1176 🌐 Web query:
💡 Result: I searched for "echo-engine github repository DPO rewrite scheduler" and did not find a single repository matching that exact phrase. Relevant results I found:
If you want, I can (a) broaden the search terms, (b) look for a specific organization/user's "echo-engine" repo, or (c) search code for occurrences of "DPO" or "rewrite scheduler" across GitHub. Which would you like? Citations:
🌐 Web query:
💡 Result: I searched for "jitos github userland kernel daemon causal operating system" and found results in two areas — Jito (blockchain) projects on GitHub and several userland/kernel OS projects (library OS, unikernels, userland daemons). Key matches:
Sources:
Would you like me to open any of these repos/papers and extract specific files or details? 🌐 Web query:
💡 Result: I searched for "wesley github GraphQL PostgreSQL compiler". I found a blog/dev post describing a project called "Wesley" that compiles an annotated GraphQL schema into PostgreSQL DDL, TypeScript types, migrations, tests, and RLS policies. [1] I could not find an official GitHub repository for "Wesley" in the search results (no matching GitHub repo or org surfaced). If you want, I can (a) search GitHub specifically again with broader filters, (b) try to locate the author/website for the Wesley project, or (c search for alternative tools that compile GraphQL ↔ PostgreSQL (e.g., PostGraphile, Hasura, pg_graphql). Which would you prefer? [1][2][3] Sources:
🌐 Web query:
💡 Result: I searched for "nine-lives github fractal supervision" but found no repository or project matching that exact phrase. Closely related results include general GitHub topic pages for fractals and supervision, and several fractal / fractal‑pretraining projects (examples below):
If you want, I can:
🌐 Web query:
💡 Result: I searched — top results for "gatos github Git As The Operating Surface" show several unrelated "gato"/"gatos" GitHub projects, e.g.:
Do you want me to open any of these or continue searching for a specific item titled "Git As The Operating Surface"? Sources: Remove or complete the Related Work table entries—no repositories found on GitHub. The five repository links use placeholder URLs and—after investigation—none of the referenced projects (echo-engine, jitos, wesley, nine-lives, gatos) exist as public GitHub repositories. Either provide the actual repository URLs if these projects are published, or update each table entry to explicitly state the current status (e.g., "not yet published", "draft", "forthcoming"). The README already notes that "The AIΩN Runtime and JITOS software projects... are not part of this repository"; extend this clarity to all five entries so readers understand whether these are aspirational future works or simply external references yet to be shared. 🤖 Prompt for AI Agents |
||||||
|
|
||||||
| --- | ||||||
|
|
||||||
| ## 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 | ||||||
|
|
||||||
| 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. | ||||||
|
Contributor
There was a problem hiding this comment. Fix malformed GitHub URL—missing protocol. The link to the main AIΩN repository is missing the 🔎 Proposed fix-For updates, see the main [AIΩN](github.com/flyingrobots/aion) repository.
+For updates, see the main [AIΩN](https://github.com/flyingrobots/aion) repository.📝 Committable suggestion
Suggested change
🤖 Prompt for AI Agents |
||||||
|
|
||||||
| 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. | ||||||
|
Contributor
There was a problem hiding this comment. Introduce and fix emphasis style; clarify undefined Line 86 uses underscore emphasis 🔎 Proposed fixesChange underscore emphasis to asterisk and clarify -_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.
+*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.Then, provide a footnote or glossary entry defining 📝 Committable suggestion
Suggested change
🧰 Tools🪛 markdownlint-cli2 (0.18.1)86-86: Emphasis style (MD049, emphasis-style) 86-86: Emphasis style (MD049, emphasis-style) 🤖 Prompt for AI Agents |
||||||
|
|
||||||
| --- | ||||||
|
|
||||||
| *Pronounced EYE-on, ryhmes with "lion"* | ||||||
|
Contributor
There was a problem hiding this comment. Fix emphasis-as-heading and correct typo. Line 90 uses emphasis syntax 🔎 Proposed fix-*Pronounced EYE-on, ryhmes with "lion"*
+Pronounced EYE-on, rhymes with "lion".Alternatively, if a stylized closing line is desired, use a proper emphasis pattern without triggering the heading rule: -*Pronounced EYE-on, ryhmes with "lion"*
+*Pronounced EYE-on, rhymes with "lion".*📝 Committable suggestion
Suggested change
🧰 Tools🪛 markdownlint-cli2 (0.18.1)90-90: Emphasis used instead of a heading (MD036, no-emphasis-as-heading) 🤖 Prompt for AI Agents |
||||||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Fix empty link targets for draft papers.
Lines with Papers V and VI have empty brackets
](), creating broken links that violate MD042. The link targets must be populated with actual Zenodo URLs or conditionally removed until publication.🔎 Proposed fix
Or, if URLs are unavailable, remove the hyperlink wrapping:
📝 Committable suggestion
🧰 Tools
🪛 markdownlint-cli2 (0.18.1)
13-13: No empty links
(MD042, no-empty-links)
13-13: No empty links
(MD042, no-empty-links)
🤖 Prompt for AI Agents