docs(slsa): sync Space card with GitHub README (SLSA L1 honest; L2 roadmap, not yet claimed)

Automated README sync from szl-holdings/a11oy main via hf-sync.

Signed-off-by: Yachay <yachay@szlholdings.ai>
Co-Authored-By: Perplexity Computer Agent <agent@perplexity.ai>

README.md

@@ -20,19 +20,6 @@ ecosystem-stage: "operational"
 <!-- HF Space front-matter is REQUIRED (sdk: docker). Injected by hf-sync
      so the Space builds the Dockerfile. Do not remove. -->
 
-# a11oy — governed autonomy with a checkable receipt
-
-**Governed-AI execution fabric: every autonomous action carries a machine-checked, tamper-evident warrant.**
-
-[![locked-proven](https://img.shields.io/badge/locked--proven-5%20%7BF1%C2%B7F11%C2%B7F12%C2%B7F18%C2%B7F19%7D-c9b787?style=flat-square)](https://github.com/szl-holdings/lutar-lean)
-[![machine-checked](https://img.shields.io/badge/machine--checked-~185%20thms%20Waves%2011%E2%80%9322-5fb3a3?style=flat-square)](https://github.com/szl-holdings/lutar-lean)
-[![Lambda](https://img.shields.io/badge/%CE%9B-Conjecture%201%20(cond.%20Theorem%20U)-B79BD6?style=flat-square)](https://github.com/szl-holdings/lutar-lean)
-[![Khipu](https://img.shields.io/badge/Khipu%20BFT-Conjecture%202%20(Wave23%20cond.)-B79BD6?style=flat-square)](https://github.com/szl-holdings/lutar-lean)
-[![SLSA](https://img.shields.io/badge/SLSA-L1%20honest%20%C2%B7%20L2%20build--attested%20%C2%B7%20L3%20roadmap-c9b787?style=flat-square)](.compliance/SLSA_LEVEL.md)
-[![cosign](https://img.shields.io/badge/cosign-keyless%20%C2%B7%20Rekor--anchored-5fb3a3?style=flat-square)](https://search.sigstore.dev/?logIndex=1710578865)
-
-> **Proof state (machine-checked):** locked-proven = **exactly 5** {F1, F11, F12, F18, F19} @ kernel `c7c0ba17` · **~185 machine-checked theorems** across Waves 11–22 · Λ uniqueness = **Conjecture 1** (conditional Theorem U, axiom-free) · Khipu BFT safety = **Conjecture 2** (Wave23 conditional) · SLSA L1 honest · L2 build-attested · L3 roadmap · trust never 100%.
-
 ## Live
 
 **HF Space (one-click, no login):** [![Open in Spaces](https://img.shields.io/badge/%F0%9F%A4%97%20Open%20in%20Spaces-a11oy-FF9D00?style=flat-square)](https://huggingface.co/spaces/SZLHOLDINGS/a11oy)