{
 "v": 1,
 "kind": "aere-conformance-vector",
 "id": "market-timeline/s3.arbiter-no-dispute",
 "artifact": "market-timeline",
 "title": "the dispute withheld from the timeline: a resolution with no dispute, and an event the job state implies is missing",
 "source": "derived from market-timeline/s3-paid-after-dispute.valid",
 "requires": [],
 "exercises": [
  "market.arbiter",
  "market.complete",
  "market.deadline",
  "market.form",
  "market.payout",
  "market.posting",
  "market.proof",
  "market.replay",
  "market.result",
  "market.window"
 ],
 "base": "market-timeline/s3-paid-after-dispute.valid",
 "mutation": {
  "op": "remove",
  "path": [
   "events",
   3
  ]
 },
 "input": {
  "chainId": 28001,
  "market": "0x4145d6f639436d840957F2D4B9f2e73f34F56B5D",
  "jobId": "7",
  "constants": {
   "arbiter": "0x5521aC7371Afdbf6BE986B46Da4116fb256d9e58",
   "governance": "0x86D6C68408DDb2CC0d1cf4dFd6e07d3830600fAF",
   "arbitrationTimeout": 1209600,
   "zkVerifier": "0x70099E62735500AA2F85B60C518551a57B202d54",
   "pinnedProofSelector": "0x4388a21c"
  },
  "job": {
   "requester": "0x86D6C68408DDb2CC0d1cf4dFd6e07d3830600fAF",
   "provider": "0xeC2261CECBB06768F6db095822b429AF5c861E2e",
   "token": "0x0000000000000000000000000000000000000000",
   "reward": "0",
   "providerBond": "0",
   "specHash": "0x33d4d459ac50fbf9089cfbbdf51416f7f9d8fd8794f03f4788bef4b679be0e06",
   "resultHash": "0x20595189a5aae95406d466972f780d5b04408146e30afdcc66449836a67b240a",
   "zkProgramVKey": "0x0000000000000000000000000000000000000000000000000000000000000000",
   "mode": 0,
   "status": 5,
   "pqcSettlement": false,
   "offchainResult": false,
   "deadline": 1790960390,
   "challengeWindow": 90,
   "submittedAt": 1790959804,
   "disputedAt": 1790959809
  },
  "events": [
   {
    "name": "JobPosted",
    "args": {
     "id": "7",
     "requester": "0x86D6C68408DDb2CC0d1cf4dFd6e07d3830600fAF",
     "token": "0x0000000000000000000000000000000000000000",
     "reward": "10000000000000000",
     "mode": "0",
     "specHash": "0x33d4d459ac50fbf9089cfbbdf51416f7f9d8fd8794f03f4788bef4b679be0e06",
     "deadline": "1790960390",
     "pqcSettlement": false
    },
    "blockNumber": 4446395,
    "blockHash": "0xdaec8217b35341244eb65c7a06bc6d817c44888c0e2c673d2278091e7c308a83",
    "timestamp": 1790959791,
    "txHash": "0x8c0ab87432b8e3e4b8a53f9ef3fd9d217e214f106ff637368ab75f0ed68c300d",
    "from": "0x86D6C68408DDb2CC0d1cf4dFd6e07d3830600fAF",
    "logIndex": 0
   },
   {
    "name": "JobClaimed",
    "args": {
     "id": "7",
     "provider": "0xeC2261CECBB06768F6db095822b429AF5c861E2e",
     "providerBond": "4000000000000000"
    },
    "blockNumber": 4446404,
    "blockHash": "0x31141aeb86c3bc3f7f3e0b493aa69a2a4d2e1952c09181f2ed3bc8e32b062c97",
    "timestamp": 1790959797,
    "txHash": "0x78e05e10e9b9aca97b0e26ce9e868dd017b57fcce4248bf65701b06ed44d1d1a",
    "from": "0xeC2261CECBB06768F6db095822b429AF5c861E2e",
    "logIndex": 0
   },
   {
    "name": "ResultSubmitted",
    "args": {
     "id": "7",
     "resultHash": "0x20595189a5aae95406d466972f780d5b04408146e30afdcc66449836a67b240a",
     "result": "0x7b22646967657374223a22307838613832333664613464396231373164613863643538643832373738376535656539323739316533643262353665313537383163313938336363326464396531222c226974657273223a32303030302c2273656564223a22307835336332636462336533653661373430633966643838303063636139643530656338343638316237366635353437633235333630393064623736323462303964222c227461736b223a226b656363616b2d636861696e227d"
    },
    "blockNumber": 4446415,
    "blockHash": "0x27d0fdbd6383be65aa8549cae7f87436255111ccb57597f92f0eb78a8c568d20",
    "timestamp": 1790959804,
    "txHash": "0xf4b8f42fa5cad3827bbe234348b687dfec24d0b3e55f5ae162d66891239353e8",
    "from": "0xeC2261CECBB06768F6db095822b429AF5c861E2e",
    "logIndex": 0
   },
   {
    "name": "JobPaid",
    "args": {
     "id": "7",
     "provider": "0xeC2261CECBB06768F6db095822b429AF5c861E2e",
     "token": "0x0000000000000000000000000000000000000000",
     "reward": "10000000000000000",
     "bondReturned": "4000000000000000"
    },
    "blockNumber": 4446436,
    "blockHash": "0x0e01a68f00de85f42a89054e785755699653ca065746982b153565be3051c2fd",
    "timestamp": 1790959815,
    "txHash": "0x7eb96d3a9703668a275d233daeb829435e6eb08fdb30f9179f0ed806b2926e8e",
    "from": "0x5521aC7371Afdbf6BE986B46Da4116fb256d9e58",
    "logIndex": 0
   },
   {
    "name": "DisputeResolved",
    "args": {
     "id": "7",
     "providerWon": true
    },
    "blockNumber": 4446436,
    "blockHash": "0x0e01a68f00de85f42a89054e785755699653ca065746982b153565be3051c2fd",
    "timestamp": 1790959815,
    "txHash": "0x7eb96d3a9703668a275d233daeb829435e6eb08fdb30f9179f0ed806b2926e8e",
    "from": "0x5521aC7371Afdbf6BE986B46Da4116fb256d9e58",
    "logIndex": 1
   }
  ],
  "result": "0x7b22646967657374223a22307838613832333664613464396231373164613863643538643832373738376535656539323739316533643262353665313537383163313938336363326464396531222c226974657273223a32303030302c2273656564223a22307835336332636462336533653661373430633966643838303063636139643530656338343638316237366635353437633235333630393064623736323462303964222c227461736b223a226b656363616b2d636861696e227d"
 },
 "expected": {
  "verdict": "INVALID",
  "failed": [
   "market.arbiter",
   "market.complete"
  ],
  "levels": {
   "integrity": "FAILED",
   "authenticity": "NOT_MEASURED",
   "anchoring": "NOT_MEASURED",
   "finality": "NOT_MEASURED"
  }
 }
}