feat(org-card): zero-text cinematic — λ sigil + 12 emoji constellation + particle field (no walls of text)

README.md

@@ -1,113 +1,10 @@
 ---
-title: README
-emoji: "🐍"
+title: SZL Holdings
+emoji: "🧬"
 colorFrom: indigo
-colorTo: blue
+colorTo: purple
 sdk: static
-pinned: false
+app_file: index.html
+pinned: true
+short_description: Governed AI execution · verifiable receipts · formal proofs
 ---
-
-<div align="center">
-
-<a href="https://huggingface.co/spaces/SZLHOLDINGS/szl-anatomy">
-  <img
-    src="https://huggingface.co/datasets/SZLHOLDINGS/szl-visual-identity/resolve/main/anatomy/anatomy_body_graph.png"
-    width="720"
-    alt="SZL Holdings — 7-organ substrate body graph"
-  />
-</a>
-
-# SZL Holdings
-
-**Governed AI execution. Verifiable receipts. Formal proofs.**
-
-[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.20434276.svg)](https://doi.org/10.5281/zenodo.20434276)
-[![Doctrine](https://img.shields.io/badge/Doctrine-V6-00D4FF?style=flat-square)](https://github.com/szl-holdings/a11oy)
-[![Lean 4](https://img.shields.io/badge/Lean_4-kernel--green-22c55e?style=flat-square)](https://github.com/szl-holdings/lutar-lean)
-[![MCP](https://img.shields.io/badge/MCP-17_tools-ff6b35?style=flat-square)](https://huggingface.co/spaces/SZLHOLDINGS/mcp-receipts-server)
-[![DSSE PAE](https://img.shields.io/badge/DSSE-PAE_v1-22c55e?style=flat-square)](https://github.com/secure-systems-lab/dsse)
-
-</div>
-
----
-
-## The invariant
-
-Every autonomous AI decision passes through a **9-axis conjunctive AND gate**. No axis below 0.90. No critical axis below 0.95. No exceptions.
-
-Each passing decision produces a cryptographic **governance receipt** (COSE_Sign1, dual-witness) proving the decision was bounded, measured, and verified.
-
-Properties:
-- Machine-checked uniqueness proof (Lean 4, kernel-green)
-- Bekenstein-bounded audit payloads
-- Receipt-complete: no unreceipted decisions
-- Dual-witness: no single point of governance failure
-
----
-
-## 7-Organ Substrate
-
-| Organ | System | Space |
-|---|---|---|
-| Brain | **a11oy** — execution fabric, receipt signing, capability matching | [a11oy-platform](https://huggingface.co/spaces/SZLHOLDINGS/a11oy-platform) |
-| Heart | **amaru** — Cardano-anchored 7-chakra receipt runtime | [amaru](https://huggingface.co/spaces/SZLHOLDINGS/amaru) |
-| Blood | **amaru / memory** — receipt store and attestation | [amaru-memory-attestation](https://huggingface.co/spaces/SZLHOLDINGS/amaru-memory-attestation) |
-| Immune | **sentra** — security gates and threat evaluation | [sentra-security-gates](https://huggingface.co/spaces/SZLHOLDINGS/sentra-security-gates) |
-| Skeleton | **lutar-lean** — Lean 4 formal proof corpus | [lutar-lean-browser](https://huggingface.co/spaces/SZLHOLDINGS/lutar-lean-browser) |
-| Nervous | **vsp-otel** — telemetry and observability | [vsp-otel-platform](https://huggingface.co/spaces/SZLHOLDINGS/vsp-otel-platform) |
-| Wires | **szl-showcase** — integration fabric and demos | [szl-showcase](https://huggingface.co/spaces/SZLHOLDINGS/szl-showcase) |
-| Governance Gate | **ouroboros / Λ-Gate** — policy enforcement layer | [ouroboros-lambda-gate](https://huggingface.co/spaces/SZLHOLDINGS/ouroboros-lambda-gate) |
-
----
-
-## The Stack
-
-| Layer | Component | Ships |
-|---|---|---|
-| RUNTIME | **Ouroboros** | Bounded-loop kernel · Λ-gate engine |
-| GATE | **Λ-Gate** | 9-axis conjunctive AND · Λ ≥ 0.90 |
-| FORMAL | **Lutar-Lean** | 217 declarations · 12 axioms · Mathlib |
-| AGENT | **a11oy** | Agent orchestrator · Doctrine v6 engine |
-| ANCHOR | **Amaru** | Cardano receipt anchoring · DSSE PAE v1 |
-| SECURITY | **Sentra** | Kitaev drift detection · 6 security gates |
-| TELEMETRY | **VSP-OTel** | Governance span telemetry · OTel exporter |
-| RECIPES | **Cookbook** | Governed-AI runbook patterns |
-
----
-
-## Canonical Numbers
-
-| Metric | Value | Source |
-|---|---|---|
-| HF Spaces / Datasets / Models | 27 / 31 / 2 | [SZLHOLDINGS org](https://huggingface.co/SZLHOLDINGS) |
-| Lean declarations / axioms / sorries | 217 / 12 / 134 | [lutar-lean](https://github.com/szl-holdings/lutar-lean) |
-| Putnam 2025 Lean-discharged | 2 / 12 (P_A1 + P_A3) | [agi-forecast PR #51](https://github.com/szl-holdings/agi-forecast/pull/51) |
-| Anchor gates specified | 40 | [a11oy#140](https://github.com/szl-holdings/a11oy/pull/140) · [lutar-lean#116](https://github.com/szl-holdings/lutar-lean/pull/116) |
-| MCP tools | 17 | [mcp-receipts-server](https://szlholdings-mcp-receipts-server.hf.space/gradio_api/mcp/sse) |
-| Zenodo DOIs | 6 release + 1 concept alias | [doi.org](https://doi.org/10.5281/zenodo.20434276) |
-| CodeQL alerts baseline | 232 | [a11oy](https://github.com/szl-holdings/a11oy) |
-
----
-
-## Provenance
-
-**Founder:** Stephen P. Lutar ·
-[ORCID 0009-0001-0110-4173](https://orcid.org/0009-0001-0110-4173) ·
-[GitHub](https://github.com/szl-holdings) ·
-stephen@szlholdings.com
-
-**Doctrine v6** (v7 PR #94 pending merge). Every claim resolves to a CI log, Lean proof, or Zenodo DOI.
-
-| DOI | Artifact |
-|---|---|
-| [10.5281/zenodo.20434276](https://doi.org/10.5281/zenodo.20434276) | Thesis v18 |
-| [10.5281/zenodo.19944926](https://doi.org/10.5281/zenodo.19944926) | Ouroboros |
-| [10.5281/zenodo.20424992](https://doi.org/10.5281/zenodo.20424992) | Lutar-Lean |
-| [10.5281/zenodo.20424995](https://doi.org/10.5281/zenodo.20424995) | a11oy |
-| [10.5281/zenodo.20424996](https://doi.org/10.5281/zenodo.20424996) | Amaru |
-| [10.5281/zenodo.20431181](https://doi.org/10.5281/zenodo.20431181) | Sentra |
-| [10.5281/zenodo.20434308](https://doi.org/10.5281/zenodo.20434308) | VSP-OTel |
-
----
-
-*"Governance is not a constraint on capability. It is the architecture of trust."*