{
  "fixture_only": true,
  "network": "local-pyevm-not-amoy",
  "can_assert_xcim_pass": false,
  "cases": [
    {
      "id": "constructor-zero-0",
      "constructor": [
        "ZERO",
        "T",
        "I",
        "publisher",
        "guardian"
      ],
      "error": "InvalidCommitment"
    },
    {
      "id": "constructor-zero-1",
      "constructor": [
        "G",
        "ZERO",
        "I",
        "publisher",
        "guardian"
      ],
      "error": "InvalidCommitment"
    },
    {
      "id": "constructor-zero-2",
      "constructor": [
        "G",
        "T",
        "ZERO",
        "publisher",
        "guardian"
      ],
      "error": "InvalidCommitment"
    },
    {
      "id": "constructor-publisher",
      "constructor": [
        "G",
        "T",
        "I",
        "zero_address",
        "guardian"
      ],
      "error": "InvalidCommitment"
    },
    {
      "id": "constructor-guardian",
      "constructor": [
        "G",
        "T",
        "I",
        "publisher",
        "zero_address"
      ],
      "error": "InvalidCommitment"
    },
    {
      "id": "constructor-same-roles",
      "constructor": [
        "G",
        "T",
        "I",
        "publisher",
        "publisher"
      ],
      "error": "InvalidCommitment"
    },
    {
      "id": "first-checkpoint",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        }
      ]
    },
    {
      "id": "successor",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        },
        {
          "method": "anchor",
          "args": [
            2,
            "C2",
            "C1"
          ]
        }
      ]
    },
    {
      "id": "zero-event-renewal-distinct-C",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        },
        {
          "method": "anchor",
          "args": [
            2,
            "C2",
            "C1"
          ]
        },
        {
          "method": "anchor",
          "args": [
            3,
            "C3",
            "C2"
          ]
        }
      ]
    },
    {
      "id": "retry-head",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        },
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ],
          "retry": true
        }
      ]
    },
    {
      "id": "retry-history",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        },
        {
          "method": "anchor",
          "args": [
            2,
            "C2",
            "C1"
          ]
        },
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ],
          "retry": true
        }
      ]
    },
    {
      "id": "conflicting-C",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        },
        {
          "method": "anchor",
          "args": [
            1,
            "C2",
            "ZERO"
          ],
          "error": "ConflictingCheckpoint"
        }
      ]
    },
    {
      "id": "conflicting-prev",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        },
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "C2"
          ],
          "error": "ConflictingCheckpoint"
        }
      ]
    },
    {
      "id": "sequence-zero",
      "steps": [
        {
          "method": "anchor",
          "args": [
            0,
            "C1",
            "ZERO"
          ],
          "error": "InvalidSequence"
        }
      ]
    },
    {
      "id": "jump-first",
      "steps": [
        {
          "method": "anchor",
          "args": [
            2,
            "C1",
            "ZERO"
          ],
          "error": "InvalidSequence"
        }
      ]
    },
    {
      "id": "safe-overflow",
      "steps": [
        {
          "method": "anchor",
          "args": [
            9007199254740992,
            "C1",
            "ZERO"
          ],
          "error": "InvalidSequence"
        }
      ]
    },
    {
      "id": "uint64-max",
      "steps": [
        {
          "method": "anchor",
          "args": [
            18446744073709551615,
            "C1",
            "ZERO"
          ],
          "error": "InvalidSequence"
        }
      ]
    },
    {
      "id": "abi-overflow",
      "steps": [
        {
          "method": "anchor",
          "args": [
            18446744073709551616,
            "C1",
            "ZERO"
          ],
          "error": "ABI_REVERT"
        }
      ]
    },
    {
      "id": "zero-C",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "ZERO",
            "ZERO"
          ],
          "error": "InvalidCommitment"
        }
      ]
    },
    {
      "id": "bad-first-prev",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "C2"
          ],
          "error": "InvalidSequence"
        }
      ]
    },
    {
      "id": "guardian-publish",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ],
          "sender": "guardian",
          "error": "UnauthorizedPublisher"
        }
      ]
    },
    {
      "id": "outsider-publish",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ],
          "sender": "outsider",
          "error": "UnauthorizedPublisher"
        }
      ]
    },
    {
      "id": "jump-after-first",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        },
        {
          "method": "anchor",
          "args": [
            3,
            "C2",
            "C1"
          ],
          "error": "InvalidSequence"
        }
      ]
    },
    {
      "id": "wrong-successor-prev",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        },
        {
          "method": "anchor",
          "args": [
            2,
            "C2",
            "ZERO"
          ],
          "error": "InvalidSequence"
        }
      ]
    },
    {
      "id": "publisher-cannot-halt",
      "steps": [
        {
          "method": "halt",
          "sender": "publisher",
          "error": "UnauthorizedGuardian"
        }
      ]
    },
    {
      "id": "outsider-cannot-halt",
      "steps": [
        {
          "method": "halt",
          "sender": "outsider",
          "error": "UnauthorizedGuardian"
        }
      ]
    },
    {
      "id": "halt-empty",
      "steps": [
        {
          "method": "halt",
          "sender": "guardian"
        }
      ]
    },
    {
      "id": "halt-retains-history",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        },
        {
          "method": "anchor",
          "args": [
            2,
            "C2",
            "C1"
          ]
        },
        {
          "method": "halt",
          "sender": "guardian"
        }
      ]
    },
    {
      "id": "halt-blocks-new",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        },
        {
          "method": "halt",
          "sender": "guardian"
        },
        {
          "method": "anchor",
          "args": [
            2,
            "C2",
            "C1"
          ],
          "error": "Halted"
        }
      ]
    },
    {
      "id": "halt-blocks-retry",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        },
        {
          "method": "halt",
          "sender": "guardian"
        },
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ],
          "error": "Halted"
        }
      ]
    },
    {
      "id": "halt-idempotent",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ]
        },
        {
          "method": "halt",
          "sender": "guardian"
        },
        {
          "method": "halt",
          "sender": "guardian",
          "retry": true
        }
      ]
    },
    {
      "id": "unknown-selector",
      "steps": [
        {
          "method": "halt",
          "raw_data": "0xffffffff",
          "error": "ABI_REVERT"
        }
      ]
    },
    {
      "id": "nonpayable",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ],
          "value": 1,
          "error": "ABI_REVERT"
        }
      ]
    },
    {
      "id": "short-calldata",
      "steps": [
        {
          "method": "anchor",
          "args": [
            1,
            "C1",
            "ZERO"
          ],
          "raw_data": "0x7494b1af",
          "error": "ABI_REVERT"
        }
      ]
    }
  ]
}