qvm: recover team aggregate counters

docs/ASSET_PIPELINE_TODO.md

@@ -937,3 +937,6 @@ Research progress: RE-758 [report](research/QVM_STAT_TOTALS.md); original assets
 
 
 Research progress: RE-759 [report](research/QVM_STAT_RATIOS.md); original assets unchanged.
+
+
+Research progress: RE-760 [report](research/QVM_TEAM_COUNTERS.md); original assets unchanged.

docs/FINDINGS.md

@@ -1283,3 +1283,6 @@ RE-725–734 batch: [health, contact and Rust impulse findings](research/QVM_HEA
 
 
 **RE-759 — Complete divisor normalized totals and ratio publication:** 279586 publishes reduced integer totals and a source-order float32 ratio using actual totals and283488 divisor behavior. [Evidence](research/QVM_STAT_RATIOS.md).
+
+
+**RE-760 — Complete same team aggregate counters and participant gates:** 279720 increments first-client2444 and second-client2516 only for distinct same-team clients in supported modes. [Evidence](research/QVM_TEAM_COUNTERS.md).

docs/PROVISIONAL_TODO.md

@@ -1278,3 +1278,6 @@ Research progress: RE-758 [report](research/QVM_STAT_TOTALS.md); full native/pla
 
 
 Research progress: RE-759 [report](research/QVM_STAT_RATIOS.md); full native/platform/game scope remains open.
+
+
+Research progress: RE-760 [report](research/QVM_TEAM_COUNTERS.md); full native/platform/game scope remains open.

docs/RESEARCH_LEDGER.md

@@ -1449,3 +1449,8 @@ Exactly ten task commits follow baseline `ae4d61e7`. Each task passed focused `c
 ## 2026-10-21 — RE-759 Complete divisor normalized totals and ratio publication
 
 279586 publishes reduced integer totals and a source-order float32 ratio using actual totals and283488 divisor behavior. Focused `cargo xtask test-group stat-ratios` passes (3 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 226409 bytes. Full-suite validation is deferred to the tenth batch commit. No original assets, Rust runtime or shared VM evaluator changed.
+
+
+## 2026-10-21 — RE-760 Complete same team aggregate counters and participant gates
+
+279720 increments first-client2444 and second-client2516 only for distinct same-team clients in supported modes. Focused `cargo xtask test-group team-counters` passes (3 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 77671 bytes. Full-suite validation is deferred to the tenth batch commit. No original assets, Rust runtime or shared VM evaluator changed.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1321,3 +1321,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-759 Complete divisor normalized totals and ratio publication ([report](research/QVM_STAT_RATIOS.md)).
+
+
+- [x] RE-760 Complete same team aggregate counters and participant gates ([report](research/QVM_TEAM_COUNTERS.md)).

docs/research/QVM_TEAM_COUNTERS.md

@@ -0,0 +1,7 @@
+# Complete same team aggregate counters and participant gates
+
+RE-760. Reproduce with `python3 scripts/analyze_qvm_team_counters.py`; validate with `cargo xtask test-group team-counters`. See the [machine report](qvm-team-counters.json).
+
+Recovered complete279720 across56 mode/team/self/null/client/wrapping fixtures with actual33715. No in-use gate is added: source validity checks are pointer/client presence, mode, team equality and entity inequality. Numeric counter meanings, aggregate lifetime ownership and native parity remain open.
+
+No original executable/full VM/native world collision or rendering runs. Supplied callback/native responses and fixture domains remain explicit; complete macOS/Linux Rust/Bevy/Solari gameplay remains open.

docs/research/README.md

@@ -873,3 +873,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-759: Complete divisor normalized totals and ratio publication](QVM_STAT_RATIOS.md).
+
+
+[RE-760: Complete same team aggregate counters and participant gates](QVM_TEAM_COUNTERS.md).

docs/research/qvm-team-counters.json

@@ -0,0 +1,3617 @@
+{
+  "limits": "Complete279720 with actual33715, null/client/team/self gates and wrapping counters. Updates first client2444 and second client2516 only for distinct same-team participants. Native parity and complete stat lifecycle ownership remain open.",
+  "probes": [
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 10,
+                "trace_sha256": "4d2d465a7d2ac9ad9fc09ae0d8fe2e9a5c444cf39d044626c74dd8aa53138d46"
+              },
+              "input": 2,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 2,
+        "same": false,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 10,
+                "trace_sha256": "4d2d465a7d2ac9ad9fc09ae0d8fe2e9a5c444cf39d044626c74dd8aa53138d46"
+              },
+              "input": 2,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 2,
+        "same": false,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 10,
+                "trace_sha256": "4d2d465a7d2ac9ad9fc09ae0d8fe2e9a5c444cf39d044626c74dd8aa53138d46"
+              },
+              "input": 2,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 2,
+        "same": false,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 10,
+                "trace_sha256": "4d2d465a7d2ac9ad9fc09ae0d8fe2e9a5c444cf39d044626c74dd8aa53138d46"
+              },
+              "input": 2,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 2,
+        "same": false,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 10,
+                "trace_sha256": "4d2d465a7d2ac9ad9fc09ae0d8fe2e9a5c444cf39d044626c74dd8aa53138d46"
+              },
+              "input": 2,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 2,
+        "same": true,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 10,
+                "trace_sha256": "4d2d465a7d2ac9ad9fc09ae0d8fe2e9a5c444cf39d044626c74dd8aa53138d46"
+              },
+              "input": 2,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 2,
+        "same": true,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 10,
+                "trace_sha256": "4d2d465a7d2ac9ad9fc09ae0d8fe2e9a5c444cf39d044626c74dd8aa53138d46"
+              },
+              "input": 2,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 2,
+        "same": true,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 10,
+                "trace_sha256": "4d2d465a7d2ac9ad9fc09ae0d8fe2e9a5c444cf39d044626c74dd8aa53138d46"
+              },
+              "input": 2,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 2,
+        "same": true,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 3
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 3
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 3,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 58,
+        "trace_sha256": "dfbd3d55a6ec782eacbf02fd26973244466e9a5a09e2024142da0f94b10cde37"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 3,
+        "same": false,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 3
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 3
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 3,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 58,
+        "trace_sha256": "dfbd3d55a6ec782eacbf02fd26973244466e9a5a09e2024142da0f94b10cde37"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 3,
+        "same": false,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 3
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 3
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 3,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 63,
+        "trace_sha256": "2f4f2b3f5fb4710e085733df62c2bedf047d31875d9abc0ecc42f1d0fc44f608"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 3,
+        "same": false,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 3
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 3
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 3,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 63,
+        "trace_sha256": "2f4f2b3f5fb4710e085733df62c2bedf047d31875d9abc0ecc42f1d0fc44f608"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 3,
+        "same": false,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 3
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 3
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 3,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 97,
+        "trace_sha256": "a9a9dd49ecc96ab1aed23c15e075328a1783acd0a6c3ca368205def2b6dbd49e"
+      },
+      "final": {
+        "actor": [
+          1,
+          0
+        ],
+        "victim": [
+          0,
+          1
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 3,
+        "same": true,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 3
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 3
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 3,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 97,
+        "trace_sha256": "a9a9dd49ecc96ab1aed23c15e075328a1783acd0a6c3ca368205def2b6dbd49e"
+      },
+      "final": {
+        "actor": [
+          0,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 3,
+        "same": true,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 3
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 3
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 3,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 63,
+        "trace_sha256": "2f4f2b3f5fb4710e085733df62c2bedf047d31875d9abc0ecc42f1d0fc44f608"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 3,
+        "same": true,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 3
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 3
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 3,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 63,
+        "trace_sha256": "2f4f2b3f5fb4710e085733df62c2bedf047d31875d9abc0ecc42f1d0fc44f608"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 3,
+        "same": true,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 9
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 9
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 14,
+                "trace_sha256": "e160a2a03b30e885fee65e60bbd9514ac20ad973a73d51a3508d59f8503f65db"
+              },
+              "input": 9,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 9,
+        "same": false,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 9
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 9
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 14,
+                "trace_sha256": "e160a2a03b30e885fee65e60bbd9514ac20ad973a73d51a3508d59f8503f65db"
+              },
+              "input": 9,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 9,
+        "same": false,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 9
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 9
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 14,
+                "trace_sha256": "e160a2a03b30e885fee65e60bbd9514ac20ad973a73d51a3508d59f8503f65db"
+              },
+              "input": 9,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 9,
+        "same": false,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 9
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 9
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 14,
+                "trace_sha256": "e160a2a03b30e885fee65e60bbd9514ac20ad973a73d51a3508d59f8503f65db"
+              },
+              "input": 9,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 9,
+        "same": false,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 9
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 9
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 14,
+                "trace_sha256": "e160a2a03b30e885fee65e60bbd9514ac20ad973a73d51a3508d59f8503f65db"
+              },
+              "input": 9,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 9,
+        "same": true,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 9
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 9
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 14,
+                "trace_sha256": "e160a2a03b30e885fee65e60bbd9514ac20ad973a73d51a3508d59f8503f65db"
+              },
+              "input": 9,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 9,
+        "same": true,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 9
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 9
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 14,
+                "trace_sha256": "e160a2a03b30e885fee65e60bbd9514ac20ad973a73d51a3508d59f8503f65db"
+              },
+              "input": 9,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 9,
+        "same": true,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 9
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 9
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 14,
+                "trace_sha256": "e160a2a03b30e885fee65e60bbd9514ac20ad973a73d51a3508d59f8503f65db"
+              },
+              "input": 9,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 9,
+        "same": true,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 10
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 10
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 10,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 58,
+        "trace_sha256": "dfbd3d55a6ec782eacbf02fd26973244466e9a5a09e2024142da0f94b10cde37"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 10,
+        "same": false,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 10
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 10
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 10,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 58,
+        "trace_sha256": "dfbd3d55a6ec782eacbf02fd26973244466e9a5a09e2024142da0f94b10cde37"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 10,
+        "same": false,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 10
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 10
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 10,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 63,
+        "trace_sha256": "2f4f2b3f5fb4710e085733df62c2bedf047d31875d9abc0ecc42f1d0fc44f608"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 10,
+        "same": false,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 10
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 10
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 10,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 63,
+        "trace_sha256": "2f4f2b3f5fb4710e085733df62c2bedf047d31875d9abc0ecc42f1d0fc44f608"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 10,
+        "same": false,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 10
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 10
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 10,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 97,
+        "trace_sha256": "a9a9dd49ecc96ab1aed23c15e075328a1783acd0a6c3ca368205def2b6dbd49e"
+      },
+      "final": {
+        "actor": [
+          1,
+          0
+        ],
+        "victim": [
+          0,
+          1
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 10,
+        "same": true,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 10
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 10
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 10,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 97,
+        "trace_sha256": "a9a9dd49ecc96ab1aed23c15e075328a1783acd0a6c3ca368205def2b6dbd49e"
+      },
+      "final": {
+        "actor": [
+          0,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 10,
+        "same": true,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 10
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 10
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 10,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 63,
+        "trace_sha256": "2f4f2b3f5fb4710e085733df62c2bedf047d31875d9abc0ecc42f1d0fc44f608"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 10,
+        "same": true,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 10
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 10
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "16193daa2a3321481cfa8e29c3bd20d23ae0f1fec3b4720d1aee99d2bb3d5f04"
+              },
+              "input": 10,
+              "result": 1
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 63,
+        "trace_sha256": "2f4f2b3f5fb4710e085733df62c2bedf047d31875d9abc0ecc42f1d0fc44f608"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 10,
+        "same": true,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 11
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 11
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "cec448ab118dff0b2c2dba42f36becc81e1fbd5e75132d70f2a6df34e4f939d6"
+              },
+              "input": 11,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 11,
+        "same": false,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 11
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 11
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "cec448ab118dff0b2c2dba42f36becc81e1fbd5e75132d70f2a6df34e4f939d6"
+              },
+              "input": 11,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 11,
+        "same": false,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 11
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 11
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "cec448ab118dff0b2c2dba42f36becc81e1fbd5e75132d70f2a6df34e4f939d6"
+              },
+              "input": 11,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 11,
+        "same": false,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 11
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 11
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "cec448ab118dff0b2c2dba42f36becc81e1fbd5e75132d70f2a6df34e4f939d6"
+              },
+              "input": 11,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 11,
+        "same": false,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 11
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 11
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "cec448ab118dff0b2c2dba42f36becc81e1fbd5e75132d70f2a6df34e4f939d6"
+              },
+              "input": 11,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 11,
+        "same": true,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 11
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 11
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "cec448ab118dff0b2c2dba42f36becc81e1fbd5e75132d70f2a6df34e4f939d6"
+              },
+              "input": 11,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 11,
+        "same": true,
+        "self": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 11
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 11
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "cec448ab118dff0b2c2dba42f36becc81e1fbd5e75132d70f2a6df34e4f939d6"
+              },
+              "input": 11,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 11,
+        "same": true,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065825792
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 11
+            },
+            "instruction": 279748,
+            "target": 33715
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 11
+              },
+              "instruction": 279748,
+              "target": 33715
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 18,
+                "trace_sha256": "cec448ab118dff0b2c2dba42f36becc81e1fbd5e75132d70f2a6df34e4f939d6"
+              },
+              "input": 11,
+              "result": 0
+            }
+          }
+        ],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 33,
+        "trace_sha256": "22cdfc3d766ca769766c28c26702351dfd2373fa27c299f9a5fe4b3bcccfbd07"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 11,
+        "same": true,
+        "self": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 0,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 8,
+        "trace_sha256": "f9fff51daa4a4e138da42f2f7b0aa34c9e552d60b3bb6afab95e31267709e47c"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 3,
+        "null_first": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 0,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 8,
+        "trace_sha256": "f9fff51daa4a4e138da42f2f7b0aa34c9e552d60b3bb6afab95e31267709e47c"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 3,
+        "null_first": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 0,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 8,
+        "trace_sha256": "f9fff51daa4a4e138da42f2f7b0aa34c9e552d60b3bb6afab95e31267709e47c"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 10,
+        "null_first": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 0,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 8,
+        "trace_sha256": "f9fff51daa4a4e138da42f2f7b0aa34c9e552d60b3bb6afab95e31267709e47c"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 10,
+        "null_first": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 4,
+        "trace_sha256": "9cb622426e9337f9533ad3c906a67bd6c7d16094850a94bad274484a0f7da421"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 3,
+        "null_second": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 4,
+        "trace_sha256": "9cb622426e9337f9533ad3c906a67bd6c7d16094850a94bad274484a0f7da421"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 3,
+        "null_second": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 4,
+        "trace_sha256": "9cb622426e9337f9533ad3c906a67bd6c7d16094850a94bad274484a0f7da421"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 10,
+        "null_second": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 4,
+        "trace_sha256": "9cb622426e9337f9533ad3c906a67bd6c7d16094850a94bad274484a0f7da421"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 10,
+        "null_second": true
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "78960096f0ea4fee03c7000febc5ac2e708b7cf67d252d523150ea34cf4937f4"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "actor_client": false,
+        "initial": 0,
+        "mode": 3
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "78960096f0ea4fee03c7000febc5ac2e708b7cf67d252d523150ea34cf4937f4"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "actor_client": false,
+        "initial": 4294967295,
+        "mode": 3
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "78960096f0ea4fee03c7000febc5ac2e708b7cf67d252d523150ea34cf4937f4"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "actor_client": false,
+        "initial": 0,
+        "mode": 10
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 22,
+        "trace_sha256": "78960096f0ea4fee03c7000febc5ac2e708b7cf67d252d523150ea34cf4937f4"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "actor_client": false,
+        "initial": 4294967295,
+        "mode": 10
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 15,
+        "trace_sha256": "ee84da4923008ec66855d4e43ed38f68bdd52a264d502be66602bca46dccade0"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 3,
+        "victim_client": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 15,
+        "trace_sha256": "ee84da4923008ec66855d4e43ed38f68bdd52a264d502be66602bca46dccade0"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 3,
+        "victim_client": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 15,
+        "trace_sha256": "ee84da4923008ec66855d4e43ed38f68bdd52a264d502be66602bca46dccade0"
+      },
+      "final": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "initial": {
+        "actor": [
+          0,
+          0
+        ],
+        "victim": [
+          0,
+          0
+        ]
+      },
+      "input": {
+        "initial": 0,
+        "mode": 10,
+        "victim_client": false
+      }
+    },
+    {
+      "arguments": {
+        "8": 2065825792,
+        "12": 2065760256
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "stop": 279818,
+        "trace": null,
+        "trace_length": 15,
+        "trace_sha256": "ee84da4923008ec66855d4e43ed38f68bdd52a264d502be66602bca46dccade0"
+      },
+      "final": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "initial": {
+        "actor": [
+          4294967295,
+          4294967295
+        ],
+        "victim": [
+          4294967295,
+          4294967295
+        ]
+      },
+      "input": {
+        "initial": 4294967295,
+        "mode": 10,
+        "victim_client": false
+      }
+    }
+  ],
+  "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+  "source": {
+    "archive": "zUrT43_qvm.pk3",
+    "archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796",
+    "member": {
+      "bytes": 983300,
+      "comment_hex": "",
+      "compressed_bytes": 246560,
+      "compression": 8,
+      "crc32": "98ea1768",
+      "create_system": 0,
+      "create_version": 63,
+      "date_time": [
+        2018,
+        6,
+        18,
+        22,
+        11,
+        50
+      ],
+      "directory": false,
+      "entry_index": 2,
+      "external_attr": 32,
+      "extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201",
+      "extract_version": 20,
+      "flags": 0,
+      "header_offset": 221309,
+      "internal_attr": 0,
+      "occurrence": 0,
+      "output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm",
+      "path": "vm/qagame.qvm",
+      "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+      "type": "member",
+      "volume": 0
+    }
+  }
+}

scripts/analyze_qvm_team_counters.py

@@ -0,0 +1,16 @@
+#!/usr/bin/env python3
+"""Complete279720 pair counter gates and wrapping effects."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+from qvm_team_counter_support import seed,aggregate,TARGET,ATTACKER
+from analyze_qvm import write_json
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    cases=[dict(mode=m,same=t,self=s,initial=v) for m,t,s,v in itertools.product([2,3,9,10,11],[False,True],[False,True],[0,0xffffffff])]
+    cases += [{**gate,'mode':m,'initial':v} for gate in [{'null_first':True},{'null_second':True},{'actor_client':False},{'victim_client':False}] for m,v in itertools.product([3,10],[0,0xffffffff])]
+    for a in cases:
+        args={8:0 if a.get('null_first') else ATTACKER,12:0 if a.get('null_second') else ATTACKER if a.get('self') else TARGET};_,_,p=aggregate(ins,seed(raw,h,**a),args);p['input']=a;rows.append(p)
+    write_json(Path('docs/research/qvm-team-counters.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Complete279720 with actual33715, null/client/team/self gates and wrapping counters. Updates first client2444 and second client2516 only for distinct same-team participants. Native parity and complete stat lifecycle ownership remain open.'})
+if __name__=='__main__':main()

scripts/qvm_team_counter_support.py

@@ -0,0 +1,18 @@
+"""279720 same-team pair aggregate counters, with actual33715 predicate."""
+from qvm_health_effects_support import H,TARGET,ATTACKER,CLIENT,A_CLIENT,seed as health_seed
+from qvm_contact_support import predicate
+from qvm_trace_support import resume
+P=H+0x150000
+
+def seed(raw,h,**a):
+    m=health_seed(raw,h);m.update({34090788:a.get('mode',10),CLIENT+3096:1,A_CLIENT+3096:1 if a.get('same',True) else 2,TARGET+520:CLIENT if a.get('victim_client',True) else 0,ATTACKER+520:A_CLIENT if a.get('actor_client',True) else 0})
+    for c in [CLIENT,A_CLIENT]:
+        for o in [2444,2516]:m[c+o]=a.get('initial',0)
+    return m
+
+def snapshot(m):return {name:[m[c+o]&0xffffffff for o in [2444,2516]] for name,c in [('actor',A_CLIENT),('victim',CLIENT)]}
+
+def aggregate(ins,m,args):
+    for o,v in args.items():m[P+32+o]=v
+    before=snapshot(m);m,e=resume(ins,279721,279818,m,P,handlers={33715:predicate})
+    return m,0,{'arguments':args,'initial':before,'final':snapshot(m),'execution':e}

scripts/test_qvm_team_counters.py

@@ -0,0 +1,13 @@
+import json,unittest
+from pathlib import Path
+class TeamCounterTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.ps=json.loads(Path('docs/research/qvm-team-counters.json').read_text())['probes']
+    def test_independent_complete_gate_and_wrapping_oracle(self):
+        for p in self.ps:
+            a=p['input'];mode=a['mode'];active=mode>=3 and mode not in [9,11] and a.get('same',True) and not a.get('self',False) and not a.get('null_first') and not a.get('null_second') and a.get('actor_client',True) and a.get('victim_client',True);v=a['initial'];next=(v+int(active))&0xffffffff;self.assertEqual(p['final'],{'actor':[next,v],'victim':[v,next]},a)
+    def test_only_actual_mode_child_and_complete_exit(self):
+        for p in self.ps:self.assertEqual(p['execution']['stop'],279818);self.assertTrue(all(c['target']==33715 for c in p['execution']['calls']))
+    def test_fixture_domains_and_unsigned_wrap(self):
+        self.assertEqual(len(self.ps),56);self.assertTrue(any(p['initial']['actor'][0]==0xffffffff and p['final']['actor'][0]==0 for p in self.ps))
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1278,3 +1278,6 @@ group	stat-totals	scripts/analyze_qvm_stat_totals.py
 report	scripts/analyze_qvm_stat_ratios.py	docs/research/qvm-stat-ratios.json
 edge	docs/research/qvm-stat-ratios.json	scripts/test_qvm_stat_ratios.py
 group	stat-ratios	scripts/analyze_qvm_stat_ratios.py
+report	scripts/analyze_qvm_team_counters.py	docs/research/qvm-team-counters.json
+edge	docs/research/qvm-team-counters.json	scripts/test_qvm_team_counters.py
+group	team-counters	scripts/analyze_qvm_team_counters.py