Proof Verification¶
Concordia separates recorded facts, recomputed facts, and unsupported claims.
Canonical identities¶
| Item | Identity |
|---|---|
| Proposal | DAO-PROP-6CB25C |
| Canonical receipt | e926582f3dacd05d9bd59a4fe0ae3c3c884ad57f23ab7318925cef34c286d852 |
| V1 contract | hash-a8640466af8c72fdcb8d9bb85bf445903ce5969fd9a7e7cb08179ffd5caa42f1 |
| Pre-quorum rejection | 6280b8e1964fb341dc82f7bf82213631591a8113abe1df47528de864bcf67431 |
| Quorum acceptance | 9d631fe1c925cd4991180b1a794e8b69f061a33033e372273ffadcaf9efe2928 |
| SafePay Lite recorded native-CSPR payment | dcb35f4295909b1c87d07b7f4d02ab95afef99d2d4cdddee961c8f5ca6d4914c |
| IPFS archive | bafkreih4jw6ntzydjudnlcbge3pehxufrj2pvydzx5hnzc3e4n4qhahfyq |
Manual verification¶
- Load the evidence chain.
- Load the proof pack and confirm every cited item belongs to the same proposal.
- Compare the canonical receipt and V1 contract with CSPR.live.
- Confirm the pre-quorum deploy failed and the post-quorum deploy succeeded.
- Compare the SafePay Lite record with its native-CSPR deploy.
Verifier outcomes¶
| Status | Meaning |
|---|---|
verified |
Every required supported check passed |
invalid |
Evidence exists but is malformed, contradictory, or tampered |
unavailable |
Required bytes or a read-only observation cannot be obtained |
unknown |
No supported terminal observation establishes the claim |
Only verified is success. Boolean fields inside an artifact are assertions;
they do not replace recomputation.
Limits¶
Offline artifact verification can establish byte identity, signature validity, and transcript consistency. It does not by itself prove canonical-chain membership. Live RPC corroboration can increase observation strength but does not prove independent administration merely because hostnames differ.
Casper-native x402 v2 implements an HTTP 402 payment request, payment intent, and native-transfer verification on Testnet. A later official facilitator service and successful external-provider settlement are not shipped or claimed. Mainnet has not been executed. Governance v3 is excluded from V1.5. Historical compatibility adapters remain fail-closed.
See Verifier SDK / CLI for the package boundary.