qvm: contact event value and direction

docs/ASSET_PIPELINE_TODO.md

@@ -817,3 +817,6 @@ Research progress: RE-716 [report](research/QVM_CONTACT_ANNOUNCEMENT.md); remain
 
 
 Research progress: RE-717 [report](research/QVM_CONTACT_EVENT_HEADER.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-718 [report](research/QVM_CONTACT_EVENT_VALUE.md); remaining native/content/runtime/platform scope stays open.

docs/FINDINGS.md

@@ -1163,3 +1163,6 @@ RE-703–712 batch complete: [damage factor and contact dispatch](research/QVM_D
 
 
 **RE-717 — Contact event header and health prediction:** Contact allocates event62 through actual277695, encodes the normal through60317, publishes IDs/location/part and predicts lethality using float32 health−scalar≤0 without applying damage. [Evidence](research/QVM_CONTACT_EVENT_HEADER.md).
+
+
+**RE-718 — Contact event scalar and direction payload:** Event204 truncates ordinary scalar or weapon4 accumulator×100 with upper cap100 only; exact trace point replaces the snapped trajectory base, and event36 stores normalized attacker-minus-target separation. [Evidence](research/QVM_CONTACT_EVENT_VALUE.md).

docs/PROVISIONAL_TODO.md

@@ -1152,3 +1152,6 @@ Research progress: RE-716 [report](research/QVM_CONTACT_ANNOUNCEMENT.md); remain
 
 
 Research progress: RE-717 [report](research/QVM_CONTACT_EVENT_HEADER.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-718 [report](research/QVM_CONTACT_EVENT_VALUE.md); remaining native/content/runtime/platform scope stays open.

docs/RESEARCH_LEDGER.md

@@ -1225,3 +1225,8 @@ Events require nonzero caller flag and scalar; announcement7259 additionally req
 ## 2026-10-21 — RE-717 Contact event header and health prediction (separate task commit)
 
 Contact allocates event62 through actual277695, encodes the normal through60317, publishes IDs/location/part and predicts lethality using float32 health−scalar≤0 without applying damage. 72 health/scalar/normal/part fixtures verify all220 event words, actual child order and the earlier native-link snapshot. Full suite: 1316 tests pass. Report regenerates byte-identically (1919852 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-21 — RE-718 Contact event scalar and direction payload (separate task commit)
+
+Event204 truncates ordinary scalar or weapon4 accumulator×100 with upper cap100 only; exact trace point replaces the snapped trajectory base, and event36 stores normalized attacker-minus-target separation. 54 constructor-through-direction probes verify all220 event words, signed truncation, upper-only cap, zero vectors and exact versus snapped coordinates. Full suite: 1320 tests pass. Report regenerates byte-identically (1468138 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

@@ -1195,3 +1195,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-717 Contact event header and health prediction ([report](research/QVM_CONTACT_EVENT_HEADER.md)).
+
+
+- [x] RE-718 Contact event scalar and direction payload ([report](research/QVM_CONTACT_EVENT_VALUE.md)).

docs/research/QVM_CONTACT_EVENT_VALUE.md

@@ -0,0 +1,7 @@
+# Contact event scalar and direction payload
+
+RE-718. Reproduce with `python3 scripts/analyze_qvm_contact_event_value.py`; check with `python3 scripts/test_qvm_contact_event_value.py`. The [machine report](qvm-contact-event-value.json) retains source identity and bounded fixtures.
+
+Actual292917–293221 composes the event header with subsequent value/direction writes. Ordinary event204 is truncating float-to-integer scalar; weapon4 uses the extra accumulator×100 and caps only values above100, preserving explicit negative fixtures. Weapon ID goes to196. Trace point bytes overwrite event24 without truncation, while constructor origin488 remains snapped. Event36/40/44 is attacker entity24 minus target entity24, normalized using source-order float32 squared sums, modeled native sqrt, reciprocal and products; zero separation stays zero. The independent oracle checks the entire record. Allocation/native link and native sqrt parity remain explicit boundaries. No feedback or health execution occurs.
+
+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

@@ -753,3 +753,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-717: Contact event header and health prediction](QVM_CONTACT_EVENT_HEADER.md). Reproduce with `python3 scripts/analyze_qvm_contact_event_header.py`; check with `python3 scripts/test_qvm_contact_event_header.py`.
+
+
+[RE-718: Contact event scalar and direction payload](QVM_CONTACT_EVENT_VALUE.md). Reproduce with `python3 scripts/analyze_qvm_contact_event_value.py`; check with `python3 scripts/test_qvm_contact_event_value.py`.

scripts/analyze_qvm_contact_event_value.py

@@ -0,0 +1,14 @@
+#!/usr/bin/env python3
+"""Actual contact event value, exact point copy and normalized separation vector."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+from qvm_contact_support import seed,run
+from analyze_qvm import write_json
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    for w,scalar,extra,origin in itertools.product([3,4,27],[-2.9,0.9,35.75],[-0.5,0.999,1.5],[(0,0,0),(3,4,0)]):
+        a=dict(weapon=w,scalar=scalar,extra=extra,attacker_origin=origin);_,p=run(ins,seed(raw,h,**a),292917,293222,include_event=True);p['input']=a;rows.append(p)
+    write_json(Path('docs/research/qvm-contact-event-value.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Actual292917..293221, constructor and codec. Sqrt is modeled float32 native math; allocator/link explicit. No feedback/health or post-direction event vector suffix.'})
+if __name__=='__main__':main()

scripts/test_qvm_contact_event_value.py

@@ -0,0 +1,29 @@
+import json,math,unittest
+from pathlib import Path
+from test_qvm_ground import word,n,f
+from test_qvm_temp_event import event_record
+from test_qvm_direction_codec import best
+
+def normalized(a,b):
+    v=[f(f(x)-f(y)) for x,y in zip(a,b)];length=f(math.sqrt(f(f(f(v[0]*v[0])+f(v[1]*v[1]))+f(v[2]*v[2]))))
+    return list(map(word,v if length==0 else [f(x*f(1./length)) for x in v]))
+class ContactEventValueTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.ps=json.loads(Path('docs/research/qvm-contact-event-value.json').read_text())['probes'];cls.table=json.loads(Path('docs/research/qvm-direction-codec.json').read_text())['table']
+    def test_full_record_independent_event_and_suffix_oracle(self):
+        for p in self.ps:
+            a=p['input'];e=p['effects']['events'][0];r=event_record(e);encoded=math.trunc(f(a['scalar'])) if a['weapon']!=4 else min(100,math.trunc(f(f(a['extra'])*100)))
+            r.update({'424':32,'184':best([0,0,word(1)],self.table),'140':7,'144':65,'88':3,'84':2,'200':int(f(100-f(a['scalar']))<=0),'204':encoded&0xffffffff,'196':a['weapon']})
+            for j,v in enumerate(e['input_origin']):r[str(24+4*j)]=v
+            for j,v in enumerate(normalized(a['attacker_origin'],(0,0,0))):r[str(36+4*j)]=v
+            self.assertEqual(p['event_record'],r)
+    def test_weapon_four_has_upper_cap_but_no_lower_cap(self):
+        rows=[p for p in self.ps if p['input']['weapon']==4];self.assertEqual({p['event_record']['204'] for p in rows},{(-50)&0xffffffff,99,100})
+    def test_zero_separation_and_exact_point_override(self):
+        for p in self.ps:
+            if p['input']['attacker_origin']==[0,0,0]:self.assertEqual([p['event_record'][str(o)] for o in (36,40,44)],[0,0,0])
+            self.assertEqual(p['event_record']['24'],word(1.9));self.assertEqual(p['event_record']['488'],word(1))
+    def test_children_and_unapplied_health(self):
+        self.assertEqual(len(self.ps),54)
+        for p in self.ps:self.assertEqual([c['target'] for c in p['execution']['calls']],[277695,60317,-107]);self.assertEqual(p['effects']['feedback'],[]);self.assertEqual(p['target_health'],100)
+if __name__=='__main__':unittest.main()