datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
szl-lake
🪢 SZL Holdings Data Lake (szl-lake)
A public, signed, diligence-defensible corpus of governance provenance.
Every governed action in the SZL substrate emits an ECDSA P-256 DSSE-signed Khipu receipt onto a hash-linked Merkle DAG. This dataset aggregates those receipts together with formal-verification doctrine snapshots, the Zenodo paper record, SBOM pointers, and compliance attestations so a reviewer can verify the claims end-to-end.
Doctrine v11 LOCKED · 749… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/szl-lake.lean-proofs-v1
Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance.
SZLHOLDINGS/lean-proofs-v1
The complete Lean 4 theorem library for the SZL Holdings Ouroboros Invariant research programme.
Doctrine v10/v11 Canonical Numbers
Metric
Value
Declarations
749
Unique axioms
14 (15 raw, 1 dup)
Sorries
163 (112 baseline + 51 Putnam)… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/lean-proofs-v1.uds-spans-receipts
Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance.
UDS Spans Receipts — OTel Governance Audit Log
Doctrine v11 LOCKED. No marketing. Every number resolves to a CI log, a Lean proof, or a Zenodo DOI.
Append-only audit log of DSSE-signed OpenTelemetry spans emitted by the UDS mesh governance layer. Each span record includes: operation… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/uds-spans-receipts.rag-corpus-v1
Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance.
SZLHOLDINGS/rag-corpus-v1 — Agentic-RAG corpus + per-organ FAISS indexes
Doctrine v10/v11. Embedding model: BAAI/bge-base-en-v1.5 (768-dim).
Built by the agentic-RAG SHIP directive (390_AGENTIC_RAG_FAISS_PER_SPACE).
Contents
corpus.jsonl — 762 chunks, each ~512 tokens with… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/rag-corpus-v1.Data4Fin