Hugging Face's logo

SZLHOLDINGS
/
szl-energy-attest

szl
governed-inference
energy-attestation
receipts
source-pointer
no-implementation-here
Model card Files
xet
 Community
1
szl-energy-attest / README.md
betterwithage's picture
betterwithage
Add honest kernel card: canonical GitHub source, doctrine labels
8965318 verified
preview code
|
Raw History Blame
1.25 kB
metadata 
license: apache-2.0
tags:
  - szl
  - governed-inference
  - energy-attestation
  - receipts

szl-energy-attest

Attestable energy receipts for governed compute — MEASURED NVML joules, or an honest UNAVAILABLE/null when no meter is present. Never fabricates a joule.

Canonical GitHub source: https://github.com/szl-holdings/szl-energy-attest (this Hub repo is the publish mirror).

What it does

  • Records measured GPU energy (NVML joules), tokens-per-joule, advisory policy-gate status, and tamper-evident SHA-256 hash-chained receipts for inference runs.
  • Absorbs the deprecated governed-inference-meter surface (see its Hub card, tagged deprecated).
  • Energy labels are typed: MEASURED (live meter), REPORTED (external context), UNAVAILABLE (no meter — recorded as null, never invented).

Doctrine boundary

  • Λ (Lambda-Spine) aggregation is Conjecture 1 — advisory, never a theorem.
  • Unsigned receipts are labeled UNSIGNED honestly; DSSE/ECDSA-P256 signing rolls in via szl-receipt.
  • Locked-proven formula count is exactly 8 {F1,F4,F7,F11,F12,F18,F19,F22}.

Part of the SZL Holdings governed-AI estate: https://github.com/szl-holdings · product https://a-11-oy.com · proof https://a11oy.net