SZLHOLDINGS/szl-artifacts

<!-- SZL-ESTATE-CARD:v2:START --> <p align="center"><a href="https://a-11-oy.com/"><img src="https://huggingface.co/spaces/SZLHOLDINGS/README/resolve/main/assets/estate-banner-v2.svg" alt="SZL Holdings — governed, receipted, verifiable" width="100%"></a></p> <p align="center"> <a href="https://github.com/szl-holdings/.github/tree/main/doctrine"><img src="https://img.shields.io/badge/doctrine-v11%20LOCKED-0B1F3A?style=flat-square" alt="doctrine v11"></a> <a href="https://a-11-oy.com/"><img src="https://img.shields.io/badge/evidence%20wall-LIVE%20%C2%B7%20verify%20in%20browser-3AF4C8?style=flat-square" alt="live evidence wall"></a> <a href="https://huggingface.co/datasets/SZLHOLDINGS/szl-lake"><img src="https://img.shields.io/badge/szl--lake-offline%20verifiable-C9B787?style=flat-square" alt="szl-lake offline verifiable"></a> <a href="https://huggingface.co/spaces/SZLHOLDINGS/holographic"><img src="https://img.shields.io/badge/estate%20map-holographic-5B8DEE?style=flat-square" alt="holographic estate map"></a> </p> <p align="center">_{Part of the <a href="https://huggingface.co/SZLHOLDINGS">SZL Holdings</a> governed estate — claims are designed to carry checkable receipts. Verification proves integrity &amp; origin, never accuracy or performance.}</p> <!-- SZL-ESTATE-CARD:v2:END -->

<div align="center"> <p>

  

</p> </div>

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 this card does not claim that every file is signed or has complete artifact-level license/provenance metadata.

The linked public Bucket `SZLHOLDINGS/szl-artifacts` is a separate eight-data-file subset (seven PNGs and one PDF) plus its generated MANIFEST.json. The bucket manifest records paths, sizes, and Xet hashes while labeling rights and safe-render review NOT_EVALUATED; it does not certify the other files in this dataset repository.

Some repository files carry DSSE, SLSA, checksum, or provenance material. Verify each artifact against its own envelope, digest, cited source revision, and trusted key. Repository inclusion alone is not a signature or a release attestation.

Observed state (2026-07-15)

Consume safely

This repository is an artifact bundle, not a normalized tabular dataset config. Pin an immutable revision and download only the file you intend to inspect:

from huggingface_hub import hf_hub_download

path = hf_hub_download(
    "SZLHOLDINGS/szl-artifacts",
    "README.md",  # replace with the required artifact path
    repo_type="dataset",
    revision="91bcb443857f2884ef2bfabaaa6bfdc606c7134a",
)

Before rendering or redistributing an artifact, verify its digest and provenance, then evaluate its license/rights, accessibility, content safety, and source revision. MANIFEST.json belongs to the linked Bucket and covers that Bucket's eight data files only.

Cross-references

• —Thesis: Ouroboros Thesis v18 · DOI 10.5281/zenodo.20434276
• —Lean companion: lutar-lean · DOI 10.5281/zenodo.20424992
• —Receipts: Hatun MCP · szlholdings-hatun-mcp.hf.space
• —Verifiable corpus: SZLHOLDINGS/a11oy-verifiable-corpus — signed receipts + kernel-checked theorems (verify-it-yourself)
• —Live demo: a11oy console → a-11-oy.com · a11oy Space · killinchu
• —Catalog: SZLHOLDINGS on HuggingFace
• —Source: szl-artifacts on GitHub

Provenance

SZLHOLDINGS · 25 Spaces / 27 datasets / 9 models · Lean 749 declarations · 163 sorries (112 baseline + 51 Putnam) · 12 MCP tools · 6 release DOIs + 1 concept alias · [HF org](https://huggingface.co/SZLHOLDINGS) · Doctrine v11 LOCKED @ c7c0ba17


Citation

Cite this. Part of the SZL Holdings Ouroboros Thesis (Governed Post-Determinism). Concept DOI (always-latest): 10.5281/zenodo.19944926. Author: Stephen P. Lutar Jr. · ORCID 0009-0001-0110-4173 · Dataset license: Apache-2.0; the cited program publication is CC-BY-4.0. Full DOI-pinned lineage (v1→v26) + the 8 papers: szl-papers PAPERS_INDEX. No artifact-specific DOI is minted for this dataset; the concept DOI above covers the program.

Honesty (Doctrine v11): Λ unconditional uniqueness is Conjecture 1 (machine-checked FALSE as stated) — never a theorem; conditional uniqueness is Theorem U (axiom-free). Locked-proven formulas = exactly 8 {F1,F4,F7,F11,F12,F18,F19,F22}; ~185 experimental theorems are a separate CI-green tier; Khipu BFT safety = Conjecture 2. Trust never 100%.

@misc{lutar_szl_ouroboros,
  author    = {Lutar, Stephen P., Jr.},
  title     = {SZL Holdings --- The Ouroboros Thesis (Governed Post-Determinism)},
  year      = {2026},
  publisher = {Zenodo},
  doi       = {10.5281/zenodo.19944926},
  url       = {https://doi.org/10.5281/zenodo.19944926},
  note      = {Concept DOI --- always resolves to the latest version. ORCID 0009-0001-0110-4173. CC-BY-4.0.}
}

Signed-off-by: Stephen Lutar <stephenlutar2@gmail.com>

<div align="center">

[🛡️ SZLHOLDINGS on Hugging Face →](https://huggingface.co/SZLHOLDINGS) · [a-11-oy.com →](https://a-11-oy.com) · [Estate hub — live →](https://szlholdings-szl-estate-live.static.hf.space)

Governed AI you can prove.

_{SLSA: L1 honest · L2 attested · L3 roadmap. Λ = Conjecture 1 (advisory, never a theorem). Trust ceiling 0.97 — never 100%. Labels honest by default: MEASURED / REPORTED / MODELED / HEURISTIC / UNKNOWN / UNAVAILABLE. locked-proven = exactly 8 {F1,F4,F7,F11,F12,F18,F19,F22}.}

</div>