{ "limits": "Rust matches 168 original target selections and five six-step RNG sequences. It preserves first32-match collection, actual xorshift word transitions, single conditional draw, modulo selection and null/missing diagnostic intentions. Native initialization, message rendering and live world ownership remain open.", "probes": [ { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 0 }, "source": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 0 } }, { "rust": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 69206049 }, "source": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 69206049 } }, { "rust": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 65011743 }, "source": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 65011743 } }, { "rust": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 2076088695 }, "source": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 2076088695 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 0 }, "source": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 0 } }, { "rust": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 69206049 }, "source": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 69206049 } }, { "rust": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 65011743 }, "source": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 65011743 } }, { "rust": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 2076088695 }, "source": { "diagnostic": null, "matches": [ 0 ], "result": 0, "rng_state": 2076088695 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4 ], "result": 0, "rng_state": 0 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4 ], "result": 0, "rng_state": 0 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4 ], "result": 3, "rng_state": 69206049 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4 ], "result": 3, "rng_state": 69206049 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4 ], "result": 1, "rng_state": 65011743 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4 ], "result": 1, "rng_state": 65011743 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4 ], "result": 4, "rng_state": 2076088695 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4 ], "result": 4, "rng_state": 2076088695 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2 ], "result": 0, "rng_state": 0 }, "source": { "diagnostic": null, "matches": [ 0, 2 ], "result": 0, "rng_state": 0 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2 ], "result": 2, "rng_state": 69206049 }, "source": { "diagnostic": null, "matches": [ 0, 2 ], "result": 2, "rng_state": 69206049 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2 ], "result": 2, "rng_state": 65011743 }, "source": { "diagnostic": null, "matches": [ 0, 2 ], "result": 2, "rng_state": 65011743 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2 ], "result": 2, "rng_state": 2076088695 }, "source": { "diagnostic": null, "matches": [ 0, 2 ], "result": 2, "rng_state": 2076088695 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30 ], "result": 0, "rng_state": 0 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30 ], "result": 0, "rng_state": 0 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30 ], "result": 2, "rng_state": 69206049 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30 ], "result": 2, "rng_state": 69206049 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30 ], "result": 0, "rng_state": 65011743 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30 ], "result": 0, "rng_state": 65011743 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30 ], "result": 9, "rng_state": 2076088695 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30 ], "result": 9, "rng_state": 2076088695 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 0, "rng_state": 0 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 0, "rng_state": 0 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 8, "rng_state": 69206049 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 8, "rng_state": 69206049 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 2, "rng_state": 65011743 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 2, "rng_state": 65011743 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 30, "rng_state": 2076088695 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 30, "rng_state": 2076088695 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 0, "rng_state": 0 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 0, "rng_state": 0 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 1, "rng_state": 69206049 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 1, "rng_state": 69206049 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 31, "rng_state": 65011743 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 31, "rng_state": 65011743 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 23, "rng_state": 2076088695 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 23, "rng_state": 2076088695 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 0, "rng_state": 0 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 0, "rng_state": 0 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 8, "rng_state": 69206049 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 8, "rng_state": 69206049 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 2, "rng_state": 65011743 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 2, "rng_state": 65011743 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 30, "rng_state": 2076088695 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30 ], "result": 30, "rng_state": 2076088695 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 0, "rng_state": 0 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 0, "rng_state": 0 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 1, "rng_state": 69206049 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 1, "rng_state": 69206049 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 31, "rng_state": 65011743 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 31, "rng_state": 65011743 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 23, "rng_state": 2076088695 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 23, "rng_state": 2076088695 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32 ], "result": 0, "rng_state": 0 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32 ], "result": 0, "rng_state": 0 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32 ], "result": 0, "rng_state": 69206049 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32 ], "result": 0, "rng_state": 69206049 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32 ], "result": 30, "rng_state": 65011743 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32 ], "result": 30, "rng_state": 65011743 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32 ], "result": 20, "rng_state": 2076088695 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32 ], "result": 20, "rng_state": 2076088695 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 0, "rng_state": 0 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 0, "rng_state": 0 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 1, "rng_state": 69206049 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 1, "rng_state": 69206049 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 31, "rng_state": 65011743 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 31, "rng_state": 65011743 } }, { "rust": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 23, "rng_state": 2076088695 }, "source": { "diagnostic": null, "matches": [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 ], "result": 23, "rng_state": 2076088695 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "null", "matches": [], "result": -1, "rng_state": 305419896 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32, 36, 42, 44, 48, 50, 54, 56, 60, 62, 68 ], "result": 0, "rng_state": 0 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32, 36, 42, 44, 48, 50, 54, 56, 60, 62, 68 ], "result": 0, "rng_state": 0 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32, 36, 42, 44, 48, 50, 54, 56, 60, 62, 68 ], "result": 42, "rng_state": 69206049 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32, 36, 42, 44, 48, 50, 54, 56, 60, 62, 68 ], "result": 42, "rng_state": 69206049 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32, 36, 42, 44, 48, 50, 54, 56, 60, 62, 68 ], "result": 32, "rng_state": 65011743 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32, 36, 42, 44, 48, 50, 54, 56, 60, 62, 68 ], "result": 32, "rng_state": 65011743 } }, { "rust": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32, 36, 42, 44, 48, 50, 54, 56, 60, 62, 68 ], "result": 30, "rng_state": 2076088695 }, "source": { "diagnostic": null, "matches": [ 0, 2, 6, 8, 12, 14, 18, 20, 26, 30, 32, 36, 42, 44, 48, 50, 54, 56, 60, 62, 68 ], "result": 30, "rng_state": 2076088695 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 0 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 1 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 4294967295 } }, { "rust": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 }, "source": { "diagnostic": "missing", "matches": [], "result": -1, "rng_state": 305419896 } } ], "sequences": [ { "rust": [ { "state": 0, "value": 0 }, { "state": 0, "value": 0 }, { "state": 0, "value": 0 }, { "state": 0, "value": 0 }, { "state": 0, "value": 0 }, { "state": 0, "value": 0 } ], "source": [ { "state": 0, "value": 0 }, { "state": 0, "value": 0 }, { "state": 0, "value": 0 }, { "state": 0, "value": 0 }, { "state": 0, "value": 0 }, { "state": 0, "value": 0 } ] }, { "rust": [ { "state": 69206049, "value": 33 }, { "state": 1025, "value": 1025 }, { "state": 2216723505, "value": 1073 }, { "state": 1108345369, "value": 537 }, { "state": 657473853, "value": 16701 }, { "state": 311977631, "value": 26271 } ], "source": [ { "state": 69206049, "value": 33 }, { "state": 1025, "value": 1025 }, { "state": 2216723505, "value": 1073 }, { "state": 1108345369, "value": 537 }, { "state": 657473853, "value": 16701 }, { "state": 311977631, "value": 26271 } ] }, { "rust": [ { "state": 65011743, "value": 31 }, { "state": 1023, "value": 1023 }, { "state": 2212527119, "value": 31759 }, { "state": 1108344295, "value": 32231 }, { "state": 588267779, "value": 16643 }, { "state": 1836605806, "value": 24942 } ], "source": [ { "state": 65011743, "value": 31 }, { "state": 1023, "value": 1023 }, { "state": 2212527119, "value": 31759 }, { "state": 1108344295, "value": 32231 }, { "state": 588267779, "value": 16643 }, { "state": 1836605806, "value": 24942 } ] }, { "rust": [ { "state": 2076088695, "value": 6519 }, { "state": 4270700424, "value": 14216 }, { "state": 4265297559, "value": 18071 }, { "state": 3081999457, "value": 5217 }, { "state": 1239488584, "value": 6216 }, { "state": 1556222275, "value": 4419 } ], "source": [ { "state": 2076088695, "value": 6519 }, { "state": 4270700424, "value": 14216 }, { "state": 4265297559, "value": 18071 }, { "state": 3081999457, "value": 5217 }, { "state": 1239488584, "value": 6216 }, { "state": 1556222275, "value": 4419 } ] }, { "rust": [ { "state": 2147483664, "value": 16 }, { "state": 3254780424, "value": 520 }, { "state": 3808445204, "value": 17172 }, { "state": 2978488706, "value": 8578 }, { "state": 3100381653, "value": 4565 }, { "state": 3488492396, "value": 11116 } ], "source": [ { "state": 2147483664, "value": 16 }, { "state": 3254780424, "value": 520 }, { "state": 3808445204, "value": 17172 }, { "state": 2978488706, "value": 8578 }, { "state": 3100381653, "value": 4565 }, { "state": 3488492396, "value": 11116 } ] } ], "source_report": "docs/research/qvm-target-pick.json", "source_report_sha256": "ce028008ee15bf285bc7d74c2290d6ead15c95478c9611d871a5edcfee11e21a" }