qvm: hitscan speed spread

docs/ASSET_PIPELINE_TODO.md

@@ -508,3 +508,6 @@ Research progress: RE-608 [report](research/QVM_ALLOCATED_GRENADE.md); remaining
 
 
 Research progress: RE-609 [report](research/QVM_SPREAD_PARAMETERS.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-610 [report](research/QVM_SPREAD_SPEED.md); remaining native/content/runtime/platform scope stays open.

docs/FINDINGS.md

@@ -866,3 +866,6 @@ Bounded qagame paths recover bomb-plant/inactivity correction requests, direct f
 
 
 **RE-609 — Shared hitscan spread parameter calculation:** 290493 reads current packed slot/mode and weapon table stride432/mode stride52 to calculate base, counter-scaled and modifier-adjusted spread terms. [Evidence](research/QVM_SPREAD_PARAMETERS.md).
+
+
+**RE-610 — Hitscan movement speed normalization and airborne floor:** 290493 normalizes velocity, applies an airborne ID14/23 floor below224.4, caps at340, then converts speed before its200 split. [Evidence](research/QVM_SPREAD_SPEED.md).

docs/PROVISIONAL_TODO.md

@@ -828,3 +828,6 @@ Research progress: RE-608 [report](research/QVM_ALLOCATED_GRENADE.md); remaining
 
 
 Research progress: RE-609 [report](research/QVM_SPREAD_PARAMETERS.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-610 [report](research/QVM_SPREAD_SPEED.md); remaining native/content/runtime/platform scope stays open.

docs/RESEARCH_LEDGER.md

@@ -732,3 +732,8 @@ Full-pool retry relaxes the recent-free guard; source count1022 enters diagnosti
 ## 2026-10-20 — RE-609 Shared hitscan spread parameter calculation (separate task commit)
 
 290493 reads current packed slot/mode and weapon table stride432/mode stride52 to calculate base, counter-scaled and modifier-adjusted spread terms. 144 weapon/mode/flag/ground/modifier/counter fixtures match an independent source-order f32 oracle for eight locals and the velocity copy. Full suite: 938 tests pass. Report regenerates byte-identically (150821 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-610 Hitscan movement speed normalization and airborne floor (separate task commit)
+
+290493 normalizes velocity, applies an airborne ID14/23 floor below224.4, caps at340, then converts speed before its200 split. 48 velocity/ID/ground fixtures reproduce source-order f32 math independently, including the discontinuity at224.4. Full suite: 941 tests pass. Report regenerates byte-identically (101488 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

@@ -871,3 +871,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-609 Shared hitscan spread parameter calculation ([report](research/QVM_SPREAD_PARAMETERS.md)).
+
+
+- [x] RE-610 Hitscan movement speed normalization and airborne floor ([report](research/QVM_SPREAD_SPEED.md)).

docs/research/QVM_SPREAD_SPEED.md

@@ -0,0 +1,7 @@
+# Hitscan movement speed normalization and airborne floor
+
+RE-610. Reproduce with `python3 scripts/analyze_qvm_spread_speed.py`; check with `python3 scripts/test_qvm_spread_speed.py`. The [machine report](qvm-spread-speed.json) retains source identity and bounded fixtures.
+
+Actual290807–290968 follows the parameter prefix. Supplied native−107 computes f32 sqrt; source normalizes PS32 velocity into local12/16/20 when nonzero. For IDs14/23 while ground==1023, length strictly below fileword1130391142 (~224.4) becomes340. Equality does not floor, producing a non-monotonic spread input across that threshold. All lengths then cap at340, multiply by radians literal1016003125 and0.01, and only then split excess above200 into local92. For the tested finite nonnegative lengths, the converted value stays below0.06 and excess remains0; do not reinterpret the source as a raw-speed200 split. Local44 is table20×0.4×0.75 in source f32 order. Zero velocity retains zero normalization. Random sampling, trig offsets and endpoint writes remain pending.
+
+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

@@ -429,3 +429,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-609: Shared hitscan spread parameter calculation](QVM_SPREAD_PARAMETERS.md). Reproduce with `python3 scripts/analyze_qvm_spread_parameters.py`; check with `python3 scripts/test_qvm_spread_parameters.py`.
+
+
+[RE-610: Hitscan movement speed normalization and airborne floor](QVM_SPREAD_SPEED.md). Reproduce with `python3 scripts/analyze_qvm_spread_speed.py`; check with `python3 scripts/test_qvm_spread_speed.py`.

scripts/analyze_qvm_spread_speed.py

@@ -0,0 +1,23 @@
+#!/usr/bin/env python3
+"""290493 velocity normalization, airborne floor and movement spread split."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source,execute
+from qvm_server_fire_support import seed
+from analyze_qvm_spread_parameters import parameters,LOCAL
+from analyze_qvm_acceleration import PS,word
+from analyze_qvm_slide_prefix import vec
+from analyze_qvm import write_json
+
+def speed(ins,m):
+    m,p=parameters(ins,m);m,_,r=execute(ins,290807,290969,m,(0,0,0),LOCAL)
+    return m,{'parameters':p,'execution':r,'normalized_velocity':vec(m,LOCAL+12),'locals':{str(o):m[LOCAL+o]&0xffffffff for o in [24,44,92]}}
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    for ident,ground,velocity in itertools.product([2,14,23],[0,1023],[(0,0,0),(3,4,0),(200,0,0),(224.39,0,0),(224.4,0,0),(225,0,0),(340,0,0),(600,-800,0)]):
+        m=seed(raw,h,ident);m[PS+144]=0;m[PS+312]=ident;m[PS+68]=ground
+        for j,v in enumerate(velocity):m[PS+32+4*j]=word(v)
+        rows.append(speed(ins,m)[1])
+    write_json(Path('docs/research/qvm-spread-speed.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual parameters+290807–290968; supplied f32 sqrt. No random draws/trig/endpoint/contact. Literal airborne floor and operation order retained.'})
+if __name__=='__main__':main()

scripts/test_qvm_spread_speed.py

@@ -0,0 +1,21 @@
+import json,math,unittest
+from pathlib import Path
+from test_qvm_ground import word,n,f
+
+def expected(p):
+    a=p['parameters']['initial'];v=list(map(n,a['velocity']));length=f(math.sqrt(f(f(f(v[0]*v[0])+f(v[1]*v[1]))+f(v[2]*v[2]))));normalized=[word(f(x*f(1/length))) for x in v] if length else list(a['velocity']);speed=length
+    if a['id'] in [14,23] and a['ground']==1023 and speed<n(1130391142):speed=340.0
+    speed=min(speed,340.0);speed=f(f(n(1016003125)*speed)*n(1008981770));excess=f(speed-200) if speed>200 else 0.0;speed=f(speed-excess);half=f(f(n(a['table']['20'])*n(1053609165))*n(1061158912))
+    return normalized,{'24':word(speed),'44':word(half),'92':word(excess)}
+class SpreadSpeedTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.r=json.loads(Path('docs/research/qvm-spread-speed.json').read_text())
+    def test_independent_velocity_and_scalar_oracle(self):
+        self.assertEqual(len(self.r['probes']),48)
+        for p in self.r['probes']:
+            velocity,locals_=expected(p);self.assertEqual(p['normalized_velocity'],velocity);self.assertEqual(p['locals'],locals_)
+    def test_airborne_floor_strictness_and_non_monotonicity(self):
+        rows=[p for p in self.r['probes'] if p['parameters']['initial']['id']==14 and p['parameters']['initial']['ground']==1023];low=next(p for p in rows if p['parameters']['initial']['velocity'][0]==word(224.39));at=next(p for p in rows if p['parameters']['initial']['velocity'][0]==word(224.4));self.assertGreater(n(low['locals']['24']),n(at['locals']['24']))
+    def test_only_actual_sqrt_child(self):
+        for p in self.r['probes']:self.assertEqual([c['target'] for c in p['execution']['calls']],[-107]);self.assertEqual(p['locals']['92'],0)
+if __name__=='__main__':unittest.main()