{"id":49943409,"url":"https://github.com/szl-holdings/amaru","last_synced_at":"2026-06-02T04:00:17.850Z","repository":{"id":354905009,"uuid":"1225834075","full_name":"szl-holdings/amaru","owner":"szl-holdings","description":"Cortex memory + reasoner — every inference cites its source, every memory carries its receipt. Live DSSE-wrapped tick endpoint + 7-chakra runtime. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276","archived":false,"fork":false,"pushed_at":"2026-06-01T22:40:53.000Z","size":10972,"stargazers_count":0,"open_issues_count":7,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-06-02T00:22:16.520Z","etag":null,"topics":["agentic-ai","ai-governance","amaru","anchoring","append-only-log","attestation","data-convergence","doctrine-v7","dsse","governance","governed-ingest","proof-chain","series-a","szl-holdings"],"latest_commit_sha":null,"homepage":"https://szlholdings.com","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/szl-holdings.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":".github/CODEOWNERS","security":"SECURITY.md","support":null,"governance":"GOVERNANCE.md","roadmap":"ROADMAP.md","authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":".zenodo.json","notice":"NOTICE","maintainers":null,"copyright":null,"agents":"AGENTS.md","dco":null,"cla":null},"funding":{"custom":["https://github.com/szl-holdings","mailto:stephen@szlholdings.com?subject=SZL%20Holdings%20%E2%80%94%20Inquiry"]}},"created_at":"2026-04-30T17:32:20.000Z","updated_at":"2026-06-01T22:40:44.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/szl-holdings/amaru","commit_stats":null,"previous_names":["szl-holdings/amaru"],"tags_count":9,"template":false,"template_full_name":null,"purl":"pkg:github/szl-holdings/amaru","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/szl-holdings%2Famaru","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/szl-holdings%2Famaru/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/szl-holdings%2Famaru/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/szl-holdings%2Famaru/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/szl-holdings","download_url":"https://codeload.github.com/szl-holdings/amaru/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/szl-holdings%2Famaru/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":33805341,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-02T02:00:07.132Z","response_time":109,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"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":["agentic-ai","ai-governance","amaru","anchoring","append-only-log","attestation","data-convergence","doctrine-v7","dsse","governance","governed-ingest","proof-chain","series-a","szl-holdings"],"created_at":"2026-05-17T12:46:59.821Z","updated_at":"2026-06-02T04:00:17.804Z","avatar_url":"https://github.com/szl-holdings.png","language":"TypeScript","funding_links":["https://github.com/szl-holdings","mailto:stephen@szlholdings.com?subject=SZL%20Holdings%20%E2%80%94%20Inquiry"],"categories":[],"sub_categories":[],"readme":"---\ntitle: amaru — Memory Attestation (Cardano-Anchored)\nemoji: 🐍\ncolorFrom: yellow\ncolorTo: indigo\nsdk: docker\npinned: true\nlicense: apache-2.0\nshort_description: \"memory cortex — Cardano-anchored receipt chain\"\necosystem-stage: operational\n---\n\n# amaru — Memory Attestation, Cardano-Anchored\n\nCanonical module Space for **amaru**, the memory cortex of the SZL UDS mesh. a11oy queries amaru for memory; amaru wraps every memory read and write in a cryptographic receipt chain, optionally checkpointing hashes to the Cardano L1. This Space runs the live Docker backend; the architecture deep-dive (formerly the separate `amaru-platform` landing) is folded in below.\n\n\u003e **Live:** this is a running Docker Space. **Not a token · not a blockchain L1 · not custodial** — Cardano is used for hash anchoring only.\n\n**Canonical numbers (locked 2026-05-31):** Doctrine v11 · 15 axioms (14 unique) · 749 Lean 4 declarations · 163 sorries · 44 anchor formula gates · SLSA L1 honest (L2 in progress) via Wire D. These resolve to CI logs and the Mathlib-based Lean source (formula moat); browse them in the [UDS demo Space](https://huggingface.co/spaces/SZLHOLDINGS/uds-demo).\n\n\u003e Cardano-anchored governance receipt minting and convergent multi-source data sync with append-only delta logs and bounded-loop convergence guarantees.\n\n## What amaru is (folded from the landing page)\n\namaru is a memory attestation runtime for AI agents. It wraps every memory read and write in a cryptographic receipt chain, optionally anchoring checkpoint hashes to the Cardano L1 for tamper-evident provenance. Four interlocking primitives:\n\n- **Governance Receipts** — COSE_Sign1-wrapped receipts (RFC 9052) minted per memory operation; each carries a Λ score, Shor-9 encoded provenance hash, Lamport timestamp, and optional Cardano Tx reference.\n- **7-Chakra Scheduler** — a single-thread serpentine pipeline: ASCEND (propose) then DESCEND (commit), no branching mid-tick; all 7 chakras fire sequentially, each emitting a receipt trace entry.\n- **Shor-9 Provenance** — provenance hashes are Shor-9-qubit-encoded before anchoring (single-qubit error correction on the receipt chain).\n- **Cardano L1 Anchor** — checkpoint hashes anchored as transaction metadata (hash anchoring only, no new token).\n\n## Live features\n\n- **7-Chakra Brain Runtime** — FastAPI service, real-time root → crown kernel evaluation\n- **Convergent Sync** — idempotent passes through the Ouroboros kernel until the diff is zero\n- **Codex Loop** — Dresden Venus reference run, governance ON vs OFF postures\n- **Receipt Chain** — hash-chained append-only governance receipts (COSE_Sign1)\n- **Overwatch Panel** — 6-invariant monitoring (R0513 doctrine)\n- **Huklla Tripwires** — 10-point health checks across the runtime\n\n## Architecture\n\n| Layer | Technology |\n|:------|:-----------|\n| Backend | Python 3.12 · FastAPI · Pydantic · httpx |\n| Frontend | React 19 · Vite 6 · Tailwind 4 · TanStack Query · Recharts |\n| Deployment | Docker (multi-stage build) |\n\n## API surface\n\n| Endpoint | Method | Description |\n|:---------|:-------|:------------|\n| `/api/amaru/healthz` | GET | Liveness + chakra status |\n| `/api/amaru/chakra/{name}/evaluate` | POST | Run a chakra kernel |\n| `/api/amaru/scheduler/tick` | POST | Full root→crown scheduler tick |\n| `/api/amaru/receipts` | GET | Receipt chain browser |\n| `/api/amaru/tripwires` | GET | Huklla-10 health checks |\n| `/api/amaru/overwatch/snapshot` | GET | R0513 6-invariant panel |\n\n## Mesh position\n\n| Layer | Module | Role |\n|---|---|---|\n| Operator | rosie | human-facing console |\n| Substrate | a11oy | policy + receipt substrate |\n| **Memory** | **amaru** | **memory cortex a11oy queries (this Space)** |\n| Immune | sentra | egress + tripwires |\n| Fabric | vessels | deployment skeleton |\n\n## Links \u0026 provenance\n\n- UDS mesh demo (everything together): https://huggingface.co/spaces/SZLHOLDINGS/uds-demo\n- Source: [`szl-holdings/amaru`](https://github.com/szl-holdings/amaru) · Latest release: [`uds-v0.3.1`](https://github.com/szl-holdings/amaru/releases/tag/uds-v0.3.1)\n- Thesis DOI: [10.5281/zenodo.20434276](https://doi.org/10.5281/zenodo.20434276) · Lean companion DOI: [10.5281/zenodo.20424992](https://doi.org/10.5281/zenodo.20424992)\n- Author: Stephen Paul Lutar Jr. · ORCID [0009-0001-0110-4173](https://orcid.org/0009-0001-0110-4173)\n\n---\n© SZL Holdings · Stephen P. Lutar Jr. · Doctrine v11 (749/14/163, LOCKED) — no marketing language; every number resolves to a CI log or DOI.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fszl-holdings%2Famaru","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fszl-holdings%2Famaru","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fszl-holdings%2Famaru/lists"}