qvm: recover bot breeding and counter reset

docs/FINDINGS.md

@@ -1625,3 +1625,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-875:** Rust matches all64 original bot winner cases, with wrapping fitness arithmetic before f32 conversion, strict first-wins comparison and typed rejection of incomplete populations. Native botlib genome writes are returned as intentions, without assuming file serialization or runtime integration. [Evidence](research/RUST_BOT_BEST.md).
+
+
+**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).

docs/PROVISIONAL_TODO.md

@@ -1653,3 +1653,6 @@ RE-874: 64 actual122143 cases recover a 64-slot bot population scan, wrapping (w
 
 
 RE-875: Rust matches all64 original bot winner cases, with wrapping fitness arithmetic before f32 conversion, strict first-wins comparison and typed rejection of incomplete populations. Native botlib genome writes are returned as intentions, without assuming file serialization or runtime integration. Full runtime completion remains open. [Evidence](research/RUST_BOT_BEST.md).
+
+
+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).

docs/RESEARCH_LEDGER.md

@@ -2080,3 +2080,8 @@ Batch RE-864–873 boundary: the single `cargo xtask test-full --since 171bd705`
 ## 2026-10-28 — RE-875 Rust bot genome winner policy
 
 Rust matches all64 original bot winner cases, with wrapping fitness arithmetic before f32 conversion, strict first-wins comparison and typed rejection of incomplete populations. Native botlib genome writes are returned as intentions, without assuming file serialization or runtime integration. Focused `cargo xtask test-group rust-bot-best` 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.
+
+
+## 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.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1690,3 +1690,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-875 Rust bot genome winner policy ([evidence](research/RUST_BOT_BEST.md)).
+
+
+- [x] RE-876 Original bot breeding callback and counter reset ([evidence](research/QVM_BOT_BREED.md)).

docs/research/QVM_BOT_BREED.md

@@ -0,0 +1,7 @@
+# Original bot breeding callback and counter reset
+
+RE-876. Reproduce with `python3 scripts/analyze_qvm_bot_breed.py`; focused validation: `cargo xtask test-group qvm-bot-breed`. [Machine report](qvm-bot-breed.json).
+
+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.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -1225,3 +1225,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-875: Rust bot genome winner policy](RUST_BOT_BEST.md).
+
+
+[RE-876: Original bot breeding callback and counter reset](QVM_BOT_BREED.md).

scripts/analyze_qvm_bot_breed.py

@@ -0,0 +1,30 @@
+#!/usr/bin/env python3
+"""Execute the verified original QVM body; native effects are supplied or captured."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source,constants
+from qvm_camera_world_support import B,run
+from qvm_exit_rules_support import POOL,CPOOL
+from analyze_qvm_acceleration import word,number
+from analyze_qvm import write_json
+
+def main():
+ q,raw,h,ins=source();rows=[]
+ for pattern,active,response,selection,activate in itertools.product(range(2),[0,1,63,64],[0,1],[[0,1,2],[63,3,4]],[False,True]):
+  m={};records=[];calls=[];scores=[]
+  for j in range(64):
+   row=[int(j<active),[0,2147483647,-3,16777217][(j+pattern)%4],[1,-2,3,0][(j+pattern)%4],700+j];records.append(row)
+   for address,value in zip([35145324,35151356,35151352,35151852],row):m[address+9108*j]=value
+  def select(i,m,a,b):
+   scores.extend(m[a[12]+4*j]&0xffffffff for j in range(64));calls.append([-565,a[8]])
+   cells={}
+   for o,j in zip([16,20,24],selection):cells.update({a[o]+k:(j>>(8*k))&255 for k in range(4)})
+   if activate:m[35145324+9108*63]=1
+   return m,response,{'selection_supplied':True,'child_memory_bytes':cells}
+  def capture(t):
+   def call(i,m,a,b):calls.append([t,*[a[o]&0xffffffff for o in ([8,12,16] if t==-566 else [8,12])]]);return m,0,{'native_effect_captured':True}
+   return call
+  m,v,p,b=run(ins,m,121987,122141,304,handlers={-565:select,-566:capture(-566),-567:capture(-567)});p.update(input=dict(records=records,response=response,selection=selection,activate=activate),scores=scores,calls=calls,after=[[m[address+9108*j]&0xffffffff for address in [35145324,35151356,35151352,35151852]] for j in range(64)]);rows.append(p)
+
+ write_json(Path('docs/research/qvm-bot-breed.json'),{'source':q['source'],'sha256':q['sha256'],'root':121987,'probes':rows,'limits':'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.'})
+if __name__=='__main__':main()

scripts/test_qvm_bot_breed.py

@@ -0,0 +1,19 @@
+import json,unittest
+from pathlib import Path
+class OriginalTests(unittest.TestCase):
+ def test_instruction_results(self):
+  rows=json.loads(Path('docs/research/qvm-bot-breed.json').read_text())['probes']
+  self.assertEqual(len(rows),64)
+  import struct
+  f=lambda v:int.from_bytes(struct.pack('<f',v),'little')
+  for p in rows:
+   a=p['input'];expected=[];end=[]
+   for j,(live,w,l,h) in enumerate(a['records']):
+    value=((w<<1)-l)&0xffffffff;value=value-2**32 if value>=2**31 else value;expected.append(f(value if live else -1));live=int(bool(live or (j==63 and a['activate'])));end.append([live,0 if live else w&0xffffffff,0 if live else l&0xffffffff,h])
+   self.assertEqual(p['scores'],expected);self.assertEqual(p['after'],end)
+   calls=[[-565,64]]
+   if a['response']:
+    h=[a['records'][j][3] for j in a['selection']];calls.extend([[-566,*h],[-567,h[2],f(1)]])
+   self.assertEqual(p['calls'],calls)
+
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2535,3 +2535,7 @@ edge	docs/research/rust-bot-best.json	scripts/test_rust_bot_best.py
 group	rust-bot-best	scripts/analyze_rust_bot_best.py
 edge	scripts/analyze_rust_bot_best.py	scripts/analyze_qvm_resumer_audit.py
 edge	scripts/rust_native_policy_support.py	scripts/analyze_qvm_resumer_audit.py
+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