gameplay: port checked angle math policy

crates/urt-gameplay/src/bin/urt-camera-world.rs

@@ -130,6 +130,25 @@ fn run() -> Result<String, String> {
                 array(&matches)
             ))
         }
+        "angles" => {
+            if w.len() < 4 {
+                return Err("missing angle input".into());
+            }
+            let mut p = 3;
+            let mut math = math_calls(&w, &mut p)?;
+            if p != w.len() {
+                return Err("trailing angle words".into());
+            }
+            let input = w[..3].try_into().unwrap();
+            let output = vector_angles(input, &mut math).map_err(|e| format!("{e:?}"))?;
+            math.finish().map_err(|e| format!("{e:?}"))?;
+            let host = vector_angles(input, &mut HostMath).map_err(|e| format!("{e:?}"))?;
+            Ok(format!(
+                "{{\"output\":{},\"host\":{}}}",
+                array(&output),
+                array(&host)
+            ))
+        }
         _ => Err("unknown command".into()),
     }
 }
@@ -173,3 +192,22 @@ fn field_records(w: &[u32], p: &mut usize, n: usize) -> Result<Vec<FieldEntity>,
     }
     Ok(e)
 }
+
+fn math_calls(w: &[u32], p: &mut usize) -> Result<ReplayMath, String> {
+    let n = *w.get(*p).ok_or("missing math count")? as usize;
+    *p += 1;
+    if n > 128 || 4 * n > w.len() - *p {
+        return Err("invalid math count".into());
+    }
+    let calls = w[*p..*p + 4 * n]
+        .chunks_exact(4)
+        .map(|v| MathCall {
+            operation: v[0] as i32,
+            a: v[1],
+            b: v[2],
+            result: v[3],
+        })
+        .collect();
+    *p += 4 * n;
+    Ok(ReplayMath::new(calls))
+}

crates/urt-gameplay/src/camera_world.rs

@@ -254,3 +254,143 @@ mod target_tests {
         assert_eq!(zero, 0);
     }
 }
