qvm: recover team radio routing effects

docs/FINDINGS.md

@@ -1991,3 +1991,5 @@ RE-1014–1023 batch validation passed:1,978 Python tests,319 Rust tests,131 det
 RE-1024: Twelve original-QVM cases prove283463 increments exactly client3036+4*index by1 with word wrapping; the supplied5 is a counter index, not a five-point score delta. Source205260 was already recovered as score update, and193620 emits team radio commands. Earlier defuse/assistance capture labels score/counter/sound were misleading historical names. Counter guards and unrelated words survive. New findings use numeric IDs and corrected semantics; historical report schemas remain compatible. [Evidence](research/QVM_EFFECT_COUNTER.md).
 
 RE-1025: Rust implements caller-indexed wrapping counter increments across12 source cases. Index5 increases one word by1, not five score points; invalid indices preserve the supplied window. Historical enum/report tags remain compatible but now carry explicit score/radio/counter semantic corrections. True counter-enum ownership and larger state lifecycle remain open. [Evidence](research/RUST_EFFECT_COUNTER.md).
+
+RE-1026: Thirty-four original-QVM scenarios recover193620 with actual mode classifier33715. Live non-following non-spectator sender obtains supplied location text, then sends rsay sender/-1/type/text to connected same-team recipients in team modes or mode9. Mode11 and signed negative modes do not route. Sender marker84 becomes tick+3500 and marker204 becomes1 only when a command is sent. Empty/quoted payloads, failed text lookup, zero/64 counts and wrap are covered. Native sending and location lookup remain boundaries; fixed formatter is modeled. [Evidence](research/QVM_EFFECT_RADIO.md).

docs/PROVISIONAL_TODO.md

@@ -2051,3 +2051,5 @@ RE-974–983 completed routing, command rewrite, inactivity, movement-parameter
 - [x] RE-1024 Correct native effect identities and recover objective counter ([evidence](research/QVM_EFFECT_COUNTER.md)).
 
 - [x] RE-1025 Port indexed objective counters and label compatibility notes ([evidence](research/RUST_EFFECT_COUNTER.md)).
+
+- [x] RE-1026 Recover team radio routing and marker state ([evidence](research/QVM_EFFECT_RADIO.md)).

docs/RESEARCH_LEDGER.md

@@ -2775,3 +2775,7 @@ Twelve original-QVM cases prove283463 increments exactly client3036+4*index by1
 ## 2026-10-29 — RE-1025 Port indexed objective counters and label compatibility notes
 
 Rust implements caller-indexed wrapping counter increments across12 source cases. Index5 increases one word by1, not five score points; invalid indices preserve the supplied window. Historical enum/report tags remain compatible but now carry explicit score/radio/counter semantic corrections. True counter-enum ownership and larger state lifecycle remain open. Focused `cargo xtask test-group rust-effect-counter` passes with deterministic report regeneration and selected regressions. Full suite deferred to task ten. Original assets unchanged; Python uses the flake-declared Nix runtime.
+
+## 2026-10-29 — RE-1026 Recover team radio routing and marker state
+
+Thirty-four original-QVM scenarios recover193620 with actual mode classifier33715. Live non-following non-spectator sender obtains supplied location text, then sends rsay sender/-1/type/text to connected same-team recipients in team modes or mode9. Mode11 and signed negative modes do not route. Sender marker84 becomes tick+3500 and marker204 becomes1 only when a command is sent. Empty/quoted payloads, failed text lookup, zero/64 counts and wrap are covered. Native sending and location lookup remain boundaries; fixed formatter is modeled. Focused `cargo xtask test-group qvm-effect-radio` passes with deterministic report regeneration and selected regressions. Full suite deferred to task ten. Original assets unchanged; Python uses the flake-declared Nix runtime.

docs/REVERSE_ENGINEERING_TODO.md

