Build on SZL — developer hub: API reference for all 5 flagships, 5-min quickstart, MCP integration (Claude/Cursor), substrate packages, runnable examples. Doctrine v11. Apache-2.0.
-
Updated
Jun 11, 2026 - Python
#
doctrine-v11
Here are 26 public repositories matching this topic...
Λ-Conjecture-1 bounty intake (verify-proof CI + webhook). Canonical problem statement: szl-papers/bounty.
ai bounty formal-verification governance lean4 agentic-ai defense-tech szl-holdings doctrine-v11 lambda-conjecture
-
Updated
Jun 14, 2026 - Python
SZL doctrine + org-wide governance workflows (secret health, etc.)
-
Updated
Jun 15, 2026
Brand assets, logos, social-preview templates, and visual doctrine for SZL Holdings — Sovereign Governed AI. Doctrine v11 LOCKED.
design ai open-graph logos governance brand-assets visual-identity social-preview agentic-ai defense-tech szl-holdings doctrine-v11
-
Updated
Jun 15, 2026 - Python
BFT 3-of-4 multi-party-witnessed agreement — each witness signs an action hash with its own ECDSA P-256 cosign key over DSSE. The category SZL invents: multi-party-witnessed AI. Doctrine v11 LOCKED (749/14/163).
ai consensus bft ecdsa compliance formal-verification governance multi-signature cosign sigstore dsse agentic-ai defense-tech szl-holdings doctrine-v11 slsa-l1
-
Updated
Jun 13, 2026 - Python
Lean 4 + Mathlib formalization of the Λ aggregator — Λ uniqueness as Conjecture 1 (not a closed theorem). 749 declarations · 14 axioms · 163 tracked sorries. Backs the SZL governance gate. Doctrine v11 LOCKED · DOI 10.5281/zenodo.20434308
compliance formal-verification governance mathlib ouroboros apache-license lean4 dsse ai-governance agentic-ai defense-tech machine-checked-proofs szl-holdings lutar-invariant audit-fiber lambda-gate doctrine-v11 lambda-conjecture-1 slsa-l1
-
Updated
Jun 16, 2026 - Lean
SZL Holdings unified documentation — math-grounded, Quechua-rooted governed-AI docs (VitePress). Doctrine v11 LOCKED (749/14/163). docs.szlholdings.com
documentation ai compliance governance apache-license vitepress dsse agentic-ai defense-tech governed-ai szl-holdings doctrine-v11
-
Updated
Jun 16, 2026 - JavaScript
SOVEREIGN Warhacker demo dry-run for the RTX 4060 Ti tower: one-command tower verification, GPU k3d + UDS deploy, airgap test, thermal guard, Khipu 3-of-4 kill-move. Apache-2.0. Doctrine v11 LOCKED (749/14/163).
demo ai safety compliance airgap governance uds uds-core zarf agentic-ai defense-tech counter-uas szl-holdings doctrine-v11 slsa-l1
-
Updated
Jun 11, 2026 - Shell
Live Lean v4.13.0 kernel for the Lutar Invariant — Λ uniqueness as Conjecture 1. 749/14/163, source-mirrored from HF Space SZLHOLDINGS/lean-kernel. Doctrine v11 LOCKED · Apache-2.0.
ai proof-assistant compliance formal-verification governance mathlib lean4 dsse agentic-ai defense-tech szl-holdings doctrine-v11 lambda-conjecture-1 slsa-l1
-
Updated
Jun 15, 2026 - Python
SZL Holdings organization profile and community files.
community profile ai organization compliance branding governance community-health security-policy dsse reusable-workflows agentic-ai defense-tech szl-holdings doctrine-v11 slsa-l1 slsa-l2-roadmap
-
Updated
Jun 15, 2026 - HTML
SZL Holdings monorepo — substrate runtime, agentic loops, MCP server (11 tools), reusable workflows, CI gates. Doctrine v11 LOCKED (749/14/163)
runtime monorepo compliance formal-verification governance receipts human-in-the-loop audit-trail ouroboros dsse enterprise-ai agentic-ai policy-gates proof-chain szl-holdings dual-witness doctrine-v11 slsa-l1
-
Updated
Jun 16, 2026 - TypeScript
Hatun-MCP — doctrine-aware Model Context Protocol server. 16 SZL tools under PURIQ governance (Yuyay-13 gate, Khipu receipts, DSSE-signed). Streamable HTTP + SSE.
ai mcp airgap governance agentic agentic-ai model-context-protocol defense-tech szl-holdings doctrine-v11
-
Updated
Jun 15, 2026 - Python
Recipes and how-to guides for SZL governance infrastructure. Doctrine v11
recipes engineering ai skills examples tutorials developer-tools compliance airgap governance uds dsse ai-governance anthropic agentic-ai defense-tech szl-holdings doctrine-v11
-
Updated
Jun 13, 2026 - TypeScript
SZL Holdings Public Trust Portal — Covenant Proof Standard run artifacts, deterministic replay receipts. Doctrine v11 LOCKED (749/14/163)
ai governance audit-trail dsse ai-governance agentic-ai defense-tech trust-portal proof-chain szl-holdings covenant-proof-standard doctrine-v11
-
Updated
Jun 13, 2026
Ouroboros bounded-recursion runtime — agentic loops, dual-witness emitters, governance budgets. Doctrine v11 LOCKED (749/14/163)
runtime convergence compliance airgap governance uds formulas apache-license dsse agentic-ai defense-tech bounded-recursion agent-loop proof-chain szl-holdings dual-witness bekenstein doctrine-v11 slsa-l1
-
Updated
Jun 15, 2026 - Python
Live UDS governance-receipt deployment (Warhacker 2026) — k3d + uds-cli + Pepr DSSE receipt policy, cosign-verified. Doctrine v11 LOCKED (749/14/163).
kubernetes ai deployment compliance airgap governance uds pepr k3d apache-license kyverno dsse uds-core agentic-ai defense-tech szl-holdings doctrine-v11 slsa-l1
-
Updated
Jun 16, 2026 - Shell
SZL Holdings academic corpus — preprints, thesis lineage, bounty problems, prior-art disclosures. Doctrine v11 LOCKED 749/14/163.
research preprints compliance formal-verification governance academic-corpus prior-art agentic-ai szl-holdings doctrine-v11 lambda-conjecture-1
-
Updated
Jun 14, 2026 - TeX
SZL Holdings Lake — append-only DSSE receipt store (GitHub origin, HF dataset SZLHOLDINGS/szl-lake mirror). Doctrine v11 LOCKED. Live receipt infrastructure for the a11oy command platform.
data provenance compliance governance khipu attestations dsse agentic-ai cc-by-4-0 szl-holdings doctrine-v11 slsa-l1
-
Updated
Jun 15, 2026 - Python
UDS Operator packages + Helm chart + Zarf bundle + peat-mesh nodes for the 5 SZL service surfaces. Layers doctrine-pinned DSSE receipts on top of UDS Fleet. SLSA L1+L2 honest.
helm airgap governance uds pepr apache-license dsse zarf agentic-ai defense-tech szl-holdings doctrine-v11
-
Updated
Jun 15, 2026 - Makefile
a11oy — full orchestrator application (Command Center, Five Superpowers, Warhacker, Observability, Wires, Mesh, Formulas, Evidence, LLM Router). Signed-receipt substrate; receipts.in ≡ receipts.out. SLSA L1 honest · L2 roadmap · Λ = Conjecture 1 · Apache-2.0.
compliance governance uds dsse agentic-ai defense-tech policy-gates action-gating szl-holdings doctrine-v11 szl-flagship lambda-conjecture-1 slsa-l1
-
Updated
Jun 16, 2026 - Python
Improve this page
Add a description, image, and links to the doctrine-v11 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the doctrine-v11 topic, visit your repo's landing page and select "manage topics."