Two deployments, one verifiable story.
Resvyn’s current hardened contract is live and source-verified on BOT Chain Mainnet. The earlier proof instance is preserved separately because it contains a complete disposable warranty lifecycle: reserve funding, coverage, claim, evaluator-authorized payout, and reserve reconciliation. The proof verifier below reads that recorded lifecycle directly from chain 677.
Hardened WarrantyReserve
Source verified on BOTScan. The public app reads this contract live. A disposable 0.001 BOT smoke reserve is present; writes stay fail-closed until the evaluator manifest and operational flag are deliberately enabled.
Archived contract, full lifecycle receipts
This instance is intentionally read-only. Every state card and receipt below is re-read from BOT Chain Mainnet rather than treated as a screenshot or local log.
Reads go straight to rpc.botchain.ai over JSON-RPC from your browser. No wallet, no backend, no indexer. If the RPC is unreachable the recorded proof below still renders in full. Press Re-verify to retry.
Read now from chain 677
Each card compares the live read to the value recorded when the proof fired. Badges turn green only when the live chain agrees.
Six settled transactions
The full lifecycle. Each receipt is re-fetched live from chain 677: status, block, and gas are read now, not printed from a log.
| Step | Value | Event | Block | Gas | Live receipt | Transaction |
|---|---|---|---|---|---|---|
Deploy WarrantyReserve by merchant | - | - | 19219910 | 2,855,243 | checking | 0x36f9…d84f |
Deposit reserve by merchant | 0.005 BOT | ReserveDeposited | 19219912 | 45,804 | checking | 0x9939…da32 |
Issue coverage #1 (lock 0.001) by merchant | - | CoverageIssued | 19219914 | 207,758 | checking | 0xb3b5…3919 |
Open claim #1 by buyer | - | ClaimOpened | 19219917 | 165,620 | checking | 0x1178…aa40 |
Resolve: evaluator-signed approve and pay by merchant | 0.001 BOT to buyer | ClaimPaid | 19219919 | 117,884 | checking | 0x22fd…bb2d |
Withdraw free reserve by merchant | 0.004 BOT reclaimed | ReserveWithdrawn | 19219923 | 33,990 | checking | 0x0a94…b01e |
Each row links to BOTScan. The live-receipt badge is set from a direct eth_getTransactionReceipt call in your browser and turns green only when the chain returns status success with the expected block, gas, and event.
The settlement, and the two attacks it rejects
Bounded AI decision
brain to strict schema gate to contract-bound EIP-712 signature, verified on-chain by resolveClaim
- Decision
- APPROVE
- Reason
- ELIGIBLE_DAMAGE_VERIFIED
- Amount
- 0.001 BOT
- Signer
- 0xb1CB…455E
- Bound to
- claim 1 · coverage 1 · chain 677
- On-chain result
- ClaimPaid, nonce burned
The signer is immutable, bound once at deploy with no setter. Only its signature settles a claim, and the decision is bound to the exact claim, coverage, claimant, evidence hash, amount, and chain. A decision for one claim cannot be replayed onto another.
Negative proofs
Both enforced at the contract level as call-level rejections. No transaction, no state change, no balance moved.