---
title: SZL Holdings — Governed-AI Command Platform
emoji: 🛡️
colorFrom: gray
colorTo: yellow
sdk: static
pinned: true
---

<div align="center">

# 🛡️ SZL Holdings

### Governed AI you can prove — a signed, verifiable receipt for every decision.

[![locked-proven](https://img.shields.io/badge/locked--proven-8%20formulas-3af4c8?style=flat-square)](https://github.com/szl-holdings/lutar-lean)
[![Lean 4](https://img.shields.io/badge/Lean%204-machine--checked-5b8dee?style=flat-square)](https://github.com/szl-holdings/lutar-lean)
[![Λ](https://img.shields.io/badge/%CE%9B-Conjecture%201%20(never%20green)-7e8aa3?style=flat-square)](https://github.com/szl-holdings/lutar-lean)
[![SLSA](https://img.shields.io/badge/SLSA-L1%20honest%20%C2%B7%20L2%20attested%20%C2%B7%20L3%20roadmap-d7b96b?style=flat-square)](https://slsa.dev/spec/v1.0/levels)

<br/>

## [Enter a11oy — the console →](https://szlholdings-a11oy.hf.space/)

### ◇ [Explore the Holographic Estate →](https://szlholdings-a11oy.hf.space/holographic)

Nine frontier organs as one live 3D holographic lattice — each lit by a live a11oy endpoint, rendered with a vendored WebGL2 / WebGPU splat field. Every value carries its honesty label. Λ = Conjecture 1, never green.

</div>

---

## The portfolio

| Space | What it is | Open |
|---|---|---|
| **a11oy** — flagship | Governed-AI console: ask-and-act behind deny-by-default gates, a live decision feed, and a signed receipt for every action. | **[open →](https://szlholdings-a11oy.hf.space/)** |
| **Holographic Estate** — 3D showcase | The frontier tier as one holographic lattice: 60+ live surfaces (frontier organs, energy, counter-UAS, governance, PINN, anatomy) in navigable 3D. 0 runtime CDN; WebGL2 with optional WebGPU. | **[open →](https://szlholdings-a11oy.hf.space/holographic)** |
| **killinchu** | Counter-UAS & maritime command *demonstration* — multi-sensor fusion with signed engagement receipts (effector link is a labeled simulation). | [demo →](https://szlholdings-killinchu.hf.space/elite) |
| **anatomy** | Living anatomy map — the locked-8 ladder and the four honesty tiers, visualized in 3D. | [view →](https://szlholdings-anatomy.hf.space/) |
| **david-leads** | Sovereign insurance intelligence — audit-defensible leads from public data only. | [view →](https://szlholdings-david-leads.hf.space/) |
| **immune** | Verifiable-AI defense — an append-only SHA-256 receipt chain with admission gates and tripwires. | [view →](https://szlholdings-immune.hf.space/) |
| **sda** | Domain awareness — graph anomaly detection and multi-sensor track fusion into a Λ-gated picture. | [view →](https://szlholdings-sda.hf.space/) |
| **yarqa** | Plug-flow compartments — a CFD engineering-method loop: sense → route → gate → receipt. | [view →](https://szlholdings-yarqa.hf.space/) |
| **llm-router** | Governed model routing — own metal first, then free tiers, then paid fallback, honest provenance. | [view →](https://szlholdings-llm-router-live.hf.space/) |

---

<div align="center">

**8 formulas locked-proven · Λ = Conjecture 1, never green · honest by design · public data only.**

<sub><a href="https://github.com/szl-holdings/lutar-lean">lutar-lean</a> · <a href="https://github.com/szl-holdings">github.com/szl-holdings</a> · No production ATO claimed · SLSA L1 honest / L2 attested / L3 roadmap · trust ceiling 0.97, never 100%</sub>

</div>