ChoiceProof

Bring a receipt.
Inspect its proof path.

Drop a ChoiceProof bundle into the Proof Scanner. The browser previews structure, hash linkage, canonical digest material, and verdict linkage without sending the proof to a server.

Full signature and score reproduction remain SDK and CLI work.

Local

Verification boundary

Browser verification is a structural preview. The SDK and CLI perform full Ed25519/JCS verification and deterministic score reproduction for production-like use.

Local processingNo server submission

Drop proof bundle into the lensNo upload occurs. Accepted: .json, max 1 MB.

inputverifyresult

Awaiting bundle

The browser report checks structure, linkage, canonical digest material, and challenge verdict linkage. SDK and CLI remain the full signature and deterministic scoring path.

Sample bundle

Paste JSON or view exact bundle

ChoiceProof bundle JSON

{
  "schemaVersion": "choiceproof.bundle.v1",
  "policy": {
    "schemaVersion": "choiceproof.policy.v1",
    "policyId": "gpu-japan-alpha-001",
    "principalId": "principal-tokyo-ai-lab",
    "resourceType": "gpu_compute",
    "createdAt": "2026-06-23T00:00:00.000Z",
    "validFrom": "2026-06-23T00:00:00.000Z",
    "expiresAt": "2026-06-25T00:00:00.000Z",
    "nonce": "policy-demo-nonce-001",
    "currency": "USD",
    "unit": "gpu-hour",
    "decisionWindow": {
      "startsAt": "2026-06-23T00:00:00.000Z",
      "endsAt": "2026-06-23T01:00:00.000Z"
    },
    "coverageScope": {
      "providerIds": [
        "provider-a",
        "provider-b",
        "provider-c",
        "provider-d",
        "provider-e"
      ],
      "discoveryMethod": "explicit_allowlist",
      "regionAllowlist": [
        "jp-east",
        "jp-west"
      ]
    },
    "hardConstraints": [
      {
        "field": "region",
        "operator": "in",
        "value": [
          "jp-east",
          "jp-west"
        ]
      },
      {
        "field": "latencyMsP95",
        "operator": "lte",
        "value": 50
      },
      {
        "field": "uptimeBps",
        "operator": "gte",
        "value": 9990
      },
      {
        "field": "effectiveCostMicros",
        "operator": "lte",
        "value": "1000000"
      }
    ],
    "objective": {
      "effectiveCostWeightBps": 6000,
      "latencyWeightBps": 4000,
      "reliabilityWeightBps": 0
    },
    "incentivePolicy": {
      "requireDisclosure": true,
      "includeCommissionInEffectiveCost": true,
      "prohibitAgentAffiliatePayments": false
    },
    "materialityThresholdBps": 300,
    "challengeWindow": {
      "startsAt": "2026-06-23T00:15:00.000Z",
      "endsAt": "2026-06-24T00:15:00.000Z",
      "finalizationRule": "final_after_window_without_successful_challenge"
    },
    "algorithm": {
      "id": "choiceproof.weighted-score",
      "version": "1.0.0",
      "tieBreak": [
        "higher_total_score",
        "lower_effective_cost",
        "lower_latency",
        "higher_uptime",
        "lower_quote_hash"
      ]
    }
  },
  "quotes": [
    {
      "schemaVersion": "choiceproof.quote.v1",
      "quoteId": "quote-provider-a",
      "providerId": "provider-a",
      "resourceType": "gpu_compute",
      "sku": "h100-jp-a",
      "issuedAt": "2026-06-23T00:02:00.000Z",
      "validFrom": "2026-06-23T00:00:00.000Z",
      "validUntil": "2026-06-23T01:00:00.000Z",
      "nonce": "quote-provider-a-nonce",
      "currency": "USD",
      "unit": "gpu-hour",
      "basePriceMicros": "720000",
      "feesMicros": "30000",
      "agentCommissionMicros": "0",
      "region": "jp-east",
      "latencyMsP95": 31,
      "uptimeBps": 9996,
      "availableCapacity": "160",
      "termsHash": "sha256:fcf3172263077ba7752f9a2d0c73e48cc625dc5a7fb04ea6adf05fafcd75b481",
      "attributes": {
        "synthetic": true,
        "gpu": "H100",
        "tenancy": "reserved-burst"
      },
      "signer": {
        "scheme": "ed25519-jcs",
        "keyId": "ed25519-jcs:366283b1b946001eb03b73c3",
        "publicKey": "d04ab232742bb4ab3a1368bd4615e4e6d0224ab71a016baf8520a332c9778737"
      },
      "signature": "7f3898b6f33eca6b43058bd7172eb643a2cd4c594804d35657ecdf0105fb243182dffd688a1bf7e094cf8764f8acd07cfb66b6560bc0cc856a5edbc8cc93d508"
    },
    {
      "schemaVersion": "choiceproof.quote.v1",
      "quoteId": "quote-provider-b",
      "providerId": "provider-b",
      "resourceType": "gpu_compute",
      "sku": "h100-jp-b",
      "issuedAt": "2026-06-23T00:02:00.000Z",
      "validFrom": "2026-06-23T00:00:00.000Z",
      "validUntil": "2026-06-23T01:00:00.000Z",
      "nonce": "quote-provider-b-nonce",
      "currency": "USD",
      "unit": "gpu-hour",
      "basePriceMicros": "760000",
      "feesMicros": "20000",
      "agentCommissionMicros": "80000",
      "commissionRecipient": "agent-affiliate-wallet-demo-only",
      "region": "jp-east",
      "latencyMsP95": 34,
      "uptimeBps": 9995,
      "availableCapacity": "220",
      "termsHash": "sha256:510437678ed91609ed7bb6ddfbcf363232f8658ba28b2e0dc5d73794d52907d2",
      "attributes": {
        "synthetic": true,
        "gpu": "H100",
        "tenancy": "reserved-burst"
      },
      "signer": {
        "scheme": "ed25519-jcs",
        "keyId": "ed25519-jcs:74d49ad2eabb1d8334b9c302",
        "publicKey": "a09aa5f47a6759802ff955f8dc2d2a14a5c99d23be97f864127ff9383455a4f0"
      },
      "signature": "40cfcbe232ec25c66c2023bc744fdfbc911f7900e08df65cf609a3807e138f485578f16faf6ac2faf0fad04991442a7a7a2ee348b50c718e9dd3c5d7c162580f"
    },
    {
      "schemaVersion": "choiceproof.quote.v1",
      "quoteId": "quote-provider-c",
      "providerId": "provider-c",
      "resourceType": "gpu_compute",
      "sku": "h100-jp-c",
      "issuedAt": "2026-06-23T00:02:00.000Z",
      "validFrom": "2026-06-23T00:00:00.000Z",
      "validUntil": "2026-06-23T01:00:00.000Z",
      "nonce": "quote-provider-c-nonce",
      "currency": "USD",
      "unit": "gpu-hour",
      "basePriceMicros": "920000",
      "feesMicros": "25000",
      "agentCommissionMicros": "0",
      "region": "jp-west",
      "latencyMsP95": 42,
      "uptimeBps": 9993,
      "availableCapacity": "120",
      "termsHash": "sha256:834822ec01f6b998c748e9633d1b4ac566f4de2e2bf53f9ffdc6f3b57e9f8afc",
      "attributes": {
        "synthetic": true,
        "gpu": "H100",
        "tenancy": "reserved-burst"
      },
      "signer": {
        "scheme": "ed25519-jcs",
        "keyId": "ed25519-jcs:c6a0c6748578661f95c3be13",
        "publicKey": "17cb79fb2b4120f2b1ec65e4198d6e08b28e813feb01e4a400839b85e18080ce"
      },
      "signature": "7d0e6dd868413df5af6c69851676482571ccf919ffd806d9793ac7cbdc93076ef2dda5ccb39ac7c1fa649e798a7286e2a81e597a81baed20a9431f09a650c20f"
    },
    {
      "schemaVersion": "choiceproof.quote.v1",
      "quoteId": "quote-provider-d",
      "providerId": "provider-d",
      "resourceType": "gpu_compute",
      "sku": "h100-jp-d",
      "issuedAt": "2026-06-23T00:02:00.000Z",
      "validFrom": "2026-06-23T00:00:00.000Z",
      "validUntil": "2026-06-23T01:00:00.000Z",
      "nonce": "quote-provider-d-nonce",
      "currency": "USD",
      "unit": "gpu-hour",
      "basePriceMicros": "640000",
      "feesMicros": "25000",
      "agentCommissionMicros": "0",
      "region": "jp-east",
      "latencyMsP95": 64,
      "uptimeBps": 9997,
      "availableCapacity": "240",
      "termsHash": "sha256:54372c61ae51272b58e1cdc5a062de7cba1616e69bdce935011d1d1dec9758b6",
      "attributes": {
        "synthetic": true,
        "gpu": "H100",
        "tenancy": "reserved-burst"
      },
      "signer": {
        "scheme": "ed25519-jcs",
        "keyId": "ed25519-jcs:f6e1a9c97b4b1bf036063848",
        "publicKey": "c6822637c7d310ec57627be00ba259d253749f4aaf644470cffbe53a35f73242"
      },
      "signature": "c73b459e033ad32a056de830c4512f4e8f90089b39bd44e3a0cd60c05c3a69cf0accb1208dfbcec536301d9c4a2910c7885e5602c25b3909b8b8acedde038600"
    },
    {
      "schemaVersion": "choiceproof.quote.v1",
      "quoteId": "quote-provider-e",
      "providerId": "provider-e",
      "resourceType": "gpu_compute",
      "sku": "h100-jp-e",
      "issuedAt": "2026-06-23T00:02:00.000Z",
      "validFrom": "2026-06-23T00:00:00.000Z",
      "validUntil": "2026-06-23T01:00:00.000Z",
      "nonce": "quote-provider-e-nonce",
      "currency": "USD",
      "unit": "gpu-hour",
      "basePriceMicros": "990000",
      "feesMicros": "10000",
      "agentCommissionMicros": "0",
      "region": "jp-east",
      "latencyMsP95": 38,
      "uptimeBps": 9988,
      "availableCapacity": "90",
      "termsHash": "sha256:6e77ece9a3b8a12569957a37b5d3416c976e0c3b91b07c570701cc224ea1540e",
      "attributes": {
        "synthetic": true,
        "gpu": "H100",
        "tenancy": "reserved-burst"
      },
      "signer": {
        "scheme": "ed25519-jcs",
        "keyId": "ed25519-jcs:cdf224a2603d6d0498a4da5d",
        "publicKey": "34b4d9043156cb6dcf0beb0a2949b7559c940d2bcb6dbe8c53a9b30278e3a746"
      },
      "signature": "248cdea760ee2fd06eb80191f469980ccc674aa593423da2fb8b96c4934e6a21c70c711cb7fb4a4b6b0de076bd99f5dbb695e0337bb8f735371da7feb6a08f06"
    }
  ],
  "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"
  },
  "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."
  ]
}

choiceproof receipt verify <bundle>

Opening the current...

Awaiting bundle

The browser report checks structure, linkage, canonical digest material, and challenge verdict linkage. SDK and CLI remain the full signature and deterministic scoring path.

Sample bundle

Paste JSON or view exact bundle

ChoiceProof bundle JSON

choiceproof receipt verify <bundle>

Bring a receipt.Inspect its proof path.

Verification boundary

Awaiting bundle

Bring a receipt.Inspect its proof path.

Verification boundary

Awaiting bundle

Bring a receipt.
Inspect its proof path.

Bring a receipt.
Inspect its proof path.