SZLHOLDINGS/energy-attested-runs

<!-- 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>

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 DSSE-style signatures and 8/8 valid chain links, but it also contains 8/8 `mock: true` payloads from local/mock-deterministic-v1. All eight energy.joules values are null / UNAVAILABLE. Two payloads carry supplied cost values and six are unpriced. These records validate the receipt machinery; they do not demonstrate measured model inference or GPU energy.

Each record is a small, hash-chained, signed audit envelope carrying recorded splitter-token counts, optional supplied cost, and an unavailable energy field. This is a receipt-mechanics fixture (not zkML, not a TEE, and not a model-quality or energy-efficiency benchmark). On a future GPU route with a working NVML counter, separately released records may carry measured board-level energy.

What's in each record

receipts.ndjson is one DSSE-style envelope per line:

{
  "payloadType": "application/vnd.szl.energy-receipt+json",
  "payload": "<base64 of the canonical decision object>",
  "signatures": [{ "keyid": "...", "sig": "<base64 ECDSA-P256 DER>" }],
  "signed": true,
  "_dsse": "DSSEv1",
  "_pae_sha256": "<sha256 of the DSSE PAE>",
  "honesty": "SIGNED: ECDSA-P256-SHA256 over the DSSE PAE ..."
}

The base64 payload decodes to the decision object (field-aligned with SZL's open `governed-receipt-spec`):

{
  "action": "inference",
  "ns": "energy-attested-runs",
  "organ": "local/mock-deterministic-v1",
  "seq": 0,
  "prev": "0000...0000",
  "digest": "fd4f0baf...",
  "payload_digest": "0743c40f...",
  "ts": 1783611169.43,
  "decision": "allow",
  "lambda": { "score": null, "label": "Λ = Conjecture 1 - never green" },
  "energy": {
    "joules": null,
    "label": "UNAVAILABLE (no NVML on this host)",
    "evidence": {
      "meter": "nvml-total-energy-counter",
      "reason": "NVML present but no GPU/energy counter reachable on this host",
      "note": "joule NOT fabricated - honest UNKNOWN over fabricated green"
    }
  },
  "tokens": {
    "tokens_in": 9, "tokens_out": 39,
    "tokenizer": "regex word+punctuation (deterministic, model-agnostic)",
    "note": "REAL count of the splitter's tokens; NOT a model BPE count"
  },
  "cost": { "usd": null, "label": "UNPRICED", "note": "..." }
}

signing_key.pub is the public key (PEM, ECDSA-P256) for the demo key that signed this sample corpus — so every signature here is independently verifiable offline.

Field honesty legend

Load it

from datasets import load_dataset

ds = load_dataset("SZLHOLDINGS/energy-attested-runs", split="train")
print(ds[0]["payloadType"], ds[0]["signed"])

Or grab the raw NDJSON:

curl -L https://huggingface.co/datasets/SZLHOLDINGS/energy-attested-runs/resolve/main/receipts.ndjson

Verify it yourself

These receipts are field-aligned with and pass SZL's open, dependency-free verifier in `governed-receipt-spec` (validates the schema, recomputes the DSSE PAE content hash, and re-walks the prev ← digest hash chain):

git clone https://github.com/szl-holdings/governed-receipt-spec
curl -L https://huggingface.co/datasets/SZLHOLDINGS/energy-attested-runs/resolve/main/receipts.ndjson -o receipts.ndjson
python governed-receipt-spec/verify.py receipts.ndjson

You can also check the ECDSA-P256 signatures against signing_key.pub with any DSSE/cosign-style verifier (the signature covers the DSSE PAE of each envelope).

Provenance & scope

• —Produced by: the live Space `SZLHOLDINGS/energy-attested-runs`, which wraps a clearly-mock-labelled local route in real receipt mechanics (real token counting, honest NVML metering, SHA-256 hash chain, ECDSA-P256 signing).
• —Release composition: all eight published payloads are explicitly mock: true and name local/mock-deterministic-v1 as the organ.
• —Not fabricated: energy is honest-null because the host has no NVML; token counts are deterministic splitter counts; cost is supplied on two records and null on six.
• —Not a proof: a receipt is a replayable audit record, not zero-knowledge and not a proof of the underlying computation.

The estate

• —Live Space: SZLHOLDINGS/energy-attested-runs
• —Open spec + verifier: governed-receipt-spec
• —Estate: a-11-oy.com · SZLHOLDINGS on Hugging Face

Apache-2.0 · © 2026 SZL Holdings. Built on the ideas in `governed-inference-meter`, `szl-energy-attest`, and `szl-receipt`.

Cite this

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. 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.}
}

<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>