{ "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" } }