+
+pub trait AngleMath {
+    fn atan2(&mut self, y: f32, x: f32) -> Result<f32, Error>;
+    fn sqrt(&mut self, x: f32) -> Result<f32, Error>;
+}
+pub struct HostMath;
+impl AngleMath for HostMath {
+    fn atan2(&mut self, y: f32, x: f32) -> Result<f32, Error> {
+        Ok((y as f64).atan2(x as f64) as f32)
+    }
+    fn sqrt(&mut self, x: f32) -> Result<f32, Error> {
+        Ok((x as f64).sqrt() as f32)
+    }
+}
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub struct MathCall {
+    pub operation: i32,
+    pub a: u32,
+    pub b: u32,
+    pub result: u32,
+}
+pub struct ReplayMath {
+    calls: Vec<MathCall>,
+    next: usize,
+}
+impl ReplayMath {
+    pub fn new(calls: Vec<MathCall>) -> Self {
+        Self { calls, next: 0 }
+    }
+    pub fn finish(&self) -> Result<(), Error> {
+        if self.next == self.calls.len() {
+            Ok(())
+        } else {
+            Err(Error::MathTranscript)
+        }
+    }
+    fn take(&mut self, operation: i32, a: f32, b: f32) -> Result<f32, Error> {
+        let c = self.calls.get(self.next).ok_or(Error::MathTranscript)?;
+        if (c.operation, c.a, c.b) != (operation, a.to_bits(), b.to_bits()) {
+            return Err(Error::MathTranscript);
+        }
+        self.next += 1;
+        let value = f32::from_bits(c.result);
+        if !value.is_finite() {
+            return Err(Error::FloatDomain);
+        }
+        Ok(value)
+    }
+}
+impl AngleMath for ReplayMath {
+    fn atan2(&mut self, y: f32, x: f32) -> Result<f32, Error> {
+        self.take(-106, y, x)
+    }
+    fn sqrt(&mut self, x: f32) -> Result<f32, Error> {
+        self.take(-107, x, 0.0)
+    }
+}
+/// Source f32 staging with caller-selected finite math responses. HostMath does
+/// not establish original native library bit parity.
+pub fn vector_angles<M: AngleMath>(input: [u32; 3], math: &mut M) -> Result<[u32; 3], Error> {
+    let [x, y, z] = input.map(f32::from_bits);
+    if ![x, y, z].iter().all(|v| v.is_finite()) {
+        return Err(Error::FloatDomain);
+    }
+    if x == 0.0 && y == 0.0 {
+        return Ok([
+            (-(if z > 0.0 { 90.0f32 } else { 270.0f32 })).to_bits(),
+            0,
+            0,
+        ]);
+    }
+    let degrees = f32::from_bits(1113927393);
+    let mut yaw = if x != 0.0 {
+        math.atan2(y, x)? * degrees
+    } else if y > 0.0 {
+        90.0
+    } else {
+        270.0
+    };
+    if yaw < 0.0 {
+        yaw += 360.0;
+    }
+    let xx = x * x;
+    let yy = y * y;
+    let sum = xx + yy;
+    if !sum.is_finite() {
+        return Err(Error::FloatDomain);
+    }
+    let horizontal = math.sqrt(sum)?;
+    if !horizontal.is_finite() || horizontal < 0.0 {
+        return Err(Error::FloatDomain);
+    }
+    let mut pitch = math.atan2(z, horizontal)? * degrees;
+    if pitch < 0.0 {
+        pitch += 360.0;
+    }
+    if !pitch.is_finite() || !yaw.is_finite() {
+        return Err(Error::FloatDomain);
+    }
+    Ok([(-pitch).to_bits(), yaw.to_bits(), 0])
+}
+#[cfg(test)]
+mod angle_tests {
+    use super::*;
+    #[test]
+    fn vertical_and_signed_zero_contract() {
+        assert_eq!(
+            vector_angles([0; 3], &mut HostMath),
+            Ok([(-270.0f32).to_bits(), 0, 0])
+        );
+        assert_eq!(
+            vector_angles([0, 0, 1.0f32.to_bits()], &mut HostMath),
+            Ok([(-90.0f32).to_bits(), 0, 0])
+        );
+        assert_eq!(
+            vector_angles([1.0f32.to_bits(), 0, 0], &mut HostMath),
+            Ok([(-0.0f32).to_bits(), 0, 0])
+        );
+    }
+    #[test]
+    fn transcript_and_nonfinite_fail_closed() {
+        let mut m = ReplayMath::new(vec![]);
+        assert_eq!(
+            vector_angles([1.0f32.to_bits(), 0, 0], &mut m),
+            Err(Error::MathTranscript)
+        );
+        assert_eq!(
+            vector_angles([f32::NAN.to_bits(), 0, 0], &mut HostMath),
+            Err(Error::FloatDomain)
+        );
+        let mut m = ReplayMath::new(vec![MathCall {
+            operation: -107,
+            a: 0,
+            b: 0,
+            result: 0,
+        }]);
+        assert!(vector_angles([0; 3], &mut m).is_ok());
+        assert_eq!(m.finish(), Err(Error::MathTranscript));
+    }
+}

docs/FINDINGS.md

@@ -1580,3 +1580,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-860:** 96 actual 62944 cases use corrected repeated child reentry and coherent full/partial alias memory, preserving staged f32 arithmetic and exact output words. All24 older fixtures are compared explicitly. atan2/sqrt remain supplied finite f32 math models; original native library bit parity is not established. [Evidence](research/QVM_CAMERA_ANGLES.md).
+
+
+**RE-861:** Rust matches 96 corrected source angle cases exactly through checked math transcripts. A separate host-math path is compared within four f32 ULPs, preserving source staging and signed-zero behavior. Safe nonfinite domains and stale math transcripts reject; original native atan2/sqrt bit parity remains unverified. [Evidence](research/RUST_CAMERA_ANGLES.md).

docs/PROVISIONAL_TODO.md

