qvm: resolve bot and announcement connect children

docs/FINDINGS.md

@@ -1781,3 +1781,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-927:** Rust matches162 original182896 payload/counter cases, retaining exact ccprint/spectator framing, raw name bytes, previous-team suppression and wrapping formatter counter. It does not select or mutate teams. Native broadcast delivery and additional team-switch logic remain open. [Evidence](research/RUST_TEAM_ANNOUNCEMENT.md).
+
+
+**RE-928:** 144 original173979 suffix cases execute actual161744 settings/drop wrapper and182896 announcement body instead of supplied bot booleans and captured team callback. Parent control/state remains source-identical; extra userinfo selector toggles, setup records, drops, exact announcement bytes and formatter carry are verified. Native125185 setup,171668 userinfo mutation, ranking/network/logging remain supplied/captured. [Evidence](research/QVM_RESOLVED_CONNECT_TAIL.md).

docs/PROVISIONAL_TODO.md

@@ -1824,3 +1824,6 @@ RE-926: 162 actual182896 cases execute original70458/37914 integer/string format
 
 
 RE-927: Rust matches162 original182896 payload/counter cases, retaining exact ccprint/spectator framing, raw name bytes, previous-team suppression and wrapping formatter counter. It does not select or mutate teams. Native broadcast delivery and additional team-switch logic remain open. Full runtime completion remains open. [Evidence](research/RUST_TEAM_ANNOUNCEMENT.md).
+
+
+RE-928: 144 original173979 suffix cases execute actual161744 settings/drop wrapper and182896 announcement body instead of supplied bot booleans and captured team callback. Parent control/state remains source-identical; extra userinfo selector toggles, setup records, drops, exact announcement bytes and formatter carry are verified. Native125185 setup,171668 userinfo mutation, ranking/network/logging remain supplied/captured. Full runtime completion remains open. [Evidence](research/QVM_RESOLVED_CONNECT_TAIL.md).

docs/RESEARCH_LEDGER.md

@@ -2365,3 +2365,8 @@ Rust matches288 original161744 fixed-record and effect cases, preserving143-byte
 ## 2026-10-28 — RE-927 Rust team announcements and spectator suppression
 
 Rust matches162 original182896 payload/counter cases, retaining exact ccprint/spectator framing, raw name bytes, previous-team suppression and wrapping formatter counter. It does not select or mutate teams. Native broadcast delivery and additional team-switch logic remain open. Focused `cargo xtask test-group rust-team-announcement` 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-928 Original connect suffix with bot wrapper and announcements
+
+144 original173979 suffix cases execute actual161744 settings/drop wrapper and182896 announcement body instead of supplied bot booleans and captured team callback. Parent control/state remains source-identical; extra userinfo selector toggles, setup records, drops, exact announcement bytes and formatter carry are verified. Native125185 setup,171668 userinfo mutation, ranking/network/logging remain supplied/captured. Focused `cargo xtask test-group qvm-resolved-connect-tail` 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

@@ -1861,3 +1861,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-927 Rust team announcements and spectator suppression ([evidence](research/RUST_TEAM_ANNOUNCEMENT.md)).
+
+
+- [x] RE-928 Original connect suffix with bot wrapper and announcements ([evidence](research/QVM_RESOLVED_CONNECT_TAIL.md)).

docs/research/QVM_RESOLVED_CONNECT_TAIL.md

@@ -0,0 +1,7 @@
+# Original connect suffix with bot wrapper and announcements
+
+RE-928. Reproduce with `python3 scripts/analyze_qvm_resolved_connect_tail.py`; focused validation: `cargo xtask test-group qvm-resolved-connect-tail`. [Machine report](qvm-resolved-connect-tail.json).
+
+144 original173979 suffix cases execute actual161744 settings/drop wrapper and182896 announcement body instead of supplied bot booleans and captured team callback. Parent control/state remains source-identical; extra userinfo selector toggles, setup records, drops, exact announcement bytes and formatter carry are verified. Native125185 setup,171668 userinfo mutation, ranking/network/logging remain supplied/captured.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -1396,3 +1396,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-927: Rust team announcements and spectator suppression](RUST_TEAM_ANNOUNCEMENT.md).
+
+
+[RE-928: Original connect suffix with bot wrapper and announcements](QVM_RESOLVED_CONNECT_TAIL.md).

scripts/analyze_qvm_resolved_connect_tail.py

@@ -0,0 +1,22 @@
+#!/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=[]
+ from qvm_connect_policy_support import WATCH
+ from qvm_connect_callback_support import environment,resolved_tail
+ from qvm_map_commands_support import put_string
+ for mode,team,bot,first,answer,changed in itertools.product([0,3,9],[0,2,3],[0,1],[0,1],[0,1],[False,True]):
+  m,b=environment(raw,h);slot=3;pointer=CPOOL+6336*slot
+  for o in range(0,6336,4):m[pointer+o]=0xaabbccdd
+  now=2147483647 if mode==9 else 100;seconds={0:0,2:2,3:-1}[team];m.update({pointer+3096:team,34090788:mode,34992532:now,34085460:seconds,POOL+880*slot+424:32,POOL+880*slot+532:0});put_string(m,b,pointer+504,b'old');m,p,b=resolved_tail(ins,m,b,slot,first,bot,b'\\characterfile\\bots/a.c\\skill\\1.5\\team\\red',answer,2 if changed else None,b'new^1name');p.update(input=dict(mode=mode,team=team,bot=bot,first=first,answer=answer,changed=changed,now=now,seconds=seconds),words={str(o):m[pointer+o]&0xffffffff for o in WATCH},entity_flags=m[POOL+880*slot+424]&0xffffffff,in_use=m[POOL+880*slot+532]&0xffffffff,ring=m[23708]&0xffffffff,info_ring=m[23712]&0xffffffff);rows.append(p)
+
+ write_json(Path('docs/research/qvm-resolved-connect-tail.json'),{'source':q['source'],'sha256':q['sha256'],'root':173979,'probes':rows,'limits':'144 original173979 suffix cases execute actual161744 settings/drop wrapper and182896 announcement body instead of supplied bot booleans and captured team callback. Parent control/state remains source-identical; extra userinfo selector toggles, setup records, drops, exact announcement bytes and formatter carry are verified. Native125185 setup,171668 userinfo mutation, ranking/network/logging remain supplied/captured.'})
+if __name__=='__main__':main()

