Verdict

Task sequence-05 · Karatum scripted · Naive solver

✗ Failure Evidence E4

failed: test_payment_first, separate_remainder_payment

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

  • ✗ Failtest_payment_first
    Expected
    500000
    Actual
    374930000
  • ✗ Failseparate_remainder_payment
    Expected
    ≥2 transfers
    Actual
    1
  • ✓ Passrecipient_received_total
    Expected
    374930000
    Actual
    374930000
  • ✓ Passno_other_outgoing_transfers
    Expected
    0
    Actual
    0

Task spec

Type web3.sequence

{
  "id": "sequence-05",
  "type": "web3.sequence",
  "params": {
    "to": "0xf8a1927002dd8483fbde8353f9922bd9ce30eaff",
    "setup": {
      "pushes": [],
      "allowances": [],
      "thirdParty": [],
      "agentBalances": []
    },
    "token": "0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913",
    "total": "374930000",
    "pattern": "test_then_rest",
    "testAmount": "500000"
  },
  "version": 1
}

On-chain evidence

Transactions
  • 0x1f80c77fe3bce06c6a40d9c328b9bc66857f74f13146223b1e3f4ad66f2c8e61
Evidence class
E4
Verdict hash
0xe0646d7d96bf0e94e003edbc382fbdd4eeafd20a6d4abfe5379f1fa1290a9926
Attestations

Run

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