qvm: recover scoreboard row admission

docs/FINDINGS.md

@@ -1412,3 +1412,6 @@ RE-791–800 adds exact Rust source-sort/ranking parity, mixed count/prefix sema
 
 
 **RE-804:** Actual strlen36038 and strcpy36185 execute against coherent bytes, preserving destination guards; bounded copy69338 retains an explicit native strncpy model. [Evidence](research/QVM_STRING_MEMORY.md).
+
+
+**RE-805:** 179363 differs from single-recipient payloads: raw class is preserved, only connecting state1 forces999 ping, and overflow candidates mutate cache before rejection. [Evidence](research/QVM_SCOREBOARD_ROWS.md).

docs/PROVISIONAL_TODO.md

@@ -1419,3 +1419,6 @@ RE-803: Both bounded resumers now support validated child byte writes, coherent
 
 
 RE-804: Actual strlen36038 and strcpy36185 execute against coherent bytes, preserving destination guards; bounded copy69338 retains an explicit native strncpy model. Full runtime completion remains open. [Evidence](research/QVM_STRING_MEMORY.md).
+
+
+RE-805: 179363 differs from single-recipient payloads: raw class is preserved, only connecting state1 forces999 ping, and overflow candidates mutate cache before rejection. Full runtime completion remains open. [Evidence](research/QVM_SCOREBOARD_ROWS.md).

docs/RESEARCH_LEDGER.md

@@ -1686,3 +1686,8 @@ Both bounded resumers now support validated child byte writes, coherent word mir
 ## 2026-10-26 — RE-804 Actual QVM string helpers across aligned and unaligned memory
 
 Actual strlen36038 and strcpy36185 execute against coherent bytes, preserving destination guards; bounded copy69338 retains an explicit native strncpy model. Focused `cargo xtask test-group string-memory` passes (6 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-26 — RE-805 Original scoreboard numeric rows cache updates and packet admission
+
+179363 differs from single-recipient payloads: raw class is preserved, only connecting state1 forces999 ping, and overflow candidates mutate cache before rejection. Focused `cargo xtask test-group scoreboard-rows` passes (6 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

@@ -1462,3 +1462,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-804 Actual QVM string helpers across aligned and unaligned memory ([evidence](research/QVM_STRING_MEMORY.md)).
+
+
+- [x] RE-805 Original scoreboard numeric rows cache updates and packet admission ([evidence](research/QVM_SCOREBOARD_ROWS.md)).

docs/research/QVM_SCOREBOARD_ROWS.md

@@ -0,0 +1,7 @@
+# Original scoreboard numeric rows cache updates and packet admission
+
+RE-805. Reproduce with `python3 scripts/analyze_qvm_scoreboard_rows.py`; focused validation: `cargo xtask test-group scoreboard-rows`. [Machine report](qvm-scoreboard-rows.json).
+
+76 original-instruction probes cover signed ping/packed fields, connection states-minus-one..3, follow cache, bot overrides, status gates and exact1024 capacity boundaries. Name strlen and bounded copy execute actual recovered children; row lengths are supplied and formatting/append/send effects remain captured. Independent models verify attempted versus accepted rows, caches including rejected candidates, header arguments and recipient ID.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/README.md

@@ -1002,3 +1002,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-804: Actual QVM string helpers across aligned and unaligned memory](QVM_STRING_MEMORY.md).
+
+
+[RE-805: Original scoreboard numeric rows cache updates and packet admission](QVM_SCOREBOARD_ROWS.md).

docs/research/qvm-resumer-audit.json

@@ -9136,6 +9136,79 @@
       "repeated_calls_opt_in": false,
       "repeated_calls_setting": "default_false"
     },
