babylon60 1.0.2

Tamper-evident cryptographic ledger for autonomous AI agents
_{Local-first · Hash-chained · Single-writer SQLite WAL · Optional Rust core}

Architecture · Security Model · Experimental Features

What It Solves

Autonomous agents lack a reliable way to persist decisions with causal traceability. babylon60 provides a local-first memory substrate:

Validation → Single-Writer Queue → Hash-Chain Ledger → Git Sentinel

Every entry is linked to the previous via SHA3-256 hash. Every write carries a causal taint (who / when / why). Duplicates are rejected via UUID v5 idempotency keys. The chain is verified on read — not assumed correct.

Maturity Matrix

Installation

pip install babylon60

# With cryptographic signing (Ed25519, Argon2)
pip install "babylon60[crypto]"

# With voice transcription (macOS Apple Silicon)
pip install "babylon60[voice-full]"

Quickstart

from babylon60.api.client import CortexClient

client = CortexClient()
print(client.status())
# {"ledger": "ok", "chain_valid": True, "entries": 0, "version": "1.0.2"}

Start the local REST + WebSocket API:

uvicorn babylon60.api.server:app --reload
# → http://localhost:8000

Verify chain integrity programmatically:

from babylon60.bft.ledger_actor import verify_chain

result = verify_chain(db_path="master_ledger.db")
# {"valid": True, "entries": 4821, "broken_at": None}

Architecture

flowchart TD
    A[Agent / SDK Call] --> B[Validation Layer\nschema · UUID v5 idempotency]
    B --> C[asyncio.Queue\nsingle writer]
    C --> D[BFTLedgerActor]
    D --> E[(SQLite WAL\nmaster_ledger.db)]
    D --> F[SHA3-256 Hash-Chain\nprev_hash linkage]
    F --> G[Git Sentinel\nauto-commit + causal taint]
    E --> H[Read / Verify\nchain integrity check]

    style A fill:#2B3BE5,color:#fff,stroke:none
    style D fill:#1a1a2e,color:#fff,stroke:#2B3BE5
    style E fill:#0A0A0A,color:#4CAF50,stroke:#4CAF50
    style G fill:#0A0A0A,color:#CE422B,stroke:#CE422B

{
    "id":           "uuid-v5",       # Idempotency key — rejects duplicates
    "prev_hash":    "sha3_256-hex",  # Chain link — breaks chain on mismatch
    "payload":      {...},           # Structured content
    "causal_taint": "agent:reason",  # Creation trace — mandatory
    "lamport_t":    int,             # Logical clock — total ordering
    "agent_id":     "str",           # Writer identity
}

Guarantees

Local Development

python3 -m venv .venv && source .venv/bin/activate
pip install -e ".[dev]"
pytest -x --tb=short

Build Rust core (optional — Python fallback available):

cd strike_rs && cargo build --release

Experimental

BFT Swarm, Vector Memory, Lean 4 proofs, LoRA daemon, Blockchain anchoring, and HDC are explicitly experimental. See docs/EXPERIMENTAL.md for status and known limitations. Do not use in production.

_{Titular Civil: CORTEX Core Dev · AKA: Borja Moskv (borjamoskv)
All Rights Reserved — Proprietary & Trade Secret
Art. 6.1, 6.2, 14 LPI (España) · Convenio de Berna · Ley 1/2019 de Secretos Empresariales}