Spaces:
Running
Strategic rebrand: UDS Core compatible · ZARF-packaged · Enterprise Agents (Signed-off-by: Yachay; Co-Authored-By: Perplexity Computer Agent)
Browse filesStrategic rebrand per UDS_DOD_COMPLIANCE_BLUEPRINT.md (sections 1, 6, 11, 12).
Honest corrections, ADDITIVE phrasing-only (no content deleted):
- "UDS Edition" -> "UDS Core compatible · ZARF-packaged" (interop with Defense Unicorns UDS Core; avoids name collision)
- "Open Arsenal" alignment DELETED (Open Arsenal is CDAO Intelligence/TechINT — wrong lane)
- "Enterprise Agents" KEPT (correct CDAO lane per ai.mil)
- "Navy-Ready / Navy AI Hackathon / CDAO + USNWR&E" -> "Defense Unicorns Warhacker · packages on UDS Core"
- "SLSA L1" -> "SLSA L1 honest (L2 in progress)"
No overclaim: UDS Core compatible (NOT certified); ZARF-packaging available (NOT shipped); Enterprise Agents lane (NOT endorsed by CDAO).
Doctrine v11 LOCKED 749/14/163 unchanged. Λ = Conjecture 1.
DCO: Signed-off-by: Yachay (CTO) <yachay@szlholdings.dev>
Co-Authored-By: Perplexity Computer Agent <agent@perplexity.ai>
|
@@ -323,9 +323,9 @@ short_description: Sovereign Governed AI — provable, signed, on your HW
|
|
| 323 |
</svg>
|
| 324 |
</a>
|
| 325 |
</div>
|
| 326 |
-
<div class="navy-banner">UDS
|
| 327 |
<div class="badges">
|
| 328 |
-
<span class="badge">SLSA L1</span>
|
| 329 |
<span class="badge">DCO Signed</span>
|
| 330 |
<span class="badge">Cosign Verified</span>
|
| 331 |
<span class="badge">DSSE Receipts</span>
|
|
@@ -363,7 +363,7 @@ short_description: Sovereign Governed AI — provable, signed, on your HW
|
|
| 363 |
|
| 364 |
**Governed Agentic Mesh** — five organs, one locked doctrine, every decision signed.
|
| 365 |
|
| 366 |
-
<sub>Doctrine v11 LOCKED · 749 / 14 / 163 · Λ Conjecture 1 · SLSA L1 honest · UDS
|
| 367 |
|
| 368 |
<sub>Architecture grounded in Hickok & Poeppel (2007) *Nat Rev Neurosci* 8:393 · Hickok (2025) *Wired for Words* MIT Press</sub>
|
| 369 |
|
|
@@ -373,7 +373,7 @@ short_description: Sovereign Governed AI — provable, signed, on your HW
|
|
| 373 |
|
| 374 |
**▶ [Live demo surfaces](https://szlholdings-readme.static.hf.space/demo.html)** — a public index of every reachable surface (5 organs, the unified shell, formulas, the ensemble vote, provenance) with live `/healthz` status pills. Raw: https://huggingface.co/spaces/SZLHOLDINGS/README/raw/main/demo.html
|
| 375 |
|
| 376 |
-
> Doctrine v11 LOCKED · 749 / 14 / 163 · Λ = Conjecture 1 (NOT a theorem) · SLSA L1
|
| 377 |
|
| 378 |
---
|
| 379 |
|
|
@@ -399,15 +399,15 @@ Minimal runtime substrate the flagships call. Not products — plumbing.
|
|
| 399 |
| **hatun-mcp** | [SZLHOLDINGS/hatun-mcp](https://huggingface.co/spaces/SZLHOLDINGS/hatun-mcp) | Sovereign MCP tool surface. |
|
| 400 |
| **status** | [SZLHOLDINGS/status](https://huggingface.co/spaces/SZLHOLDINGS/status) | Live mesh health and `/healthz` board. |
|
| 401 |
|
| 402 |
-
## Coming soon — UDS
|
| 403 |
|
| 404 |
| Module | Status | Detail |
|
| 405 |
|---|---|---|
|
| 406 |
-
| **uds-demo** | PRIVATE · Coming Soon · June 16, 2026 | **Warhacker —
|
| 407 |
|
| 408 |
<p align="center"><strong>Warhacker T-minus countdown:</strong> June 16–19, 2026 · DoD Pier Demo</p>
|
| 409 |
|
| 410 |
-
<p align="center"><strong>Warhacker — Accelerating AI for the Warfighter · San Diego · June 16–19, 2026</strong><br/><sub>Pace-setting
|
| 411 |
|
| 412 |
> Note: the org card renders inline SVG + CSS (no JS). The Warhacker dates above are authoritative; a live JavaScript countdown remains available inside the Space's static `index.html`.
|
| 413 |
|
|
@@ -439,7 +439,7 @@ Aligned with **EU AI Act Article 12** (record-keeping) and **NIST AI RMF**.
|
|
| 439 |
SZL Holdings builds a formally-verified governance gate for agentic AI. The Λ aggregator is proved in Lean 4 (Mathlib v4.13.0) against **749 declarations · 14 unique axioms · 163 tracked sorries**, lutar-lean @ `c7c0ba17`. Every gate decision emits an ECDSA P-256 DSSE-signed receipt onto a hash-linked Khipu Merkle DAG. The stack packages as UDS-deployable Zarf bundles.
|
| 440 |
|
| 441 |
- **Λ uniqueness = Conjecture 1** — not a closed theorem.
|
| 442 |
-
- **SLSA L1 honest** — real cosign-signed provenance, Sigstore Rekor anchored. SLSA L2 is
|
| 443 |
- **Doctrine v11 LOCKED** — 749 / 14 / 163, locked at `c7c0ba17`.
|
| 444 |
- Aligned with **EU AI Act Article 12** and **NIST AI RMF (MANAGE)**.
|
| 445 |
|
|
|
|
| 323 |
</svg>
|
| 324 |
</a>
|
| 325 |
</div>
|
| 326 |
+
<div class="navy-banner">UDS Core compatible · ZARF-packaged · Enterprise Agents lane</div>
|
| 327 |
<div class="badges">
|
| 328 |
+
<span class="badge">SLSA L1 honest (L2 in progress)</span>
|
| 329 |
<span class="badge">DCO Signed</span>
|
| 330 |
<span class="badge">Cosign Verified</span>
|
| 331 |
<span class="badge">DSSE Receipts</span>
|
|
|
|
| 363 |
|
| 364 |
**Governed Agentic Mesh** — five organs, one locked doctrine, every decision signed.
|
| 365 |
|
| 366 |
+
<sub>Doctrine v11 LOCKED · 749 / 14 / 163 · Λ Conjecture 1 · SLSA L1 honest (L2 in progress) · UDS Core compatible · ZARF-packaged</sub>
|
| 367 |
|
| 368 |
<sub>Architecture grounded in Hickok & Poeppel (2007) *Nat Rev Neurosci* 8:393 · Hickok (2025) *Wired for Words* MIT Press</sub>
|
| 369 |
|
|
|
|
| 373 |
|
| 374 |
**▶ [Live demo surfaces](https://szlholdings-readme.static.hf.space/demo.html)** — a public index of every reachable surface (5 organs, the unified shell, formulas, the ensemble vote, provenance) with live `/healthz` status pills. Raw: https://huggingface.co/spaces/SZLHOLDINGS/README/raw/main/demo.html
|
| 375 |
|
| 376 |
+
> Doctrine v11 LOCKED · 749 / 14 / 163 · Λ = Conjecture 1 (NOT a theorem) · SLSA L1 honest (L2 in progress) · Apache-2.0.
|
| 377 |
|
| 378 |
---
|
| 379 |
|
|
|
|
| 399 |
| **hatun-mcp** | [SZLHOLDINGS/hatun-mcp](https://huggingface.co/spaces/SZLHOLDINGS/hatun-mcp) | Sovereign MCP tool surface. |
|
| 400 |
| **status** | [SZLHOLDINGS/status](https://huggingface.co/spaces/SZLHOLDINGS/status) | Live mesh health and `/healthz` board. |
|
| 401 |
|
| 402 |
+
## Coming soon — UDS Core compatible · ZARF-packaged
|
| 403 |
|
| 404 |
| Module | Status | Detail |
|
| 405 |
|---|---|---|
|
| 406 |
+
| **uds-demo** | PRIVATE · Coming Soon · June 16, 2026 | **Defense Unicorns Warhacker — packages on UDS Core.** Killinchu ZARF-packaged bundle, UDS Core compatible for air-gapped sovereign deployment. |
|
| 407 |
|
| 408 |
<p align="center"><strong>Warhacker T-minus countdown:</strong> June 16–19, 2026 · DoD Pier Demo</p>
|
| 409 |
|
| 410 |
+
<p align="center"><strong>Defense Unicorns Warhacker — Accelerating AI for the Warfighter · San Diego · June 16–19, 2026</strong><br/><sub>Pace-setting project (our lane): Enterprise Agents · UDS Core compatible</sub></p>
|
| 411 |
|
| 412 |
> Note: the org card renders inline SVG + CSS (no JS). The Warhacker dates above are authoritative; a live JavaScript countdown remains available inside the Space's static `index.html`.
|
| 413 |
|
|
|
|
| 439 |
SZL Holdings builds a formally-verified governance gate for agentic AI. The Λ aggregator is proved in Lean 4 (Mathlib v4.13.0) against **749 declarations · 14 unique axioms · 163 tracked sorries**, lutar-lean @ `c7c0ba17`. Every gate decision emits an ECDSA P-256 DSSE-signed receipt onto a hash-linked Khipu Merkle DAG. The stack packages as UDS-deployable Zarf bundles.
|
| 440 |
|
| 441 |
- **Λ uniqueness = Conjecture 1** — not a closed theorem.
|
| 442 |
+
- **SLSA L1 honest (L2 in progress)** — real cosign-signed provenance, Sigstore Rekor anchored. SLSA L2 is in progress via Wire D (hosted CI + cosign); it is not claimed today.
|
| 443 |
- **Doctrine v11 LOCKED** — 749 / 14 / 163, locked at `c7c0ba17`.
|
| 444 |
- Aligned with **EU AI Act Article 12** and **NIST AI RMF (MANAGE)**.
|
| 445 |
|