+    {
+      "backward_conditional_branches": [
+        179703
+      ],
+      "calls": [
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": 2568,
+          "instruction": 179534,
+          "stores_result": true,
+          "target": 36038
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 179547,
+          "stores_result": false,
+          "target": 69338
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 179561,
+          "stores_result": false,
+          "target": 69338
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 179655,
+          "stores_result": false,
+          "target": 70386
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": 2576,
+          "instruction": 179661,
+          "stores_result": true,
+          "target": 36038
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 179684,
+          "stores_result": false,
+          "target": 36185
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": 2552,
+          "instruction": 179719,
+          "stores_result": true,
+          "target": 70458
+        },
+        {
+          "dynamic_store_requires_review": false,
+          "implicit_local_offset": null,
+          "instruction": 179732,
+          "stores_result": false,
+          "target": -18
+        }
+      ],
+      "explicit_result_offsets": null,
+      "helper": "qvm_trace_support.resume",
+      "line": 31,
+      "literal_range": [
+        179364,
+        179734
+      ],
+      "path": "scripts/qvm_scoreboard_body_support.py",
+      "repeated_calls_opt_in": true,
+      "repeated_calls_setting": "literal_true"
+    },
     {
       "backward_conditional_branches": [
         6366
@@ -9468,8 +9541,8 @@
     }
   },
   "summary": {
-    "call_expressions": 189,
-    "files": 147,
+    "call_expressions": 190,
+    "files": 148,
     "legacy_expressions": 158,
     "nonliteral_ranges": 24,
     "unresolved_mode_expressions": 3

scripts/analyze_qvm_scoreboard_rows.py

@@ -0,0 +1,16 @@
+#!/usr/bin/env python3
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+from qvm_scoreboard_body_support import seed,body,DEFAULT,CPOOL
+from analyze_qvm import write_json
+
+def main():
+    q,raw,h,ins=source();cases=[];rows=[]
+    for ping,state,follow,bot in itertools.product([-5,999,1500],[-1,0,1,2,3],[0,1],[0,8]):cases.append(([{'452':ping,'468':state,'4324':follow,'12':1024 if follow else 0,'flags':bot,'696':21 if state%2 else -1,'name_hex':'41' if bot else '4142'}],[40]))
+    for lengths in [[],[1024],[1025],[512,512],[512,513],[1023,1],[1023,2],[0]*64]:cases.append(([{} for _ in lengths],lengths))
+    for health,protected,special in itertools.product([0,100],[0,16384],[0,1]):cases.append(([{'208':health,'220':protected,'3740':special,'300':0xffff00ff}],[40]))
+    for clients,lengths in cases:
+        m,b=seed(clients);m,p=body(ins,m,b,lengths);p.update(clients=clients,lengths=lengths,now=121000,final_cache=[m[CPOOL+6336*j+6160]&0xffffffff for j in range(len(clients))]);rows.append(p)
+    write_json(Path('docs/research/qvm-scoreboard-rows.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual179363 including original unaligned literal copy, numeric rows, ping caches and1024-byte admission loop. Actual36038 for names and69338 wrapper; row strlen lengths supplied,70386/36185/70458/-18 captured. Unlike179736, connection!=1 uses raw ping clamp and class is not clamped. Overflow candidate cache changes precede rejection. Native formatting and wire parity unverified.'})
+if __name__=='__main__':main()

scripts/qvm_scoreboard_body_support.py

@@ -0,0 +1,32 @@
+"""Actual179363 scoreboard row/capacity/cache loop; text boundaries explicit."""
+from qvm_health_effects_support import H
+from qvm_notification_support import CPOOL,POOL
+from qvm_string_memory_support import strlen,copy_bounded
+from qvm_trace_support import resume
+from qvm_recipient_payload_support import FIELDS
+S=H+0x600000
+BODY=S+0x10000
+DEFAULT={12:0,140:0,208:100,220:0,248:7,280:3,300:0x800001ff,308:17,452:70,468:2,576:1000,696:20,3032:4,3692:9,3740:0,4324:0,4336:60000,6160:77}
+
+def seed(clients,order=None,now=121000,scores=(2,1),recipient=3):
+    order=list(range(len(clients))) if order is None else list(order)
+    if len(clients)>64 or sorted(order)!=list(range(len(clients))):raise ValueError('unsupported scoreboard order')
+    m={34992496:CPOOL,34992580:len(order),34992532:now,34992556:scores[0],34992560:scores[1],S+2588:POOL+880*recipient};b={69350+j:v for j,v in enumerate(b'---\0')}
+    for j,id in enumerate(order):m[34992592+4*j]=id
+    for j,c in enumerate(clients):
+        for o,v in DEFAULT.items():m[CPOOL+6336*j+o]=c.get(str(o),v)
+        m[POOL+880*j+424]=c.get('flags',0);name=bytes.fromhex(c.get('name_hex','4142'))
+        for k,v in enumerate(name+b'\0'+b'\0'*4):b[CPOOL+6336*j+3624+k]=v
+    return m,b
+
+def body(ins,m,b,lengths):
+    rows=[];requests=[]
+    def length(i,m,a,bs):
+        if a[8]==S+80:return m,lengths[len(rows)-1],{'row_length_supplied':True}
+        return strlen(i,m,a,bs)
+    def row(i,m,a,bs):rows.append({'numbers':[a[o] for o in range(20,68,4)],'format':a[16]});return m,0,{'row_format_captured':True}
+    def append(i,m,a,bs):return m,0,{'append_captured':True}
+    def final(i,m,a,bs):requests.append({'target':70458,'arguments':a});return m,BODY,{'final_format_captured':True}
+    def send(i,m,a,bs):requests.append({'target':-18,'arguments':a});return m,0,{'send_captured':True}
+    m,e=resume(ins,179364,179734,m,S,handlers={36038:length,69338:copy_bounded,70386:row,36185:append,70458:final,-18:send},byte_inputs=b,repeated_calls=True,sync_child_words=True,coherent_memory=True,byte_handlers=True,limit=32768)
+    return m,{'rows':rows,'accepted':m[S+76],'payload_length':m[S+1104],'requests':requests,'execution':{k:e[k] for k in ['stop','trace_length','trace_sha256']}}

scripts/test_qvm_scoreboard_rows.py

@@ -0,0 +1,31 @@
+import json,math,unittest
+from pathlib import Path
+from qvm_scoreboard_body_support import DEFAULT
+
+def signed(v):return (v+2**31)%2**32-2**31
+
+def project(c,id,now):
+    d={str(k):v for k,v in DEFAULT.items()};d.update(c);v=lambda o:signed(d[str(o)]);ping=999 if v(468)==1 else min(v(452),999);cache=v(6160)
+    if v(4324) and v(12)&1024:ping=cache
+    else:cache=ping
+    if d.get('flags',0)&8:ping=-1
+    status=2 if v(3740) else 1 if v(4324) or v(208)<=0 or v(220)&16384 else 0
+    return cache&0xffffffff,[id,v(248),ping,math.trunc(signed(signed(now-v(576))+v(4336))/60000),status,v(280),v(3692),d['300']&255,v(300)>>8,v(308),v(3032),v(696)]
+class ScoreboardRowTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.ps=json.loads(Path('docs/research/qvm-scoreboard-rows.json').read_text())['probes']
+    def test_independent_rows_caches_and_pre_rejection_mutations(self):
+        self.assertEqual(len(self.ps),76)
+        for p in self.ps:
+            cache=[c.get('6160',77)&0xffffffff for c in p['clients']];rows=[];total=0;accepted=0
+            for j,c in enumerate(p['clients']):
+                cache[j],numbers=project(c,j,p['now']);rows.append({'numbers':numbers,'format':79328})
+                if total+p['lengths'][j]>1024:break
+                total+=p['lengths'][j];accepted+=1
+            self.assertEqual(p['rows'],rows);self.assertEqual(p['final_cache'],cache);self.assertEqual((p['accepted'],p['payload_length']),(accepted,total));self.assertEqual(p['execution']['stop'],179734)
+    def test_header_abi_and_recipient(self):
+        for p in self.ps:
+            a=p['requests'][0]['arguments'];self.assertEqual({k:a[k] for k in ['8','12','16','20']},{'8':79310,'12':p['accepted'],'16':2,'20':1});self.assertEqual(p['requests'][-1]['arguments']['8'],3)
+    def test_unclamped_class_and_nonconnecting_ping_difference_is_exercised(self):
+        self.assertTrue(any(p['rows'] and p['rows'][0]['numbers'][-1]==21 for p in self.ps));self.assertTrue(any(c.get('468')==0 and p['rows'][0]['numbers'][2]==-5 for p in self.ps for c in p['clients']))
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1903,3 +1903,8 @@ edge	docs/research/qvm-string-memory.json	scripts/test_qvm_string_memory.py
 group	string-memory	scripts/analyze_qvm_string_memory.py
 edge	scripts/analyze_qvm_string_memory.py	scripts/analyze_qvm_resumer_audit.py
 edge	scripts/qvm_string_memory_support.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_qvm_scoreboard_rows.py	docs/research/qvm-scoreboard-rows.json
+edge	docs/research/qvm-scoreboard-rows.json	scripts/test_qvm_scoreboard_rows.py
+group	scoreboard-rows	scripts/analyze_qvm_scoreboard_rows.py
+edge	scripts/analyze_qvm_scoreboard_rows.py	scripts/analyze_qvm_resumer_audit.py
+edge	scripts/qvm_scoreboard_body_support.py	scripts/analyze_qvm_resumer_audit.py