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

Governed AI. Evidence you can inspect.

Source, running software, and model evaluations are separate claims. Follow the evidence for the exact artifact and revision; unknowns remain visible instead of being filled in.

Start here

  1. Explore the producta-11-oy.com: A11oy, current capability status, and governed workflows.
  2. Inspect the evidencea11oy.net: proof, receipts, evaluations, and known bounds.
  3. Browse the artifactsHugging Face / SZLHOLDINGS: models, software kernels, datasets, and Spaces. Check each artifact's evidence and limitations.
  4. Inspect the source estateGitHub / szl-holdings: canonical source, evaluation lanes, and repository-specific controls.

Current state

21 public Spaces, 46 models, 35 datasets. Observed 2026-09-10T03:20:41Z under the anonymous hf-public-author-membership/v1 predicate. These are public API repository counts, not the authenticated organization total, the governed keep-list, or a count of production-ready models. Software kernels count once as model repositories; private assets, collections, and buckets are outside these totals.

Source-pinned inventory · Generation and verification · Machine-readable binding

Inference flagship

One inference flagship: SZL Router is source-owned at szl-holdings/szl-router; its public 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.

Historical estate contract

HISTORICAL: estate-alignment contract v1 recorded 16 portfolio Spaces, 1 inventory-only Space, 45 models, and 34 datasets. Those figures are retained only as the prior contract snapshot; they do not override the dated current public observation above. Its named topology includes A11oy, Forge, Killinchu, Terra, PRISM Counsel, PURIQ Finance, and LYTE.

Diligence paths

Receipt verification: a11oy source contains the source and verification contracts.

Model training and evaluation: szl-forge contains kits, datasets, runbooks, measured limits, and frontier evaluation lanes.

Governance for MCP: hatun-mcp contains the governed MCP surface.

Qualification evidence: szl-frontier records exact-source frontier admissions and HOLD/EVALUATION boundaries.

Evidence boundary

Current state is a dated observation, not a promise of future availability. HISTORICAL evidence remains historical even when a newer source exists. SIMULATED results are not measured production results and must stay labeled as such.

Pre-launch. A passing source check does not establish a live deployment, and a signed record does not establish independent model quality. Runtime status, verification evidence, and remaining gaps are separate diligence inputs.

Doctrine: give away the format, sell the control plane, keep the proof.

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 118 repositories
  • szl-lake Public

    SZL Holdings Lake — append-only DSSE receipt store (GitHub origin, HF dataset SZLHOLDINGS/szl-lake mirror). Doctrine v11 LOCKED. Live receipt infrastructure for the a11oy command platform.

    szl-holdings/szl-lake's past year of commit activity
    Python 0 CC-BY-4.0 0 0 0 Updated Sep 24, 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 25 12 Updated Sep 24, 2026
  • szl-kernels Public

    Canonical source for the SZL governed-kernel suite and receipted MiniEmbed artifact

    szl-holdings/szl-kernels's past year of commit activity
    TeX 0 Apache-2.0 0 2 2 Updated Sep 24, 2026
  • szl-quant Public

    Doctrine-governed quant research engine — every advisory signal ships a DSSE-signed receipt. Paper-only. Not financial advice.

    szl-holdings/szl-quant's past year of commit activity
    JavaScript 0 Apache-2.0 0 0 0 Updated Sep 24, 2026
  • a11oy-factory Public

    Bind as an a11oy package. Decision Cell Compiler, admitted Lyte cell, frontier N1–N8.

    szl-holdings/a11oy-factory's past year of commit activity
    TypeScript 0 Apache-2.0 0 0 1 Updated Sep 24, 2026
  • szl-real-estate Public

    SZL Real Estate — public-records underwriting. Not an MLS. Occupancy UNAVAILABLE. PLUTO MEASURED on Kings/Queens. Nassau has no PLUTO. Apache-2.0.

    szl-holdings/szl-real-estate's past year of commit activity
    Python 0 Apache-2.0 0 0 1 Updated Sep 24, 2026
  • szl-sovereign-os Public

    SZL Sovereign OS — fail-closed operator kernel. Five organs, five verticals, eleven category captures. Take the JOB from the leader, never the code. Λ = Conjecture 1. Apache-2.0.

    szl-holdings/szl-sovereign-os's past year of commit activity
    Python 0 Apache-2.0 0 0 1 Updated Sep 24, 2026
  • khipu-x1 Public

    KHIPU-X1 — FPGA-first governed LLM accelerator software reference (SOFTWARE_EMULATED; no hardware claimed). Doctrine v11.

    szl-holdings/khipu-x1's past year of commit activity
    Python 0 0 0 1 Updated Sep 24, 2026
  • szl-quant-witness Public

    Second observer for the szl-quant ledger — independent scheduled vantage point that cross-logs signed gossip observations (REPORTED, offline-replayable). Paper-only estate; not financial advice.

    szl-holdings/szl-quant-witness's past year of commit activity
    JavaScript 0 Apache-2.0 0 0 0 Updated Sep 24, 2026
  • szl-typesafe-triage Public

    TypeSafe triage pack — deterministic, receipt-bearing typed triage engine. Versioned JSON policies, fixture-gated CI, hash-chained receipts (UNSIGNED_HONEST fallback), SFT-dataset exporter for the szl-forge Qwen bake. Fail-closed: unknown -> REVIEW. Apache-2.0. Doctrine v11.

    szl-holdings/szl-typesafe-triage's past year of commit activity
    Python 0 0 1 2 Updated Sep 24, 2026