Skip to content
@szl-holdings

SZL Holdings

Governed AI infrastructure for inspectable decisions: source, runtime state, receipts, and proof boundaries.

SZL Holdings evidence lattice

SZL Holdings

AI that signs its work — and refuses to lie.

Every claim carries a cryptographic receipt you can verify yourself. Anything it can't prove is labeled UNAVAILABLE instead of a plausible-looking answer. No silent confidence. No fabricated "LIVE." Signed evidence, honest bounds.

See it in 30 seconds

Open a-11-oy.com — the living command fabric. Every governed action emits a hash-chained, DSSE-signed receipt. Pull one and verify it against the public contract.

Start here

  1. The product — a-11-oy.com: the A11oy command substrate, live capability status, governed workflows.
  2. The proof — a11oy.net: the proof registry: receipts, evaluations, and known bounds, including what we can't yet prove.
  3. Install the stack — PyPI: 20 packages with OIDC trusted publishing and build provenance.
  4. Browse the artifacts — Hugging Face / SZLHOLDINGS: models, kernels, datasets, and Spaces, each with evidence and stated limits.
  5. Read the source — github.com/szl-holdings: canonical source, evaluation lanes, and per-repo controls.

The receipt stack on PyPI

Twenty packages that are the provenance tooling: receipt primitives, guardrail and energy witnesses, calibration and retrieval benchmarks, an OpenTelemetry evidence exporter. Each ships by OIDC trusted publishing (no stored tokens) with PEP 740 attestations and fails closed: MEASURED, BLOCKED, or UNAVAILABLE, never coerced.

pip install szl-receipts szl-guardrail-receipt vsp-otel szl-nemo

The doctrine

Source, running software, and model evaluations are separate claims, kept separate. A green test is not a deployment; a deployment is not a proof. Unknowns stay visible. Supply-chain security is converging on the same discipline — SLSA, in-toto, Sigstore — except here it isn't bolted on. It's the product.

Portfolio topology

One inference flagship: SZL Router is source-owned at szl-holdings/szl-router; its presentation target is SZLHOLDINGS/llm-router-live, product integration is https://a-11-oy.com/code, and proof originates at a11oy.net. Portfolio roles distinguish one inference flagship, three commercial flagships, five public domain bodies, and six internal engines. Those labels describe topology, not availability, operational readiness, or publication policy.

Current state (honest, dated)

Public Hugging Face estate observed 2026-09-30: 50 models, 35 datasets, 33 Spaces (repository counts). Twenty PyPI packages published. Dated observations from the live Hub API, not marketing numbers.

HISTORICAL: estate-alignment contract v1 recorded 16 portfolio Spaces, 1 inventory-only Space, 45 models, and 34 datasets — prior snapshot, superseded above. Its named topology: A11oy, Forge, Killinchu, Terra, PRISM Counsel, PURIQ Finance, LYTE.

Verification contracts: a11oy. Training and evaluation: szl-forge (kits, datasets, runbooks, measured limits). Trust boundary: TRUST.md. Killinchu effectors stay SIMULATED; SZLHOLDINGS/SZLHOLDINGS is HISTORICAL.

Governed AI. Evidence you can inspect. Work you can verify.

Pinned Loading

  1. a11oy a11oy Public

    a11oy — governed-AI Command Center. Deny by default. Signed receipts. Trust ceiling 0.97. Λ = Conjecture 1.

    Python 1

  2. szl-receipt szl-receipt Public

    Shared signed-receipt library — DSSE/ECDSA-P256, cosign-compatible, UNSIGNED-honest fallback. The one signing primitive every SZL component shares.

    Python

  3. governed-receipt-spec governed-receipt-spec Public

    Open format for a governed AI inference decision receipt (decision, Λ status, measured-or-null energy, hash chain, DSSE) + a dependency-free offline verifier. Receipt-tier trust: honest, replayable…

    Python

  4. lutar-lean lutar-lean Public

    Lean 4 + Mathlib formalization of the Λ aggregator — Λ uniqueness as Conjecture 1 (not a closed theorem). 749 declarations · 14 axioms · 163 tracked sorries. Backs the SZL governance gate. Doctrine…

    Lean

  5. killinchu killinchu Public

    Counter-UAS reference at /elite. Tracks, fusion, ROE, BFT, DSSE per interdiction. Public synthetic — no public effector. Λ = Conjecture 1.

    Python 1

  6. hatun-mcp hatun-mcp Public

    Hatun-MCP — doctrine-aware Model Context Protocol server. 16 SZL tools under PURIQ governance (Yuyay-13 gate, Khipu receipts, DSSE-signed). Streamable HTTP + SSE.

    Python 1

