gameplay: port post-map client callbacks

crates/urt-gameplay/src/bin/urt-native-policy.rs

@@ -70,6 +70,35 @@ fn run() -> Result<String, String> {
                 nested(&end)
             ))
         }
+        "post" => {
+            if w.len() != 66 {
+                return Err("invalid post input".into());
+            }
+            let mut c = w[2..].iter().map(|v| *v as i32).collect::<Vec<_>>();
+            let mut calls = vec![];
+            post_map_clients(&mut c, w[0] as i32, |kind, j, c| {
+                let t = if kind == PostMapChild::First {
+                    246746
+                } else {
+                    246963
+                };
+                calls.push(vec![t, j as u32, c[j] as u32]);
+                if kind == PostMapChild::First {
+                    if w[1] == 1 {
+                        c[j] = 0
+                    }
+                    if w[1] == 2 && j + 1 < c.len() {
+                        c[j + 1] = 2
+                    }
+                }
+            })
+            .map_err(|e| format!("{e:?}"))?;
+            Ok(format!(
+                "{{\"calls\":{},\"after\":{}}}",
+                nested(&calls),
+                list(&c.iter().map(|v| *v as u32).collect::<Vec<_>>())
+            ))
+        }
         _ => Err("unknown command".into()),
     }
 }

crates/urt-gameplay/src/native_policy.rs

@@ -138,3 +138,71 @@ mod breed_tests {
         assert_eq!(b, before);
     }
 }
+
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub enum PostMapChild {
+    First,
+    Second,
+}
+/// Check connection at iteration entry; callbacks may change this or later slots.
+/// Count/base pointer are held stable in this typed subset.
+pub fn post_map_clients<F>(clients: &mut [i32], count: i32, mut callback: F) -> Result<(), Error>
+where
+    F: FnMut(PostMapChild, usize, &mut [i32]),
+{
+    let count = count.max(0) as usize;
+    if clients.len() > 64 || count > clients.len() {
+        return Err(Error::InvalidCount);
+    }
+    for j in 0..count {
+        if clients[j] == 2 {
+            callback(PostMapChild::First, j, clients);
+            callback(PostMapChild::Second, j, clients);
+        }
+    }
+    Ok(())
+}
+#[cfg(test)]
+mod post_tests {
+    use super::*;
+    #[test]
+    fn second_call_survives_disconnect_and_later_activation() {
+        let mut c = [2, 0];
+        let mut calls = vec![];
+        post_map_clients(&mut c, 2, |kind, j, c| {
+            calls.push((kind, j, c[j]));
+            if kind == PostMapChild::First {
+                c[j] = 0;
+                if j == 0 {
+                    c[1] = 2
+                }
+            }
+        })
+        .unwrap();
+        assert_eq!(
+            calls,
+            [
+                (PostMapChild::First, 0, 2),
+                (PostMapChild::Second, 0, 0),
+                (PostMapChild::First, 1, 2),
+                (PostMapChild::Second, 1, 0)
+            ]
+        );
+    }
+    #[test]
+    fn invalid_count_never_calls() {
+        let mut c = [2];
+        let mut called = false;
+        assert_eq!(
+            post_map_clients(&mut c, 2, |_, _, _| called = true),
+            Err(Error::InvalidCount)
+        );
+        assert!(!called);
+        assert_eq!(c, [2]);
+        assert_eq!(
+            post_map_clients(&mut c, -1, |_, _, _| called = true),
+            Ok(())
+        );
+        assert!(!called);
+    }
+}

docs/FINDINGS.md

@@ -1634,3 +1634,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-878:** 72 actual249007 cases recover signed live client-count iteration and connected-state2 gating. Each accepted client calls246746 then246963 unconditionally; a supplied first-child disconnect does not suppress its second child, and activation of a later slot affects subsequent dispatch. This uses level count34992524, not max-clients cvar34089604. Child bodies, native effects and callback changes to count/base pointer remain open. [Evidence](research/QVM_POST_MAP_CLIENTS.md).
+
+
+**RE-879:** Rust matches all72 original249007 schedules and state snapshots, including disconnect-before-second-child and activation-before-later-scan cases. The bounded API accepts typed callbacks and validates the count before invoking them. Count/base remain stable; actual246746/246963 child bodies and engine integration remain open. [Evidence](research/RUST_POST_MAP_CLIENTS.md).

docs/PROVISIONAL_TODO.md

@@ -1662,3 +1662,6 @@ RE-877: Rust matches all64 actual121987 fitness/selection/interbreed/mutation/re
 
 
 RE-878: 72 actual249007 cases recover signed live client-count iteration and connected-state2 gating. Each accepted client calls246746 then246963 unconditionally; a supplied first-child disconnect does not suppress its second child, and activation of a later slot affects subsequent dispatch. This uses level count34992524, not max-clients cvar34089604. Child bodies, native effects and callback changes to count/base pointer remain open. Full runtime completion remains open. [Evidence](research/QVM_POST_MAP_CLIENTS.md).
+
+
+RE-879: Rust matches all72 original249007 schedules and state snapshots, including disconnect-before-second-child and activation-before-later-scan cases. The bounded API accepts typed callbacks and validates the count before invoking them. Count/base remain stable; actual246746/246963 child bodies and engine integration remain open. Full runtime completion remains open. [Evidence](research/RUST_POST_MAP_CLIENTS.md).

docs/RESEARCH_LEDGER.md

