ChoiceProof

This receipt verifies.
Its boundary is declared.

The honest rerun includes Provider A and produces a receipt that matches the committed rules and candidate set.

A choice is a path through alternatives.

Artifact

Receipt identity

receipt-gpu-japan-alpha-001-quote-provider-a-honest-receipt

Verified within declared setReceipt-specific tx not claimed

Selected route

provider-a

$0.75 per gpu-hour, 31 ms p95.

Disclosed incentive: $0.00.

Decision time: 2026-06-23T00:15:00.000Z.

Verification scope: declared candidate set and committed policy only.

Challenge history

No attached challenge

No successful challenge is attached to this honest sample.

Verification checks

Issue-time structural checks: Yes.

Candidate count: 5.

Selected quote: quote-provider-a.

Reason codes: OK.

Limitations

Verification is relative to the declared candidate set and policy.

The v0.1 resolver is centralized and deterministic.

All data is synthetic and uses simulation or testnet only.

Candidate-set disclosure

Included candidates: provider-a, provider-b, provider-c, provider-d, provider-e.

Later challenge evidence: None.

This candidate set does not claim open-market completeness.

Base Sepolia context

Registry: 0x4287f37Fe2Fa07eF5b0D0e19613453ec28B51e89

Escrow: 0x2b37Bf2098D88742f42c015A32f9D1A88084Dc3D

Canonical trace state: blocked_missing_role_keys. Confirmed receipt-specific txs: 0.

Download proof bundle Open in verifier

View exact hashes, signatures, and JSON

Receipt hash: sha256:7b1745f4ad8de238aaebfe67400db271ed5471723284ed75e56219d95a92e7a4

Selected quote hash: sha256:91e73ab2e30de9e003ea5799e5d5b76d38c8f7b6dab774044808afde0d6f4798

Challenge hash: none

{
  "receipt": {
    "schemaVersion": "choiceproof.receipt.v1",
    "receiptId": "receipt-gpu-japan-alpha-001-quote-provider-a-honest-receipt",
    "policyHash": "sha256:dff20e0ca1ab07c3f82e7bd0eb9b305daa9c1f0c67a8051d8b408244c33119dd",
    "coverageScopeHash": "sha256:a093ba2836cc2babef5fc7ca0017e66910762b44ad0b66465766a994383b74e9",
    "candidatesMerkleRoot": "sha256:ec83800f0775e8b1cab0fcb2df6ae7af01e94c2473f1a6321ac1ff99d414c81b",
    "candidateCount": 5,
    "selectedQuoteHash": "sha256:91e73ab2e30de9e003ea5799e5d5b76d38c8f7b6dab774044808afde0d6f4798",
    "selectedQuoteId": "quote-provider-a",
    "agentId": "agent-procurement-alpha",
    "operatorId": "operator-demo-lab",
    "decisionTime": "2026-06-23T00:15:00.000Z",
    "algorithmId": "choiceproof.weighted-score",
    "algorithmVersion": "1.0.0",
    "scoreBreakdown": {
      "rank": 1,
      "totalScoreBps": 10000,
      "effectiveCostScoreBps": 10000,
      "latencyScoreBps": 10000,
      "reliabilityScoreBps": 10000,
      "effectiveCostMicros": "750000",
      "reasonCodes": [
        "OK"
      ]
    },
    "disclosedIncentivesMicros": "0",
    "disclosedIncentiveReference": "quote-field:quote-provider-a:agentCommissionMicros",
    "verificationAtIssue": "verified_within_declared_set",
    "challengeWindowEndsAt": "2026-06-24T00:15:00.000Z",
    "nonce": "honest-receipt",
    "signer": {
      "scheme": "ed25519-jcs",
      "keyId": "ed25519-jcs:9a9f83bd67c0a070e3f68a79",
      "publicKey": "e734ea6c2b6257de72355e472aa05a4c487e6b463c029ed306df2f01b5636b58"
    },
    "signature": "15dfae73f6e12d3316be0036bf132c98e616691d337bb3fe17560472fd79a016d9e31adb7e14df43e05ae20cc9dcabf78f2ef4578ec272bdc2f35048e70e6f06"
  },
  "verification": {
    "ok": true,
    "status": "verified_within_declared_set",
    "reasonCodes": [
      "OK"
    ],
    "explanation": [
      "1. provider-a score=10000 cost=750000 latency=31",
      "2. provider-b score=5523 cost=860000 latency=34",
      "3. provider-c score=0 cost=945000 latency=42"
    ]
  }
}

This receipt verifies.Its boundary is declared.