{ "limits": "Rust matches 39 original begin-transition cases, preserving timestamp guard semantics, fallback IDs, entity-client field clear and preparation/slow/respawn/move/publication order. Native work stays typed effects; invalid counts reject before mutation.", "probes": [ { "rust": { "blocked": 123456, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ 6328, -1 ] ] }, "source": { "blocked": 123456, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 123456, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ 6328, -1 ] ] }, "source": { "blocked": 123456, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] }, "source": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] }, "source": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 51, "4324": 0 }, { "140": 2, "4324": 0 }, { "140": 53, "4324": 0 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 175123, 1 ], [ 6575, 1 ], [ 175123, 2 ], [ 6575, 2 ], [ 175123, 3 ], [ 6575, 3 ], [ 6328, -1 ] ] }, "source": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 51, "4324": 0 }, { "140": 2, "4324": 0 }, { "140": 53, "4324": 0 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 175123, 1 ], [ 6575, 1 ], [ 175123, 2 ], [ 6575, 2 ], [ 175123, 3 ], [ 6575, 3 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 0 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 175123, 2 ], [ 6575, 2 ], [ 6328, -1 ] ] }, "source": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 0 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 175123, 2 ], [ 6575, 2 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 123456, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ -6, -1 ], [ 156523, -1 ], [ 6328, -1 ] ] }, "source": { "blocked": 123456, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ -6, -1 ], [ 156523, -1 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 123456, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ -6, -1 ], [ 156523, -1 ], [ 6328, -1 ] ] }, "source": { "blocked": 123456, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ -6, -1 ], [ 156523, -1 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ -6, -1 ], [ 156523, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] }, "source": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ -6, -1 ], [ 156523, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ -6, -1 ], [ 156523, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] }, "source": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ -6, -1 ], [ 156523, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 51, "4324": 0 }, { "140": 2, "4324": 0 }, { "140": 53, "4324": 0 } ], "effects": [ [ 6717, -1 ], [ -6, -1 ], [ 156523, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 175123, 1 ], [ 6575, 1 ], [ 175123, 2 ], [ 6575, 2 ], [ 175123, 3 ], [ 6575, 3 ], [ 6328, -1 ] ] }, "source": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 51, "4324": 0 }, { "140": 2, "4324": 0 }, { "140": 53, "4324": 0 } ], "effects": [ [ 6717, -1 ], [ -6, -1 ], [ 156523, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 175123, 1 ], [ 6575, 1 ], [ 175123, 2 ], [ 6575, 2 ], [ 175123, 3 ], [ 6575, 3 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 0 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ -6, -1 ], [ 156523, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 175123, 2 ], [ 6575, 2 ], [ 6328, -1 ] ] }, "source": { "blocked": 123456, "clients": [ { "140": 0, "4324": 0 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 0 }, { "140": 99, "4324": 77 } ], "effects": [ [ 6717, -1 ], [ -6, -1 ], [ 156523, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 175123, 2 ], [ 6575, 2 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 1, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] }, "source": { "blocked": 4294967295, "clients": [ { "140": 0, "4324": 77 }, { "140": 99, "4324": 77 }, { "140": 2, "4324": 77 }, { "140": 99, "4324": 77 } ], "effects": [] } }, { "rust": { "blocked": 0, "clients": [ { "140": 4294967295, "4324": 0 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] }, "source": { "blocked": 0, "clients": [ { "140": 4294967295, "4324": 0 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 2147483648, "clients": [ { "140": 4294967295, "4324": 0 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] }, "source": { "blocked": 2147483648, "clients": [ { "140": 4294967295, "4324": 0 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] } }, { "rust": { "blocked": 2147483647, "clients": [ { "140": 4294967295, "4324": 0 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] }, "source": { "blocked": 2147483647, "clients": [ { "140": 4294967295, "4324": 0 } ], "effects": [ [ 6717, -1 ], [ 175123, 0 ], [ 6575, 0 ], [ 6328, -1 ] ] } } ], "source_report": "docs/research/qvm-intermission-begin.json", "source_report_sha256": "85a7f079e58289aa5f2c4717fff350b379ed8f27add12fd5d6de0abac5a68057" }