SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 11 • 323
SZL Holdings — Formal Verification + Governance Receipts
Lean 4 theorems, DSSE receipts, OTel dataset, MCP server, and thesis. Agentic AI governance with machine-checked proofs. DOI 10.5281/zenodo.20434276
Note Ouroboros Thesis v18.0 — 206 pages, 72 theorems, 17 lake-verified, Lean 4 + Mathlib v4.13.0. DOI 10.5281/zenodo.20434276.
SZLHOLDINGS/uds-spans-receipts
Updated • 203Note 100 synthetic OTel spans + 50 DSSE-wrapped governance receipts across 4 mesh components. CC-BY-4.0 data, Apache-2.0 loader.
SZLHOLDINGS/a11oy-v19-substrate
UpdatedNote a11oy v19 substrate — observability mesh component with Lambda-axis scoring. Emits SLSA-attested governance receipts.
-
SZLHOLDINGS/why-we-lead
Viewer • Updated • 11 • 119 -
SZLHOLDINGS/szl-visual-identity
Viewer • Updated • 69 • 329