urt-rs / docs /research /rust-leaderboard.json
nmarshall's picture
gameplay: port leaderboard selection
c6b0240
Raw History Blame Contribute Delete
60.9 kB
{
"limits": "Rust mapping matches33 source cases and joint selector77 corrected-reentry source cases. Caller enumerates valid live-client/key candidates in source order. Nonfinite ratios explicitly reject. Category orchestration/native/publication/runtime parity remain open.",
"mapping": [
{
"key": -2147483648,
"rust": {
"slot": -1
},
"source": -1
},
{
"key": -1,
"rust": {
"slot": -1
},
"source": -1
},
{
"key": 0,
"rust": {
"slot": -1
},
"source": -1
},
{
"key": 1,
"rust": {
"slot": -1
},
"source": -1
},
{
"key": 2,
"rust": {
"slot": 9
},
"source": 9
},
{
"key": 3,
"rust": {
"slot": 8
},
"source": 8
},
{
"key": 4,
"rust": {
"slot": 11
},
"source": 11
},
{
"key": 5,
"rust": {
"slot": 4
},
"source": 4
},
{
"key": 6,
"rust": {
"slot": 5
},
"source": 5
},
{
"key": 7,
"rust": {
"slot": -1
},
"source": -1
},
{
"key": 8,
"rust": {
"slot": 2
},
"source": 2
},
{
"key": 9,
"rust": {
"slot": 0
},
"source": 0
},
{
"key": 10,
"rust": {
"slot": 7
},
"source": 7
},
{
"key": 11,
"rust": {
"slot": -1
},
"source": -1
},
{
"key": 12,
"rust": {
"slot": -1
},
"source": -1
},
{
"key": 13,
"rust": {
"slot": -1
},
"source": -1
},
{
"key": 14,
"rust": {
"slot": 6
},
"source": 6
},
{
"key": 15,
"rust": {
"slot": 1
},
"source": 1
},
{
"key": 16,
"rust": {
"slot": -1
},
"source": -1
},
{
"key": 17,
"rust": {
"slot": 10
},
"source": 10
},
{
"key": 18,
"rust": {
"slot": -1
},
"source": -1
},
{
"key": 19,
"rust": {
"slot": 3
},
"source": 3
},
{
"key": 20,
"rust": {
"slot": 12
},
"source": 12
},
{
"key": 21,
"rust": {
"slot": 13
},
"source": 13
},
{
"key": 22,
"rust": {
"slot": 14
},
"source": 14
},
{
"key": 23,
"rust": {
"slot": 15
},
"source": 15
},
{
"key": 24,
"rust": {
"slot": 16
},
"source": 16
},
{
"key": 25,
"rust": {
"slot": 17
},
"source": 17
},
{
"key": 26,
"rust": {
"slot": 18
},
"source": 18
},
{
"key": 27,
"rust": {
"slot": 19
},
"source": 19
},
{
"key": 28,
"rust": {
"slot": -1
},
"source": -1
},
{
"key": 29,
"rust": {
"slot": -1
},
"source": -1
},
{
"key": 2147483647,
"rust": {
"slot": -1
},
"source": -1
}
],
"probes": [
{
"input": {
"active": [
0
],
"pattern": 0
},
"rust": {
"record": {
"0": 5,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 5,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
0
],
"pattern": 1
},
"rust": {
"record": {
"0": 5,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 5,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
0
],
"pattern": 2
},
"rust": {
"record": {
"0": 1,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 1,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
0
],
"pattern": 3
},
"rust": {
"record": {
"0": 4,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
},
"source": {
"record": {
"0": 4,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
}
},
{
"input": {
"active": [
0
],
"pattern": 4
},
"rust": {
"record": {
"0": 5,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 5,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
0
],
"pattern": 5
},
"rust": {
"record": {
"0": 5,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 5,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
0
],
"pattern": 6
},
"rust": {
"record": {
"0": 2147483647,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 2147483647,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
4
],
"pattern": 0
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 5,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 5,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
4
],
"pattern": 1
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 5,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 5,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
4
],
"pattern": 2
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 1,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 1,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
4
],
"pattern": 3
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
}
},
{
"input": {
"active": [
4
],
"pattern": 4
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 5,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 5,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
4
],
"pattern": 5
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 5,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 5,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
4
],
"pattern": 6
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 2147483647,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 2147483647,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
8
],
"pattern": 0
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 5
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 5
},
"selected": 63
}
},
{
"input": {
"active": [
8
],
"pattern": 1
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 5
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 5
},
"selected": 0
}
},
{
"input": {
"active": [
8
],
"pattern": 2
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 1
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 1
},
"selected": 0
}
},
{
"input": {
"active": [
8
],
"pattern": 3
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4
},
"selected": 5
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4
},
"selected": 5
}
},
{
"input": {
"active": [
8
],
"pattern": 4
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 5
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 5
},
"selected": 63
}
},
{
"input": {
"active": [
8
],
"pattern": 5
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4
},
"selected": 63
}
},
{
"input": {
"active": [
8
],
"pattern": 6
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 2147483647
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 2147483647
},
"selected": 0
}
},
{
"input": {
"active": [
12
],
"pattern": 0
},
"rust": {
"record": {
"0": 4294967295,
"12": 5,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 5,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
12
],
"pattern": 1
},
"rust": {
"record": {
"0": 4294967295,
"12": 5,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 5,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
12
],
"pattern": 2
},
"rust": {
"record": {
"0": 4294967295,
"12": 1,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 1,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
12
],
"pattern": 3
},
"rust": {
"record": {
"0": 4294967295,
"12": 4,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
},
"source": {
"record": {
"0": 4294967295,
"12": 4,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
}
},
{
"input": {
"active": [
12
],
"pattern": 4
},
"rust": {
"record": {
"0": 4294967295,
"12": 5,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 5,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
12
],
"pattern": 5
},
"rust": {
"record": {
"0": 4294967295,
"12": 5,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 5,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
12
],
"pattern": 6
},
"rust": {
"record": {
"0": 4294967295,
"12": 2147483647,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 2147483647,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
24
],
"pattern": 0
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 5,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 5,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
24
],
"pattern": 1
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 5,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 5,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
24
],
"pattern": 2
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 1,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 1,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
24
],
"pattern": 3
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
}
},
{
"input": {
"active": [
24
],
"pattern": 4
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 5,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 5,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
24
],
"pattern": 5
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 5,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 5,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
24
],
"pattern": 6
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 2147483647,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 2147483647,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
40
],
"pattern": 0
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 5,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 5,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
40
],
"pattern": 1
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 5,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 5,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
40
],
"pattern": 2
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 1,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 1,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
40
],
"pattern": 3
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
}
},
{
"input": {
"active": [
40
],
"pattern": 4
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 5,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 5,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
40
],
"pattern": 5
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 5,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 5,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
40
],
"pattern": 6
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 2147483647,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 2147483647,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
56
],
"pattern": 0
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 1084227584,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 1084227584,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
56
],
"pattern": 1
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 1084227584,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 1084227584,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
56
],
"pattern": 2
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 1065353216,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 1065353216,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
56
],
"pattern": 3
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 1082130432,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 1082130432,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
}
},
{
"input": {
"active": [
56
],
"pattern": 4
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 0,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 0,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
}
},
{
"input": {
"active": [
56
],
"pattern": 5
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 1084227584,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 1084227584,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
56
],
"pattern": 6
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 1120796672,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 1120796672,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
60
],
"pattern": 0
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 5,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 5,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
60
],
"pattern": 1
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 5,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 5,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
60
],
"pattern": 2
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 1,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 1,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
60
],
"pattern": 3
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4,
"64": 4294967295,
"8": 4294967295
},
"selected": 5
}
},
{
"input": {
"active": [
60
],
"pattern": 4
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 5,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 5,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
60
],
"pattern": 5
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 5,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 5,
"64": 4294967295,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
60
],
"pattern": 6
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 2147483647,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 2147483647,
"64": 4294967295,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
64
],
"pattern": 0
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 5,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 5,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
64
],
"pattern": 1
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 5,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 5,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
64
],
"pattern": 2
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 1,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 1,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
64
],
"pattern": 3
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4,
"8": 4294967295
},
"selected": 5
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4,
"8": 4294967295
},
"selected": 5
}
},
{
"input": {
"active": [
64
],
"pattern": 4
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 5,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 5,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
64
],
"pattern": 5
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 5,
"8": 4294967295
},
"selected": 63
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 5,
"8": 4294967295
},
"selected": 63
}
},
{
"input": {
"active": [
64
],
"pattern": 6
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 2147483647,
"8": 4294967295
},
"selected": 0
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 2147483647,
"8": 4294967295
},
"selected": 0
}
},
{
"input": {
"active": [
0,
4,
8,
12,
24,
40,
56,
60,
64
],
"pattern": 0
},
"rust": {
"record": {
"0": 5,
"12": 5,
"24": 5,
"4": 5,
"40": 5,
"56": 1084227584,
"60": 5,
"64": 5,
"8": 5
},
"selected": 63
},
"source": {
"record": {
"0": 5,
"12": 5,
"24": 5,
"4": 5,
"40": 5,
"56": 1084227584,
"60": 5,
"64": 5,
"8": 5
},
"selected": 63
}
},
{
"input": {
"active": [
0,
4,
8,
12,
24,
40,
56,
60,
64
],
"pattern": 1
},
"rust": {
"record": {
"0": 5,
"12": 5,
"24": 5,
"4": 5,
"40": 5,
"56": 1084227584,
"60": 5,
"64": 5,
"8": 5
},
"selected": 0
},
"source": {
"record": {
"0": 5,
"12": 5,
"24": 5,
"4": 5,
"40": 5,
"56": 1084227584,
"60": 5,
"64": 5,
"8": 5
},
"selected": 0
}
},
{
"input": {
"active": [
0,
4,
8,
12,
24,
40,
56,
60,
64
],
"pattern": 2
},
"rust": {
"record": {
"0": 1,
"12": 1,
"24": 1,
"4": 1,
"40": 1,
"56": 1065353216,
"60": 1,
"64": 1,
"8": 1
},
"selected": 0
},
"source": {
"record": {
"0": 1,
"12": 1,
"24": 1,
"4": 1,
"40": 1,
"56": 1065353216,
"60": 1,
"64": 1,
"8": 1
},
"selected": 0
}
},
{
"input": {
"active": [
0,
4,
8,
12,
24,
40,
56,
60,
64
],
"pattern": 3
},
"rust": {
"record": {
"0": 4,
"12": 4,
"24": 4,
"4": 4,
"40": 4,
"56": 1082130432,
"60": 4,
"64": 4,
"8": 4
},
"selected": 5
},
"source": {
"record": {
"0": 4,
"12": 4,
"24": 4,
"4": 4,
"40": 4,
"56": 1082130432,
"60": 4,
"64": 4,
"8": 4
},
"selected": 5
}
},
{
"input": {
"active": [
0,
4,
8,
12,
24,
40,
56,
60,
64
],
"pattern": 4
},
"rust": {
"record": {
"0": 0,
"12": 0,
"24": 0,
"4": 0,
"40": 0,
"56": 0,
"60": 0,
"64": 0,
"8": 0
},
"selected": -1
},
"source": {
"record": {
"0": 0,
"12": 0,
"24": 0,
"4": 0,
"40": 0,
"56": 0,
"60": 0,
"64": 0,
"8": 0
},
"selected": -1
}
},
{
"input": {
"active": [
0,
4,
8,
12,
24,
40,
56,
60,
64
],
"pattern": 5
},
"rust": {
"record": {
"0": 5,
"12": 1,
"24": 1,
"4": 1,
"40": 1,
"56": 1065353216,
"60": 1,
"64": 1,
"8": 1
},
"selected": 0
},
"source": {
"record": {
"0": 5,
"12": 1,
"24": 1,
"4": 1,
"40": 1,
"56": 1065353216,
"60": 1,
"64": 1,
"8": 1
},
"selected": 0
}
},
{
"input": {
"active": [
0,
4,
8,
12,
24,
40,
56,
60,
64
],
"pattern": 6
},
"rust": {
"record": {
"0": 2147483647,
"12": 2147483647,
"24": 2147483647,
"4": 2147483647,
"40": 2147483647,
"56": 1120403456,
"60": 2147483647,
"64": 2147483647,
"8": 2147483647
},
"selected": 0
},
"source": {
"record": {
"0": 2147483647,
"12": 2147483647,
"24": 2147483647,
"4": 2147483647,
"40": 2147483647,
"56": 1120403456,
"60": 2147483647,
"64": 2147483647,
"8": 2147483647
},
"selected": 0
}
},
{
"input": {
"active": [],
"pattern": 0
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
}
},
{
"input": {
"active": [],
"pattern": 1
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
}
},
{
"input": {
"active": [],
"pattern": 2
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
}
},
{
"input": {
"active": [],
"pattern": 3
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
}
},
{
"input": {
"active": [],
"pattern": 4
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
}
},
{
"input": {
"active": [],
"pattern": 5
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
}
},
{
"input": {
"active": [],
"pattern": 6
},
"rust": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
},
"source": {
"record": {
"0": 4294967295,
"12": 4294967295,
"24": 4294967295,
"4": 4294967295,
"40": 4294967295,
"56": 3212836864,
"60": 4294967295,
"64": 4294967295,
"8": 4294967295
},
"selected": -1
}
}
],
"rejection": {
"error": "unsupported input: NonFinite",
"exit_code": 2
},
"source_reports": {
"docs/research/qvm-leaderboard-layout.json": "cf280b133ffbfd92d32d2a7b7b89491743f113c3360bf6750dbb16fac9707028",
"docs/research/qvm-leaderboard-selector.json": "7657ba06907255e392c9ad6ff8f403feb42c4026f5b857e2e6882ce15e90d617"
}
}