@@ -2088,3 +2088,5 @@ RE-974–983 recover routing, command rewriting, inactivity and composed setup t
 - [x] RE-1024 Correct native effect identities and recover objective counter ([evidence](research/QVM_EFFECT_COUNTER.md)).
 
 - [x] RE-1025 Port indexed objective counters and label compatibility notes ([evidence](research/RUST_EFFECT_COUNTER.md)).
+
+- [x] RE-1026 Recover team radio routing and marker state ([evidence](research/QVM_EFFECT_RADIO.md)).

docs/research/QVM_EFFECT_RADIO.md

@@ -0,0 +1,5 @@
+# Recover team radio routing and marker state
+
+RE-1026. Focused validation: `cargo xtask test-group qvm-effect-radio`. [Machine report](qvm-effect-radio.json).
+
+Thirty-four original-QVM scenarios recover193620 with actual mode classifier33715. Live non-following non-spectator sender obtains supplied location text, then sends rsay sender/-1/type/text to connected same-team recipients in team modes or mode9. Mode11 and signed negative modes do not route. Sender marker84 becomes tick+3500 and marker204 becomes1 only when a command is sent. Empty/quoted payloads, failed text lookup, zero/64 counts and wrap are covered. Native sending and location lookup remain boundaries; fixed formatter is modeled.

docs/research/README.md

@@ -1619,3 +1619,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-1024: Correct native effect identities and recover objective counter](QVM_EFFECT_COUNTER.md).
 
 - [RE-1025: Port indexed objective counters and label compatibility notes](RUST_EFFECT_COUNTER.md).
+
+- [RE-1026: Recover team radio routing and marker state](QVM_EFFECT_RADIO.md).

docs/research/qvm-effect-radio.json

