Reality Receipt

A real receipt you can verify yourself.

Every ReadyForUsers run produces a signed receipt. This is a real one from a run against our Bramble demo app. The check below runs entirely in your browser and sends nothing anywhere.

Verdict

CONFIRMEDinvented = 0

Invariant. no listing may oversell its inventory under concurrent checkout

predicted

inventory >= 0

actual

inventory -1

reproduction

1/1 confirmed

Signature

algorithm

ed25519

manifest hash

aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa

signed hash

bce487083e18743d53061c016890081f969a68f2e5df195e33a511bb5535411a

public key (SPKI, base64)

MCowBQYDK2VwAyEAZViX307r58Ngr5GGViJPBf/dR2/cjF585yYGY1aT9Rw=

signature (base64)

PBSa+yq6N+FGSYxFoWCBmGzPRG1ZCMLYICpPXus3ReDwbV9I3MkYkF+ZyOtsnE6by/ZbgWoVFNe9Q7lRvUw4Ag==

Evidence

collision-schedulecollisions.jsonl

sha256: bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb

Corpus prior

used

true

shape

inventory

source

run_chain

attempt order

multi_user_oversell

Target build

app

bramble

version

1.0.0+bugseed.abc

environment

sandbox

Provenance

receipt id

rr_dev

run

bramble-dev

manifest id

rm_dev

issued

2026-09-03T06:18:38.935Z

redaction

redacted

Raw receipt (JSON)

{
  "schema_version": 1,
  "receipt_id": "rr_dev",
  "run_key": "bramble-dev",
  "manifest_id": "rm_dev",
  "manifest_hash": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
  "verdict": "CONFIRMED",
  "invented": 0,
  "target_build": {
    "app": "bramble",
    "app_version": "1.0.0+bugseed.abc",
    "environment": "sandbox"
  },
  "invariant": {
    "id": null,
    "statement": "no listing may oversell its inventory under concurrent checkout"
  },
  "interleaving": [
    {
      "seq": 1,
      "actor": "actor-1",
      "action": "checkout",
      "resource": "listings.inventory#1",
      "started_ms": 0,
      "finished_ms": 120,
      "ok": true
    },
    {
      "seq": 2,
      "actor": "actor-2",
      "action": "checkout",
      "resource": "listings.inventory#1",
      "started_ms": 5,
      "finished_ms": 130,
      "ok": true
    }
  ],
  "observed_state": {
    "predicted": "inventory >= 0",
    "actual": "inventory -1"
  },
  "evidence": [
    {
      "name": "collisions.jsonl",
      "kind": "collision-schedule",
      "sha256": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb"
    }
  ],
  "reproduction": {
    "attempts": 1,
    "confirmed": 1,
    "summary": "1/1 confirmed"
  },
  "verified_fix": null,
  "corpus_prior": {
    "source": "run_chain",
    "shape": "inventory",
    "used": true,
    "fallback_reason": null,
    "ordering": [
      "multi_user_oversell"
    ]
  },
  "issued_at": "2026-09-03T06:18:38.935Z",
  "redaction_status": "redacted",
  "signature": {
    "algorithm": "ed25519",
    "public_key": "MCowBQYDK2VwAyEAZViX307r58Ngr5GGViJPBf/dR2/cjF585yYGY1aT9Rw=",
    "signed_hash": "bce487083e18743d53061c016890081f969a68f2e5df195e33a511bb5535411a",
    "signature": "PBSa+yq6N+FGSYxFoWCBmGzPRG1ZCMLYICpPXus3ReDwbV9I3MkYkF+ZyOtsnE6by/ZbgWoVFNe9Q7lRvUw4Ag=="
  }
}