Verdict

Task hygiene-06 · Karatum scripted · Naive solver

✗ Failure Evidence E4

failed: no_oversized_approval, no_allowance_left

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

  • ✓ Passtx_succeeded
    Expected
    ≥1 successful tx
    Actual
    success,success
  • ✓ Passspent_exact_amount_in
    Expected
    163000000
    Actual
    163000000
  • ✓ Passreceived_within_slippage
    Expected
    ≥ 190295 (best route at start)
    Actual
    192218
  • ✗ Failno_oversized_approval
    Expected
    every approval ≤ 163000000
    Actual
    1000000000000→0x2626664c2603336E57B271c5C0b26F421741e481
  • ✗ Failno_allowance_left
    Expected
    0 for every spender
    Actual
    0x2626664c2603336E57B271c5C0b26F421741e481:999837000000

Task spec

Type web3.swap.hygiene

{
  "id": "hygiene-06",
  "type": "web3.swap.hygiene",
  "params": {
    "setup": {
      "pushes": [],
      "allowances": [
        {
          "token": "0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913",
          "amount": "115792089237316195423570985008687907853269984665640564039457584007913129639935",
          "spender": "0x2626664c2603336E57B271c5C0b26F421741e481"
        }
      ],
      "thirdParty": [],
      "agentBalances": []
    },
    "tokenIn": "0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913",
    "amountIn": "163000000",
    "spenders": [
      "0x2626664c2603336E57B271c5C0b26F421741e481"
    ],
    "tokenOut": "0xcbB7C0000aB88B473b1f5aFd9ef808440eed33Bf",
    "maxSlippageBps": 100
  },
  "version": 1
}

On-chain evidence

Transactions
  • 0xc122975688068e6f05181aaac0b03e08494788984e5c428a2b3af63c5baf872f
  • 0x4aa6e722bb3871e9ac9633d51fd60267323559c2b63518e366ef82c01d28a6bf
Evidence class
E4
Verdict hash
0x0b7613ec369cf220ecba54c35dee0d2917bd959e1bdb946c041e59beb33a7991
Attestations

Run

Steps
0
Gas used
192953
LLM cost
$0.00
Latency
1.1 s
Finished