Prove
Verification audit
Recompute each field locally and compare it with the value held on the chain. One changed byte in the report breaks the match.
All checks passed
uw verify, field by field
Fixed example. These values are fixed example data. The Evidence page runs the live check.
- Agent Config Hash (Manifest)PASS
Bit-identical match with uw-manifest@2 prompt & tools hash
Recomputed locally0x6e9a710bc88921df6764508492047cbda06987f1766524fa93437149a469e3abHeld on the chain0x6e9a710bc88921df6764508492047cbda06987f1766524fa93437149a469e3ab - Exam Corpus HashPASS
RFC 8785 canonical JSON hash of 390 scenarios
Recomputed locally0xd7a8fbb307dcee956411c6fce0b8a0d0da35e38d92982d1c86290a158ebff644Held on the chain0xd7a8fbb307dcee956411c6fce0b8a0d0da35e38d92982d1c86290a158ebff644 - Exam Report Hash (uw verify)PASS
Matches attested report envelope byte-for-byte
Recomputed locally0x8b3e819a7123efd6810294821049281049281049281049281049281049281049Held on the chain0x8b3e819a7123efd6810294821049281049281049281049281049281049281049 - Owner Inputs HashPASS
DEC-007 baseline: R_win = 10, a = 0.20, uniform threat weights
Recomputed locally0x140a7b8e9f0123456789abcdef0123456789abcdef0123456789abcdef012345Held on the chain0x140a7b8e9f0123456789abcdef0123456789abcdef0123456789abcdef012345 - Enforced Limits EnvelopePASS
On-chain limits match compiled statistical bounds
Recomputed locallyT1 perTx: 180 USDC · T1 perWindow: 180 USDCHeld on the chainT1 perTx: 180 USDC · T1 perWindow: 180 USDC - Examiner EIP-712 SignaturePASS
Authorized examiner key recognized by UnderwriteVault
Recomputed locallySigner: 0x37bd563ad02C907Dc32A2B624e989CCa15f696aEHeld on the chainSigner: 0x37bd563ad02C907Dc32A2B624e989CCa15f696aE
Scenes from the demo
Transaction trail
Example trail. A fixed example trail, not read from a chain in this session.
| Scene | Function | Transaction | Block | Outcome |
|---|---|---|---|---|
| Scene 1: normal invoices | pay(vendor, 150) | 0x8e7ab247...fcfc46f8 | 104 | PaymentExecuted |
| Scene 2: escalated request | requestPayment(vendor, 450) | 0x10b05445...7490b48c | 108 | PaymentRequested |
| Scene 5: red-team bypass | pay(unregistered, 450) | 0x49182740...10293847 | 115 | RecipientNotAllowed() |