@@ -1602,3 +1602,6 @@ RE-859: Rust matches 168 original target selections and five six-step RNG sequen
 
 
 RE-860: 96 actual 62944 cases use corrected repeated child reentry and coherent full/partial alias memory, preserving staged f32 arithmetic and exact output words. All24 older fixtures are compared explicitly. atan2/sqrt remain supplied finite f32 math models; original native library bit parity is not established. Full runtime completion remains open. [Evidence](research/QVM_CAMERA_ANGLES.md).
+
+
+RE-861: Rust matches 96 corrected source angle cases exactly through checked math transcripts. A separate host-math path is compared within four f32 ULPs, preserving source staging and signed-zero behavior. Safe nonfinite domains and stale math transcripts reject; original native atan2/sqrt bit parity remains unverified. Full runtime completion remains open. [Evidence](research/RUST_CAMERA_ANGLES.md).

docs/RESEARCH_LEDGER.md

@@ -1986,3 +1986,8 @@ Rust matches 168 original target selections and five six-step RNG sequences. It
 RE-860 environment correction: added flake.nix/flake.lock because this repository had no flake; pin uses the existing sibling project's nixpkgs revision. All subsequent Python runs use the declared Nix Python3.13.15 dependency and the absolute `PYTHON` variable, with no macOS Command Line Tools Python. The pending focused camera-angle validation is repeated through that shell.
 
 RE-860 flake validation: the repeated focused group passes all5 Python tests with the explicit Nix-store Python executable, identical deterministic source reports and all guards. Flake evaluation exposes both macOS and both Linux architectures.
+
+
+## 2026-10-27 — RE-861 Rust vector-angle policy with checked math transcripts
+
+Rust matches 96 corrected source angle cases exactly through checked math transcripts. A separate host-math path is compared within four f32 ULPs, preserving source staging and signed-zero behavior. Safe nonfinite domains and stale math transcripts reject; original native atan2/sqrt bit parity remains unverified. Focused `cargo xtask test-group rust-camera-angles` passes (9 Python tests); selected reports regenerate twice deterministically, with storage, documentation links and whitespace guards. Full suite deferred to task ten. Original assets unchanged; source fixtures do not establish complete native/runtime parity.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1639,3 +1639,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-860 Corrected coherent vector-angle execution and legacy audit ([evidence](research/QVM_CAMERA_ANGLES.md)).
+
+
+- [x] RE-861 Rust vector-angle policy with checked math transcripts ([evidence](research/RUST_CAMERA_ANGLES.md)).

docs/research/README.md

@@ -1176,3 +1176,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-860: Corrected coherent vector-angle execution and legacy audit](QVM_CAMERA_ANGLES.md).
+
+
+[RE-861: Rust vector-angle policy with checked math transcripts](RUST_CAMERA_ANGLES.md).

docs/research/RUST_CAMERA_ANGLES.md

@@ -0,0 +1,7 @@
+# Rust vector-angle policy with checked math transcripts
+
+RE-861. Reproduce with `python3 scripts/analyze_rust_camera_angles.py`; focused validation: `cargo xtask test-group rust-camera-angles`. [Machine report](rust-camera-angles.json).
+
+Rust matches 96 corrected source angle cases exactly through checked math transcripts. A separate host-math path is compared within four f32 ULPs, preserving source staging and signed-zero behavior. Safe nonfinite domains and stale math transcripts reject; original native atan2/sqrt bit parity remains unverified.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/rust-camera-angles.json