@@ -0,0 +1,1369 @@
+{
+  "limits": "Actual193620 with actual33715 classification. Location text supplied, fixed rsay integer/string formatting modeled, native-18 send captured. No direct audio playback or runtime network conformance.",
+  "probes": [
+    {
+      "commands": [
+        {
+          "slot": 0,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d312037202222"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 444,
+        "trace_sha256": "1eef637b6885effc1ad5557cabea1c457f867f8d10843c57ddb220f698b760b4"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 0,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        13500,
+        1
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 0,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 441,
+        "trace_sha256": "28170e105ace76ef81d62ba9d1453d14f4a0a8ac541651e04c81ecc3d752bd60"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 0,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        13500,
+        1
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 16,
+        "trace_sha256": "b411f2227db1db8ac9be04b553ecf661f42ca4b73f46838d294f57868a82e792"
+      },
+      "getter_calls": 0,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 1,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 1,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 16,
+        "trace_sha256": "b411f2227db1db8ac9be04b553ecf661f42ca4b73f46838d294f57868a82e792"
+      },
+      "getter_calls": 0,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 1,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 1,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 26,
+        "trace_sha256": "0ae0b28c8037dc69e6edf80598535b54a925a99d2364afd4ce71d50f3df5e08f"
+      },
+      "getter_calls": 0,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 0,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 2,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 26,
+        "trace_sha256": "0ae0b28c8037dc69e6edf80598535b54a925a99d2364afd4ce71d50f3df5e08f"
+      },
+      "getter_calls": 0,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 0,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 2,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 26,
+        "trace_sha256": "0ae0b28c8037dc69e6edf80598535b54a925a99d2364afd4ce71d50f3df5e08f"
+      },
+      "getter_calls": 0,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 4294967295,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 3,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 26,
+        "trace_sha256": "0ae0b28c8037dc69e6edf80598535b54a925a99d2364afd4ce71d50f3df5e08f"
+      },
+      "getter_calls": 0,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 4294967295,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 3,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 36,
+        "trace_sha256": "45cea69a5d6ed579890bef6999aca4b21bdb0c26f97cdc2f44cacfbc76b9f16d"
+      },
+      "getter_calls": 0,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 4,
+        "success": 0,
+        "team": 3,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 36,
+        "trace_sha256": "45cea69a5d6ed579890bef6999aca4b21bdb0c26f97cdc2f44cacfbc76b9f16d"
+      },
+      "getter_calls": 0,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 4,
+        "success": 1,
+        "team": 3,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 273,
+        "trace_sha256": "324f5e23c753d56cfc2fc9d701004df66d57bc6ebe8ba7bbc6ed79aa1d46f9f6"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 0,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 5,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 270,
+        "trace_sha256": "7d6a3437aa649d7ceb59276c16ad83c5040c38441a57e71d2cdc29dff7ad6045"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 0,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 5,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 0,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d312037202222"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 444,
+        "trace_sha256": "1eef637b6885effc1ad5557cabea1c457f867f8d10843c57ddb220f698b760b4"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 3,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 6,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        13500,
+        1
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 0,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 441,
+        "trace_sha256": "28170e105ace76ef81d62ba9d1453d14f4a0a8ac541651e04c81ecc3d752bd60"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 3,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 6,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        13500,
+        1
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 0,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d312037202222"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 456,
+        "trace_sha256": "0defa541e96212887339cddf0d61861b05b6d6ff67f1032190a7eb3250e5fb3a"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 9,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 7,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        13500,
+        1
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 0,
+          "text": "727361792032202d312037202250227122"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d312037202250227122"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 453,
+        "trace_sha256": "b9364668662385dff4c5ac55c11f42dc2e60690ecf393acf8bc53032f3f7b237"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 9,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 7,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        13500,
+        1
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 273,
+        "trace_sha256": "324f5e23c753d56cfc2fc9d701004df66d57bc6ebe8ba7bbc6ed79aa1d46f9f6"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 11,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 8,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 270,
+        "trace_sha256": "7d6a3437aa649d7ceb59276c16ad83c5040c38441a57e71d2cdc29dff7ad6045"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 11,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 8,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 273,
+        "trace_sha256": "324f5e23c753d56cfc2fc9d701004df66d57bc6ebe8ba7bbc6ed79aa1d46f9f6"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 4294967295,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 9,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 270,
+        "trace_sha256": "7d6a3437aa649d7ceb59276c16ad83c5040c38441a57e71d2cdc29dff7ad6045"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 4294967295,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 9,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 1,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d312037202222"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 444,
+        "trace_sha256": "25efb90fc79d43368b495f865bb78b9a695998150866af4562a8ff444b3e88ac"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 10,
+        "success": 0,
+        "team": 2,
+        "tick": 10000
+      },
+      "marker": [
+        13500,
+        1
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 1,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 441,
+        "trace_sha256": "e6643bd2eac48e88c79830d6b406504b7688bc507ee4f6b4f972440153417cfa"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 10,
+        "success": 1,
+        "team": 2,
+        "tick": 10000
+      },
+      "marker": [
+        13500,
+        1
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 62,
+        "trace_sha256": "64efa55586f0921ecda2dcfa2ed026fba4f14187ccb43a292082a7081082330b"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 0,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 11,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 59,
+        "trace_sha256": "14474cf6130f42f410f4325eb3236660cccbc7bd02cbc128c8c50d45d33390fe"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 0,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 11,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 0,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 4,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 6,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 8,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 10,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 12,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 14,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 16,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 18,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 20,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 22,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 24,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 26,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 28,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 30,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 32,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 34,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 36,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 38,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 40,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 42,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 44,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 46,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 48,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 50,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 52,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 54,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 56,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 58,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 60,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 62,
+          "text": "727361792032202d312037202222"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 6216,
+        "trace_sha256": "89ff9024d15c5d5a1ee514c2afcdbb33847dc3285d283b202caa3ab958d28999"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 64,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 12,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        13500,
+        1
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 0,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 4,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 6,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 8,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 10,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 12,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 14,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 16,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 18,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 20,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 22,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 24,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 26,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 28,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 30,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 32,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 34,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 36,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 38,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 40,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 42,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 44,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 46,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 48,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 50,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 52,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 54,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 56,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 58,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 60,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 62,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 6213,
+        "trace_sha256": "4fa897ed8821459c467af647bbdc5b014d3b0a7365bb2068835b3c8a1e1cc8a7"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 64,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 12,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        13500,
+        1
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 186,
+        "trace_sha256": "c2d8b3486b576eb17e7386635e31cc2f79cb8bd43444bbbe39db43d84c3a00a2"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 1,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 13,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 183,
+        "trace_sha256": "e80958f6532a737a94a558e3491e1f279ea41cef5907371d92ec67cc6a4145f4"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 1,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 13,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 2,
+          "text": "727361792032202d312037202222"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 378,
+        "trace_sha256": "e3ffba4ae44e2d73548573b46e600e86aeae9b06b6a2fce61237951a7a53abc2"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 1,
+        "payload": "426f6d622073697465",
+        "profile": 14,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        13500,
+        1
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 2,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 375,
+        "trace_sha256": "e66ae92f53420ff9107f8843e9fc24e4f0f8b9cc367d994e91f1fa4ffe78a1a8"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 1,
+        "payload": "426f6d622073697465",
+        "profile": 14,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        13500,
+        1
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 0,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d312037202222"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 390,
+        "trace_sha256": "694fd4a74495a541354704315d49d03592a8387a459c643c18eeb3836e1d24e8"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 0,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 15,
+        "success": 0,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 0,
+          "text": "727361792032202d312037202250227122"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d312037202250227122"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 387,
+        "trace_sha256": "3153473940c5ace828e34c8c1dd4e513b191c1803cccb1bfc7f0c6d928b8b13f"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 0,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "502271",
+        "profile": 15,
+        "success": 1,
+        "team": 1,
+        "tick": 10000
+      },
+      "marker": [
+        17,
+        18
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 0,
+          "text": "727361792032202d312037202222"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d312037202222"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 444,
+        "trace_sha256": "1eef637b6885effc1ad5557cabea1c457f867f8d10843c57ddb220f698b760b4"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 16,
+        "success": 0,
+        "team": 1,
+        "tick": 4294967295
+      },
+      "marker": [
+        3499,
+        1
+      ]
+    },
+    {
+      "commands": [
+        {
+          "slot": 0,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        },
+        {
+          "slot": 2,
+          "text": "727361792032202d3120372022426f6d62207369746522"
+        }
+      ],
+      "execution": {
+        "stop": 193827,
+        "trace_length": 441,
+        "trace_sha256": "28170e105ace76ef81d62ba9d1453d14f4a0a8ac541651e04c81ecc3d752bd60"
+      },
+      "getter_calls": 1,
+      "input": {
+        "code": 7,
+        "count": 4,
+        "disconnected": 0,
+        "follow": 0,
+        "health": 1,
+        "marker": 1,
+        "mode": 8,
+        "other_only": 0,
+        "payload": "426f6d622073697465",
+        "profile": 16,
+        "success": 1,
+        "team": 1,
+        "tick": 4294967295
+      },
+      "marker": [
+        3499,
+        1
+      ]
+    }
+  ],
+  "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_effect_radio.py

