{
  "limits": "Pure Rust progress/flag/state result and event selection match152386 finite fixtures. Event allocation, attacker copying and lifecycle callbacks remain caller work; invalid float/integer conversion explicitly rejects. Host macOS only.",
  "probes": [
    {
      "input": {
        "attacker": false,
        "count": -10,
        "flag": 0,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": -10,
        "flag": 0,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": -10,
        "flag": 1,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": -10,
        "flag": 1,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": -10,
        "flag": 0,
        "heat": 10
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": -10,
        "flag": 0,
        "heat": 10
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": -10,
        "flag": 1,
        "heat": 10
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": -10,
        "flag": 1,
        "heat": 10
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": -10,
        "flag": 0,
        "heat": 10.75
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": -10,
        "flag": 0,
        "heat": 10.75
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": -10,
        "flag": 1,
        "heat": 10.75
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": -10,
        "flag": 1,
        "heat": 10.75
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 0,
        "flag": 0,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 0,
        "flag": 0,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 0,
        "flag": 1,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 0,
        "flag": 1,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 0,
        "flag": 0,
        "heat": 10
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 0,
        "flag": 0,
        "heat": 10
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 0,
        "flag": 1,
        "heat": 10
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 0,
        "flag": 1,
        "heat": 10
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 0,
        "flag": 0,
        "heat": 10.75
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 0,
        "flag": 0,
        "heat": 10.75
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 0,
        "flag": 1,
        "heat": 10.75
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 0,
        "flag": 1,
        "heat": 10.75
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 10,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 31989,
        "flag": 0,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31989,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31989,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 31989,
        "flag": 0,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31989,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31989,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 31989,
        "flag": 1,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31989,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31989,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 31989,
        "flag": 1,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31989,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31989,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 31989,
        "flag": 0,
        "heat": 10
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 31989,
        "flag": 0,
        "heat": 10
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 31989,
        "flag": 1,
        "heat": 10
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 31989,
        "flag": 1,
        "heat": 10
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 31989,
        "flag": 0,
        "heat": 10.75
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 31989,
        "flag": 0,
        "heat": 10.75
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 31989,
        "flag": 1,
        "heat": 10.75
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 31989,
        "flag": 1,
        "heat": 10.75
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31999,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 31990,
        "flag": 0,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31990,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31990,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 31990,
        "flag": 0,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31990,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31990,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 31990,
        "flag": 1,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31990,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31990,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 31990,
        "flag": 1,
        "heat": 0
      },
      "rust": {
        "104": 131071,
        "220": 131071,
        "232": 31990,
        "4": 0,
        "6332": 0,
        "event": 0
      },
      "source": {
        "104": 131071,
        "220": 131071,
        "232": 31990,
        "4": 0,
        "6332": 0,
        "event": 0
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 31990,
        "flag": 0,
        "heat": 10
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 108
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 108
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 31990,
        "flag": 1,
        "heat": 10
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 31990,
        "flag": 1,
        "heat": 10
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 31990,
        "flag": 0,
        "heat": 10.75
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 108
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 108
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 31990,
        "flag": 1,
        "heat": 10.75
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 31990,
        "flag": 1,
        "heat": 10.75
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 32000,
        "flag": 0,
        "heat": 0
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 108
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 108
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 32000,
        "flag": 1,
        "heat": 0
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 32000,
        "flag": 1,
        "heat": 0
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 32000,
        "flag": 0,
        "heat": 10
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 108
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 108
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 32000,
        "flag": 1,
        "heat": 10
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 32000,
        "flag": 1,
        "heat": 10
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 32000,
        "flag": 0,
        "heat": 10.75
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 108
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 108
      }
    },
    {
      "input": {
        "attacker": false,
        "count": 32000,
        "flag": 1,
        "heat": 10.75
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      }
    },
    {
      "input": {
        "attacker": true,
        "count": 32000,
        "flag": 1,
        "heat": 10.75
      },
      "rust": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      },
      "source": {
        "104": 131055,
        "220": 114687,
        "232": 0,
        "4": 0,
        "6332": 0,
        "event": 107
      }
    }
  ],
  "rejections": [
    {
      "error": "unsupported input: UnsupportedConversion",
      "exit_code": 2,
      "heat_word": 2143289344
    },
    {
      "error": "unsupported input: UnsupportedConversion",
      "exit_code": 2,
      "heat_word": 2139095040
    },
    {
      "error": "unsupported input: UnsupportedConversion",
      "exit_code": 2,
      "heat_word": 2139095039
    }
  ],
  "source_report": "docs/research/qvm-protected-update.json",
  "source_report_sha256": "5b96b13629c9a01c6c111e27a42b8c563e9b26cfe88d8685906b634df15ecda6"
}