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.a11oy-verifiable-corpus
Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance.
a11oy — Verifiable Corpus · verify it yourself
This dataset publishes a11oy's signed receipts and proof surface so that
anyone can independently verify them — no trust in SZL Holdings required.
Every receipt here carries the full cryptographic material needed to check its
signature offline;… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/a11oy-verifiable-corpus.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.szl-frontier-evaluation-receipts
Checkable language-model evaluation records
We publish the inputs, measured responses, scoring results and file hashes from small language-model evaluations. These records help readers inspect what was tested and check whether files changed.
Archive and Viewer scope
The default Dataset Viewer configuration selects only runs/**/summary.json: one row per published evaluation run, not one row per test case. The train split is an archive indexing label, not a training… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/szl-frontier-evaluation-receipts.thesis-corpus-v18
Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance.
SZLHOLDINGS/thesis-corpus-v18
The v18 Ouroboros Invariant thesis — LaTeX chapters, the 179 formal blocks
(theorem / lemma / definition / axiom environments) as a flat CSV, and the per-version
delta ledger that tracks how every formal block evolved v1 → v18.
Contents
File… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/thesis-corpus-v18.readiness-runs
SZL Readiness Runs
Signed Khipu receipts emitted by the eight SZL Production-Readiness agents.
Doctrine v11 (LOCKED): 749 / 14 / 163.
Layout
receipts/<agent>/<UTC-date>/<UTC-timestamp>.json # one DSSE envelope per run
dr-dumps/<flagship>/<ts>.ndjson # READINESS-DR backup dumps
Agents: readiness-reliability, readiness-security, readiness-observability,
readiness-operability, readiness-compliance, readiness-docs, readiness-dr… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/readiness-runs.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.RnG_training_data
RnG training data
objaverse_all287k_renders
287,562 Objaverse objects, 40 views each: RGB .webp + depth _depth.png + transforms.json
(camera). Total 1,438,645,422,080 bytes (1.31 TiB).
shards/shard_00000.tar … shard_00718.tar — 719 shards, ~2 GB each, 400 per-object tars per shard (last one 362)
manifest.tsv — shard → member tar → size → shard sha256
objaverse_all287k.txt — the 287,562 object ids (32-hex). Member tar names are the object's
storage key: 64-hex… See the full description on the dataset page: https://huggingface.co/datasets/szlgallen/RnG_training_data.SzL_Dataset
Dataset Card for SzL_Dataset
This dataset contains audio samples of single voice in Hungarian.
Dataset Details
Dataset Description
This dataset contains a minimalist set of a single Hungarian male voice.
The audio stems from church preaches (reformed church).
My aim is to fine tune a Whisper model.
Ez az adatkészlet református, magyar nyelvű istentiszteleti prédikációkból
készült.
A cél egy Whisper modell finomhangolása.
Curated by: [More Information Needed]… See the full description on the dataset page: https://huggingface.co/datasets/hosszu/SzL_Dataset.benchmark-pl-szlPolish-Silesian benchmark for evaluating MT models. Data was taken from bilingual websites and aligned by hand.
SentimentAnalysisSzLData4Finszlwiki