qvm: history angle interpolation

docs/ASSET_PIPELINE_TODO.md

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

docs/FINDINGS.md

@@ -944,3 +944,6 @@ Bounded qagame paths recover bomb-plant/inactivity correction requests, direct f
 
 
 **RE-638 — Exact weighted history vector interpolation and aliases:** 143031 computes(1−fraction)×a+fraction×b in source f32 order, with no clamp; generic subtract/add lerp can differ. [Evidence](research/QVM_HISTORY_VECTOR_LERP.md).
+
+
+**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).

docs/PROVISIONAL_TODO.md

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

docs/RESEARCH_LEDGER.md

@@ -862,3 +862,8 @@ Whole291641 now follows supplied world/entity traces through retry, ordered reli
 ## 2026-10-20 — RE-638 Exact weighted history vector interpolation and aliases (separate task commit)
 
 143031 computes(1−fraction)×a+fraction×b in source f32 order, with no clamp; generic subtract/add lerp can differ. 72 finite vector/weight/alias fixtures match independent exact weighted sums and demonstrate an inequivalent generic lerp. Full suite: 1029 tests pass. Report regenerates byte-identically (52742 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-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.

docs/REVERSE_ENGINEERING_TODO.md

@@ -958,3 +958,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-638 Exact weighted history vector interpolation and aliases ([report](research/QVM_HISTORY_VECTOR_LERP.md)).
+
+
+- [x] RE-639 History angle interpolation and strict half-turn correction ([report](research/QVM_HISTORY_ANGLE_LERP.md)).

docs/research/QVM_HISTORY_ANGLE_LERP.md

@@ -0,0 +1,7 @@
+# History angle interpolation and strict half-turn correction
+
+RE-639. Reproduce with `python3 scripts/analyze_qvm_history_angle_lerp.py`; check with `python3 scripts/test_qvm_history_angle_lerp.py`. The [machine report](qvm-history-angle-lerp.json) retains source identity and bounded fixtures.
+
+Complete63747–63792 first subtracts360 from the second angle if its rounded difference exceeds180, then adds360 if the resulting rounded difference is below−180. Equality at either half-turn does not adjust. The return is firstAngle+fraction×(adjustedSecond−firstAngle) in source f32 order. A1080-degree input can return720, so this is not a general modulo or shortest-angle library replacement for arbitrary inputs. Tests cover strict boundaries, ordinary wraps, large differences and weights−1..2. The finite helper has no native children; legal live angle domains 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

@@ -516,3 +516,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-638: Exact weighted history vector interpolation and aliases](QVM_HISTORY_VECTOR_LERP.md). Reproduce with `python3 scripts/analyze_qvm_history_vector_lerp.py`; check with `python3 scripts/test_qvm_history_vector_lerp.py`.
+
+
+[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`.

docs/research/qvm-history-angle-lerp.json

@@ -0,0 +1,941 @@
+{
+  "limits": "Complete63747\u201363792 finite numeric return. At most one\u00b1360 correction per comparison; no general angle/fraction normalization. Nonfinite inputs and original engine legal angle ranges unverified.",
+  "probes": [
+    {
+      "adjusted_b": 1127481344,
+      "arguments": {
+        "8": 0,
+        "12": 1127481344,
+        "16": 3212836864
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1020002304,
+        "trace": null,
+        "trace_length": 34,
+        "trace_sha256": "97147b5f9b057252ae80fa5454f7d76578880e2e4671d694b00fb0ea72793fef"
+      },
+      "result": 3274964992
+    },
+    {
+      "adjusted_b": 1127481344,
+      "arguments": {
+        "8": 0,
+        "12": 1127481344,
+        "16": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 0,
+        "trace": null,
+        "trace_length": 34,
+        "trace_sha256": "97147b5f9b057252ae80fa5454f7d76578880e2e4671d694b00fb0ea72793fef"
+      },
+      "result": 0
+    },
+    {
+      "adjusted_b": 1127481344,
+      "arguments": {
+        "8": 0,
+        "12": 1127481344,
+        "16": 1056964608
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1119092736,
+        "trace": null,
+        "trace_length": 34,
+        "trace_sha256": "97147b5f9b057252ae80fa5454f7d76578880e2e4671d694b00fb0ea72793fef"
+      },
+      "result": 1119092736
+    },
+    {
+      "adjusted_b": 1127481344,
+      "arguments": {
+        "8": 0,
+        "12": 1127481344,
+        "16": 1065353216
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1127481344,
+        "trace": null,
+        "trace_length": 34,
+        "trace_sha256": "97147b5f9b057252ae80fa5454f7d76578880e2e4671d694b00fb0ea72793fef"
+      },
+      "result": 1127481344
+    },
+    {
+      "adjusted_b": 1127481344,
+      "arguments": {
+        "8": 0,
+        "12": 1127481344,
+        "16": 1073741824
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1135869952,
+        "trace": null,
+        "trace_length": 34,
+        "trace_sha256": "97147b5f9b057252ae80fa5454f7d76578880e2e4671d694b00fb0ea72793fef"
+      },
+      "result": 1135869952
+    },
+    {
+      "adjusted_b": 3274899456,
+      "arguments": {
+        "8": 0,
+        "12": 1127546880,
+        "16": 3212836864
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1127415808,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 1127415808
+    },
+    {
+      "adjusted_b": 3274899456,
+      "arguments": {
+        "8": 0,
+        "12": 1127546880,
+        "16": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 0,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 0
+    },
+    {
+      "adjusted_b": 3274899456,
+      "arguments": {
+        "8": 0,
+        "12": 1127546880,
+        "16": 1056964608
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1028456448,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 3266510848
+    },
+    {
+      "adjusted_b": 3274899456,
+      "arguments": {
+        "8": 0,
+        "12": 1127546880,
+        "16": 1065353216
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1020067840,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 3274899456
+    },
+    {
+      "adjusted_b": 3274899456,
+      "arguments": {
+        "8": 0,
+        "12": 1127546880,
+        "16": 1073741824
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1011679232,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 3283288064
+    },
+    {
+      "adjusted_b": 3274964992,
+      "arguments": {
+        "8": 0,
+        "12": 3274964992,
+        "16": 3212836864
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1127481344,
+        "trace": null,
+        "trace_length": 34,
+        "trace_sha256": "97147b5f9b057252ae80fa5454f7d76578880e2e4671d694b00fb0ea72793fef"
+      },
+      "result": 1127481344
+    },
+    {
+      "adjusted_b": 3274964992,
+      "arguments": {
+        "8": 0,
+        "12": 3274964992,
+        "16": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 0,
+        "trace": null,
+        "trace_length": 34,
+        "trace_sha256": "97147b5f9b057252ae80fa5454f7d76578880e2e4671d694b00fb0ea72793fef"
+      },
+      "result": 0
+    },
+    {
+      "adjusted_b": 3274964992,
+      "arguments": {
+        "8": 0,
+        "12": 3274964992,
+        "16": 1056964608
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1028390912,
+        "trace": null,
+        "trace_length": 34,
+        "trace_sha256": "97147b5f9b057252ae80fa5454f7d76578880e2e4671d694b00fb0ea72793fef"
+      },
+      "result": 3266576384
+    },
+    {
+      "adjusted_b": 3274964992,
+      "arguments": {
+        "8": 0,
+        "12": 3274964992,
+        "16": 1065353216
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1020002304,
+        "trace": null,
+        "trace_length": 34,
+        "trace_sha256": "97147b5f9b057252ae80fa5454f7d76578880e2e4671d694b00fb0ea72793fef"
+      },
+      "result": 3274964992
+    },
+    {
+      "adjusted_b": 3274964992,
+      "arguments": {
+        "8": 0,
+        "12": 3274964992,
+        "16": 1073741824
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1011613696,
+        "trace": null,
+        "trace_length": 34,
+        "trace_sha256": "97147b5f9b057252ae80fa5454f7d76578880e2e4671d694b00fb0ea72793fef"
+      },
+      "result": 3283353600
+    },
+    {
+      "adjusted_b": 1127415808,
+      "arguments": {
+        "8": 0,
+        "12": 3275030528,
+        "16": 3212836864
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1020067840,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 3274899456
+    },
+    {
+      "adjusted_b": 1127415808,
+      "arguments": {
+        "8": 0,
+        "12": 3275030528,
+        "16": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 0,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 0
+    },
+    {
+      "adjusted_b": 1127415808,
+      "arguments": {
+        "8": 0,
+        "12": 3275030528,
+        "16": 1056964608
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1119027200,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1119027200
+    },
+    {
+      "adjusted_b": 1127415808,
+      "arguments": {
+        "8": 0,
+        "12": 3275030528,
+        "16": 1065353216
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1127415808,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1127415808
+    },
+    {
+      "adjusted_b": 1127415808,
+      "arguments": {
+        "8": 0,
+        "12": 3275030528,
+        "16": 1073741824
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1135804416,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1135804416
+    },
+    {
+      "adjusted_b": 1136197632,
+      "arguments": {
+        "8": 1135542272,
+        "12": 1092616192,
+        "16": 3212836864
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1134886912,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1134886912
+    },
+    {
+      "adjusted_b": 1136197632,
+      "arguments": {
+        "8": 1135542272,
+        "12": 1092616192,
+        "16": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1135542272,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1135542272
+    },
+    {
+      "adjusted_b": 1136197632,
+      "arguments": {
+        "8": 1135542272,
+        "12": 1092616192,
+        "16": 1056964608
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1135869952,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1135869952
+    },
+    {
+      "adjusted_b": 1136197632,
+      "arguments": {
+        "8": 1135542272,
+        "12": 1092616192,
+        "16": 1065353216
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1136197632,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1136197632
+    },
+    {
+      "adjusted_b": 1136197632,
+      "arguments": {
+        "8": 1135542272,
+        "12": 1092616192,
+        "16": 1073741824
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1136852992,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1136852992
+    },
+    {
+      "adjusted_b": 3240099840,
+      "arguments": {
+        "8": 1092616192,
+        "12": 1135542272,
+        "16": 3212836864
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1106247680,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 1106247680
+    },
+    {
+      "adjusted_b": 3240099840,
+      "arguments": {
+        "8": 1092616192,
+        "12": 1135542272,
+        "16": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1092616192,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 1092616192
+    },
+    {
+      "adjusted_b": 3240099840,
+      "arguments": {
+        "8": 1092616192,
+        "12": 1135542272,
+        "16": 1056964608
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 0,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 0
+    },
+    {
+      "adjusted_b": 3240099840,
+      "arguments": {
+        "8": 1092616192,
+        "12": 1135542272,
+        "16": 1065353216
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1054867456,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 3240099840
+    },
+    {
+      "adjusted_b": 3240099840,
+      "arguments": {
+        "8": 1092616192,
+        "12": 1135542272,
+        "16": 1073741824
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1041235968,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 3253731328
+    },
+    {
+      "adjusted_b": 1144258560,
+      "arguments": {
+        "8": 0,
+        "12": 1149698048,
+        "16": 3212836864
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1003225088,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 3291742208
+    },
+    {
+      "adjusted_b": 1144258560,
+      "arguments": {
+        "8": 0,
+        "12": 1149698048,
+        "16": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 0,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 0
+    },
+    {
+      "adjusted_b": 1144258560,
+      "arguments": {
+        "8": 0,
+        "12": 1149698048,
+        "16": 1056964608
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1135869952,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 1135869952
+    },
+    {
+      "adjusted_b": 1144258560,
+      "arguments": {
+        "8": 0,
+        "12": 1149698048,
+        "16": 1065353216
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1144258560,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 1144258560
+    },
+    {
+      "adjusted_b": 1144258560,
+      "arguments": {
+        "8": 0,
+        "12": 1149698048,
+        "16": 1073741824
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1152647168,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 1152647168
+    },
+    {
+      "adjusted_b": 1135869952,
+      "arguments": {
+        "8": 1149698048,
+        "12": 0,
+        "16": 3212836864
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1155596288,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1155596288
+    },
+    {
+      "adjusted_b": 1135869952,
+      "arguments": {
+        "8": 1149698048,
+        "12": 0,
+        "16": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1149698048,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1149698048
+    },
+    {
+      "adjusted_b": 1135869952,
+      "arguments": {
+        "8": 1149698048,
+        "12": 0,
+        "16": 1056964608
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1144258560,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1144258560
+    },
+    {
+      "adjusted_b": 1135869952,
+      "arguments": {
+        "8": 1149698048,
+        "12": 0,
+        "16": 1065353216
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1135869952,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1135869952
+    },
+    {
+      "adjusted_b": 1135869952,
+      "arguments": {
+        "8": 1149698048,
+        "12": 0,
+        "16": 1073741824
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1011613696,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 3283353600
+    },
+    {
+      "adjusted_b": 1135869919,
+      "arguments": {
+        "8": 1127481344,
+        "12": 3129152111,
+        "16": 3212836864
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 981729280,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 981729280
+    },
+    {
+      "adjusted_b": 1135869919,
+      "arguments": {
+        "8": 1127481344,
+        "12": 3129152111,
+        "16": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1127481344,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1127481344
+    },
+    {
+      "adjusted_b": 1135869919,
+      "arguments": {
+        "8": 1127481344,
+        "12": 3129152111,
+        "16": 1056964608
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1132920816,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1132920816
+    },
+    {
+      "adjusted_b": 1135869919,
+      "arguments": {
+        "8": 1127481344,
+        "12": 3129152111,
+        "16": 1065353216
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1135869919,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1135869919
+    },
+    {
+      "adjusted_b": 1135869919,
+      "arguments": {
+        "8": 1127481344,
+        "12": 3129152111,
+        "16": 1073741824
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": 1141309407,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "213616589f08849fbdc1a5402a9b99dd3e2b677ac714dd20fb5544d90f42ce82"
+      },
+      "result": 1141309407
+    },
+    {
+      "adjusted_b": 3283353567,
+      "arguments": {
+        "8": 3274964992,
+        "12": 981668463,
+        "16": 3212836864
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1165754368,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 3129212928
+    },
+    {
+      "adjusted_b": 3283353567,
+      "arguments": {
+        "8": 3274964992,
+        "12": 981668463,
+        "16": 0
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1020002304,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 3274964992
+    },
+    {
+      "adjusted_b": 3283353567,
+      "arguments": {
+        "8": 3274964992,
+        "12": 981668463,
+        "16": 1056964608
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1014562832,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 3280404464
+    },
+    {
+      "adjusted_b": 3283353567,
+      "arguments": {
+        "8": 3274964992,
+        "12": 981668463,
+        "16": 1065353216
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1011613729,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 3283353567
+    },
+    {
+      "adjusted_b": 3283353567,
+      "arguments": {
+        "8": 3274964992,
+        "12": 981668463,
+        "16": 1073741824
+      },
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": -1006174241,
+        "trace": null,
+        "trace_length": 40,
+        "trace_sha256": "ee45f2b83580291799592ba3671a6771fdfbe4a5a687fca1e0c256c7fb21320e"
+      },
+      "result": 3288793055
+    }
+  ],
+  "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+  "source": {
+    "archive": "zUrT43_qvm.pk3",
+    "archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796",
+    "member": {
+      "bytes": 983300,
+      "comment_hex": "",
+      "compressed_bytes": 246560,
+      "compression": 8,
+      "crc32": "98ea1768",
+      "create_system": 0,
+      "create_version": 63,
+      "date_time": [
+        2018,
+        6,
+        18,
+        22,
+        11,
+        50
+      ],
+      "directory": false,
+      "entry_index": 2,
+      "external_attr": 32,
+      "extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201",
+      "extract_version": 20,
+      "flags": 0,
+      "header_offset": 221309,
+      "internal_attr": 0,
+      "occurrence": 0,
+      "output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm",
+      "path": "vm/qagame.qvm",
+      "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
+      "type": "member",
+      "volume": 0
+    }
+  }
+}

scripts/analyze_qvm_history_angle_lerp.py

@@ -0,0 +1,19 @@
+#!/usr/bin/env python3
+"""63746 one-step angle correction and numeric f32 interpolation return."""
+import itertools
+from pathlib import Path
+from qvm_research_support import source,execute
+from analyze_qvm_acceleration import word
+from analyze_qvm import write_json
+LOCAL=0x79e00000
+
+def angle(ins,m,args):
+    m=dict(m)
+    for o,v in args.items():m[LOCAL+16+o]=v
+    m,_,e=execute(ins,63747,63793,m,(0,0,0),LOCAL);return m,{'arguments':args,'adjusted_b':m[LOCAL+28]&0xffffffff,'execution':e,'result':e['return']&0xffffffff}
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    for (a,b),fraction in itertools.product([(0,180),(0,181),(0,-180),(0,-181),(350,10),(10,350),(0,1080),(1080,0),(180,-.001),(-180,.001)],[-1,0,.5,1,2]):rows.append(angle(ins,{}, {8:word(a),12:word(b),16:word(fraction)})[1])
+    write_json(Path('docs/research/qvm-history-angle-lerp.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Complete63747–63792 finite numeric return. At most one±360 correction per comparison; no general angle/fraction normalization. Nonfinite inputs and original engine legal angle ranges unverified.'})
+if __name__=='__main__':main()

scripts/test_qvm_history_angle_lerp.py

@@ -0,0 +1,22 @@
+import json,unittest
+from pathlib import Path
+from test_qvm_ground import word,n,f
+
+def expected(a,b,t):
+    if f(b-a)>180:b=f(b-360)
+    if f(b-a)<-180:b=f(b+360)
+    return word(b),word(f(a+f(t*f(b-a))))
+class HistoryAngleLerpTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.r=json.loads(Path('docs/research/qvm-history-angle-lerp.json').read_text())
+    def test_independent_exact_f32_angle_result(self):
+        self.assertEqual(len(self.r['probes']),50)
+        for p in self.r['probes']:
+            a=p['arguments'];self.assertEqual((p['adjusted_b'],p['result']),expected(n(a['8']),n(a['12']),n(a['16'])));self.assertEqual(p['execution']['calls'],[])
+    def test_half_turn_boundaries_are_strict(self):
+        for p in self.r['probes']:
+            a=p['arguments']
+            if n(a['8'])==0 and abs(n(a['12']))==180:self.assertEqual(p['adjusted_b'],a['12'])
+    def test_large_difference_is_not_fully_normalized(self):
+        p=next(p for p in self.r['probes'] if n(p['arguments']['8'])==0 and n(p['arguments']['12'])==1080 and n(p['arguments']['16'])==1);self.assertEqual(p['result'],word(720))
+if __name__=='__main__':unittest.main()