@@ -0,0 +1,12 @@
+"""Verified original movement-context source contract."""
+from pathlib import Path
+from analyze_qvm import write_json
+from qvm_research_support import source
+from qvm_effect_feedback_support import seed,radio,radio_fixtures
+
+def main():
+ q,raw,h,ins=source();probes=[]
+ for a in radio_fixtures():
+  m,b=seed(raw,h,a);m,p,b=radio(ins,m,b,a);p['input']=a;probes.append(p)
+ write_json(Path('docs/research/qvm-effect-radio.json'),dict(source=q['source'],sha256=q['sha256'],probes=probes,limits='Actual193620 with actual33715 classification. Location text supplied, fixed rsay integer/string formatting modeled, native-18 send captured. No direct audio playback or runtime network conformance.'))
+if __name__=='__main__':main()

scripts/qvm_effect_feedback_oracle.py

@@ -2,3 +2,17 @@
 def counter(a):
  counters=[100+j for j in range(15)];counters[a['index']]=(a['value']+1)&0xffffffff
  return dict(counters=counters,guards=[0xaabbccdd,0x11223344])
+
+from qvm_move_callbacks_oracle import signed
+
+def radio(a):
+ from qvm_effect_feedback_support import radio_clients
+ active=not a['follow'] and signed(a['health'])>0 and a['team']!=3;commands=[]
+ if active:
+  mode=signed(a['mode']);team_mode=mode>=3 and mode not in [9,11]
+  payload=bytes.fromhex(a['payload']) if a['success'] else b''
+  text=(b'rsay 2 -1 '+str(signed(a['code'])).encode()+b' "'+payload+b'"').hex()
+  for j,(connection,team) in enumerate(radio_clients(a)[:a['count']]):
+   if j==2:team=a['team']
+   if connection==2 and (team_mode or mode==9) and team==a['team']:commands.append(dict(slot=j,text=text))
+ return dict(commands=commands,getter_calls=int(active),marker=[(a['tick']+3500)&0xffffffff,1] if commands and a['marker'] else [17,18])

