gameplay: port bot breeding callback policy

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

@@ -46,6 +46,30 @@ fn run() -> Result<String, String> {
                 .unwrap_or_default();
             Ok(format!("{{\"calls\":{}}}", nested(&calls)))
         }
+        "breed" => {
+            if w.len() != 261 {
+                return Err("invalid breed input".into());
+            }
+            let mut b = bots(&w[5..])?;
+            let selection = if w[0] != 0 {
+                Some([w[1] as usize, w[2] as usize, w[3] as usize])
+            } else {
+                None
+            };
+            let activity = if w[4] != 0 { vec![(63, 1)] } else { vec![] };
+            let out = breed_bots(&mut b, selection, &activity).map_err(|e| format!("{e:?}"))?;
+            let calls = breed_calls(&out.effects);
+            let end = b
+                .iter()
+                .map(|b| vec![b.active as u32, b.wins as u32, b.losses as u32, b.handle])
+                .collect::<Vec<_>>();
+            Ok(format!(
+                "{{\"scores\":{},\"calls\":{},\"after\":{}}}",
+                list(&out.scores),
+                calls,
+                nested(&end)
+            ))
+        }
         _ => Err("unknown command".into()),
     }
 }
@@ -58,3 +82,18 @@ fn main() {
         }
     }
 }
+
+fn breed_calls(effects: &[BreedEffect]) -> String {
+    format!(
+        "[{}]",
+        effects
+            .iter()
+            .map(|e| match e {
+                BreedEffect::Select => "[-565,64]".into(),
+                BreedEffect::Interbreed(h) => format!("[-566,{},{},{}]", h[0], h[1], h[2]),
+                BreedEffect::Mutate(h) => format!("[-567,{h},1065353216]"),
+            })
+            .collect::<Vec<String>>()
+            .join(",")
+    )
+}

crates/urt-gameplay/src/native_policy.rs

@@ -60,3 +60,81 @@ mod tests {
         assert_eq!(best_bot(&[]), Err(Error::InvalidCount));
     }
 }
+
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub enum BreedEffect {
+    Select,
+    Interbreed([u32; 3]),
+    Mutate(u32),
+}
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub struct Breed {
+    pub scores: Vec<u32>,
+    pub effects: Vec<BreedEffect>,
+}
+/// Selection is an explicit native answer. Reset observes supplied callback
+/// activity changes, while the selection fitness snapshot precedes them.
+pub fn breed_bots(
+    bots: &mut [Bot],
+    selection: Option<[usize; 3]>,
+    activity: &[(usize, i32)],
+) -> Result<Breed, Error> {
+    if bots.len() != 64 {
+        return Err(Error::InvalidCount);
+    }
+    if selection.is_some_and(|s| s.iter().any(|j| *j >= 64))
+        || activity.iter().any(|(j, _)| *j >= 64)
+    {
+        return Err(Error::InvalidIndex);
+    }
+    let scores = bots.iter().map(|b| fitness(*b).to_bits()).collect();
+    let mut effects = vec![BreedEffect::Select];
+    for (j, value) in activity {
+        bots[*j].active = *value;
+    }
+    if let Some(s) = selection {
+        let h = s.map(|j| bots[j].handle);
+        effects.push(BreedEffect::Interbreed(h));
+        effects.push(BreedEffect::Mutate(h[2]));
+    }
+    for b in bots {
+        if b.active != 0 {
+            b.wins = 0;
+            b.losses = 0;
+        }
+    }
+    Ok(Breed { scores, effects })
+}
+#[cfg(test)]
+mod breed_tests {
+    use super::*;
+    #[test]
+    fn reset_after_supplied_activity() {
+        let mut b = [Bot::default(); 64];
+        b[63].wins = 99;
+        let out = breed_bots(&mut b, None, &[(63, 1)]).unwrap();
+        assert_eq!(out.scores[63], (-1f32).to_bits());
+        assert_eq!(b[63].wins, 0);
+        assert_eq!(out.effects, [BreedEffect::Select]);
+    }
+    #[test]
+    fn invalid_selection_is_atomic() {
+        let mut b = [Bot {
+            active: 1,
+            wins: 2,
+            losses: 3,
+            handle: 4,
+        }; 64];
+        let before = b;
+        assert_eq!(
+            breed_bots(&mut b, Some([0, 1, 64]), &[(0, 0)]),
+            Err(Error::InvalidIndex)
+        );
+        assert_eq!(b, before);
+        assert_eq!(
+            breed_bots(&mut b, None, &[(64, 0)]),
+            Err(Error::InvalidIndex)
+        );
+        assert_eq!(b, before);
+    }
+}

docs/FINDINGS.md

@@ -1628,3 +1628,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-876:** 64 actual121987 cases recover all64 native fitness words, supplied native -565 parent/child selection, ordered -566 interbreed and -567 mutation(handle,1.0), then zeroing both counters of currently active slots. A supplied selection callback activates slot63 to prove reset rereads live state after native calls. Selection algorithm and native genetic/file behavior remain open; invalid native indices are excluded. [Evidence](research/QVM_BOT_BREED.md).
+
+
+**RE-877:** Rust matches all64 actual121987 fitness/selection/interbreed/mutation/reset transcripts, including callback activation before the counter reset. API validates supplied indices before mutation and retains inactive counters. Native bot selection and genetic mutation are explicit answer/effect boundaries, not Rust implementations of botlib. [Evidence](research/RUST_BOT_BREED.md).

docs/PROVISIONAL_TODO.md