@@ -0,0 +1,2023 @@
+{
+  "limits": "Rust matches 96 corrected source angle cases exactly through checked math transcripts. A separate host-math path is compared within four f32 ULPs, preserving source staging and signed-zero behavior. Safe nonfinite domains and stale math transcripts reject; original native atan2/sqrt bit parity remains unverified.",
+  "probes": [
+    {
+      "host": [
+        3280404480,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3280404480,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3280404480,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3280404480,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3266576384,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3266576384,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3266576384,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3266576384,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3280404480,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3280404480,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3280404480,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3280404480,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3280404480,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1127481344,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1127481344,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1127481344,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1127481344,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1127481344,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1127481344,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1127481344,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1127481344,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1127481344,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1127481344,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1127481344,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1127481344,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1119092736,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1119092736,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1119092736,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1119092736,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1119092736,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1119092736,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1119092736,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1119092736,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1119092736,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1119092736,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1119092736,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1119092736,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1132920832,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1132920832,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1132920832,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1132920832,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1132920832,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1132920832,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1132920832,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1132920832,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1132920832,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1132920832,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1132920832,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1132920832,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3255635644,
+        1110704128,
+        0
+      ],
+      "rust": {
+        "output": [
+          3255635644,
+          1110704128,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3255635644,
+          1110704128,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3255635644,
+        1110704128,
+        0
+      ],
+      "rust": {
+        "output": [
+          3255635644,
+          1110704128,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3255635644,
+          1110704128,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3255635644,
+        1110704128,
+        0
+      ],
+      "rust": {
+        "output": [
+          3255635644,
+          1110704128,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3255635644,
+          1110704128,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3255635644,
+        1110704128,
+        0
+      ],
+      "rust": {
+        "output": [
+          3255635644,
+          1110704128,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3255635644,
+          1110704128,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3282198056,
+        1124532224,
+        0
+      ],
+      "rust": {
+        "output": [
+          3282198056,
+          1124532224,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3282198056,
+          1124532224,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3282198056,
+        1124532224,
+        0
+      ],
+      "rust": {
+        "output": [
+          3282198056,
+          1124532224,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3282198056,
+          1124532224,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3282198056,
+        1124532224,
+        0
+      ],
+      "rust": {
+        "output": [
+          3282198056,
+          1124532224,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3282198056,
+          1124532224,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3282198056,
+        1124532224,
+        0
+      ],
+      "rust": {
+        "output": [
+          3282198056,
+          1124532224,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3282198056,
+          1124532224,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3260739908,
+        1130430464,
+        0
+      ],
+      "rust": {
+        "output": [
+          3260739908,
+          1130430464,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3260739908,
+          1130430464,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3260739908,
+        1130430464,
+        0
+      ],
+      "rust": {
+        "output": [
+          3260739908,
+          1130430464,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3260739908,
+          1130430464,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3260739908,
+        1130430464,
+        0
+      ],
+      "rust": {
+        "output": [
+          3260739908,
+          1130430464,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3260739908,
+          1130430464,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3260739908,
+        1130430464,
+        0
+      ],
+      "rust": {
+        "output": [
+          3260739908,
+          1130430464,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3260739908,
+          1130430464,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3281560024,
+        1134395392,
+        0
+      ],
+      "rust": {
+        "output": [
+          3281560024,
+          1134395392,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3281560024,
+          1134395392,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3281560024,
+        1134395392,
+        0
+      ],
+      "rust": {
+        "output": [
+          3281560024,
+          1134395392,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3281560024,
+          1134395392,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3281560024,
+        1134395392,
+        0
+      ],
+      "rust": {
+        "output": [
+          3281560024,
+          1134395392,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3281560024,
+          1134395392,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3281560024,
+        1134395392,
+        0
+      ],
+      "rust": {
+        "output": [
+          3281560024,
+          1134395392,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3281560024,
+          1134395392,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3266157006,
+        1133791316,
+        0
+      ],
+      "rust": {
+        "output": [
+          3266157006,
+          1133791316,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3266157006,
+          1133791316,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3266157006,
+        1133791316,
+        0
+      ],
+      "rust": {
+        "output": [
+          3266157006,
+          1133791316,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3266157006,
+          1133791316,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3266157006,
+        1133791316,
+        0
+      ],
+      "rust": {
+        "output": [
+          3266157006,
+          1133791316,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3266157006,
+          1133791316,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3266157006,
+        1133791316,
+        0
+      ],
+      "rust": {
+        "output": [
+          3266157006,
+          1133791316,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3266157006,
+          1133791316,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1110704128,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1110704128,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1110704128,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1110704128,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1124532224,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1124532224,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1124532224,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1124532224,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1124532224,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1124532224,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1124532224,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1124532224,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1124532224,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1124532224,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1124532224,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1124532224,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1130430464,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1130430464,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1130430464,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1130430464,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1130430464,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1130430464,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1130430464,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1130430464,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1130430464,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1130430464,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1130430464,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1130430464,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1134395392,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1134395392,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1134395392,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1134395392,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1134395392,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1134395392,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1134395392,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1134395392,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1134395392,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1134395392,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1134395392,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1134395392,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        0,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          0,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          0,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        0,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          0,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          0,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        0,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          0,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          0,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        0,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          0,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          0,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3266576384,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3266576384,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3266576384,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3266576384,
+        0,
+        0
+      ],
+      "rust": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3266576384,
+          0,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3255635663,
+        1134395392,
+        0
+      ],
+      "rust": {
+        "output": [
+          3255635663,
+          1134395392,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3255635663,
+          1134395392,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3255635663,
+        1134395392,
+        0
+      ],
+      "rust": {
+        "output": [
+          3255635663,
+          1134395392,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3255635663,
+          1134395392,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3255635663,
+        1134395392,
+        0
+      ],
+      "rust": {
+        "output": [
+          3255635663,
+          1134395392,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3255635663,
+          1134395392,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3255635663,
+        1134395392,
+        0
+      ],
+      "rust": {
+        "output": [
+          3255635663,
+          1134395392,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3255635663,
+          1134395392,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3073106730,
+        912600803,
+        0
+      ],
+      "rust": {
+        "output": [
+          3073106730,
+          912600803,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3073106730,
+          912600803,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3073106730,
+        912600803,
+        0
+      ],
+      "rust": {
+        "output": [
+          3073106730,
+          912600803,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3073106730,
+          912600803,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3073106730,
+        912600803,
+        0
+      ],
+      "rust": {
+        "output": [
+          3073106730,
+          912600803,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3073106730,
+          912600803,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3073106730,
+        912600803,
+        0
+      ],
+      "rust": {
+        "output": [
+          3073106730,
+          912600803,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3073106730,
+          912600803,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3260363774,
+        1115536740,
+        0
+      ],
+      "rust": {
+        "output": [
+          3260363774,
+          1115536740,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3260363774,
+          1115536740,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3260363774,
+        1115536740,
+        0
+      ],
+      "rust": {
+        "output": [
+          3260363774,
+          1115536740,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3260363774,
+          1115536740,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3260363774,
+        1115536740,
+        0
+      ],
+      "rust": {
+        "output": [
+          3260363774,
+          1115536740,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3260363774,
+          1115536740,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3260363774,
+        1115536740,
+        0
+      ],
+      "rust": {
+        "output": [
+          3260363774,
+          1115536740,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3260363774,
+          1115536740,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3281607040,
+        1131638617,
+        0
+      ],
+      "rust": {
+        "output": [
+          3281607040,
+          1131638617,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3281607040,
+          1131638617,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3281607040,
+        1131638617,
+        0
+      ],
+      "rust": {
+        "output": [
+          3281607040,
+          1131638617,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3281607040,
+          1131638617,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3281607040,
+        1131638617,
+        0
+      ],
+      "rust": {
+        "output": [
+          3281607040,
+          1131638617,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3281607040,
+          1131638617,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3281607040,
+        1131638617,
+        0
+      ],
+      "rust": {
+        "output": [
+          3281607040,
+          1131638617,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3281607040,
+          1131638617,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1110704128,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1110704128,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1110704128,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        2147483648,
+        1110704128,
+        0
+      ],
+      "rust": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          2147483648,
+          1110704128,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3258966052,
+        1134024788,
+        0
+      ],
+      "rust": {
+        "output": [
+          3258966052,
+          1134024788,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3258966052,
+          1134024788,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3258966052,
+        1134024788,
+        0
+      ],
+      "rust": {
+        "output": [
+          3258966052,
+          1134024788,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3258966052,
+          1134024788,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3258966052,
+        1134024788,
+        0
+      ],
+      "rust": {
+        "output": [
+          3258966052,
+          1134024788,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3258966052,
+          1134024788,
+          0
+        ]
+      }
+    },
+    {
+      "host": [
+        3258966052,
+        1134024788,
+        0
+      ],
+      "rust": {
+        "output": [
+          3258966052,
+          1134024788,
+          0
+        ]
+      },
+      "source": {
+        "output": [
+          3258966052,
+          1134024788,
+          0
+        ]
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-camera-angles.json",
+  "source_report_sha256": "77e64b205b97da9fc5ccf7be8847d5724fabe38ee2913d1f5ed8ebc95d4f4c33"
+}

docs/research/rust-health-impulse.json

@@ -2985,7 +2985,7 @@
       "exit_code": 2
     }
   ],
-  "rust_unit_tests": 115,
+  "rust_unit_tests": 117,
   "source_report": "docs/research/qvm-health-impulse.json",
   "source_report_sha256": "625fd8064004ea6dbdf398d51d0af844d9c635ff04c0a0790886dddb6ab81e71"
 }

scripts/analyze_rust_camera_angles.py

@@ -0,0 +1,13 @@
+#!/usr/bin/env python3
+import hashlib,json
+from pathlib import Path
+from rust_camera_world_support import binary,result,invoke
+from analyze_qvm import write_json
+def encode(s):return [*s['input'],len(s['math']),*[v for m in s['math'] for v in [m['target'],m['arguments']['8'],m['arguments'].get('12',0),m['result']]]]
+def project(s):return {'output':s['output']}
+def main():
+ b=binary();p=Path('docs/research/qvm-camera-angles.json');data=p.read_bytes();rows=[]
+ for s in json.loads(data)['probes']:
+  r=result(b,'angles',encode(s));rows.append({'source':project(s),'rust':{'output':r['output']},'host':r['host']})
+ write_json(Path('docs/research/rust-camera-angles.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust matches 96 corrected source angle cases exactly through checked math transcripts. A separate host-math path is compared within four f32 ULPs, preserving source staging and signed-zero behavior. Safe nonfinite domains and stale math transcripts reject; original native atan2/sqrt bit parity remains unverified.'})
+if __name__=='__main__':main()

scripts/test_rust_camera_angles.py

@@ -0,0 +1,11 @@
+import hashlib,json,unittest
+from pathlib import Path
+class PortTests(unittest.TestCase):
+ def test_all_original_cases(self):
+  r=json.loads(Path('docs/research/rust-camera-angles.json').read_text());src=json.loads(Path(r['source_report']).read_text());self.assertEqual(len(r['probes']),len(src['probes']));self.assertGreater(len(r['probes']),20)
+  for p in r['probes']:
+   self.assertEqual(p['rust'],p['source'])
+   for a,b in zip(p['host'],p['source']['output']):self.assertLessEqual(abs(a-b),4)
+ def test_source_identity(self):
+  r=json.loads(Path('docs/research/rust-camera-angles.json').read_text());self.assertEqual(hashlib.sha256(Path(r['source_report']).read_bytes()).hexdigest(),r['source_report_sha256'])
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -2391,3 +2391,16 @@ report	scripts/analyze_qvm_camera_angles.py	docs/research/qvm-camera-angles.json
 edge	docs/research/qvm-camera-angles.json	scripts/test_qvm_camera_angles.py
 group	camera-angles	scripts/analyze_qvm_camera_angles.py
 edge	scripts/analyze_qvm_camera_angles.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_camera_angles.py
+edge	Cargo.lock	scripts/analyze_rust_camera_angles.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_camera_angles.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_camera_angles.py
+edge	crates/urt-gameplay/src/camera_world.rs	scripts/analyze_rust_camera_angles.py
+edge	crates/urt-gameplay/src/bin/urt-camera-world.rs	scripts/analyze_rust_camera_angles.py
+edge	docs/research/qvm-camera-angles.json	scripts/analyze_rust_camera_angles.py
+group	rust-camera-angles	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_camera_angles.py
+report	scripts/analyze_rust_camera_angles.py	docs/research/rust-camera-angles.json
+edge	docs/research/rust-camera-angles.json	scripts/test_rust_camera_angles.py
+group	rust-camera-angles	scripts/analyze_rust_camera_angles.py
+edge	scripts/analyze_rust_camera_angles.py	scripts/analyze_qvm_resumer_audit.py