scripts/qvm_effect_feedback_support.py

@@ -20,3 +20,45 @@ def counter(ins,m,b,a):
  m[CLIENT+3036+4*a['index']]=a['value'];m[CLIENT+3032]=0xaabbccdd;m[CLIENT+3096]=0x11223344
  m,v,p,b=run(ins,m,283463,283486,12,{8:ENTITY,12:a['index']},b,base=BASE)
  return m,dict(counters=[m[CLIENT+3036+4*j]&0xffffffff for j in range(15)],guards=[m[CLIENT+3032]&0xffffffff,m[CLIENT+3096]&0xffffffff],execution=p['execution']),b
+
+MARK=ROOT+0x160000
+TEXT=ROOT+0x170000
+RADIO=ROOT+0x140000
+
+def radio_fixtures():
+ profiles=[{},dict(follow=1),dict(health=0),dict(health=0xffffffff),dict(team=3),dict(mode=0),dict(mode=3),dict(mode=9),dict(mode=11),dict(mode=0xffffffff),dict(team=2),dict(count=0),dict(count=64),dict(disconnected=1),dict(other_only=1),dict(marker=0),dict(tick=0xffffffff)]
+ rows=[]
+ for j,changes in enumerate(profiles):
+  for success in [0,1]:rows.append(dict(dict(mode=8,follow=0,health=1,team=1,count=4,disconnected=0,other_only=0,marker=1,tick=10000,code=7,payload=(b'P"q' if j%2 else b'Bomb site').hex()),**changes,success=success,profile=j))
+ return rows
+
+def radio_clients(a):
+ return [[0 if a['disconnected'] else 2 if j%4!=3 or j==63 else 1,2 if a['other_only'] else (1 if j%2==0 else 2)] for j in range(max(3,a['count']))]
+
+def radio_seed(m,b,a):
+ m.update({ENTITY+520:CLIENT,CLIENT+4324:a['follow'],CLIENT+208:a['health'],CLIENT+3096:a['team'],CLIENT+140:2,CLIENT+6168:MARK if a['marker'] else 0,34090788:a['mode'],34992524:a['count'],34992532:a['tick'],MARK+84:17,MARK+204:18})
+ for j,(connection,team) in enumerate(radio_clients(a)):
+  c=CPOOL+6336*j;m[POOL+880*j+520]=c;m[c+468]=connection;m[c+3096]=team
+ # Sender team shares the same client word traversed by the recipient loop.
+ m[CLIENT+3096]=a['team']
+ write_bytes(m,b,{RADIO+32+j:77 for j in range(156)})
+
+def radio_run(ins,m,b,code,payload,success):
+ commands=[];getters=[]
+ def location(i,m,args,bs):
+  assert args[8]==ENTITY and args[12]==RADIO+32 and args[16]==150
+  data=bytes(payload)+b'\0'+b'\0'*4;changes={args[12]+j:v for j,v in enumerate(data)};write_bytes(m,dict(bs),changes);getters.append(1)
+  return m,success,{'supplied_location':True,'child_memory_bytes':changes}
+ def classify(i,m,args,bs):
+  m,v,p,b=run(i,m,33715,33738,12,args,dict(bs),base=ROOT+0x150000);return m,v,{'actual_source_child':33715}
+ def format_(i,m,args,bs):
+  assert cstring(m,bs,args[8])==b'rsay %d %d %d "%s"'
+  ints=[((args[o]&0xffffffff)-2**32 if args[o]&0x80000000 else args[o]) for o in [12,16,20]]
+  data=('rsay %d %d %d "'%tuple(ints)).encode()+cstring(m,bs,args[24])+b'"\0'+b'\0'*4
+  changes={TEXT+j:v for j,v in enumerate(data)};write_bytes(m,dict(bs),changes)
+  return m,TEXT,{'modeled_integer_string_formatter':True,'child_memory_bytes':changes}
+ def send(i,m,args,bs):commands.append(dict(slot=args[8],text=cstring(m,bs,args[12]).hex()));return m,0,{'captured_native_send':True}
+ m,v,p,b=run(ins,m,193620,193827,204,{8:code,12:ENTITY},b,{268637:location,33715:classify,70458:format_,-18:send},base=RADIO)
+ return m,dict(commands=commands,getter_calls=len(getters),marker=[m[MARK+84]&0xffffffff,m[MARK+204]&0xffffffff],execution=p['execution']),b
+
+def radio(ins,m,b,a):radio_seed(m,b,a);return radio_run(ins,m,b,a['code'],bytes.fromhex(a['payload']),a['success'])

