datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
uds-governance-receipts
Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance.
UDS Governance Receipts — Decision Audit Log
Doctrine v11 LOCKED. No marketing. Every number resolves to a CI log, a Lean proof, or a Zenodo DOI.
Append-only log of DSSE-signed governance decision receipts for the Unified Deployment Substrate (UDS) mesh. Each record captures:… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/uds-governance-receipts.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.model-bom
SZLHOLDINGS Model BOM Registry
Canonical CycloneDX 1.5 Model BOM registry for all 44 public models under the
SZLHOLDINGS organization.
Provenance
Generated 2026-08-30 by szl_estate_audit from live Hugging Face Hub metadata
(model listings, repository file siblings, and card data). Each BOM is a
pretty-printed CycloneDX 1.5 JSON document carrying a unique urn:uuid
serial number.
File layout
bom-index.json - machine-readable index: one entry per… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/model-bom.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.szl-quant-sft-v1
szl-quant-sft-v1 — training rows with signed lineage
Every row in this dataset is derived deterministically from a DSSE-signed backtest receipt and is recomputable bit-exact from content-addressed archives. No row was hand-written, scraped, or synthesized by a model.
Lineage (verifiable end-to-end)
CoinGecko daily closes (REPORTED venue feed)
→ szl-quant MEASURED walk-forward backtests → DSSE-signed receipts… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/szl-quant-sft-v1.alloy-sovereign-eval-runs
Alloy Sovereign Eval Runs · the honest first measured run
Append-only measured eval runs produced by routing SZL's
K-Verify Benchmark v1
through the live Alloy governed-inference stack on SZL's own sovereign
metal (provider: sovereign, zero cloud, zero spend). Each row is one
inference: its verdict, latency, NVML-measured energy, and a
signed receipt id that is re-checkable against the live Alloy receipt chain.
Built and maintained by SZL Holdings. Apache-2.0.… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/alloy-sovereign-eval-runs.szl-estate-graph
SZL Estate Graph v1
This is a deterministic, local publication bundle for SZLHOLDINGS/szl-estate-graph.
It turns the two receipted SZL Constellation topology documents into a typed,
trinity-connected graph suitable for graph-learning and drift comparison.
Publication target: SZLHOLDINGS/szl-estate-graph. Hub publication and its
immutable revision are provider evidence separate from this content bundle;
neither publication nor download implies model training, admission, or… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/szl-estate-graph.oac-clinical-transport-observability-synthetic
OAC Clinical Transport Observability — Synthetic
This dataset contains 1,200 fixed-seed, entirely synthetic operational
transport-health examples for the companion OAC System Health v1 model.
It contains no records collected from a patient, laboratory, analyzer,
instrument, LIS, EHR, network, or health-care site.
Companion model: OAC System Health v1.
Canonical source: szl-forge clinical gateway.
Data boundary
The closed schema contains only eight bounded… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/oac-clinical-transport-observability-synthetic.szl-second-brain-inrepo
SZL Second Brain — in-repo lane (public projection)
This is DATA, not a model. A retrieval corpus — the in-repo lane of the
SZL Second Brain — published as a Hugging Face dataset. It is part of the
SZL Forge Family. Publishing it is repo-existence of a corpus only: it
trains nothing, evaluates nothing, serves no inference, and upgrades nothing
(Λ stays Conjecture-1).
What this is
A deterministic BM25-ready corpus assembled only from repo-public text of
the Alloy… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/szl-second-brain-inrepo.energy-attested-runs
Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance.
Energy-Attested Inference Runs - 8 signed mock-route receipts; energy unavailable
Append-only sample receipts produced by the live
Space SZLHOLDINGS/energy-attested-runs.
Snapshot truth - independently audited 2026-07-15: this release contains
exactly 8/8 cryptographically valid ECDSA-P256… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/energy-attested-runs.k-verify-benchmark-v1
Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance.
K-Verify Benchmark v1
Author: Yachay / SZL Holdings · Version: 1.0.0 · Items: 100
K-Verify measures whether an AI's claimed factual answer is verifiable via a
receipt chain — not just whether it is correct. It is the first benchmark we
know of that scores provenance and honest refusal as… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/k-verify-benchmark-v1.governed-receipts-bench
Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance.
Governed Receipts Bench · a conformance corpus for the governed-receipt spec
A small benchmark corpus of governance decision receipts for the open
governed-receipt-spec.
bench.jsonl declares one expected outcome for each case under the spec's
dependency-free offline verifier. With the… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/governed-receipts-bench.