qvm: complete health and impulse flow

docs/ASSET_PIPELINE_TODO.md

@@ -859,3 +859,6 @@ Research progress: RE-730 [report](research/QVM_HEALTH_TERMINAL.md); original as
 
 
 Research progress: RE-731 [report](research/QVM_HEALTH_IMPULSE.md); original assets unchanged.
+
+
+Research progress: RE-732 [report](research/QVM_HEALTH_COMPLETE.md); original assets unchanged.

docs/FINDINGS.md

@@ -1205,3 +1205,6 @@ RE-714–723 batch complete: [complete contact and health prefixes](research/QVM
 
 
 **RE-731 — Complete velocity impulse and movement timer:** Complete213009 adds direction×(global scale×knockback/200) in source float32 order, and only a zero existing timer gets clamp(trunc(knockback×2),50,200) plus movement flag64. [Evidence](research/QVM_HEALTH_IMPULSE.md).
+
+
+**RE-732 — Complete health function with actual velocity impulses:** Complete211239 now composes gates, routing, normalization, bookkeeping, special targets, health publication and terminal branches with actual RNG/meter/impulse children. Late health−999 clamp can leave client208 below the entity clamp. [Evidence](research/QVM_HEALTH_COMPLETE.md).

docs/PROVISIONAL_TODO.md

@@ -1194,3 +1194,6 @@ Research progress: RE-730 [report](research/QVM_HEALTH_TERMINAL.md); full native
 
 
 Research progress: RE-731 [report](research/QVM_HEALTH_IMPULSE.md); full native/platform/game scope remains open.
+
+
+Research progress: RE-732 [report](research/QVM_HEALTH_COMPLETE.md); full native/platform/game scope remains open.

docs/RESEARCH_LEDGER.md

@@ -1298,3 +1298,8 @@ Terminal processing caps client228 low16 values above500 (except method26), clam
 ## 2026-10-21 — RE-731 Complete velocity impulse and movement timer
 
 Complete213009 adds direction×(global scale×knockback/200) in source float32 order, and only a zero existing timer gets clamp(trunc(knockback×2),50,200) plus movement flag64. Focused `cargo xtask test-group health` passes (36 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 74485 bytes. Full-suite validation is deferred to the tenth batch commit. No original assets, Rust runtime or shared VM evaluator changed.
+
+
+## 2026-10-21 — RE-732 Complete health function with actual velocity impulses
+
+Complete211239 now composes gates, routing, normalization, bookkeeping, special targets, health publication and terminal branches with actual RNG/meter/impulse children. Late health−999 clamp can leave client208 below the entity clamp. Focused `cargo xtask test-group health` passes (41 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 804258 bytes. Full-suite validation is deferred to the tenth batch commit. No original assets, Rust runtime or shared VM evaluator changed.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1237,3 +1237,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-731 Complete velocity impulse and movement timer ([report](research/QVM_HEALTH_IMPULSE.md)).
+
+
+- [x] RE-732 Complete health function with actual velocity impulses ([report](research/QVM_HEALTH_COMPLETE.md)).

docs/research/QVM_HEALTH_COMPLETE.md

@@ -0,0 +1,7 @@
+# Complete health function with actual velocity impulses
+
+RE-732. Reproduce with `python3 scripts/analyze_qvm_health_complete.py`; validate with `cargo xtask test-group health`. See the [machine report](qvm-health-complete.json).
+
+Complete211239 executes211240–213006 through all recovered branches on96 finite nonnull-client fixtures, using actual33715,36717,211197 and213009. Independent composed source-order oracles check every tracked entity/client field, attacker credit, direction, RNG and tracking flag. An observed ordering detail is preserved: client208 is published before the terminal entity−999 clamp and is not republished afterward. Native sqrt is modeled; intercept206128, protected update152386 and supplied pain/death/object callback pointers are captured without effects. Complete caller control flow therefore does not imply original callback/native/runtime parity. Null-client full-call legality remains unproven.
+
+No original executable/full VM/native world collision or rendering runs. Supplied callback/native responses and fixture domains remain explicit; complete macOS/Linux Rust/Bevy/Solari gameplay remains open.

docs/research/README.md

@@ -795,3 +795,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-731: Complete velocity impulse and movement timer](QVM_HEALTH_IMPULSE.md).
+
+
+[RE-732: Complete health function with actual velocity impulses](QVM_HEALTH_COMPLETE.md).

scripts/analyze_qvm_health_complete.py

@@ -0,0 +1,23 @@
+#!/usr/bin/env python3
+"""Complete211239 with actual impulse/meter/RNG and explicit callback boundaries."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source
+from qvm_health_effects_support import seed,run,H,MAGIC
+from analyze_qvm_health_impulse import impulse
+from analyze_qvm import write_json
+
+def complete(ins,m,args=None):
+    if args:
+        for o,v in args.items():m[H+108+o]=v
+    return run(ins,m,211240,213007,impulse_resolver=impulse,target=m[H+116])
+
+def main():
+    q,raw,h,ins=source();rows=[];m=seed(raw,h);table=[{'method':m[4200+432*w],'knockback_word':m[4192+432*w]} for w in range(m[17412])]
+    cases=[dict(method=method,damage=damage,health=health,flags220=flags,pain=True,death=True) for method,damage,health,flags in itertools.product([12,22,24,26,37],[0,1,100,2000],[1,100],[0,16384])]
+    cases += [dict(**a) for a in [dict(mode=9),dict(now=3999),dict(entity_flags=16),dict(client4040=1),dict(same_team=True),dict(same_team=True,friendly_fire=1),dict(mode=10),dict(method=24,override=1,damage=1),dict(target_kind=4,callback=True),dict(target_kind=4,callback=False),dict(tracking=1),dict(direction=None,damage=1),dict(self=True)]]
+    cases += [dict(checksum=MAGIC,callback=True,**a) for a in [dict(method=25,**{'class':5},damage=101),dict(method=12,**{'class':6}),dict(method=34)]]
+    for a in cases:
+        m,p=complete(ins,seed(raw,h,**a));p.update(input=a,tracking=m[34999664]);rows.append(p)
+    write_json(Path('docs/research/qvm-health-complete.json'),{'source':q['source'],'sha256':q['sha256'],'descriptor_table':table,'probes':rows,'limits':'Complete211239 numeric body to void exit with actual33715,36717,211197 and213009. Native sqrt modeled;206128/152386 and supplied callback pointers captured without effects. Finite nonnull-client fixtures, no original executable or world runtime.'})
+if __name__=='__main__':main()

scripts/qvm_health_effects_support.py

@@ -29,7 +29,7 @@ def seed(raw,h,**a):
 
 def state(m,target=TARGET):
     client=m[target+520]
-    return {'entity':{str(o):m[target+o]&0xffffffff for o in ENTITY_FIELDS},'client':{str(o):m[client+o]&0xffffffff for o in CLIENT_FIELDS} if client else None,'attacker_credits':m.get(m.get(m.get(H+124,ATTACKER)+520,0)+252,0)&0xffffffff,'direction':[m[DIRECTION+4*j]&0xffffffff for j in range(3)],'args':{str(o):m[H+o]&0xffffffff for o in [120,124,128,136,140,144,148]},'selected_damage':m[H+40]&0xffffffff,'knockback_word':m[H+32]&0xffffffff,'rng':m[21044]&0xffffffff}
+    return {'entity':{str(o):m[target+o]&0xffffffff for o in ENTITY_FIELDS},'client':{str(o):m[client+o]&0xffffffff for o in CLIENT_FIELDS} if client else None,'attacker_credits':m.get(m.get(m.get(H+124,ATTACKER)+520,0)+252,0)&0xffffffff,'direction':[m[(m[H+128] or DIRECTION)+4*j]&0xffffffff for j in range(3)],'args':{str(o):m[H+o]&0xffffffff for o in [120,124,128,136,140,144,148]},'selected_damage':m[H+40]&0xffffffff,'knockback_word':m[H+32]&0xffffffff,'rng':m[21044]&0xffffffff}
 
 def handlers(effects,impulse_resolver=None):
     def root(i,m,a):v=word(math.sqrt(number(a[8])));return m,v,{'input_word':a[8]&0xffffffff,'result_word':v,'native_math_modeled':True}

scripts/test_qvm_health_complete.py

@@ -0,0 +1,65 @@
+import copy,json,unittest
+from pathlib import Path
+from test_qvm_ground import word,n,f
+from test_qvm_health_gates import accepted
+from test_qvm_health_knockback import oracle as knockback
+from test_qvm_health_special_target import oracle as special_target
+from test_qvm_health_impulse import expected as impulse_expected
+from qvm_health_effects_support import MAGIC,ATTACKER,TARGET
+
+def expected(p,table):
+    a=p['input'];r=copy.deepcopy(p['initial']);e=r['entity'];cl=r['client'];tracking=0
+    if not accepted(a):return r,tracking
+    cl['4328']=1
+    if a.get('tracking') and a.get('method',12)>11 and not a.get('same_team',False) and not a.get('self',False):tracking=1
+    if a.get('target_kind',1)==4 and a.get('checksum',0)!=MAGIC:return r,tracking
+    flags,direction,kb,stop=knockback(a,table);r['direction']=direction
+    if stop==213007:return r,tracking
+    method=a.get('method',12);same=a.get('self',False);attacker=TARGET if same else ATTACKER;attacker_id=65 if same else 7
+    if not same and a.get('health',100)>0 and a.get('target_kind',1) not in (0,3,4):r['attacker_credits']=(-1 if a.get('mode',3)>=3 and a.get('mode',3) not in (9,11) and a.get('same_team',False) else 1)&0xffffffff
+    take=max(1,a.get('damage',100));cl['272']=attacker_id;cl['4128']=attacker_id;cl['4132']=method;cl['4084' if method==23 else '4088']+=take
+    origin=method==23 or a.get('direction',[3,4,0]) is None;cl['4108']=int(origin)
+    for j,v in enumerate(list(map(word,[10,20,30])) if origin else direction):cl[str(4096+4*j)]=v
+    if method==6 and take>=30:cl['12']|=128
+    if a.get('checksum',0)==MAGIC:
+        inputs=dict(a,damage=take);health,selected,seed,called,_=special_target(inputs);e['684']=health&0xffffffff;r['rng']=seed
+        if called:e['720']=attacker
+        return r,tracking
+    intercept=a.get('mode',3)==10 and not same and a.get('health',100)-take<=0 and not a.get('flags220',0)&16384 and method not in (6,7,1,3,2,4,9,31,35,33,32)
+    if intercept:return r,tracking
+    def impulse_apply(zero_z):
+        if zero_z:r['direction'][2]=0
+        fake={'input':{'knockback':n(kb),'scale':a.get('scale',1000),'direction':list(map(n,r['direction']))},'initial':{str(o):cl[str(o)] for o in [12,16,32,36,40]}}
+        cl.update(impulse_expected(fake))
+    if method==24 and a.get('override',0):impulse_apply(True);return r,tracking
+    health=a.get('health',100)-take
+    if cl['220']&16384:
+        health=max(5,health);cl['220']&=~896;cl['236']&=~1;cl['6332']=word(f(n(cl['6332'])+f(f(take)*n(-1012924416))))
+    e.update({'684':health&0xffffffff,'836':attacker,'840':a.get('location',3)});cl['208']=health&0xffffffff;cl['184']=max(0,cl['184']-300*take)
+    if method!=26 and cl['228']&65535>500:cl['228']=500
+    if health<=0:
+        impulse_apply(False);e['684']=max(-999,health)&0xffffffff;e['720']=attacker
+    elif method in (16,43,22,25,29,24,37):impulse_apply(True)
+    return r,tracking
+
+class CompleteHealthTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.r=json.loads(Path('docs/research/qvm-health-complete.json').read_text());cls.ps=cls.r['probes']
+    def test_independent_composed_all_external_state(self):
+        for p in self.ps:
+            r,tracking=expected(p,self.r['descriptor_table'])
+            for key in ['entity','client','attacker_credits','direction','rng']:self.assertEqual(p['final'][key],r[key],(p['input'],key))
+            self.assertEqual(p['tracking'],tracking)
+    def test_actual_impulse_and_meter_children(self):
+        rows=[c for p in self.ps for c in p['execution']['children'] if c['call']['target']==213009];self.assertTrue(rows)
+        for c in rows:self.assertEqual(c['effect']['execution']['calls'],[]);self.assertIn('final',c['effect'])
+        self.assertTrue(any(c['target']==211197 for p in self.ps for c in p['execution']['calls']))
+    def test_late_entity_clamp_does_not_republish_client_health(self):
+        rows=[p for p in self.ps if p['input'].get('damage')==2000 and not p['input'].get('flags220',0)&16384];self.assertTrue(rows)
+        for p in rows:self.assertEqual(p['final']['entity']['684'],(-999)&0xffffffff);self.assertEqual(p['final']['client']['208'],(p['input']['health']-2000)&0xffffffff)
+    def test_void_exit_and_explicit_callback_boundaries(self):
+        self.assertEqual(len(self.ps),96)
+        for p in self.ps:self.assertEqual(p['execution']['stop'],213007);self.assertIsNone(p['execution']['return']);self.assertEqual(p['effects']['impulses'],[])
+    def test_native_math_only_sqrt_no_original_runtime(self):
+        for p in self.ps:self.assertTrue(all(c['target']>=0 or c['target']==-107 for c in p['execution']['calls']))
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1157,3 +1157,5 @@ report	scripts/analyze_qvm_health_terminal.py	docs/research/qvm-health-terminal.
 edge	docs/research/qvm-health-terminal.json	scripts/test_qvm_health_terminal.py
 report	scripts/analyze_qvm_health_impulse.py	docs/research/qvm-health-impulse.json
 edge	docs/research/qvm-health-impulse.json	scripts/test_qvm_health_impulse.py
+report	scripts/analyze_qvm_health_complete.py	docs/research/qvm-health-complete.json
+edge	docs/research/qvm-health-complete.json	scripts/test_qvm_health_complete.py