scripts/test_qvm_effect_radio.py

@@ -0,0 +1,13 @@
+import json,unittest
+from pathlib import Path
+from qvm_effect_feedback_oracle import radio
+class OriginalTests(unittest.TestCase):
+ def test_original_contract(self):
+  rows=json.loads(Path('docs/research/qvm-effect-radio.json').read_text())['probes'];self.assertEqual(len(rows),34)
+  for p in rows:
+   with self.subTest(input=p['input']):
+    for k,v in radio(p['input']).items():self.assertEqual(p[k],v,k)
+ def test_fixture_identity_and_trace(self):
+  r=json.loads(Path('docs/research/qvm-effect-radio.json').read_text());self.assertEqual(len(r['sha256']),64)
+  self.assertTrue(all(p['execution']['trace_length']>0 for p in r['probes']))
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -4356,3 +4356,7 @@ edge	crates/urt-gameplay/src/score.rs	scripts/analyze_rust_effect_counter.py
 edge	crates/urt-gameplay/src/transition.rs	scripts/analyze_rust_effect_counter.py
 edge	crates/urt-gameplay/src/effect_feedback.rs	scripts/analyze_rust_health_impulse.py
 edge	crates/urt-gameplay/src/bin/urt-effect-feedback.rs	scripts/analyze_rust_health_impulse.py
+report	scripts/analyze_qvm_effect_radio.py	docs/research/qvm-effect-radio.json
+edge	docs/research/qvm-effect-radio.json	scripts/test_qvm_effect_radio.py
+group	qvm-effect-radio	scripts/analyze_qvm_effect_radio.py
+edge	scripts/analyze_qvm_effect_radio.py	scripts/analyze_qvm_resumer_audit.py