urt-rs / docs /research /rust-protected-update.json
nmarshall's picture
gameplay: port protected progress
7869ad1
Raw History Blame Contribute Delete
23.8 kB
{
"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"
}