UDS Core compatible · ZARF-packaged · Enterprise Agents lane
-
- SLSA L1 honest (L2 in progress)
- DCO Signed
- Cosign Verified
- DSSE Receipts
-
-
-
+GOVERNED AGENTIC MESHFIVE ORGANS · ONE BODY · PROVABLE · SIGNED · SOVEREIGNAMARUCORTEXUDSAMARU · CORTEXSUPERPOWERSDual-stream routing7-chakra memoryForward-model predictionLineage DAGSENTRAIMMUNEUDSSENTRA · IMMUNESUPERPOWERS8 fail-CLOSED gatesDSSE signingConduction-aphasia detectorCosign verifyROSIECONSOLEUDSROSIE · CONSOLESUPERPOWERSMulti-LLM ensembleAdaptive routingStep-3.7-Flash voterExecutive UIKILLINCHUDEFENSEUDSKILLINCHU · DEFENSESUPERPOWERSNOAA space-weatherUSGS seismicMQ-9 drone healthPhase predictionA11OYGATEUDSA11OY · GATESUPERPOWERSPAC-Bayes governanceMulti-LLM router35 anchor formulasKhipu chainUDS Edition · Navy-Ready · CDAO-alignedSLSA L1DCO SignedCosign VerifiedDSSE ReceiptsDoctrine v11 LOCKED · 749 / 14 / 163 · Λ = Conjecture 1
----
+SELECT YOUR ORGAN · THE MESH ROSTER — five live organs · click any hero to enter its Space
+
+
## THE MESH · FIVE ORGANS · LIVE
@@ -363,7 +49,7 @@ short_description: Sovereign Governed AI — provable, signed, on your HW
**Governed Agentic Mesh** — five organs, one locked doctrine, every decision signed.
-Doctrine v11 LOCKED · 749 / 14 / 163 · Λ Conjecture 1 · SLSA L1 honest (L2 in progress) · UDS Core compatible · ZARF-packaged
+Doctrine v11 LOCKED · 749 / 14 / 163 · Λ Conjecture 1 · SLSA L1 honest · UDS EditionArchitecture grounded in Hickok & Poeppel (2007) *Nat Rev Neurosci* 8:393 · Hickok (2025) *Wired for Words* MIT Press
@@ -373,7 +59,7 @@ short_description: Sovereign Governed AI — provable, signed, on your HW
**▶ [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
-> Doctrine v11 LOCKED · 749 / 14 / 163 · Λ = Conjecture 1 (NOT a theorem) · SLSA L1 honest (L2 in progress) · Apache-2.0.
+> Doctrine v11 LOCKED · 749 / 14 / 163 · Λ = Conjecture 1 (NOT a theorem) · SLSA L1 (honest) · Apache-2.0.
---
@@ -399,15 +85,15 @@ Minimal runtime substrate the flagships call. Not products — plumbing.
| **hatun-mcp** | [SZLHOLDINGS/hatun-mcp](https://huggingface.co/spaces/SZLHOLDINGS/hatun-mcp) | Sovereign MCP tool surface. |
| **status** | [SZLHOLDINGS/status](https://huggingface.co/spaces/SZLHOLDINGS/status) | Live mesh health and `/healthz` board. |
-## Coming soon — UDS Core compatible · ZARF-packaged
+## Coming soon — UDS Edition
| Module | Status | Detail |
|---|---|---|
-| **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. |
+| **uds-demo** | PRIVATE · Coming Soon · June 16, 2026 | **Warhacker — DoD Pier Demo.** Killinchu UDS edition, UDS-deployable Zarf bundle for air-gapped sovereign deployment. |
Warhacker T-minus countdown: June 16–19, 2026 · DoD Pier Demo
-
Defense Unicorns Warhacker — Accelerating AI for the Warfighter · San Diego · June 16–19, 2026 Pace-setting project (our lane): Enterprise Agents · UDS Core compatible
+
Warhacker — Accelerating AI for the Warfighter · San Diego · June 16–19, 2026 Pace-setting projects: Open Arsenal · Enterprise Agents
> 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`.
@@ -439,7 +125,7 @@ Aligned with **EU AI Act Article 12** (record-keeping) and **NIST AI RMF**.
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.
- **Λ uniqueness = Conjecture 1** — not a closed theorem.
-- **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.
+- **SLSA L1 honest** — real cosign-signed provenance, Sigstore Rekor anchored. SLSA L2 is on the roadmap via Wire D; it is not claimed today.
- **Doctrine v11 LOCKED** — 749 / 14 / 163, locked at `c7c0ba17`.
- Aligned with **EU AI Act Article 12** and **NIST AI RMF (MANAGE)**.
@@ -458,179 +144,3 @@ SZL Holdings builds a formally-verified governance gate for agentic AI. The Λ a
---
Doctrine v11 LOCKED · 🪢 Khipu chain · Lean 4 · Sigstore Rekor · Apache-2.0 OSS · DOI [10.5281/zenodo.19944926](https://doi.org/10.5281/zenodo.19944926) · Source of truth: [szl-holdings/.github lean_numbers.json](https://github.com/szl-holdings/.github/blob/main/.github/data/lean_numbers.json) @ `c7c0ba17` · Founder: Stephen Paul Lutar Jr · [ORCID 0009-0001-0110-4173](https://orcid.org/0009-0001-0110-4173)
-
-
----
-
-## RESEARCH · 8 PAPERS · LIVE DOIs
-
-Eight peer-disseminated research records by **Stephen P. Lutar Jr.** ([ORCID 0009-0001-0110-4173](https://orcid.org/0009-0001-0110-4173)), published and archived on Zenodo under **CC-BY-4.0**. All DOIs below resolve live.
-
-| # | Title | Authors | Year | DOI | Zenodo | License |
-|---|---|---|---|---|---|---|
-| 1 | Lutar Omega Formalism | Stephen P. Lutar Jr. | 2026 | [](https://doi.org/10.5281/zenodo.20499315) | [Zenodo](https://zenodo.org/doi/10.5281/zenodo.20499315) | CC-BY-4.0 |
-| 2 | Prisca-GraphRAG | Stephen P. Lutar Jr. | 2026 | [](https://doi.org/10.5281/zenodo.20499317) | [Zenodo](https://zenodo.org/doi/10.5281/zenodo.20499317) | CC-BY-4.0 |
-| 3 | Hermetic Constitutional Guardrails | Stephen P. Lutar Jr. | 2026 | [](https://doi.org/10.5281/zenodo.20499319) | [Zenodo](https://zenodo.org/doi/10.5281/zenodo.20499319) | CC-BY-4.0 |
-| 4 | Sefirot Continual Learning | Stephen P. Lutar Jr. | 2026 | [](https://doi.org/10.5281/zenodo.20499322) | [Zenodo](https://zenodo.org/doi/10.5281/zenodo.20499322) | CC-BY-4.0 |
-| 5 | Free-Energy-Lutar Active Inference | Stephen P. Lutar Jr. | 2026 | [](https://doi.org/10.5281/zenodo.20499324) | [Zenodo](https://zenodo.org/doi/10.5281/zenodo.20499324) | CC-BY-4.0 |
-| 6 | Tawa Sparse Autoencoder | Stephen P. Lutar Jr. | 2026 | [](https://doi.org/10.5281/zenodo.20499328) | [Zenodo](https://zenodo.org/doi/10.5281/zenodo.20499328) | CC-BY-4.0 |
-| 7 | EPR-Bell Entanglement Validation | Stephen P. Lutar Jr. | 2026 | [](https://doi.org/10.5281/zenodo.20499330) | [Zenodo](https://zenodo.org/doi/10.5281/zenodo.20499330) | CC-BY-4.0 |
-| 8 | Chinchilla-Lutar Scaling Laws | Stephen P. Lutar Jr. | 2026 | [](https://doi.org/10.5281/zenodo.20499334) | [Zenodo](https://zenodo.org/doi/10.5281/zenodo.20499334) | CC-BY-4.0 |
-
-### Citations (BibTeX)
-
-
-BibTeX — 1. Lutar Omega Formalism
-
-```bibtex
-@misc{lutar2026omega,
- author = {Lutar, Stephen P. Jr.},
- title = {Lutar Omega Formalism},
- year = {2026},
- publisher = {Zenodo},
- doi = {10.5281/zenodo.20499315},
- url = {https://doi.org/10.5281/zenodo.20499315},
- note = {ORCID: 0009-0001-0110-4173}
-}
-```
-
-
-
-
-BibTeX — 2. Prisca-GraphRAG
-
-```bibtex
-@misc{lutar2026prisca,
- author = {Lutar, Stephen P. Jr.},
- title = {Prisca-GraphRAG},
- year = {2026},
- publisher = {Zenodo},
- doi = {10.5281/zenodo.20499317},
- url = {https://doi.org/10.5281/zenodo.20499317},
- note = {ORCID: 0009-0001-0110-4173}
-}
-```
-
-
-
-
-BibTeX — 3. Hermetic Constitutional Guardrails
-
-```bibtex
-@misc{lutar2026hermetic,
- author = {Lutar, Stephen P. Jr.},
- title = {Hermetic Constitutional Guardrails},
- year = {2026},
- publisher = {Zenodo},
- doi = {10.5281/zenodo.20499319},
- url = {https://doi.org/10.5281/zenodo.20499319},
- note = {ORCID: 0009-0001-0110-4173}
-}
-```
-
-
-
-
-BibTeX — 4. Sefirot Continual Learning
-
-```bibtex
-@misc{lutar2026sefirot,
- author = {Lutar, Stephen P. Jr.},
- title = {Sefirot Continual Learning},
- year = {2026},
- publisher = {Zenodo},
- doi = {10.5281/zenodo.20499322},
- url = {https://doi.org/10.5281/zenodo.20499322},
- note = {ORCID: 0009-0001-0110-4173}
-}
-```
-
-
-
-
-BibTeX — 5. Free-Energy-Lutar Active Inference
-
-```bibtex
-@misc{lutar2026freeenergy,
- author = {Lutar, Stephen P. Jr.},
- title = {Free-Energy-Lutar Active Inference},
- year = {2026},
- publisher = {Zenodo},
- doi = {10.5281/zenodo.20499324},
- url = {https://doi.org/10.5281/zenodo.20499324},
- note = {ORCID: 0009-0001-0110-4173}
-}
-```
-
-
-
-
-BibTeX — 6. Tawa Sparse Autoencoder
-
-```bibtex
-@misc{lutar2026tawa,
- author = {Lutar, Stephen P. Jr.},
- title = {Tawa Sparse Autoencoder},
- year = {2026},
- publisher = {Zenodo},
- doi = {10.5281/zenodo.20499328},
- url = {https://doi.org/10.5281/zenodo.20499328},
- note = {ORCID: 0009-0001-0110-4173}
-}
-```
-
-
-
-
-BibTeX — 7. EPR-Bell Entanglement Validation
-
-```bibtex
-@misc{lutar2026eprbell,
- author = {Lutar, Stephen P. Jr.},
- title = {EPR-Bell Entanglement Validation},
- year = {2026},
- publisher = {Zenodo},
- doi = {10.5281/zenodo.20499330},
- url = {https://doi.org/10.5281/zenodo.20499330},
- note = {ORCID: 0009-0001-0110-4173}
-}
-```
-
-
-
-
-BibTeX — 8. Chinchilla-Lutar Scaling Laws
-
-```bibtex
-@misc{lutar2026chinchilla,
- author = {Lutar, Stephen P. Jr.},
- title = {Chinchilla-Lutar Scaling Laws},
- year = {2026},
- publisher = {Zenodo},
- doi = {10.5281/zenodo.20499334},
- url = {https://doi.org/10.5281/zenodo.20499334},
- note = {ORCID: 0009-0001-0110-4173}
-}
-```
-
-
-
-### Cite this work
-
-To cite the corpus as a whole, use the umbrella **concept DOI** (always resolves to the latest version):
-
-```bibtex
-@misc{lutar2026szlcorpus,
- author = {Lutar, Stephen P. Jr.},
- title = {SZL Holdings Research Corpus (umbrella concept record)},
- year = {2026},
- publisher = {Zenodo},
- doi = {10.5281/zenodo.19944926},
- url = {https://doi.org/10.5281/zenodo.19944926},
- note = {Concept DOI (always resolves to latest version). Umbrella v21: 10.5281/zenodo.20490218. ORCID: 0009-0001-0110-4173}
-}
-```
-
-> Umbrella v21: [10.5281/zenodo.20490218](https://doi.org/10.5281/zenodo.20490218) · Concept: [10.5281/zenodo.19944926](https://doi.org/10.5281/zenodo.19944926)
-
-Lineage: Architecture grounded in Hickok & Poeppel 2007 (Nat Rev Neurosci 8:393) · Hickok 2025 *Wired for Words* (MIT Press)