{
  "all_passed": true,
  "original_sha256": "256361806357bbc14b16072ffd52f6e4551daa5d03cc52f0f78ff25e3b5faf32",
  "vectors": 19752,
  "counts": {
    "chooseBallTarget": 4000,
    "chooseCentralTarget": 960,
    "isActiveMatchPlayer": 2880,
    "chooseGoalkeeper": 1200,
    "chooseSetPieceTaker": 4800,
    "countSetPieceCandidates": 4800,
    "minutesPlayed": 600,
    "isEventClassA": 256,
    "isEventClassB": 256
  },
  "instruction_coverage": {
    "chooseBallTarget": {
      "visited": 193,
      "total": 193,
      "unvisited": []
    },
    "chooseCentralTarget": {
      "visited": 68,
      "total": 73,
      "unvisited": [
        "0x55dc3",
        "0x55dc6",
        "0x55dc9",
        "0x55dcb",
        "0x55dce"
      ]
    },
    "isActiveMatchPlayer": {
      "visited": 51,
      "total": 51,
      "unvisited": []
    },
    "chooseGoalkeeper": {
      "visited": 94,
      "total": 96,
      "unvisited": [
        "0x579b8",
        "0x579bd"
      ]
    },
    "chooseSetPieceTaker": {
      "visited": 122,
      "total": 122,
      "unvisited": []
    },
    "countSetPieceCandidates": {
      "visited": 56,
      "total": 56,
      "unvisited": []
    },
    "minutesPlayed": {
      "visited": 30,
      "total": 30,
      "unvisited": []
    },
    "isEventClassA": {
      "visited": 21,
      "total": 21,
      "unvisited": []
    },
    "isEventClassB": {
      "visited": 42,
      "total": 42,
      "unvisited": []
    }
  },
  "vectors_sha256": "446eaf406317e6a992ee3f7485488f14ad1998a6aba5ad007a43b843c5ef1867",
  "scope": "Exact observed outputs and RNG state for nine match routines. Main match loop, shot outcomes, fouls, fitness, commentary and result accounting are not reconstructed by these checks. No-keeper fatal UI excluded; byte event classifiers exhaustively checked."
}