-
Notifications
You must be signed in to change notification settings - Fork 0
Aion holography #1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
+2,746
−0
Merged
Changes from all commits
Commits
Show all changes
24 commits
Select commit
Hold shift + click to select a range
e309dd6
chore: gitignore
flyingrobots e4ac30c
docs: add aion-holography paper
flyingrobots f0238cb
chore: update README
flyingrobots e92bb98
chore: fix error in README
flyingrobots cbbecf7
feat: add GitHub Action to build PDFs
flyingrobots 59cafdc
fix: formatting in README
flyingrobots 2088b9a
Apply suggestions from code review
flyingrobots d9b4be2
fix: add blank line before code fence (MD031)
flyingrobots 98021d4
fix: add blank lines after headings (MD022, MD031)
flyingrobots 0672cc2
fix: add blank line before clean code fence (MD031)
flyingrobots 676806e
fix: add language identifier to code fence (MD040)
flyingrobots 1c87077
fix: add blank lines after key concept headings (MD022)
flyingrobots 6cb262c
fix: add .PHONY declaration for targets
flyingrobots ab37810
fix: conditional inputenc and fixed date for reproducibility
flyingrobots a55807c
fix: remove unused LackSobocinski2006 bib entry
flyingrobots 4824ef0
fix: replace Theorem~\ref with \cref for consistency
flyingrobots 8d5b551
fix: edits from review
flyingrobots 8f4b11a
fix: code review nits and corrections
flyingrobots 2fe6dbe
fix: extra shine polish
flyingrobots ee2a0c5
Add ethics section and provenance safeguards
flyingrobots 6d3bea6
Apply suggestions from code review
flyingrobots f858ed4
Update aion-holography/sections/ethics.tex
flyingrobots eccd969
fix: PR feedback
flyingrobots d392bc2
Merge remote-tracking branch 'origin/aion-holography' into aion-holog…
flyingrobots File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Some comments aren't visible on the classic Files Changed page.
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,44 @@ | ||
| name: Build LaTeX Papers | ||
|
|
||
| 'on': | ||
| push: | ||
| branches: [main, master] | ||
| pull_request: | ||
| branches: [main, master] | ||
| release: | ||
| types: [created] | ||
|
|
||
| jobs: | ||
| build-holography: | ||
| runs-on: ubuntu-latest | ||
|
|
||
| steps: | ||
| - name: Checkout repository | ||
| uses: actions/checkout@v4 | ||
|
|
||
| - name: Compile LaTeX (aion-holography) | ||
| uses: xu-cheng/latex-action@v3 | ||
| with: | ||
| working_directory: aion-holography | ||
| root_file: main.tex | ||
| latexmk_use_xelatex: false | ||
| args: -pdf -interaction=nonstopmode -halt-on-error | ||
|
|
||
| - name: Upload PDF as artifact | ||
| uses: actions/upload-artifact@v4 | ||
| with: | ||
| name: holography-paper-pdf | ||
| path: aion-holography/main.pdf | ||
| retention-days: 30 | ||
|
|
||
| - name: Rename PDF for release | ||
| if: github.event_name == 'release' | ||
| run: | | ||
| cd aion-holography | ||
| cp main.pdf computational-holography-rmg.pdf | ||
|
|
||
| - name: Upload PDF to release | ||
| if: github.event_name == 'release' | ||
| uses: softprops/action-gh-release@v2 | ||
| with: | ||
| files: aion-holography/computational-holography-rmg.pdf |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,77 @@ | ||
| # Obsidian vault configuration | ||
| .obsidian/ | ||
|
|
||
| # Custom ignored directory | ||
| ignored/ | ||
|
|
||
| # LaTeX build artifacts | ||
| *.aux | ||
| *.log | ||
| *.out | ||
| *.toc | ||
| *.lof | ||
| *.lot | ||
| *.fls | ||
| *.fdb_latexmk | ||
| *.synctex.gz | ||
| *.synctex.gz(busy) | ||
| *.bbl | ||
| *.blg | ||
| *.bcf | ||
| *.run.xml | ||
| *.idx | ||
| *.ilg | ||
| *.ind | ||
| *.nav | ||
| *.snm | ||
| *.vrb | ||
| *.dvi | ||
| *.ps | ||
| *.xdv | ||
|
|
||
| # LaTeX temporary files | ||
| *.acn | ||
| *.acr | ||
| *.alg | ||
| *.glg | ||
| *.glo | ||
| *.gls | ||
| *.glsdefs | ||
| *.ist | ||
| *.loa | ||
| *.lol | ||
| *.ptc | ||
| *.tdo | ||
| *.upa | ||
| *.upb | ||
| *.cb | ||
| *.cb2 | ||
| .*.lb | ||
|
|
||
| # LaTeX intermediate files | ||
| *-blx.aux | ||
| *-blx.bib | ||
| *.auxlock | ||
| *.bak | ||
| *.sav | ||
| *.end | ||
|
|
||
| # Build directories | ||
| build/ | ||
| dist/ | ||
| out/ | ||
| output/ | ||
|
|
||
| # Editor files | ||
| *~ | ||
| *.swp | ||
| *.swo | ||
| *.kate-swp | ||
| .DS_Store | ||
| .vscode/ | ||
| .idea/ | ||
|
|
||
| # OS files | ||
| Thumbs.db | ||
| Desktop.ini |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,148 @@ | ||
| # AIΩN Protocol Papers | ||
|
|
||
| This repository contains technical papers for the AIΩN Protocol. | ||
|
|
||
| ## Current Papers | ||
|
|
||
| ### Computational Holography for Recursive Metagraphs | ||
|
|
||
| *Deterministic Concurrency, Provenance Encoding, and Rulial Distance* | ||
|
|
||
| Location: `aion-holography/` | ||
|
|
||
| ## Abstract | ||
|
|
||
| We define Recursive Metagraphs (RMGs)—graph structures where nodes and edges recursively carry subgraphs—and give them a deterministic concurrent operational semantics using Double Pushout (DPO) graph rewriting in adhesive categories. | ||
|
|
||
| The **computational holography theorem** shows that the entire interior evolution of a computation can be encoded on a "boundary": an initial state $S_0$ together with a provenance payload $P$. This boundary data is information-complete, enabling full reconstruction of the derivation volume on demand. | ||
|
|
||
| Key results include: | ||
| - **Tick-level confluence**: parallel independent rewrites commute | ||
| - **Two-plane commutation**: attachment and skeleton updates are order-independent | ||
| - **Rulial distance**: an MDL-based pseudometric on observers | ||
|
|
||
| This forms the mathematical foundation of the AIΩN Protocol. | ||
|
|
||
| --- | ||
|
|
||
| **Additional papers coming soon**, including: | ||
| - The AIΩN CΩMPUTER: machine model and operational semantics | ||
| - Glass-box AI cognition and multiverse debugging | ||
| - Practical implementations and case studies | ||
|
|
||
| ## Building the Papers | ||
|
|
||
| ### Automated Builds (CI/CD) | ||
|
|
||
| Every push to `main` automatically builds all papers via GitHub Actions. The compiled PDFs are available as: | ||
| - **Artifacts** on each commit (30-day retention) | ||
| - **Release assets** when you create a tagged release | ||
|
|
||
| To create a release with PDF: | ||
|
|
||
| ```bash | ||
| git tag -a v1.0 -m "Release v1.0" | ||
| git push origin v1.0 | ||
| # Then create release on GitHub | ||
| ``` | ||
|
|
||
| ### Local Build | ||
|
|
||
| #### Prerequisites | ||
|
|
||
| - A working LaTeX installation (TeX Live 2023+ recommended) | ||
| - Standard packages: `amsmath`, `tikz`, `amsthm`, `enumitem`, `cleveref` | ||
|
|
||
| #### Compile | ||
|
|
||
| ```bash | ||
| cd aion-holography | ||
| make | ||
| ``` | ||
|
|
||
| This produces `main.pdf` in the `aion-holography/` directory. | ||
|
|
||
| To clean build artifacts: | ||
|
|
||
| ```bash | ||
| make clean | ||
| ``` | ||
|
|
||
| **Note**: PDFs are gitignored (standard practice). Use CI artifacts or local builds to access compiled papers. | ||
|
|
||
| ## Repository Structure | ||
|
|
||
| ```text | ||
| aion/ | ||
| ├── README.md # This file | ||
| └── aion-holography/ | ||
| ├── main.tex # Document root | ||
| ├── macros.tex # Custom commands and theorem environments | ||
| ├── references.bib # Bibliography | ||
| ├── Makefile | ||
| └── sections/ | ||
| ├── intro.tex | ||
| ├── rmg.tex | ||
| ├── dpo_rmg.tex | ||
| ├── determinism_confluence.tex | ||
| ├── holography.tex | ||
| ├── wormholes.tex | ||
| ├── rulial_distance.tex | ||
| ├── multiway_ruliad.tex | ||
| └── discussion.tex | ||
| ``` | ||
|
|
||
| ## Key Concepts | ||
|
|
||
| ### Recursive Metagraphs | ||
|
|
||
| A graph where every node and edge can carry an attached subgraph, recursively. Formally: | ||
|
|
||
| ```math | ||
| \mathcal{U} = (G; \alpha, \beta) | ||
| ``` | ||
|
|
||
| where $G$ is a skeleton graph and $\alpha$, $\beta$ attach RMGs to nodes and edges. | ||
|
|
||
| ### Wormholes | ||
|
|
||
| A **wormhole** $(S_0, P)$ consists of: | ||
| - An initial RMG state $S_0$ | ||
| - A provenance payload $P = (\mu_0, \dots, \mu_{n-1})$ recording microsteps | ||
|
|
||
| The **volume** is the full derivation $S_0 \Rightarrow \cdots \Rightarrow S_n$. | ||
| The **boundary** is just the pair $(S_0, P)$. | ||
|
|
||
| **Computational holography** proves these are equivalent: the boundary encodes the volume. | ||
|
|
||
| ### Rulial Distance | ||
|
|
||
| An MDL-based metric $D_{\tau,m}(O_1, O_2)$ measuring how complex it is to translate between two observers' views of the same computation. Gives geometry to "observer space" in the Ruliad. | ||
|
|
||
| ## Citation | ||
|
|
||
| ```bibtex | ||
| @misc{RossHolography2025, | ||
| author = {James Ross}, | ||
| title = {Computational Holography for Recursive Metagraphs}, | ||
| year = {2025}, | ||
| note = {AIΩN Protocol Technical Report} | ||
| } | ||
| ``` | ||
|
|
||
| ## Related Work | ||
|
|
||
| This paper builds on: | ||
| - **Algebraic graph rewriting**: Ehrig et al., Lack & Sobociński (adhesive categories) | ||
| - **Multiway systems**: Wolfram's Physics Project and the Ruliad | ||
| - **Minimum Description Length**: Rissanen's MDL principle | ||
|
|
||
| The companion paper "The AIΩN CΩMPUTER" applies these results to build a practical computational architecture with glass-box provenance and multiverse debugging. | ||
|
|
||
| ## License | ||
|
|
||
| Copyright © 2025 James Ross. All rights reserved. | ||
|
|
||
| --- | ||
|
|
||
| *Pronounced "eye-ON" (rhymes with aeon).* | ||
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,24 @@ | ||
| # Simple Makefile for the Computational Holography monograph | ||
|
|
||
| TEX = pdflatex | ||
| BIB = bibtex | ||
| MAIN = main | ||
|
|
||
| .PHONY: all clean distclean | ||
|
|
||
| all: $(MAIN).pdf | ||
flyingrobots marked this conversation as resolved.
Show resolved
Hide resolved
flyingrobots marked this conversation as resolved.
Show resolved
Hide resolved
|
||
|
|
||
| $(MAIN).pdf: $(MAIN).tex sections/*.tex macros.tex references.bib | ||
| $(TEX) $(MAIN) | ||
| $(BIB) $(MAIN) | ||
| $(TEX) $(MAIN) | ||
| $(TEX) $(MAIN) | ||
|
|
||
flyingrobots marked this conversation as resolved.
Show resolved
Hide resolved
|
||
| clean: | ||
| @if [ -f $(MAIN).tex ]; then \ | ||
| rm -f $(MAIN).aux $(MAIN).bbl $(MAIN).blg $(MAIN).log \ | ||
| $(MAIN).out $(MAIN).toc $(MAIN).lof $(MAIN).lot; \ | ||
| fi | ||
|
|
||
| distclean: clean | ||
| rm -f $(MAIN).pdf | ||
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.