{"id":34599134,"url":"https://github.com/flyingrobots/gatos","last_synced_at":"2026-04-22T15:33:57.806Z","repository":{"id":323157867,"uuid":"1092254395","full_name":"flyingrobots/gatos","owner":"flyingrobots","description":"GATOS generalizes Git’s content-addressed DAG into a complete computational substrate: a programmable operating surface unifying history, policy, and computation within a deterministic, verifiable feedback loop.","archived":false,"fork":false,"pushed_at":"2025-11-24T11:13:04.000Z","size":8358,"stargazers_count":0,"open_issues_count":49,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2025-12-25T23:43:51.315Z","etag":null,"topics":["auditable-ai","autonomous-infra","compute-as-infrastructure","cryptographic-provenance","deterministic-history","distributed-computing","distributed-ledger","distributed-runtime","federation","git","git-as-the-operating-surface","git-beyond-version-control","git-native","graph-computing","human-ai-collaboration","metagraph","offline-first","policy-as-code","policy-as-infrastructure","time-travel-debugging"],"latest_commit_sha":null,"homepage":"","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/flyingrobots.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":"ROADMAP.md","authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2025-11-08T09:38:58.000Z","updated_at":"2025-11-16T23:51:34.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/flyingrobots/gatos","commit_stats":null,"previous_names":["flyingrobots/gatos"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/flyingrobots/gatos","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flyingrobots%2Fgatos","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flyingrobots%2Fgatos/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flyingrobots%2Fgatos/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flyingrobots%2Fgatos/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/flyingrobots","download_url":"https://codeload.github.com/flyingrobots/gatos/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flyingrobots%2Fgatos/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":32143650,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-22T15:33:03.595Z","status":"ssl_error","status_checked_at":"2026-04-22T15:30:42.712Z","response_time":58,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["auditable-ai","autonomous-infra","compute-as-infrastructure","cryptographic-provenance","deterministic-history","distributed-computing","distributed-ledger","distributed-runtime","federation","git","git-as-the-operating-surface","git-beyond-version-control","git-native","graph-computing","human-ai-collaboration","metagraph","offline-first","policy-as-code","policy-as-infrastructure","time-travel-debugging"],"created_at":"2025-12-24T12:07:29.669Z","updated_at":"2026-04-22T15:33:57.766Z","avatar_url":"https://github.com/flyingrobots.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"# 🐈‍⬛ **GATOS**\n\n[![License: Apache-2.0](https://img.shields.io/badge/License-Apache_2.0-blue.svg)](./LICENSE) [![Status: Tech Preview](https://img.shields.io/badge/status-tech_preview-orange)](#)\n\n## TL;DR\n\n**GATOS** generalizes Git’s content-addressed DAG into a complete computational substrate: a programmable operating surface unifying history, policy, and computation within a deterministic, verifiable feedback loop.\n\nIt turns Git from a version-control system into a self-governing compute fabric. Commits aren't just records of change, but executable events in a cryptographically auditable state machine. Policies, data, and computation all live in the same history, producing provable behavior and automatic governance without centralized infrastructure.\n\n**The Result**: A platform that’s offline-first, federated, and mathematically deterministic — a new foundation for verifiable infrastructure, trustworthy automation, distributed AI, and time-travel computing. ***GATOS is a truth machine.***\n\n### Read More\n\nRead the book, check the spec; learn the tech.  \nIf there's more you want to know, follow the links below:\n\n[The Book](./docs/guide/README.md) • [SPEC](./docs/SPEC.md) • [TECH-SPEC](./docs/TECH-SPEC.md)\n\n*Now you Git it.*\n\n---\n\n![Git As The Operating Surface](./assets/brand/gatos-paper.webp)\n\n\u003e [!WARNING]\n\u003e **GATOS** is the evolution of my earlier work ([`git-mind`](https://github.com/neuroglyph/git-mind), [Echo](https://github.com/flyingrobots/echo), [Ledger Kernel](https://github.com/flyingrobots/ledger-kernel), etc.) into a single, unified system. I've just started working on this project. If you're interested, star the repo, watch, and follow along.\n\u003e *- flyingrobots*\n\u003e\n\u003e *a little category theory joke... Eh, maybe you had to be there...*\n\n\u003cdetails\u003e\n  \u003csummary\u003eASCII art\u003c/summary\u003e\n\n```bash\n\n8\"\"\"\"8 8\"\"\"\"8 \"\"8\"\" 8\"\"\"88 8\"\"\"\"8\n8    \" 8    8   8   8    8 8      \n8e     8eeee8   8e  8    8 8eeeee\n88  ee 88   8   88  8    8     88\n88   8 88   8   88  8    8 e   88\n88eee8 88   8   88  8eeee8 8eee88\n\n  Git As The Operating Surface™  \n```\n\n\u003c/details\u003e\n\n## Git As The Operating Surface\n\n\u003e **Turn your repository into a deterministic, self-governing computer.**\n\nGATOS transforms a Git repository from a passive storage locker into an active, cryptographically verifiable state machine. It unifies **event sourcing**, **policy governance**, and **compute orchestration** onto a single, immutable DAG.\n\n\u003e If it’s not in the commit history, it didn’t happen. If it violates the policy, it *cannot* happen.\n\n---\n\n## The Problem\n\nWe currently glue our infrastructure together with hope and YAML.\n\n**State is scattered.** Your code is in Git, your data is in S3, your deployment status is in Jenkins, and your audit logs are in Splunk.  \n**Reality is messy.** \"It works on my machine\" is the standard because environments drift and inputs aren't captured.  \n**Governance is weak.** Policies are PDF documents that humans ignore, not code that machines enforce.  \n\n## The Solution\n\nGATOS collapses the stack into the graph.\n\n✍️ **Events:** Every action is a signed commit.  \n🪭 **State:** Your \"database\" is a deterministic fold of those events.  \n🏛️ **Policy:** Governance rules are code, versioned alongside the data they protect.  \n🔗 **Compute:** Jobs run off-chain, but their *Proofs-of-Execution (PoE)* are recorded **in the repository’s history**  \n   (*Not a blockchain; just Git + signatures*).\n\n---\n\n## 🔥 Killer Features\n\n### 1. Time-Travel Debugging for *State*\n\nSince ***state is a deterministic function of history***, you can bisect your entire reality. Find the exact commit where a database row, a ML model weight, or a deployment status went wrong.\n\n```bash\n# Find the exact commit that broke the production state\ngit gatos bisect start --state=prod\ngit gatos bisect run 'jq -e \".inventory.widgets \u003c 0\"'\n# Output: Culprit commit found. [Proof-of-Fold verified](./docs/SPEC.md#5.4).\n```\n\n### 2. Policy as Code (Really)\n\nArchitecture Decision Records (ADRs) aren't just documentation; they are ***executable laws***. If you merge a policy restricting API changes, the repo physically rejects non-compliant commits.\n\n```bash\n# Try to push a change that violates an active policy ADR\ngit push\n# ❌ Remote: Error: Policy Violation (ADR-0042)\n# ❌ Remote: \"API breaking changes require 2-of-3 quorum\"\n# ❌ Remote: See refs/gatos/audit/policy/deny/\u003cid\u003e (DENY is logged under audit)\n```\n\n### 3. Privacy with Proofs (Opaque Pointers)\n\nStore sensitive data (PII, large datasets) in private stores, but commit their **cryptographic commitments** to the public graph — public commitments; private bytes behind a policy-gated resolver. ***Verify the integrity of the computation without revealing the raw bytes***.\n\n-----\n\n## How it Works: The 5 Planes\n\nGATOS organizes the repository into five distinct planes using standard Git references (`refs/gatos/*`).\n\n| Plane | Ref Namespace | Function |\n| :--- | :--- | :--- |\n| **1. Ledger**       | `refs/gatos/journal/*`   | Append-only event logs. The source of truth. |\n| **2. Policy/Trust** | `refs/gatos/policies/*`  | Executable policy (Lua/WASM), capabilities, quorum; **deny-audit** on violations. |\n|                     | `refs/gatos/trust/*`     | Keys, groups, grants, revocations. |\n| **3. State**        | `refs/gatos/state/*`     | Deterministic checkpoints derived from the ledger (**Proof-of-Fold**). |\n| **4. Message**      | `refs/gatos/mbus/*`      | Commit-backed pub/sub (at-least-once + idempotency). |\n| **5. Job**          | `refs/gatos/jobs/*`      | Jobs and **Proofs-of-Execution (PoE)**; exclusive claim via CAS. |\n\n-----\n\n## Quick Start\n\n### Installation\n\n```bash\n# Install the CLI/daemon (provides the `git-gatos` shim so you can run `git gatos ...`)\ncargo install gatos\n# If your shell doesn't pick up the shim, you can alias:\n# alias \"git gatos\"=\"git-gatos\"\n```\n\n### Hello, GATOS (Hello, World the GATOS way)\n\n1.  **Initialize a repo:**\n\n  ```bash\n  git init my-world\n  cd my-world\n  git gatos init --profile=local\n  ```\n\n2.  **Define a State Model (The Fold):**\n\n  *Create a simple reducer that sums numbers.*\n\n  ```lua\n  -- gatos/fold.lua\n  return function(state, event)\n    if event.type == \"add\" then\n      state.count = (state.count or 0) + event.payload.n\n    end\n    return state\n  end\n  ```\n\n3.  **Emit an Event:**\n\n  ```bash\n  git gatos emit --type \"add\" --payload '{\"n\": 10}'\n  ```\n\n4.  **Observe the State Change:**\n\n  ```bash\n  git gatos state show\n  # { \"count\": 10, \"_provenance\": \"...\" }\n  ```\n\n-----\n\n## Use Cases\n\n### 🔬 For Science! (The Reproducibility OS)\n\n**Eliminate the \"Replication Crisis.\"**\n\n* **Pre-registration:** Commit your analysis plan as a **Policy**. The system prevents p-hacking by rejecting analysis jobs that deviate from the plan.\n* **Proof-of-Experiment (PoX):** Publish a PoX bundle that ties **inputs → program → outputs** with signatures.\n* ***Exact* Replay:** Re-run an experiment from 5 years ago:\n\n  ```bash\n  gatos verify \u003cpox-id\u003e\n  gatos reproduce \u003cpox-id\u003e\n  # ✅ bit-for-bit identical outputs (or a precise reason for drift)\n  ```\n\nResearch Profile defaults: PoF required on state pushes; `refs/gatos/policies/**`, `refs/gatos/state/**`, and `refs/gatos/audit/**` are fast-forward only; message bus rotates shards at ~100k msgs or ~192 MB with 30-day TTL; audit proofs + latest state are GC anchors; opaque pointers publish commitments while private bytes live behind a policy-gated resolver. See [docs/research-profile.md](./docs/research-profile.md).\n\n### 🛡️ For DevOps (The Ultimate Audit)\n\n**Replace \"trust me\" with \"verify me.\"**\n\n* **N-of-M Quorum:** Require 2 signatures from the \"Security\" team to deploy to \"Prod.\"\n* **Immutable Logs:** Every deployment, rollback, and config change is signed and hashed. No more deployment mysteries. All logs are stored in Git.\n\n---\n\n## Philosophy\n\n* **Offline First:** If you can't verify it on an airplane, it's broken.\n* **Math \u003e Magic:** Merkle DAGs and pushouts, not black-box SaaS logic.\n* **Proof-first Design:** Every claim is verifiable from first principles — **PoF** (state), **PoE** (jobs), signed governance.\n* **At-Least-Once + Idempotency:** We respect physics. Delivery is at-least-once; consumers dedupe by idempotency keys.\n\nSee also: Deterministic Lua profile for policies/folds: [docs/deterministic-lua.md](./docs/deterministic-lua.md).\n\n---\n\n## Contributing\n\n🚧 GATOS is currently under construction, but you can check out the [ROADMAP](./ROADMAP.md). 🗺️\n\n**Currently Working On:** Conceptualization \u0026 Planning Phase\n\n- `█░░░░░░░░░` ⏳ **Whitepaper:** *Enforcing Reproducibility Through Cryptographic Governance*\n- `████████░░` ⏳[SPEC.md](./docs/SPEC.md)\n- `███░░░░░░░` ⏳[TECH-SPEC.md](./docs/TECH-SPEC.md)\n- `████░░░░░░` ⏳[GATOS book](./docs/guide/README.md)\n- `█░░░░░░░░░`⏳Milestones \u0026 Roadmap\n\n**Up Next:** Proof-of-Concept\n\n- **Toy Demo A:** Deterministic folds (Integration with [echo-rmg](https://github.com/flyingrobots/echo))\n- **Toy Demo B:** Deterministic Lua runtime\n- **Toy Demo C:** Git-as-ledger (Rust implementation of [Ledger-Kernel](https://github.com/flyingrobots/ledger-kernel))\n\n**On the Horizon:** MVP\n\n- **Demo A:** Bisect State\n- **Demo B:** ADR-as-policy\n- **Demo C:** Time-travel reproduce\n\n\u003e [!important]\n\u003e We are looking for design partners in **scientific research**, **regulated fintech**, and **AI alignment**. If you're interested in GATOS, please get in touch. [james@flyingrobots.dev](mailto:james@flyingrobots.dev)\n\n* [Read the Specification](./docs/SPEC.md)\n* [View the Roadmap](./ROADMAP.md)\n* [Join the Discussion](https://github.com/flyingrobots/gatos/discussions)\n\n---\n\n## License\n\n[Apache 2.0](./LICENSE)\n\n*© J. Kirby Ross \u003cjames@flyingrobots.dev\u003e [flyingrobots](https://github.com/flyingrobots)*\n\n---\n\n## FAQ\n\n- Is this a blockchain?\n  - No. It’s just Git + signatures and deterministic folds over an append-only history.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fflyingrobots%2Fgatos","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fflyingrobots%2Fgatos","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fflyingrobots%2Fgatos/lists"}