Spaces:
Running
Running
100x visual upgrade: True Anomaly + Anthropic aesthetic, run-in-30s snippet, trace receipt sample, mermaid architecture, performance numbers β Doctrine v6
abb3272 verified metadata
title: amaru deep-dive
emoji: π
colorFrom: purple
colorTo: yellow
sdk: static
pinned: true
license: apache-2.0
tags:
- szl-holdings
- amaru
- memory-attestation
- cardano-anchor
- governance-receipts
- not-a-token
- 7-chakra-scheduler
- dsse
- shor-encoding
- receipt-chain
- formal-verification
short_description: Memory + attestation, Cardano-anchored. Not a token.
amaru β Cardano-Anchored Memory Attestation
Doctrine v6. No marketing superlatives. Every number on this card resolves to a CI log, a Lean proof, or a Zenodo DOI.
Not a token. Not DeFi. amaru uses the Cardano blockchain for timestamped provenance anchoring only. No token issuance. No financial product. Source: github.com/szl-holdings/amaru.
amaru is the Brain organ of the SZL anatomy. It mints governance receipts anchored to the Cardano blockchain, schedules memory operations through a 7-chakra serpentine scheduler, and encodes provenance using Shor-inspired compression.
What it does
| Capability | Detail |
|---|---|
| Receipt minting | DSSE-signed governance receipts with Cardano timestamp |
| Scheduler | 7-chakra serpentine β priority-aware memory routing |
| Provenance encoding | Shor-inspired compression of agent history |
| Chain position | First link in 5-link DSSE receipt chain |
| License | Proprietary (relicense PR #46 DRAFT, Apache-2.0 pending) |
Run this in 30 seconds
# Verify the attestation endpoint (Docker MCP server)
curl https://szlholdings-mcp-receipts-server.hf.space/get_attestation_chain
# Returns: chain with amaru as first link, mocked:false
Trace receipt sample
{
"trace_id": "3f9a2b1c4d5e6f7a8b9c0d1e2f3a4b5c",
"span_id": "8b2d3e4f5a6b7c8d",
"component": "amaru",
"kind": "GOVERNANCE",
"lambda_score": 0.82,
"chain_hash": "sha256:a3f2...",
"mocked": false,
"synthetic": true
}
Architecture
flowchart LR
A[Memory
Input] --> B[7-Chakra
Scheduler]
B --> C[Shor
Encoder]
C --> D[Cardano
Anchor TX]
D --> E[DSSE
Sign]
E --> F[Receipt
to a11oy]
style B fill:#3b0764,color:#fff
style D fill:#1e3a5f,color:#fff
style E fill:#065f46,color:#fff
Cross-links
- Live demo: SZLHOLDINGS/amaru-memory-attestation
- Source: github.com/szl-holdings/amaru
- Source mirror: SZLHOLDINGS/amaru-source
- Anatomy map: SZLHOLDINGS/szl-anatomy
Citation
@misc{lutar2026ouroboros,
title = {Ouroboros: Formal Verification of Agentic AI Governance β v18.0},
author = {Lutar, Stephen P.},
year = {2026},
doi = {10.5281/zenodo.20434276},
url = {https://doi.org/10.5281/zenodo.20434276}
}
Org: SZLHOLDINGS Β· Thesis: DOI 10.5281/zenodo.20434276 Β· Contact: stephen@szlholdings.com