Spaces:
Running
Running
fix(claims): resync HF/Lean numbers to Agent C audit 2026-05-30 (Doctrine v7 §3+§10)
Browse files
README.md
CHANGED
|
@@ -8,3 +8,47 @@ app_file: index.html
|
|
| 8 |
pinned: true
|
| 9 |
short_description: Governed AI execution · verifiable receipts · formal proofs
|
| 10 |
---
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 8 |
pinned: true
|
| 9 |
short_description: Governed AI execution · verifiable receipts · formal proofs
|
| 10 |
---
|
| 11 |
+
|
| 12 |
+
<div align="center">
|
| 13 |
+
|
| 14 |
+
<picture>
|
| 15 |
+
<source media="(prefers-color-scheme: dark)" srcset="https://huggingface.co/datasets/SZLHOLDINGS/szl-visual-identity/resolve/main/anatomy/anatomy_body_graph.png">
|
| 16 |
+
<img src="https://huggingface.co/datasets/SZLHOLDINGS/szl-visual-identity/resolve/main/anatomy/anatomy_body_graph.png" width="640" alt="SZL Holdings body graph">
|
| 17 |
+
</picture>
|
| 18 |
+
|
| 19 |
+
# 🜂 SZL Holdings
|
| 20 |
+
|
| 21 |
+
**`receipts.in == receipts.out`**
|
| 22 |
+
|
| 23 |
+
<sub>Governed AI execution · Lean 4 kernel · COSE_Sign1 receipts · 17 MCP tools</sub>
|
| 24 |
+
|
| 25 |
+
</div>
|
| 26 |
+
|
| 27 |
+
---
|
| 28 |
+
|
| 29 |
+
## 🧬 The stack
|
| 30 |
+
|
| 31 |
+
| | | |
|
| 32 |
+
|:-:|:-:|:-:|
|
| 33 |
+
| 🜂 [a11oy](https://huggingface.co/spaces/SZLHOLDINGS/a11oy-receipts-playground) | 🔮 [MCP](https://huggingface.co/spaces/SZLHOLDINGS/mcp-receipts-server) | 🧠 [amaru](https://huggingface.co/spaces/SZLHOLDINGS/amaru) |
|
| 34 |
+
| runtime gate | 17 tools | memory cortex |
|
| 35 |
+
| 🛡️ [sentra](https://huggingface.co/spaces/SZLHOLDINGS/sentra-security-gates) | λ [lutar-lean](https://huggingface.co/spaces/SZLHOLDINGS/lutar-lean-browser) | 🌐 [vsp-otel](https://huggingface.co/spaces/SZLHOLDINGS/vsp-otel-emitter) |
|
| 36 |
+
| security gates | Lean 4 kernel | nervous / traces |
|
| 37 |
+
| 🌹 [rosie](https://huggingface.co/spaces/SZLHOLDINGS/rosie-operator-console) | 📕 [cookbook](https://huggingface.co/spaces/SZLHOLDINGS/szl-cookbook-runner) | ∞ [ouroboros](https://huggingface.co/spaces/SZLHOLDINGS/ouroboros-lambda-gate) |
|
| 38 |
+
| operator console | runnable recipes | λ-gate loop |
|
| 39 |
+
|
| 40 |
+
---
|
| 41 |
+
|
| 42 |
+
## 📊 By the numbers
|
| 43 |
+
|
| 44 |
+
| 26 | 29 | 2 | 626 | 44 |
|
| 45 |
+
|:-:|:-:|:-:|:-:|:-:|
|
| 46 |
+
| Spaces | Datasets | Models | Lean decls | Anchor gates |
|
| 47 |
+
|
| 48 |
+
---
|
| 49 |
+
|
| 50 |
+
## 🔬 Cite
|
| 51 |
+
|
| 52 |
+
[](https://doi.org/10.5281/zenodo.20434276) · [ORCID 0009-0001-0110-4173](https://orcid.org/0009-0001-0110-4173) · [GitHub](https://github.com/szl-holdings)
|
| 53 |
+
|
| 54 |
+
<sub>SLSA L1 honest · Doctrine v7 · 2/12 Putnam Lean-discharged · 10/12 structure coverage</sub>
|