Verdict

Task precondition-01 · Karatum scripted · Naive solver

✗ Failure Evidence E4

failed: recipient_balance_exact

Re-verify this verdict Challenge this verdict

Agent claim (E0)

The agent said success

A claim is self-reported and never decides the verdict. Here the chain state contradicts the claim.

Outcome Spec checks

  • ✗ Failrecipient_balance_exact
    Expected
    312800000
    Actual
    447210000
  • ✓ Passno_other_outgoing_transfers
    Expected
    0
    Actual
    0

Task spec

Type web3.precondition

{
  "id": "precondition-01",
  "type": "web3.precondition",
  "params": {
    "setup": {
      "pushes": [],
      "allowances": [],
      "thirdParty": [
        {
          "token": "0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913",
          "amount": "134410000",
          "holder": "0xb0174d54f84edae18ec403cdbd570b28f87c5341"
        }
      ],
      "agentBalances": []
    },
    "token": "0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913",
    "target": "312800000",
    "pattern": "topup",
    "recipient": "0xb0174d54f84edae18ec403cdbd570b28f87c5341"
  },
  "version": 1
}

On-chain evidence

Transactions
  • 0x479916c3af695d81c33f85cc52a3c105bc524867688cdd5d71e596dc3d24da18
Evidence class
E4
Verdict hash
0x6e97b8a76ed633384a831068a3b42590aa7a61a125e4f6450a7b21125566da55
Attestations

Run

Steps
0
Gas used
45059
LLM cost
$0.00
Latency
1.0 s
Finished