urt-rs / docs /research /rust-exit-prefix.json
nmarshall's picture
gameplay: port exit-rule prefix timing
1ed43d4
Raw History Blame Contribute Delete
55.3 kB
{
"limits": "Rust bounded7805 blocked/pending timing prefix matches144 original-QVM cases.7525/6825 are intent outputs only; mode-specific rules, actual transition/client changes and full ranking publication integration remain open.",
"probes": [
{
"input": {
"blocked": -1,
"now": 4294967295,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": -1,
"now": 0,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": -1,
"now": 999,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": -1,
"now": 1000,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": -1,
"now": 4999,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": -1,
"now": 5000,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": -1,
"now": 9999,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": -1,
"now": 10000,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": -1,
"now": 10999,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": -1,
"now": 11000,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": -1,
"now": 14999,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": -1,
"now": 15000,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": -1,
"now": 2147483647,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": -1,
"now": 2147483648,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": -1,
"now": 2147484647,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": -1,
"now": 2147484648,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": -1,
"now": 2147488647,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": -1,
"now": 2147488648,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": -1,
"now": 2147483646,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": -1,
"now": 2147483647,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": -1,
"now": 2147484646,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": -1,
"now": 2147484647,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": -1,
"now": 2147488646,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": -1,
"now": 2147488647,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": -1,
"now": 4294967295,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": -1,
"now": 0,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": -1,
"now": 999,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": -1,
"now": 1000,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": -1,
"now": 4999,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": -1,
"now": 5000,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": -1,
"now": 9999,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": -1,
"now": 10000,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": -1,
"now": 10999,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": -1,
"now": 11000,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": -1,
"now": 14999,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": -1,
"now": 15000,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": -1,
"now": 2147483647,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": -1,
"now": 2147483648,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": -1,
"now": 2147484647,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": -1,
"now": 2147484648,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": -1,
"now": 2147488647,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": -1,
"now": 2147488648,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": -1,
"now": 2147483646,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": -1,
"now": 2147483647,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": -1,
"now": 2147484646,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": -1,
"now": 2147484647,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": -1,
"now": 2147488646,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": -1,
"now": 2147488647,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 0,
"now": 4294967295,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [],
"next": "mode_branch",
"pending": 0
},
"source": {
"calls": [],
"next": "mode_branch",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 0,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [],
"next": "mode_branch",
"pending": 0
},
"source": {
"calls": [],
"next": "mode_branch",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 999,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [],
"next": "mode_branch",
"pending": 0
},
"source": {
"calls": [],
"next": "mode_branch",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 1000,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [],
"next": "mode_branch",
"pending": 0
},
"source": {
"calls": [],
"next": "mode_branch",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 4999,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [],
"next": "mode_branch",
"pending": 0
},
"source": {
"calls": [],
"next": "mode_branch",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 5000,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [],
"next": "mode_branch",
"pending": 0
},
"source": {
"calls": [],
"next": "mode_branch",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 9999,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 0,
"now": 10000,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 0,
"now": 10999,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 0,
"now": 11000,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 14999,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 15000,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 2147483647,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 0,
"now": 2147483648,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 0,
"now": 2147484647,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 0,
"now": 2147484648,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 2147488647,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 2147488648,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 2147483646,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 0,
"now": 2147483647,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 0,
"now": 2147484646,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 0,
"now": 2147484647,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 2147488646,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 2147488647,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 4294967295,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [],
"next": "mode_branch",
"pending": 0
},
"source": {
"calls": [],
"next": "mode_branch",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 0,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [],
"next": "mode_branch",
"pending": 0
},
"source": {
"calls": [],
"next": "mode_branch",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 999,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [],
"next": "mode_branch",
"pending": 0
},
"source": {
"calls": [],
"next": "mode_branch",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 1000,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [],
"next": "mode_branch",
"pending": 0
},
"source": {
"calls": [],
"next": "mode_branch",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 4999,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [],
"next": "mode_branch",
"pending": 0
},
"source": {
"calls": [],
"next": "mode_branch",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 5000,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [],
"next": "mode_branch",
"pending": 0
},
"source": {
"calls": [],
"next": "mode_branch",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 9999,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 0,
"now": 10000,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 0,
"now": 10999,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 0,
"now": 11000,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 0,
"now": 14999,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 0,
"now": 15000,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 2147483647,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 0,
"now": 2147483648,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 0,
"now": 2147484647,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 0,
"now": 2147484648,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 0,
"now": 2147488647,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 0,
"now": 2147488648,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 0,
"now": 2147483646,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 0,
"now": 2147483647,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 0,
"now": 2147484646,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 0,
"now": 2147484647,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 0,
"now": 2147488646,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 0,
"now": 2147488647,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
6825
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 4294967295,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 0,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 999,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 1000,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 4999,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 5000,
"pending": 0,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 9999,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 1,
"now": 10000,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 1,
"now": 10999,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 1,
"now": 11000,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 1,
"now": 14999,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 1,
"now": 15000,
"pending": 10000,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 1,
"now": 2147483647,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 1,
"now": 2147483648,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 1,
"now": 2147484647,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 1,
"now": 2147484648,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 1,
"now": 2147488647,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 1,
"now": 2147488648,
"pending": -2147483648,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 1,
"now": 2147483646,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 1,
"now": 2147483647,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 1,
"now": 2147484646,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 1,
"now": 2147484647,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 1,
"now": 2147488646,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 1,
"now": 2147488647,
"pending": 2147483647,
"slow": 0
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 1,
"now": 4294967295,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 0,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 999,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 1000,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 4999,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 5000,
"pending": 0,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 0
}
},
{
"input": {
"blocked": 1,
"now": 9999,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 1,
"now": 10000,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 1,
"now": 10999,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 1,
"now": 11000,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 1,
"now": 14999,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 1,
"now": 15000,
"pending": 10000,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 10000
}
},
{
"input": {
"blocked": 1,
"now": 2147483647,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 1,
"now": 2147483648,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 1,
"now": 2147484647,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 1,
"now": 2147484648,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 1,
"now": 2147488647,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 1,
"now": 2147488648,
"pending": -2147483648,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483648
}
},
{
"input": {
"blocked": 1,
"now": 2147483646,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 1,
"now": 2147483647,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 1,
"now": 2147484646,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 1,
"now": 2147484647,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 1,
"now": 2147488646,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
},
{
"input": {
"blocked": 1,
"now": 2147488647,
"pending": 2147483647,
"slow": 1
},
"rust": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
},
"source": {
"calls": [
7525
],
"next": "return_boundary",
"pending": 2147483647
}
}
],
"source_report": "docs/research/qvm-exit-prefix.json",
"source_report_sha256": "87b91577a114649c5b801e0cbbd6d3525b26a9835ca65db3c667d24426bb7c97"
}