@@ -2095,3 +2095,8 @@ Rust matches all64 actual121987 fitness/selection/interbreed/mutation/reset tran
 ## 2026-10-28 — RE-878 Original post-map connected-client callbacks
 
 72 actual249007 cases recover signed live client-count iteration and connected-state2 gating. Each accepted client calls246746 then246963 unconditionally; a supplied first-child disconnect does not suppress its second child, and activation of a later slot affects subsequent dispatch. This uses level count34992524, not max-clients cvar34089604. Child bodies, native effects and callback changes to count/base pointer remain open. Focused `cargo xtask test-group qvm-post-map-clients` passes (4 Python tests); selected reports regenerate twice deterministically, with storage, documentation links and whitespace guards. Full suite deferred to task ten. Original assets unchanged; source fixtures do not establish complete native/runtime parity.
+
+
+## 2026-10-28 — RE-879 Rust post-map callback scheduling
+
+Rust matches all72 original249007 schedules and state snapshots, including disconnect-before-second-child and activation-before-later-scan cases. The bounded API accepts typed callbacks and validates the count before invoking them. Count/base remain stable; actual246746/246963 child bodies and engine integration remain open. Focused `cargo xtask test-group rust-post-map-clients` passes (9 Python tests); selected reports regenerate twice deterministically, with storage, documentation links and whitespace guards. Full suite deferred to task ten. Original assets unchanged; source fixtures do not establish complete native/runtime parity.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1699,3 +1699,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-878 Original post-map connected-client callbacks ([evidence](research/QVM_POST_MAP_CLIENTS.md)).
+
+
+- [x] RE-879 Rust post-map callback scheduling ([evidence](research/RUST_POST_MAP_CLIENTS.md)).

docs/research/README.md

@@ -1234,3 +1234,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-878: Original post-map connected-client callbacks](QVM_POST_MAP_CLIENTS.md).
+
+
+[RE-879: Rust post-map callback scheduling](RUST_POST_MAP_CLIENTS.md).

docs/research/RUST_POST_MAP_CLIENTS.md

@@ -0,0 +1,7 @@
+# Rust post-map callback scheduling
+
+RE-879. Reproduce with `python3 scripts/analyze_rust_post_map_clients.py`; focused validation: `cargo xtask test-group rust-post-map-clients`. [Machine report](rust-post-map-clients.json).
+
+Rust matches all72 original249007 schedules and state snapshots, including disconnect-before-second-child and activation-before-later-scan cases. The bounded API accepts typed callbacks and validates the count before invoking them. Count/base remain stable; actual246746/246963 child bodies and engine integration remain open.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/rust-health-impulse.json

@@ -2985,7 +2985,7 @@
       "exit_code": 2
     }
   ],
-  "rust_unit_tests": 133,
+  "rust_unit_tests": 135,
   "source_report": "docs/research/qvm-health-impulse.json",
   "source_report_sha256": "625fd8064004ea6dbdf398d51d0af844d9c635ff04c0a0790886dddb6ab81e71"
 }

scripts/analyze_rust_post_map_clients.py

@@ -0,0 +1,14 @@
+#!/usr/bin/env python3
+import hashlib,json
+from pathlib import Path
+from rust_native_policy_support import binary,result,invoke
+from analyze_qvm import write_json
+def encode(s):
+ a=s['input'];return [a['count'],a['mutation'],*a['records']]
+def project(s):return {k:s[k] for k in ['calls','after']}
+
+def main():
+ b=binary();p=Path('docs/research/qvm-post-map-clients.json');data=p.read_bytes();rows=[]
+ for s in json.loads(data)['probes']:rows.append({'source':project(s),'rust':result(b,'post',encode(s))})
+ write_json(Path('docs/research/rust-post-map-clients.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust matches all72 original249007 schedules and state snapshots, including disconnect-before-second-child and activation-before-later-scan cases. The bounded API accepts typed callbacks and validates the count before invoking them. Count/base remain stable; actual246746/246963 child bodies and engine integration remain open.'})
+if __name__=='__main__':main()

scripts/test_rust_post_map_clients.py

@@ -0,0 +1,9 @@
+import hashlib,json,unittest
+from pathlib import Path
+class PortTests(unittest.TestCase):
+ def test_all_original_cases(self):
+  r=json.loads(Path('docs/research/rust-post-map-clients.json').read_text());src=json.loads(Path(r['source_report']).read_text());self.assertEqual(len(r['probes']),len(src['probes']));self.assertGreater(len(r['probes']),20)
+  for p in r['probes']:self.assertEqual(p['rust'],p['source'])
+ def test_source_identity(self):
+  r=json.loads(Path('docs/research/rust-post-map-clients.json').read_text());self.assertEqual(hashlib.sha256(Path(r['source_report']).read_bytes()).hexdigest(),r['source_report_sha256'])
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2556,3 +2556,16 @@ report	scripts/analyze_qvm_post_map_clients.py	docs/research/qvm-post-map-client
 edge	docs/research/qvm-post-map-clients.json	scripts/test_qvm_post_map_clients.py
 group	qvm-post-map-clients	scripts/analyze_qvm_post_map_clients.py
 edge	scripts/analyze_qvm_post_map_clients.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_post_map_clients.py
+edge	Cargo.lock	scripts/analyze_rust_post_map_clients.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_post_map_clients.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_post_map_clients.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_post_map_clients.py
+edge	crates/urt-gameplay/src/bin/urt-native-policy.rs	scripts/analyze_rust_post_map_clients.py
+edge	docs/research/qvm-post-map-clients.json	scripts/analyze_rust_post_map_clients.py
+group	rust-post-map-clients	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_post_map_clients.py
+report	scripts/analyze_rust_post_map_clients.py	docs/research/rust-post-map-clients.json
+edge	docs/research/rust-post-map-clients.json	scripts/test_rust_post_map_clients.py
+group	rust-post-map-clients	scripts/analyze_rust_post_map_clients.py
+edge	scripts/analyze_rust_post_map_clients.py	scripts/analyze_qvm_resumer_audit.py