Repositories

Showing 10 of 127 repositories
  • szl-brand Public

    Brand assets, logos, social-preview templates, and visual doctrine for SZL Holdings — Sovereign Governed AI. Doctrine v11 LOCKED.

    szl-holdings/szl-brand's past year of commit activity
    Python 0 CC-BY-4.0 0 0 0 Updated Oct 2, 2026
  • szl-skills Public

    Fail-closed evidence and decision skills for Claude (SZL Holdings)

    szl-holdings/szl-skills's past year of commit activity
    Python 0 Apache-2.0 0 1 11 Updated Oct 2, 2026
  • platform Public

    SZL Holdings monorepo — substrate runtime, agentic loops, MCP server (11 tools), reusable workflows, CI gates. Doctrine v11 LOCKED (749/14/163)

    szl-holdings/platform's past year of commit activity
    TypeScript 0 0 0 2 Updated Oct 2, 2026
  • immune Public

    IMMUNE — fail-closed kernel. SENTRA admits, YAWAR seals hashes. NEXUS Lorenz OP is MEASURED software simulation. Product tab a-11-oy.com/immune. Spaces: SZLHOLDINGS/immune + SZLHOLDINGS/immune-lattice.

    szl-holdings/immune's past year of commit activity
    TypeScript 0 Apache-2.0 0 1 3 Updated Oct 2, 2026
  • szl-router Public

    FLAGSHIP: sovereign-first OpenAI-compatible LLM router with verifiable routing receipts; source for SZLHOLDINGS/llm-router-live

    szl-holdings/szl-router's past year of commit activity
    Python 0 Apache-2.0 0 0 1 Updated Oct 2, 2026
  • a11oy Public

    a11oy — governed-AI Command Center. Deny by default. Signed receipts. Trust ceiling 0.97. Λ = Conjecture 1.

    szl-holdings/a11oy's past year of commit activity
    Python 1 Apache-2.0 0 27 13 Updated Oct 2, 2026
  • szl-forge Public

    SZL Forge: QLoRA kit that fine-tunes an open base model into SZL-1 on SZL-owned hardware. Dataset, Unsloth training script, Ollama Modelfile, runbook.

    szl-holdings/szl-forge's past year of commit activity
    Python 0 Apache-2.0 0 49 3 Updated Oct 2, 2026
  • vertical-services Public

    Live deployable FastAPI services for the five SZL vertical Spaces — sentra (policy gates), lyte (observability), vessels (maritime risk), finance (portfolio analytics), terra (real estate). Replaces probe-shell scaffolds with real engines. Honest truth labels; no fabricated data.

    szl-holdings/vertical-services's past year of commit activity
    Python 0 Apache-2.0 0 2 0 Updated Oct 2, 2026
  • szl-lambda-gate Public

    Λ (Lambda-Spine) aggregator universal kernel — weighted geometric mean over axis scores in [0,1] with an ADVISORY governance gate + A1-A4 axiom self-checks. Λ = Conjecture 1 (advisory, uniqueness open) · NOT proven trust. Mirrors HF SZLHOLDINGS/szl-lambda-gate · Apache-2.0.

    szl-holdings/szl-lambda-gate's past year of commit activity
    Python 0 Apache-2.0 0 0 1 Updated Oct 2, 2026
  • .github Public

    SZL Holdings org profile. Product a-11-oy.com · Proof a11oy.net. Doctrine, reusable workflows, community health.

    szl-holdings/.github's past year of commit activity
    HTML 0 Apache-2.0 0 21 5 Updated Oct 2, 2026

Top languages

Loading…

Most used topics

Loading…