Manifest receipt

Locked & verifiable.

A pre-registered claim, anchored to a SHA-256 hash before the run. Anyone can re-derive it from the canonical bytes below.

SHA-2563c54b0bb079a10c5dade6ecdd2605e3b625d0b06fa17d8d81ffe05f1e118ba91

Registered2026-05-07T09:05:13.246Z

Independent timestampRFC 3161 · 2026-07-11T22:19:10Z · timestamp.sigstore.dev (anchored after commit; earlier existence rests on the registry signature alone) · token

Transparency lognot yet in a public log (record predates full-manifest storage; RFC 3161 token only)

Kindcommitted before 2026-07-11 — not validated at commit time; re-verify offline with a reference implementation

Submitted by@humaneval-pass1

Manifest preview

version: prml/0.1
metric: pass_at_1
threshold: 0.42
dataset_split: humaneval-164
model_version: code-eval-stub
claim: HumanEval pass@1 floor for code completion eval
submitter: studio-11
timestamp: 2026-05-07T12:06:00Z

Note (2026-07-11): records committed before this date stored only a 500-byte preview, so this page cannot prove the full manifest. Re-verify offline against the original file.

README badge

[![PRML locked](https://registry.falsify.dev/badge/3c54b0bb079a10c5dade6ecdd2605e3b625d0b06fa17d8d81ffe05f1e118ba91.svg)](https://registry.falsify.dev/3c54b0bb079a10c5dade6ecdd2605e3b625d0b06fa17d8d81ffe05f1e118ba91)

Verify in CI

- uses: studio-11-co/prml-verify-action@v2
  with:
    mode: verdict
    expected-hash: 3c54b0bb079a10c5dade6ecdd2605e3b625d0b06fa17d8d81ffe05f1e118ba91

github.com/studio-11-co/prml-verify-action →

share on x →

Verify this hash yourself

Paste your manifest YAML. The canonical hash must match 3c54b0bb079a…. This runs the registry's own canonicalization module (canonical.js) in your browser; for verification that does not trust this registry at all, use any of the four reference implementations offline.

Verify the independent timestamp (RFC 3161, offline)

The token countersigns this manifest hash with the timestamp authority's key, so the time claim no longer rests on this registry. Verify with OpenSSL 3 (LibreSSL, the macOS default, cannot check the ESS extension):

curl -sO https://registry.falsify.dev/3c54b0bb079a10c5dade6ecdd2605e3b625d0b06fa17d8d81ffe05f1e118ba91.tsr
curl -s https://timestamp.sigstore.dev/api/v1/timestamp/certchain -o chain.pem
awk 'split_after==1{n++;split_after=0} /END CERTIFICATE/{split_after=1} {print > ("tsa-" n ".pem")}' n=0 chain.pem
openssl ts -verify -digest 3c54b0bb079a10c5dade6ecdd2605e3b625d0b06fa17d8d81ffe05f1e118ba91 \
  -in 3c54b0bb079a.tsr -CAfile tsa-1.pem -untrusted tsa-0.pem

Expected output: Verification: OK.

What this receipt proves — and what it does not

Proves: these manifest bytes hashed to this SHA-256, and the registry attests (Ed25519 signature over hash + timestamp, key at /pubkey) that it saw the hash at the recorded time.
Timestamp: where an RFC 3161 token is present (the "Independent timestamp" row above), the time claim is countersigned by a public timestamp authority and verifiable offline; backdating it would require compromising that authority, not just this registry. Records without a token rest on the registry's clock alone until anchored. Transparency-log (Rekor) inclusion is still planned — see registry limitations.
Does not prove: the claimed result. A PRML receipt proves the bar was locked before the run — never that the result is good.
The signature covers hash + timestamp only, not the submitted handle. There is no key-rotation story yet; the current key id is served at /pubkey.

PRML v0.2 is a frozen RFC (comment window closed 2026-05-22) — spec.falsify.dev/v0.2-rfc. Editor: spec.falsify.dev/editor.