@@ -1656,3 +1656,6 @@ RE-875: Rust matches all64 original bot winner cases, with wrapping fitness arit
 
 
 RE-876: 64 actual121987 cases recover all64 native fitness words, supplied native -565 parent/child selection, ordered -566 interbreed and -567 mutation(handle,1.0), then zeroing both counters of currently active slots. A supplied selection callback activates slot63 to prove reset rereads live state after native calls. Selection algorithm and native genetic/file behavior remain open; invalid native indices are excluded. Full runtime completion remains open. [Evidence](research/QVM_BOT_BREED.md).
+
+
+RE-877: Rust matches all64 actual121987 fitness/selection/interbreed/mutation/reset transcripts, including callback activation before the counter reset. API validates supplied indices before mutation and retains inactive counters. Native bot selection and genetic mutation are explicit answer/effect boundaries, not Rust implementations of botlib. Full runtime completion remains open. [Evidence](research/RUST_BOT_BREED.md).

docs/RESEARCH_LEDGER.md

@@ -2085,3 +2085,8 @@ Rust matches all64 original bot winner cases, with wrapping fitness arithmetic b
 ## 2026-10-28 — RE-876 Original bot breeding callback and counter reset
 
 64 actual121987 cases recover all64 native fitness words, supplied native -565 parent/child selection, ordered -566 interbreed and -567 mutation(handle,1.0), then zeroing both counters of currently active slots. A supplied selection callback activates slot63 to prove reset rereads live state after native calls. Selection algorithm and native genetic/file behavior remain open; invalid native indices are excluded. Focused `cargo xtask test-group qvm-bot-breed` 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-877 Rust bot breeding and post-callback reset
+
+Rust matches all64 actual121987 fitness/selection/interbreed/mutation/reset transcripts, including callback activation before the counter reset. API validates supplied indices before mutation and retains inactive counters. Native bot selection and genetic mutation are explicit answer/effect boundaries, not Rust implementations of botlib. Focused `cargo xtask test-group rust-bot-breed` 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

@@ -1693,3 +1693,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-876 Original bot breeding callback and counter reset ([evidence](research/QVM_BOT_BREED.md)).
+
+
+- [x] RE-877 Rust bot breeding and post-callback reset ([evidence](research/RUST_BOT_BREED.md)).

docs/research/README.md

@@ -1228,3 +1228,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-876: Original bot breeding callback and counter reset](QVM_BOT_BREED.md).
+
+
+[RE-877: Rust bot breeding and post-callback reset](RUST_BOT_BREED.md).

docs/research/RUST_BOT_BREED.md

@@ -0,0 +1,7 @@
+# Rust bot breeding and post-callback reset
+
+RE-877. Reproduce with `python3 scripts/analyze_rust_bot_breed.py`; focused validation: `cargo xtask test-group rust-bot-breed`. [Machine report](rust-bot-breed.json).
+
+Rust matches all64 actual121987 fitness/selection/interbreed/mutation/reset transcripts, including callback activation before the counter reset. API validates supplied indices before mutation and retains inactive counters. Native bot selection and genetic mutation are explicit answer/effect boundaries, not Rust implementations of botlib.
+
+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": 131,
+  "rust_unit_tests": 133,
   "source_report": "docs/research/qvm-health-impulse.json",
   "source_report_sha256": "625fd8064004ea6dbdf398d51d0af844d9c635ff04c0a0790886dddb6ab81e71"
 }

scripts/analyze_rust_bot_breed.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['response'],*a['selection'],int(a['activate']),*[v for row in a['records'] for v in row]]
+def project(s):return {k:s[k] for k in ['scores','calls','after']}
+
+def main():
+ b=binary();p=Path('docs/research/qvm-bot-breed.json');data=p.read_bytes();rows=[]
+ for s in json.loads(data)['probes']:rows.append({'source':project(s),'rust':result(b,'breed',encode(s))})
+ write_json(Path('docs/research/rust-bot-breed.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust matches all64 actual121987 fitness/selection/interbreed/mutation/reset transcripts, including callback activation before the counter reset. API validates supplied indices before mutation and retains inactive counters. Native bot selection and genetic mutation are explicit answer/effect boundaries, not Rust implementations of botlib.'})
+if __name__=='__main__':main()

scripts/test_rust_bot_breed.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-bot-breed.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-bot-breed.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

@@ -2539,3 +2539,16 @@ report	scripts/analyze_qvm_bot_breed.py	docs/research/qvm-bot-breed.json
 edge	docs/research/qvm-bot-breed.json	scripts/test_qvm_bot_breed.py
 group	qvm-bot-breed	scripts/analyze_qvm_bot_breed.py
 edge	scripts/analyze_qvm_bot_breed.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_bot_breed.py
+edge	Cargo.lock	scripts/analyze_rust_bot_breed.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_bot_breed.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_bot_breed.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_bot_breed.py
+edge	crates/urt-gameplay/src/bin/urt-native-policy.rs	scripts/analyze_rust_bot_breed.py
+edge	docs/research/qvm-bot-breed.json	scripts/analyze_rust_bot_breed.py
+group	rust-bot-breed	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_bot_breed.py
+report	scripts/analyze_rust_bot_breed.py	docs/research/rust-bot-breed.json
+edge	docs/research/rust-bot-breed.json	scripts/test_rust_bot_breed.py
+group	rust-bot-breed	scripts/analyze_rust_bot_breed.py
+edge	scripts/analyze_rust_bot_breed.py	scripts/analyze_qvm_resumer_audit.py