a11oy · Governance Substrate · Doctrine v12

Docs — build on the governed agentic platform

Every call is 13-axis verified, HUKLLA-safe, and Khipu-receipted. You can verify every receipt yourself.

1 · Get a key

Sign in at portal.szlholdings.com, click Generate key, choose scope (read / write / admin) and a per-flagship allowlist. Hackathon / academic / Greene-network accounts get the free Demo tier (1,000 calls/mo).

2 · Install the SDK

pip install szl          # Python
npm i @szlholdings/szl    # TypeScript / JavaScript
export SZL_API_KEY=szl_live_...

3 · Your first receipted call

from szl import SZL
c = SZL()
t = c.killinchu.track(target_id="UAS:DJI-Mavic-3-7F2A", kind="drone")
print(t["trackId"], t["khipu_receipt"].chain_verified)   # -> trk_9f3a True

Flagships

a11oy · amaru · sentra · killinchu · rosie

One client, five organs. Every flagship publishes OpenAPI 3.1 at /openapi.json.

Verify it yourself

git clone github.com/szl-holdings/lutar-lean
git checkout c7c0ba17
python .github/scripts/lean_numbers.py
# 749 declarations / 14 axioms / 163 sorries

Honest labels. Λ uniqueness is a Conjecture (open CAUCHY_ND sorry + missing symmetry axiom), not a closed theorem. The Khipu receipt signature is a cosign / DSSE PLACEHOLDER — chain_verified verifies the hash chain, not the signature, until Sigstore lands. SLSA = L1 (honest). Wire D (cross-mesh traceparent) is in-process only. LOCKED numbers: 749 / 14 / 163 / 13-axis yuyay_v3, replay hash bacf5443…631fc5, tag lutar-v18.0.0 @ c7c0ba17.