⚡ Energy-Attested Inference Runs

One line: run a routed inference, get back a signed receipt of its tokens, cost, and energy - where every field is honestly labelled MEASURED or UNAVAILABLE. A joule is never fabricated.

Why it matters (the gap): energy/cost papers measure inference but don't attest it, and providers can over-count tokens. A signed, hash-chained energy + token + cost receipt is the honest, cheap countermeasure - the "receipt tier" of trust (not zkML, not a TEE).

What you're using here: a local, deterministic mock route (so it runs with zero downloads) wrapped in real receipt mechanics - real token counting, honest energy metering, a SHA-256 hash chain, and a real ECDSA-P256 signature. Swap in a live model and the energy field stays honest-null until a real NVML meter is present.

Signing mode: SIGNED with an EPHEMERAL demo key (regenerated on every Space restart). The signature is real and verifiable with the public key below - it proves integrity within this session, not long-term authorship.

Energy meter capability on this host: pynvml importable = True, NVML init = False, GPU count = 0, measurable = False.

Signed receipt (DSSE envelope + decoded decision)

Companion dataset: append-only sample receipts produced by this Space -> SZLHOLDINGS/energy-attested-runs dataset
Open spec + verifier: governed-receipt-spec
Estate: a-11-oy.com · SZLHOLDINGS on Hugging Face

Honesty brand: energy = measured joules OR honest null; Λ = Conjecture 1 (advisory, never "green"); receipts signed or UNSIGNED-honest, never faked.