qvm: server firing event prelude

docs/ASSET_PIPELINE_TODO.md

@@ -463,3 +463,6 @@ Research progress: RE-591 [report](research/QVM_FIRE_SEQUENCES.md); remaining na
 
 
 Research progress: RE-593 [report](research/QVM_SERVER_EVENT_ROUTE.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-594 [report](research/QVM_SERVER_FIRE_EVENT.md); remaining native/content/runtime/platform scope stays open.

docs/FINDINGS.md

@@ -821,3 +821,6 @@ Bounded qagame paths recover bomb-plant/inactivity correction requests, direct f
 
 
 **RE-593 — Server event queue window and firing branch routing:** 151254 consumes at most the latest two ring events using a signed old-sequence clamp; event31 routes to151634, while other recognized consumers are stopped explicitly. [Evidence](research/QVM_SERVER_EVENT_ROUTE.md).
+
+
+**RE-594 — Published firing event to server pre-call reset:** Actual outer31 publication reaches server151634, which writes client4140=0 and4328=1 before pending289235(entity); this prelude does not read the queued parameter. [Evidence](research/QVM_SERVER_FIRE_EVENT.md).

docs/PROVISIONAL_TODO.md

@@ -781,3 +781,6 @@ Research progress: RE-591 [report](research/QVM_FIRE_SEQUENCES.md); remaining na
 
 
 Research progress: RE-593 [report](research/QVM_SERVER_EVENT_ROUTE.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-594 [report](research/QVM_SERVER_FIRE_EVENT.md); remaining native/content/runtime/platform scope stays open.

docs/RESEARCH_LEDGER.md

@@ -655,3 +655,8 @@ RE-591 additional regression:19 related reports from RE-571–580 and RE-582–5
 ## 2026-10-20 — RE-593 Server event queue window and firing branch routing (separate task commit)
 
 151254 consumes at most the latest two ring events using a signed old-sequence clamp; event31 routes to151634, while other recognized consumers are stopped explicitly. 150 independent fixtures check old/new sequence windows, ring parity, ignored/recognized event priority, unchanged state and no fabricated child execution. Full suite: 883 tests pass. Report regenerates byte-identically (409911 bytes). Storage/filter, links and whitespace checks pass. No assets/Rust runtime/shared VM evaluator changed; native/reference/legal/full platform scope remains open.
+
+
+## 2026-10-20 — RE-594 Published firing event to server pre-call reset (separate task commit)
+
+Actual outer31 publication reaches server151634, which writes client4140=0 and4328=1 before pending289235(entity); this prelude does not read the queued parameter. 36 producer/ring/routing/reset compositions independently check one/three publications, parity, retained parameters, exact two-field mutation and explicit pending-call boundary. Full suite: 887 tests pass. Report regenerates byte-identically (340717 bytes). Storage/filter, links and whitespace checks pass. No assets/Rust runtime/shared VM evaluator changed; native/reference/legal/full platform scope remains open.

docs/REVERSE_ENGINEERING_TODO.md

@@ -823,3 +823,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-593 Server event queue window and firing branch routing ([report](research/QVM_SERVER_EVENT_ROUTE.md)).
+
+
+- [x] RE-594 Published firing event to server pre-call reset ([report](research/QVM_SERVER_FIRE_EVENT.md)).

docs/research/QVM_SERVER_FIRE_EVENT.md

@@ -0,0 +1,11 @@
+# Published firing event to server pre-call reset
+
+RE-594. Reproduce with `python3 scripts/analyze_qvm_server_fire_event.py`; check with `python3 scripts/test_qvm_server_fire_event.py`. The [machine report](qvm-server-fire-event.json) retains source identity and bounded fixtures.
+
+Actual54855..54978 publishes31 through29913, then actual151254 routes it using the latest-two-event window. On31,151634..151654 clears client+4140 and writes client+4328=1. The next instruction sequence is CONST289235/CALL151656 with entity argument. The parent is stopped before that call, so no unexamined firing result is supplied.
+
+36 fixtures cover three initial field pairs, parameters0/7/unsigned−1, two sequence parities and one/three publications. Queue pressure correctly starts at current−2 rather than replaying old events. Parameter values survive publication, but the reset body itself does not consume them. Those facts do not establish whether later handlers use parameters.
+
+Next: recover289235's suppression guard/statistic and angle basis, its muzzle helper, and the entity-weapon dispatch. Numeric client fields remain unnamed pending writer/reference evidence.
+
+No original executable/full QVM/native collision/physics/rendering executes. Native responses and legal input domains are supplied or unverified where stated; full runtime/macOS/Linux Rust/Bevy/Solari gameplay remains open.

docs/research/README.md

@@ -382,3 +382,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-593: Server event queue window and firing branch routing](QVM_SERVER_EVENT_ROUTE.md). Reproduce with `python3 scripts/analyze_qvm_server_event_route.py`; check with `python3 scripts/test_qvm_server_event_route.py`.
+
+
+[RE-594: Published firing event to server pre-call reset](QVM_SERVER_FIRE_EVENT.md). Reproduce with `python3 scripts/analyze_qvm_server_fire_event.py`; check with `python3 scripts/test_qvm_server_fire_event.py`.

scripts/analyze_qvm_server_fire_event.py

@@ -0,0 +1,30 @@
+#!/usr/bin/env python3
+"""Actual outer event31 publication through server routing and pre-fire resets."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source,execute
+from qvm_server_fire_support import seed,state,ENTITY
+from analyze_qvm_server_event_route import route,LOCAL
+from analyze_qvm_fire_sequences import publish
+from analyze_qvm_acceleration import PS,FRAME
+from analyze_qvm import write_json
+
+def prelude(ins,m):
+    initial=state(m);m,c,r=execute(ins,151634,151655,m,(0,0,0),LOCAL)
+    assert ins[151655]['operand']==289235 and ins[151656]['opcode']=='CALL'
+    return m,{'initial':initial,'execution':r,'pending_call':{'instruction':151656,'target':289235,'entity':ENTITY},'final':state(m)}
+
+def bridge(ins,m,parameter=0,count=1):
+    initial=state(m);old=m[PS+108];publications=[]
+    for _ in range(count):
+        m.update({FRAME+48:0,FRAME+252:0,FRAME+256:0,FRAME+260:1,FRAME+264:parameter});m,p=publish(ins,m);publications.append({'calls':p['execution']['calls'],'queue':p['final']['queue']})
+    m,r=route(ins,m,old);p=None
+    if r['execution']['stop']==151634:m,p=prelude(ins,m)
+    return m,{'initial':initial,'parameter':parameter,'count':count,'publications':publications,'route':r,'prelude':p,'final':state(m)}
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    for fields,param,seq,count in itertools.product([(-1,-1),(0,0),(1111,5)],[0,7,0xffffffff],[0,1],[1,3]):
+        m=seed(raw,h);m.update({PS+4140:fields[0],PS+4328:fields[1],PS+108:seq});rows.append(bridge(ins,m,param,count)[1])
+    write_json(Path('docs/research/qvm-server-fire-event.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual54855 publication→151254 routing→151634 reset, stopped before CALL151656 to289235. Event parameter is retained in queue but not read by this prelude; no firing child/native shot executes.'})
+if __name__=='__main__':main()

scripts/test_qvm_server_fire_event.py

@@ -0,0 +1,22 @@
+import json,unittest,copy
+from pathlib import Path
+from test_qvm_server_event_route import routing
+class ServerFireEventTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.r=json.loads(Path('docs/research/qvm-server-fire-event.json').read_text())
+    def test_actual_producer_ring_and_route_handoff(self):
+        self.assertEqual(len(self.r['probes']),36)
+        for p in self.r['probes']:
+            q=copy.deepcopy(p['initial']['queue'])
+            for publication in p['publications']:
+                slot=q['sequence']&1;q['events'][slot]=31;q['parameters'][slot]=p['parameter'];q['sequence']+=1;self.assertEqual(publication['queue'],q)
+            self.assertEqual(p['route']['initial']['queue'],q);self.assertEqual(p['route']['execution']['stop'],routing(p['route'])[-1]);self.assertEqual(p['route']['execution']['stop'],151634)
+    def test_exact_resets_before_pending_fire_call(self):
+        for p in self.r['probes']:
+            r=p['prelude'];self.assertEqual(r['initial'],p['route']['final']);a=copy.deepcopy(r['initial']);a.update(field4140=0,field4328=1);self.assertEqual(r['final'],a);self.assertEqual(p['final'],a)
+    def test_no_fabricated_fire_child_or_parameter_effect(self):
+        for p in self.r['probes']:self.assertEqual(p['prelude']['execution']['calls'],[]);self.assertEqual(p['prelude']['pending_call'],{'instruction':151656,'target':289235,'entity':589824})
+    def test_queue_pressure_clamp_keeps_latest_two(self):
+        for p in self.r['probes']:
+            expected=p['initial']['queue']['sequence']+max(p['count']-2,0);self.assertEqual(p['route']['cursor'],expected)
+if __name__=='__main__':unittest.main()