szl
Datasets
All datasets matching “szl”killinchu-osint-corpus
killinchu — live intel archive
Append-only, content-addressed archive of the live intelligence streams the
killinchu demo ingests, published by SZL Holdings. The shared
szl_hf_bucket client writes one NDJSON shard per UTC day under
intel/.
Each row is {schema, id, ts, source, kind, payload}.
Viewer-safe contract
The default Dataset Viewer configuration is the homogeneous
archive_manifest, one row per immutable raw shard. It exposes path, byte
count, Git blob hash… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/killinchu-osint-corpus.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.szl-artifacts
Part of the SZL Holdings governed estate — claims are designed to carry checkable receipts. Verification proves integrity & origin, never accuracy or performance.
SZL Artifacts — Build Artifact Registry
Artifact boundary - audited 2026-07-15: this Hugging Face dataset repository
is a mixed 106-file, 36,100,909-byte publication/build mirror at revision
91bcb443857f2884ef2bfabaaa6bfdc606c7134a. It is not a uniform table of
DSSE envelopes, and… See the full description on the dataset page: https://huggingface.co/datasets/SZLHOLDINGS/szl-artifacts.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.