scripts/qvm_connect_callback_support.py

@@ -32,3 +32,20 @@ def team_announcement(ins,m,b,pointer,previous):
  def fmt(i,m,a,bs):return final_format(i,m,a,dict(bs),formatter)
  def send(i,m,a,bs):sends.append(dict(recipient=a[8],text=cstring(m,bs,a[12]).hex()));return m,0,{'network_send_captured':True}
  m,v,p,b=run(ins,m,182896,183023,28,{8:pointer,12:previous},b,{70458:fmt,-18:send},base=ANNOUNCE);p.update(sends=sends);return m,p,b
+
+def resolved_handlers(slot,userinfo,answer,after_team,name,events,children):
+ from qvm_connect_policy_support import tail_handlers
+ handlers=tail_handlers(slot,answer,after_team,name,events)
+ def bot(i,m,a,bs):
+  events.append(dict(op='bot',slot=a[8],restart=a[12]));m,p,b=bot_settings(i,m,dict(bs),a[8],a[12],userinfo,answer);children['bot']=p;return m,p['result'],{'actual_source_child':161744}
+ def announce(i,m,a,bs):
+  events.append(dict(op='join',slot=slot,choice=a[12]));m,p,b=team_announcement(i,m,dict(bs),a[8],a[12]);children.setdefault('announcements',[]).extend(p['sends']);return m,0,{'actual_source_child':182896}
+ handlers.update({161744:bot,182896:announce});return handlers
+
+def resolved_tail(ins,m,b,slot,first,bot,userinfo,answer,after_team,name):
+ from qvm_connect_policy_support import TAIL
+ from qvm_exit_rules_support import CPOOL
+ from qvm_camera_world_support import POOL
+ import hashlib,json
+ events=[];children={};m[TAIL+20]=CPOOL+6336*slot;m[TAIL+24]=POOL+880*slot
+ m,v,p,b=run(ins,m,174173,174397,1080,{8:slot,12:first,16:bot},b,resolved_handlers(slot,userinfo,answer,after_team,name,events,children),base=TAIL);changes=p.pop('changes');p.update(change_count=len(changes),changes_sha256=hashlib.sha256(json.dumps(changes,sort_keys=True).encode()).hexdigest(),events=events,children=children,accepted=v==0,message=None if v==0 else cstring(m,b,v).hex());return m,p,b

scripts/test_qvm_resolved_connect_tail.py

@@ -0,0 +1,12 @@
+import json,unittest
+from pathlib import Path
+class ResolvedTests(unittest.TestCase):
+ def test_actual_children_and_preserved_parent_state(self):
+  rows=json.loads(Path('docs/research/qvm-resolved-connect-tail.json').read_text())['probes'];old=json.loads(Path('docs/research/qvm-connect-tail.json').read_text())['probes'];self.assertEqual(len(rows),144)
+  for p,prior in zip(rows,old):
+   for k in ['input','events','accepted','message','words','entity_flags','in_use']:self.assertEqual(p[k],prior[k])
+   a=p['input'];bot=p['children'].get('bot');self.assertEqual(bot is not None,bool(a['bot']));self.assertEqual(p['info_ring'],int(bool(a['bot'])))
+   if bot:
+    self.assertEqual(bot['result'],int(bool(a['answer'])));self.assertEqual(bytes.fromhex(bot['settings'][0])[144:148],bytes.fromhex('0000c03f'));self.assertEqual(bot['calls'][-1]['op'],'setup' if a['answer'] else 'drop')
+   notice=p['children'].get('announcements',[]);joined=any(e['op']=='join' for e in p['events']);self.assertEqual(notice,[{'recipient':-1,'text':b'ccprint "5" "new^1name" "2"'.hex()}] if joined else []);self.assertEqual(p['ring'],prior['ring']+int(joined))
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -3042,3 +3042,8 @@ report	scripts/analyze_rust_team_announcement.py	docs/research/rust-team-announc
 edge	docs/research/rust-team-announcement.json	scripts/test_rust_team_announcement.py
 group	rust-team-announcement	scripts/analyze_rust_team_announcement.py
 edge	scripts/analyze_rust_team_announcement.py	scripts/analyze_qvm_resumer_audit.py
+edge	docs/research/qvm-connect-tail.json	scripts/test_qvm_resolved_connect_tail.py
+report	scripts/analyze_qvm_resolved_connect_tail.py	docs/research/qvm-resolved-connect-tail.json
+edge	docs/research/qvm-resolved-connect-tail.json	scripts/test_qvm_resolved_connect_tail.py
+group	qvm-resolved-connect-tail	scripts/analyze_qvm_resolved_connect_tail.py
+edge	scripts/analyze_qvm_resolved_connect_tail.py	scripts/analyze_qvm_resumer_audit.py