qvm: history state application

docs/ASSET_PIPELINE_TODO.md

@@ -598,3 +598,6 @@ Research progress: RE-638 [report](research/QVM_HISTORY_VECTOR_LERP.md); remaini
 
 
 Research progress: RE-639 [report](research/QVM_HISTORY_ANGLE_LERP.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-640 [report](research/QVM_REWIND_HISTORY_APPLY.md); remaining native/content/runtime/platform scope stays open.

docs/FINDINGS.md

@@ -947,3 +947,6 @@ Bounded qagame paths recover bomb-plant/inactivity correction requests, direct f
 
 
 **RE-639 — History angle interpolation and strict half-turn correction:** 63746 corrects differences strictly beyond±180 by one360 step, then interpolates without normalizing the result or weight. [Evidence](research/QVM_HISTORY_ANGLE_LERP.md).
+
+
+**RE-640 — History application vector angle and discrete state map:** 143100 blends velocity/position and angles but copies animations and six client fields directly from the lower selected history row. [Evidence](research/QVM_REWIND_HISTORY_APPLY.md).

docs/PROVISIONAL_TODO.md

@@ -918,3 +918,6 @@ Research progress: RE-638 [report](research/QVM_HISTORY_VECTOR_LERP.md); remaini
 
 
 Research progress: RE-639 [report](research/QVM_HISTORY_ANGLE_LERP.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-640 [report](research/QVM_REWIND_HISTORY_APPLY.md); remaining native/content/runtime/platform scope stays open.

docs/RESEARCH_LEDGER.md

@@ -867,3 +867,8 @@ Whole291641 now follows supplied world/entity traces through retry, ordered reli
 ## 2026-10-20 — RE-639 History angle interpolation and strict half-turn correction (separate task commit)
 
 63746 corrects differences strictly beyond±180 by one360 step, then interpolates without normalizing the result or weight. 50 exact f32 boundary/wrap/extrapolation cases match an independent numeric oracle and show large differences remain outside a single turn. Full suite: 1032 tests pass. Report regenerates byte-identically (23452 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-640 History application vector angle and discrete state map (separate task commit)
+
+143100 blends velocity/position and angles but copies animations and six client fields directly from the lower selected history row. 12 ordinary/equal-time/extrapolation cases independently reconstruct every entity/client word and actual helper/native request order. Full suite: 1035 tests pass. Report regenerates byte-identically (265042 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

@@ -961,3 +961,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-639 History angle interpolation and strict half-turn correction ([report](research/QVM_HISTORY_ANGLE_LERP.md)).
+
+
+- [x] RE-640 History application vector angle and discrete state map ([report](research/QVM_REWIND_HISTORY_APPLY.md)).

docs/research/QVM_REWIND_HISTORY_APPLY.md

@@ -0,0 +1,7 @@
+# History application vector angle and discrete state map
+
+RE-640. Reproduce with `python3 scripts/analyze_qvm_rewind_history_apply.py`; check with `python3 scripts/test_qvm_rewind_history_apply.py`. The [machine report](qvm-rewind-history-apply.json) retains source identity and bounded fixtures.
+
+Actual143582–144079 calls recovered143031 twice for history offsets40→entity36 and12→entity24, then mirrors position into488. Three63746 calls interpolate angles24/28/32→entity60/64/68. Entity200/196 read packed bytes36/37, while client4380/4384/4388/4392/6204/6256 copy row offsets56/52/64/60/72/76 directly. These discrete reads use the lower selected row regardless of interpolation weight. Native−31 is captured after the writes. Full-record independent oracles combine the separately checked f32 helpers with the discrete field map; no snapshot prefix or legal history producer is assumed here.
+
+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

@@ -519,3 +519,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-639: History angle interpolation and strict half-turn correction](QVM_HISTORY_ANGLE_LERP.md). Reproduce with `python3 scripts/analyze_qvm_history_angle_lerp.py`; check with `python3 scripts/test_qvm_history_angle_lerp.py`.
+
+
+[RE-640: History application vector angle and discrete state map](QVM_REWIND_HISTORY_APPLY.md). Reproduce with `python3 scripts/analyze_qvm_rewind_history_apply.py`; check with `python3 scripts/test_qvm_rewind_history_apply.py`.

scripts/analyze_qvm_rewind_history_apply.py

@@ -0,0 +1,27 @@
+#!/usr/bin/env python3
+"""143100 history application with actual weighted-vector and angle helpers."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source,execute
+from analyze_qvm_rewind_history_select import history_fixture,select_history
+from analyze_qvm_rewind_snapshot import LOCAL,client_state
+from analyze_qvm_history_vector_lerp import interpolate
+from analyze_qvm_history_angle_lerp import angle
+from analyze_qvm_temp_event import record
+from qvm_server_fire_support import ENTITY
+from analyze_qvm import write_json
+
+def apply_history(ins,m,pointer):
+    client=m[pointer+520];lo=m[LOCAL+28];hi=m[LOCAL+32];rows={str(j):{str(o):m[client+4492+80*j+o]&0xffffffff for o in range(0,80,4)} for j in {lo,hi}};before=record(m,pointer);before_client=client_state(m,client);requests=[]
+    def vector(i,m,a,c):m,e=interpolate(i,m,a);return m,c,0,e
+    def angles(i,m,a,c):m,e=angle(i,m,a);return m,c,e['result'],e
+    def link(i,m,a,c):e={'arguments':a,'native_effect_not_executed':True};requests.append(e);return m,c,0,e
+    byte_inputs={client+4492+80*j+36+k:(m[client+4492+80*j+36]>>(8*k))&255 for j in range(20) for k in range(2)};fraction=m[LOCAL+36]&0xffffffff;m,_,e=execute(ins,143582,144080,m,(0,0,0),LOCAL,{143031:vector,63746:angles,-31:link},byte_inputs=byte_inputs)
+    return m,{'pointer':pointer,'lower_index':lo,'upper_index':hi,'fraction':fraction,'selected_rows':rows,'initial_entity':before,'initial_client':before_client,'final_entity':record(m,pointer),'final_client':client_state(m,client),'requests':requests,'execution':e}
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    for times,time in itertools.product([[2000-50*j for j in range(20)],[1500]*20],[-100,1050,1475,1950,2000,3000]):
+        m=history_fixture(raw,h,times);m,s=select_history(ins,m,ENTITY,time);_,r=apply_history(ins,m,ENTITY);r['selection']=s;rows.append(r)
+    write_json(Path('docs/research/qvm-rewind-history-apply.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual143582–144079 with actual143031/63746 and supplied history/selected context. Native−31 captured. Snapshot prefix and whole rewind are separate; history producer/legal timing domains unverified.'})
+if __name__=='__main__':main()

scripts/test_qvm_rewind_history_apply.py

@@ -0,0 +1,24 @@
+import json,unittest
+from pathlib import Path
+from test_qvm_ground import word,n,f
+from test_qvm_history_angle_lerp import expected as angle_expected
+
+def expected(p):
+    entity=dict(p['initial_entity']);client=dict(p['initial_client']);lo=p['selected_rows'][str(p['lower_index'])];hi=p['selected_rows'][str(p['upper_index'])];t=n(p['fraction'])
+    for dst,src in [(36,40),(24,12)]:
+        for j in range(3):entity[str(dst+4*j)]=word(f(f(f(1-t)*n(hi[str(src+4*j)]))+f(t*n(lo[str(src+4*j)]))))
+    for j in range(3):entity[str(488+4*j)]=entity[str(24+4*j)];entity[str(60+4*j)]=angle_expected(n(hi[str(24+4*j)]),n(lo[str(24+4*j)]),t)[1]
+    entity['200']=lo['36']&255;entity['196']=(lo['36']>>8)&255
+    for dst,src in [(4380,56),(4384,52),(4388,64),(4392,60),(6204,72),(6256,76)]:client[str(dst)]=lo[str(src)]
+    return entity,client
+class RewindHistoryApplyTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.r=json.loads(Path('docs/research/qvm-rewind-history-apply.json').read_text())
+    def test_independent_full_entity_and_client_application(self):
+        self.assertEqual(len(self.r['probes']),12)
+        for p in self.r['probes']:self.assertEqual((p['final_entity'],p['final_client']),expected(p))
+    def test_actual_child_order(self):
+        for p in self.r['probes']:self.assertEqual([c['target'] for c in p['execution']['calls']],[143031,143031,63746,63746,63746,-31]);self.assertEqual(p['requests'],[{'arguments':{'8':p['pointer']},'native_effect_not_executed':True}])
+    def test_discrete_fields_select_lower_row_even_when_extrapolating(self):
+        for p in self.r['probes']:self.assertEqual(p['final_client']['4380'],p['selected_rows'][str(p['lower_index'])]['56']);self.assertEqual(p['initial_client']['4408'],p['final_client']['4408'])
+if __name__=='__main__':unittest.main()