{
  "attacks": [
    {
      "blocked": true,
      "detail": "forks=1 -> FEDERATION_CONTESTED",
      "id": "E37-A12",
      "name": "Domain Fork",
      "unauthorized_execution": false
    },
    {
      "blocked": true,
      "detail": "CONTRACT_FORK -> FEDERATION_CONTESTED",
      "id": "E37-A13",
      "name": "Contract Fork",
      "unauthorized_execution": false
    }
  ],
  "rule": "two observers recording different (contract_hash, afo_hash) for the same seq -> CONTESTED; a lagging observer is not a fork",
  "vectors": [
    {
      "expected": {
        "fork_seqs": []
      },
      "histories": {
        "A": [
          {
            "afo_hash": "a0",
            "contract_hash": "c0",
            "seq": 0
          },
          {
            "afo_hash": "a1",
            "contract_hash": "c1",
            "seq": 1
          }
        ],
        "B": [
          {
            "afo_hash": "a0",
            "contract_hash": "c0",
            "seq": 0
          },
          {
            "afo_hash": "a1",
            "contract_hash": "c1",
            "seq": 1
          }
        ]
      },
      "kind": "fork",
      "vector_id": "E37-FORK-001"
    },
    {
      "expected": {
        "fork_seqs": []
      },
      "histories": {
        "A": [
          {
            "afo_hash": "a0",
            "contract_hash": "c0",
            "seq": 0
          },
          {
            "afo_hash": "a1",
            "contract_hash": "c1",
            "seq": 1
          }
        ],
        "B": [
          {
            "afo_hash": "a0",
            "contract_hash": "c0",
            "seq": 0
          }
        ]
      },
      "kind": "fork",
      "vector_id": "E37-FORK-002"
    },
    {
      "expected": {
        "fork_seqs": [
          1
        ]
      },
      "histories": {
        "A": [
          {
            "afo_hash": "a0",
            "contract_hash": "c0",
            "seq": 0
          },
          {
            "afo_hash": "a1",
            "contract_hash": "c1",
            "seq": 1
          }
        ],
        "B": [
          {
            "afo_hash": "a0",
            "contract_hash": "c0",
            "seq": 0
          },
          {
            "afo_hash": "a1",
            "contract_hash": "cX",
            "seq": 1
          }
        ]
      },
      "kind": "fork",
      "vector_id": "E37-FORK-003"
    },
    {
      "expected": {
        "fork_seqs": [
          0
        ]
      },
      "histories": {
        "A": [
          {
            "afo_hash": "a0",
            "contract_hash": "c0",
            "seq": 0
          },
          {
            "afo_hash": "a1",
            "contract_hash": "c1",
            "seq": 1
          }
        ],
        "B": [
          {
            "afo_hash": "a0",
            "contract_hash": "c0",
            "seq": 0
          },
          {
            "afo_hash": "a1",
            "contract_hash": "c1",
            "seq": 1
          }
        ],
        "C": [
          {
            "afo_hash": "a0",
            "contract_hash": "cY",
            "seq": 0
          }
        ]
      },
      "kind": "fork",
      "vector_id": "E37-FORK-004"
    }
  ]
}