Verdict

Task precondition-02 · Karatum scripted · Naive solver

✗ Failure Evidence E4

failed: no_unneeded_action

Re-verify 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

  • ✗ Failno_unneeded_action
    Expected
    no transactions (already satisfied)
    Actual
    2 tx

Task spec

Type web3.precondition

{
  "id": "precondition-02",
  "type": "web3.precondition",
  "params": {
    "setup": {
      "pushes": [],
      "allowances": [],
      "thirdParty": [],
      "agentBalances": [
        {
          "token": "0x4200000000000000000000000000000000000006",
          "amount": "28000000000000000"
        }
      ]
    },
    "pattern": "ensure_min",
    "tokenIn": "0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913",
    "maxSpend": "13000000",
    "tokenOut": "0x4200000000000000000000000000000000000006",
    "minHolding": "26000000000000000"
  },
  "version": 1
}

On-chain evidence

Transactions
  • 0x851b5e47490872155970ca049c06399cae42817ccede2078c166d9b564bbb93b
  • 0x11657e63569702413ee39f2991a5c31a4126087767d6621068ba6c399ae86863
Evidence class
E4
Verdict hash
0x3528611acde2e61538f2db7369e603da524c350fa8b6e2d25a09702b38f58316
Attestations

Run

Steps
0
Gas used
178260
LLM cost
$0.00
Latency
3.2 s
Finished