{
  "completedUTC": "2026-10-31T14:28:40.615893+00:00",
  "classification": "Existing-position redemption by an operator-gated protocol batch; no new secondary-sender operation or withdrawal shown.",
  "exactTransaction": {
    "hash": "0xc3e51bcdf7f9313a3df03aeb35fe32b9a39ec25dc10e6e94a2b5eb388e9fc326",
    "URL": "https://polygonscan.com/tx/0xc3e51bcdf7f9313a3df03aeb35fe32b9a39ec25dc10e6e94a2b5eb388e9fc326",
    "block": 96497558,
    "UTC": "2026-10-31T13:03:13+00:00",
    "outerSenderBundler": "0x741cadc70f75f9eaf17de15488a9bf28bb6e28d9",
    "outerToPaymaster": "0x84ba896235059fe27727eaa2695a9f99220d9a7e",
    "outerMethod": "handleOps((address,uint256,bytes,bytes,bytes32,uint256,bytes32,bytes,bytes)[],address)"
  },
  "authorization": {
    "userOperationCount": 1,
    "userOperationSender": "0x9ac51922639e635de84593dc34a825cf897a4e32",
    "secondaryUserOperation": false,
    "nestedCall": "redeemBinary(address[],bytes32[])",
    "nestedTarget": "0xa1200000d0002264c9a1698e001292d00e1b00af",
    "batchHolders": 20,
    "secondaryIndex": 8,
    "gate": "onlyOperator, rolebit2",
    "operatorRoleBeforeAfter": 2,
    "secondaryCTFApprovalBeforeAfter": true,
    "secondaryOwnerBeforeAfterAndSnapshot": "0x0543635ef8e7981c4885fcfc187bc8564481ef74",
    "secondaryDepositWalletNonceBeforeAfterAndSnapshot": 3,
    "implementationBeforeAfter": "0x64860bfd14fccaac09cd36f347784a9616afb66c",
    "getterSuccess": 12,
    "boundaryBlocks": [
      96497557,
      96497558,
      96500319
    ]
  },
  "payout": {
    "recipient": "0x5a2764fbbe5d139ef0ed988ec5f95320ce730c0b",
    "pUSDReceived": "20.000000",
    "sourcePolicy": "PublishedredeemBinarywraps collateralpayout toeachholderfrom;theactualreceiptmints20pUSDtothatsecondary.",
    "tokenID": "22857689191705902914703917548313316696021829594125732093031288909324812610612",
    "tokenAmountRaw": "20000000",
    "relevantEventIndices": [
      560,
      561,
      562,
      563,
      564,
      565,
      566,
      567,
      568,
      569
    ]
  },
  "interpretation": "The on-chainpath isprotocolAutoRedeemeroperatorautomationusingexistingCTFapproval. Itdoesnot requirea newsecondarysignature inthiscall,doesnotshowa newsecondarywithdrawalorownerchange,anddoesnotidentifywhooff-chaintriggeredthejoborcontrolsoperatorcredentials. The20pUSDreplacesanexistingposition;donotadd20asanadditionaltheftloss.",
  "providerFailures": "Publicnode12archivegettererrorsretained;independentdRPC12itembatchrejectedfreebatchcap. Same12fixedqueriesinsupportedmax3batchesall succeeded;failureswerenotzero values.",
  "verification": {
    "UTC": "2026-10-31T14:27:06.024027+00:00",
    "PASS": true,
    "replayResult": {
      "PASS": true,
      "transaction": "0xc3e51bcdf7f9313a3df03aeb35fe32b9a39ec25dc10e6e94a2b5eb388e9fc326",
      "batchHolders": 20,
      "userOperationSender": "0x9ac51922639e635de84593dc34a825cf897a4e32",
      "secondaryUserOperation": false,
      "secondaryIndex": 8,
      "secondaryContractNonceBeforeAfter": 3,
      "priorCTFApproval": true,
      "operatorRoles": 2,
      "implementation": "0x64860bfd14fccaac09cd36f347784a9616afb66c",
      "conditionId": "0x3741a0ff538932e434962792b65bc90c0d84cf6d30f0afe6d27426e82b1e570e",
      "redeemedTokenID": "22857689191705902914703917548313316696021829594125732093031288909324812610612",
      "rawUnits": 20000000,
      "pUSDReceived": "20.000000",
      "receiptAndHeaderBindings": true,
      "fixedGetterObservations": 12,
      "scope": "Saved RPC/calldata/event/state consistency only; source declarations and full consensus are not authenticated by this offline replay."
    },
    "networkBlocked": true,
    "networkAttempts": 0,
    "negativeControls": [
      {
        "changedInput": "mintAmount",
        "rejected": true
      },
      {
        "changedInput": "priorApproval",
        "rejected": true
      },
      {
        "changedInput": "secondaryNonce",
        "rejected": true
      },
      {
        "changedInput": "operatorRole",
        "rejected": true
      }
    ]
  },
  "limits": [
    "Blockboundarygetterstates are not an exactintra-transactionstorage trace.",
    "Publishedsource/implementationmapping not independentlyrecompiled tobytecode.",
    "No freshhumanattackeractivity,serviceownership or Car relationship inferredfrombundler/paymaster/operator addresses.",
    "No otherholderprofiles,additionalvictimclaims orbroadhistoryperformed."
  ],
  "fullSourceBodiesLocalOnly": true,
  "earlierLiveStateAndAttackerProofsUnchanged": true,
  "noMoreRequestsPending": true
}