qvm: direction codec

docs/ASSET_PIPELINE_TODO.md

@@ -342,3 +342,6 @@ Research progress: [ordinary air continuation](research/QVM_AIR_MODE.md) complet
 
 
 Research progress: RE-549 [report](research/QVM_MOVE_DIRECTION.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-550 [report](research/QVM_DIRECTION_CODEC.md); remaining native/content/runtime/platform scope stays open.

docs/FINDINGS.md

@@ -700,3 +700,6 @@ Bounded qagame paths recover bomb-plant/inactivity correction requests, direct f
 
 
 **RE-549 — Recover40679 movement direction classification:** Signed forward/right input selects all eight direction values; idle rewrites old2 to1 and6 to7, preserving other prior values. [Evidence](research/QVM_MOVE_DIRECTION.md).
+
+
+**RE-550 — Recover162-vector direction codec60317 and60408:** Encoder uses strict-greater positive dot search initialized to score0/index0, so earliest ties survive and null/zero choose0. Decoder copies table entries0..161 or the initialized zero fallback. [Evidence](research/QVM_DIRECTION_CODEC.md).

docs/PROVISIONAL_TODO.md

@@ -654,3 +654,6 @@ Research progress: [ordinary air continuation](research/QVM_AIR_MODE.md) complet
 
 
 Research progress: RE-549 [report](research/QVM_MOVE_DIRECTION.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-550 [report](research/QVM_DIRECTION_CODEC.md); remaining native/content/runtime/platform scope stays open.

docs/RESEARCH_LEDGER.md

@@ -447,3 +447,8 @@ Recovered ordinary air path after actual initial wall guard; unrecovered wall-sp
 ## 2026-10-19 — RE-549 Recover40679 movement direction classification (separate task commit)
 
 Signed forward/right input selects all eight direction values; idle rewrites old2 to1 and6 to7, preserving other prior values. 100 signed-byte/prior-state cases and four independent tests cover octants, idle exceptions, canary and source identity. Full suite: 723 tests pass. Report regenerates byte-identically (69217 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-19 — RE-550 Recover162-vector direction codec60317 and60408 (separate task commit)
+
+Encoder uses strict-greater positive dot search initialized to score0/index0, so earliest ties survive and null/zero choose0. Decoder copies table entries0..161 or the initialized zero fallback. 326 encode inputs,165 decode indices and four independent tests validate exact float32 dots, table provenance, null/zero and invalid bounds. Full suite: 727 tests pass. Report regenerates byte-identically (142623 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

@@ -691,3 +691,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-549 Recover40679 movement direction classification ([report](research/QVM_MOVE_DIRECTION.md)).
+
+
+- [x] RE-550 Recover162-vector direction codec60317 and60408 ([report](research/QVM_DIRECTION_CODEC.md)).

docs/research/QVM_DIRECTION_CODEC.md

@@ -0,0 +1,7 @@
+# Recover162-vector direction codec60317 and60408
+
+RE-550. Reproduce with `python3 scripts/analyze_qvm_direction_codec.py`; check with `python3 scripts/test_qvm_direction_codec.py`. The [machine report](qvm-direction-codec.json) retains source identity and bounded fixtures.
+
+All162 direction vectors are read from source data address21732 with12-byte stride.60317 does not normalize its input: it scans all entries, starting best dot0/index0, replacing only on strict greater. Negative inputs and zero inputs are retained as finite cases; a null pointer returns0 before any scan.60408 accepts signed indices0 through161 and copies the initialized21348 zero vector otherwise.326 encoder cases cover each vector, its negative, zero and null; decoder cases cover every valid index and three invalid controls. This recovers the numeric event-parameter producer needed by the wall-contact path; live table mutation and the event's user-visible meaning remain unverified.
+
+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

@@ -255,3 +255,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-549: Recover40679 movement direction classification](QVM_MOVE_DIRECTION.md). Reproduce with `python3 scripts/analyze_qvm_move_direction.py`; check with `python3 scripts/test_qvm_move_direction.py`.
+
+
+[RE-550: Recover162-vector direction codec60317 and60408](QVM_DIRECTION_CODEC.md). Reproduce with `python3 scripts/analyze_qvm_direction_codec.py`; check with `python3 scripts/test_qvm_direction_codec.py`.

scripts/analyze_qvm_direction_codec.py

@@ -0,0 +1,33 @@
+#!/usr/bin/env python3
+"""Actual60317/60408 finite direction-table codec."""
+from pathlib import Path
+from qvm_research_support import source,constants
+from analyze_deferred_auth import trace_slice
+from analyze_bsp_references import trace_fields
+from analyze_qvm import write_json
+from analyze_qvm_acceleration import word,number
+
+BASE=0x65000000
+VEC=0x51000
+
+
+def table(raw,h):return constants(raw,h,list(range(21732,21732+162*12,4))+[21348,21352,21356])
+
+
+def encode(ins,m,vector):
+    m=dict(m)
+    if vector is not None:
+        for i,v in enumerate(vector):m[VEC+4*i]=v
+    t=trace_slice(ins,60318,60406,m,{40:0 if vector is None else VEC},local_base=BASE,halt_on_leave=True,capture_stack=True,limit=20000);return t['memory'],{'vector':vector,'result':t['stack'][-1],'calls':t['calls'],**trace_fields(t,False)}
+
+
+def decode_vector(ins,m,index):
+    t=trace_slice(ins,60409,60436,m,{20:index,24:VEC},local_base=BASE+0x1000,limit=128);return {'index':index,'vector':[t['memory'][VEC+4*i]&0xffffffff for i in range(3)],**trace_fields(t,False)}
+
+
+def main():
+    q,raw,h,ins=source();m=table(raw,h);vectors=[[m[21732+12*i+4*j] for j in range(3)] for i in range(162)];probes=[encode(ins,m,v)[1] for v in vectors+[[word(-number(x)) for x in v] for v in vectors]+[[0,0,0],None]]
+    write_json(Path('docs/research/qvm-direction-codec.json'),{'source':q['source'],'sha256':q['sha256'],'table':vectors,'fallback':[m[a] for a in [21348,21352,21356]],'encodes':probes,'decodes':[decode_vector(ins,m,i) for i in [-1,*range(162),162,2147483647]],'limits':'File-backed162-vector table; actual helpers with finite vector inputs. No normalization is performed. Native/live table mutation and runtime/event consumers remain open.'})
+
+
+if __name__=='__main__':main()

scripts/test_qvm_direction_codec.py

@@ -0,0 +1,29 @@
+import json,unittest,hashlib
+from pathlib import Path
+from test_qvm_ground import f,n
+
+
+def best(v,table):
+    if v is None:return 0
+    a=list(map(n,v));chosen=0;score=0
+    for i,b in enumerate(table):
+        b=list(map(n,b));d=f(f(f(a[0]*b[0])+f(a[1]*b[1]))+f(a[2]*b[2]))
+        if d>score:chosen,score=i,d
+    return chosen
+
+
+class DirectionCodecTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.r=json.loads(Path('docs/research/qvm-direction-codec.json').read_text())
+    def test_all326_dot_searches_exact(self):
+        self.assertEqual(len(self.r['encodes']),326)
+        for p in self.r['encodes']:self.assertEqual(p['result'],best(p['vector'],self.r['table']));self.assertEqual(p['calls'],[])
+    def test_null_and_zero_keep_index0(self):self.assertEqual([p['result'] for p in self.r['encodes'][-2:]],[0,0])
+    def test_decode_all_indices_and_invalid_fallback(self):
+        for p in self.r['decodes']:self.assertEqual(p['vector'],self.r['table'][p['index']] if 0<=p['index']<162 else self.r['fallback'])
+        self.assertEqual(self.r['fallback'],[0,0,0])
+    def test_all_table_words_file_backed(self):
+        from analyze_qvm import decode
+        q=json.loads(Path('docs/research/qvm/qagame.json').read_text());raw=Path(q['source']['member']['output']).read_bytes();h,_=decode(raw);self.assertEqual(self.r['sha256'],hashlib.sha256(raw).hexdigest())
+        for i,v in enumerate(self.r['table']):
+            for j,w in enumerate(v):self.assertEqual(int.from_bytes(raw[h['data_offset']+21732+12*i+4*j:h['data_offset']+21736+12*i+4*j],'little'),w)