Verdict

Task hygiene-04 · 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
    256000000
    Actual
    256000000
  • ✓ Passreceived_within_slippage
    Expected
    ≥ 298870 (best route at start)
    Actual
    301889
  • ✗ Failno_oversized_approval
    Expected
    every approval ≤ 256000000
    Actual
    1000000000000→0x2626664c2603336E57B271c5C0b26F421741e481
  • ✗ Failno_allowance_left
    Expected
    0 for every spender
    Actual
    0x2626664c2603336E57B271c5C0b26F421741e481:999744000000, 0x7a931515d7e8cc37a03528886d01cf7896c6b4c2:812000000

Task spec

Type web3.swap.hygiene

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

On-chain evidence

Transactions
  • 0x7f934ff23a68b49f5b8bdd3a1397291a3472484249ce6f6d1224391f0243d989
  • 0xec4a19ef735759cd1bf292e6c87af3bb142ab749af39e612585c5a2b7e81336b
Evidence class
E4
Verdict hash
0xfe01034a1a37d784d33a8508b1565fea9b5fd495422d6e8f25a55c29a6ae01b7
Attestations

Run

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