gameplay: port linked collision mask policy

crates/urt-gameplay/src/bin/urt-client-move-context.rs

@@ -56,6 +56,56 @@ fn main() {
                 list(&copy)
             );
         }
+        "mask" => println!("{}", mask(&w)),
         _ => panic!("unknown contract"),
     }
 }
+
+fn mask(w: &[u32]) -> String {
+    assert_eq!(w.len(), 12);
+    let entity = MoveEntityBox {
+        pm_type: w[0],
+        health: w[7],
+        origin: [0.; 3],
+        mins: [-1.; 3],
+        maxs: [1.; 3],
+    };
+    let other = MoveEntityBox {
+        pm_type: w[5],
+        health: w[6],
+        origin: [
+            f32::from_bits(w[8]),
+            f32::from_bits(w[9]),
+            f32::from_bits(w[10]),
+        ],
+        mins: [-1.; 3],
+        maxs: [1.; 3],
+    };
+    let mut links = MoveLinks {
+        linked: w[1] != 0,
+        other_linked: w[11] != 0,
+    };
+    let o = select_move_mask(
+        &mut links,
+        MoveMaskInput {
+            entity,
+            other,
+            entity_flags: w[2],
+            mode: w[3],
+            ghost: w[4],
+        },
+    )
+    .unwrap();
+    let results = o
+        .overlap
+        .map(|v| u32::from(v))
+        .into_iter()
+        .collect::<Vec<_>>();
+    format!(
+        r#"{{"mask":{},"linked":{},"other_linked":{},"overlap_results":{}}}"#,
+        o.mask,
+        links.linked,
+        links.other_linked,
+        list(&results)
+    )
+}

crates/urt-gameplay/src/client_move_context.rs

@@ -104,3 +104,164 @@ mod suppression_tests {
         }
     }
 }
+
+#[derive(Clone, Copy, Debug, PartialEq)]
+pub struct MoveEntityBox {
+    pub pm_type: u32,
+    pub health: u32,
+    pub origin: [f32; 3],
+    pub mins: [f32; 3],
+    pub maxs: [f32; 3],
+}
+/// Original151954: source order deliberately retains the strict first-X test.
+/// Float sums outside the finite modeled domain reject before link mutation.
+pub fn linked_move_overlap(
+    this: MoveEntityBox,
+    other: MoveEntityBox,
+) -> Result<bool, crate::native_policy::Error> {
+    if other.pm_type != 0
+        || other.health as i32 <= 0
+        || this.pm_type != 0
+        || this.health as i32 <= 0
+    {
+        return Ok(false);
+    }
+    let mut lo_a = [0.; 3];
+    let mut hi_a = [0.; 3];
+    let mut lo_b = [0.; 3];
+    let mut hi_b = [0.; 3];
+    for j in 0..3 {
+        for v in [
+            this.origin[j],
+            this.mins[j],
+            this.maxs[j],
+            other.origin[j],
+            other.mins[j],
+            other.maxs[j],
+        ] {
+            if !v.is_finite() {
+                return Err(crate::native_policy::Error::NonFinite);
+            }
+        }
+        lo_a[j] = this.origin[j] + this.mins[j];
+        hi_a[j] = this.origin[j] + this.maxs[j];
+        lo_b[j] = other.origin[j] + other.mins[j];
+        hi_b[j] = other.origin[j] + other.maxs[j];
+        if [lo_a[j], hi_a[j], lo_b[j], hi_b[j]]
+            .iter()
+            .any(|v| !v.is_finite())
+        {
+            return Err(crate::native_policy::Error::NonFinite);
+        }
+    }
+    Ok(lo_b[0] < hi_a[0]
+        && lo_b[1] <= hi_a[1]
+        && lo_b[2] <= hi_a[2]
+        && hi_b[0] >= lo_a[0]
+        && hi_b[1] >= lo_a[1]
+        && hi_b[2] >= lo_a[2])
+}
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub struct MoveLinks {
+    pub linked: bool,
+    pub other_linked: bool,
+}
+#[derive(Clone, Copy, Debug, PartialEq)]
+pub struct MoveMaskInput {
+    pub entity: MoveEntityBox,
+    pub other: MoveEntityBox,
+    pub entity_flags: u32,
+    pub mode: u32,
+    pub ghost: u32,
+}
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub struct MoveMaskOutcome {
+    pub mask: u32,
+    pub overlap: Option<bool>,
+}
+pub fn select_move_mask(
+    links: &mut MoveLinks,
+    input: MoveMaskInput,
+) -> Result<MoveMaskOutcome, crate::native_policy::Error> {
+    let (mask, overlap) = if input.entity.pm_type == 3 {
+        (65537, None)
+    } else if links.linked {
+        let overlap = linked_move_overlap(input.entity, input.other)?;
+        if !overlap {
+            links.linked = false;
+            links.other_linked = false;
+        }
+        (if overlap { 65537 } else { 33619969 }, Some(overlap))
+    } else if input.entity_flags & 8 != 0 {
+        (37814273, None)
+    } else if input.mode == 9 && input.ghost != 0 {
+        (67174401, None)
+    } else {
+        (33619969, None)
+    };
+    Ok(MoveMaskOutcome { mask, overlap })
+}
+#[cfg(test)]
+mod mask_tests {
+    use super::*;
+    fn entity() -> MoveEntityBox {
+        MoveEntityBox {
+            pm_type: 0,
+            health: 1,
+            origin: [0.; 3],
+            mins: [-1.; 3],
+            maxs: [1.; 3],
+        }
+    }
+    fn input() -> MoveMaskInput {
+        MoveMaskInput {
+            entity: entity(),
+            other: entity(),
+            entity_flags: 8,
+            mode: 9,
+            ghost: 1,
+        }
+    }
+    #[test]
+    fn asymmetric_boundary_and_cleanup_precede_flags() {
+        let mut i = input();
+        i.other.origin[0] = 2.;
+        let mut l = MoveLinks {
+            linked: true,
+            other_linked: true,
+        };
+        let o = select_move_mask(&mut l, i).unwrap();
+        assert_eq!(o.mask, 33619969);
+        assert_eq!(o.overlap, Some(false));
+        assert!(!l.linked && !l.other_linked);
+        i.other.origin = [0., 2., 0.];
+        let mut l = MoveLinks {
+            linked: true,
+            other_linked: true,
+        };
+        assert_eq!(select_move_mask(&mut l, i).unwrap().mask, 65537);
+        assert!(l.linked);
+        i.other.origin = [-2., 0., 0.];
+        assert_eq!(linked_move_overlap(i.entity, i.other), Ok(true));
+    }
+    #[test]
+    fn type_three_bypasses_bad_geometry_and_error_preserves_links() {
+        let mut i = input();
+        i.other.origin[0] = f32::NAN;
+        let mut l = MoveLinks {
+            linked: true,
+            other_linked: true,
+        };
+        let old = l;
+        assert!(select_move_mask(&mut l, i).is_err());
+        assert_eq!(l, old);
+        i.entity.pm_type = 3;
+        assert_eq!(select_move_mask(&mut l, i).unwrap().overlap, None);
+        assert_eq!(l, old);
+        l.linked = false;
+        i.entity.pm_type = 0;
+        assert_eq!(select_move_mask(&mut l, i).unwrap().mask, 37814273);
+        i.entity_flags = 0;
+        assert_eq!(select_move_mask(&mut l, i).unwrap().mask, 67174401);
+    }
+}

docs/FINDINGS.md

@@ -1909,3 +1909,5 @@ RE-986: 90 original-QVM fixtures recover live/non-following client mask2 suppres
 RE-987: Rust snapshots six raw command words after source-backed suppression, retaining negative up bytes and all unrelated command words. Ninety source/Rust fixtures compare both the mutated command and scratch copy. Unit cases cover signed byte boundaries, neighboring button preservation and dead/follow/other-mask bypasses. The typed return represents binding to the supplied client rather than a raw address. [Evidence](research/RUST_CLIENT_MOVE_SUPPRESSION.md).
 
 RE-988: Forty source probes recover mask precedence and execute actual151954 overlap checks. Movement-type3 bypasses links and selects65537; overlapping live type0 linked entities select the same mask. Failed overlap clears both link words and selects33619969. Unlinked entity mask8 selects37814273 before mode9/nonzero client3704 selects67174401. The helper uses strict lower-X versus upper-X overlap, inclusive remaining comparisons, positive entity health and movement-type0 on both clients; boundary fixtures expose this asymmetry. [Evidence](research/QVM_CLIENT_MOVE_MASK.md).
+
+RE-989: Rust ports the actual linked overlap conditions and mask precedence across forty source/Rust cases. Failed overlap clears both supplied link states before returning the default mask; movement-type3 bypasses overlap entirely. Finite f32 bounds/sums are validated before mutation. Unit tests cover asymmetric touching faces, flag precedence, reciprocal cleanup, nonfinite rollback and bypassing unused invalid geometry. Native collision traces remain outside this policy. [Evidence](research/RUST_CLIENT_MOVE_MASK.md).

docs/PROVISIONAL_TODO.md

@@ -1965,3 +1965,5 @@ RE-974–983 completed routing, command rewrite, inactivity, movement-parameter
 - [x] RE-987 Port signed movement suppression and snapshot ([evidence](research/RUST_CLIENT_MOVE_SUPPRESSION.md)).
 
 - [x] RE-988 Recover movement masks and linked overlap cleanup ([evidence](research/QVM_CLIENT_MOVE_MASK.md)).
+
+- [x] RE-989 Port linked overlap and movement mask selection ([evidence](research/RUST_CLIENT_MOVE_MASK.md)).

docs/RESEARCH_LEDGER.md

@@ -2627,3 +2627,7 @@ Rust snapshots six raw command words after source-backed suppression, retaining
 ## 2026-10-29 — RE-988 Recover movement masks and linked overlap cleanup
 
 Forty source probes recover mask precedence and execute actual151954 overlap checks. Movement-type3 bypasses links and selects65537; overlapping live type0 linked entities select the same mask. Failed overlap clears both link words and selects33619969. Unlinked entity mask8 selects37814273 before mode9/nonzero client3704 selects67174401. The helper uses strict lower-X versus upper-X overlap, inclusive remaining comparisons, positive entity health and movement-type0 on both clients; boundary fixtures expose this asymmetry. Focused `cargo xtask test-group qvm-client-move-mask` passes with deterministic report regeneration and selected regressions. Full suite deferred to task ten. Original assets unchanged; Python uses the flake-declared Nix runtime.
+
+## 2026-10-29 — RE-989 Port linked overlap and movement mask selection
+
+Rust ports the actual linked overlap conditions and mask precedence across forty source/Rust cases. Failed overlap clears both supplied link states before returning the default mask; movement-type3 bypasses overlap entirely. Finite f32 bounds/sums are validated before mutation. Unit tests cover asymmetric touching faces, flag precedence, reciprocal cleanup, nonfinite rollback and bypassing unused invalid geometry. Native collision traces remain outside this policy. Focused `cargo xtask test-group rust-client-move-mask` passes with deterministic report regeneration and selected regressions. Full suite deferred to task ten. Original assets unchanged; Python uses the flake-declared Nix runtime.

docs/REVERSE_ENGINEERING_TODO.md

@@ -2002,3 +2002,5 @@ RE-974–983 recover routing, command rewriting, inactivity and composed setup t
 - [x] RE-987 Port signed movement suppression and snapshot ([evidence](research/RUST_CLIENT_MOVE_SUPPRESSION.md)).
 
 - [x] RE-988 Recover movement masks and linked overlap cleanup ([evidence](research/QVM_CLIENT_MOVE_MASK.md)).
+
+- [x] RE-989 Port linked overlap and movement mask selection ([evidence](research/RUST_CLIENT_MOVE_MASK.md)).

docs/research/README.md

@@ -1537,3 +1537,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-987: Port signed movement suppression and snapshot](RUST_CLIENT_MOVE_SUPPRESSION.md).
 
 - [RE-988: Recover movement masks and linked overlap cleanup](QVM_CLIENT_MOVE_MASK.md).
+
+- [RE-989: Port linked overlap and movement mask selection](RUST_CLIENT_MOVE_MASK.md).

docs/research/RUST_CLIENT_MOVE_MASK.md

@@ -0,0 +1,5 @@
+# Port linked overlap and movement mask selection
+
+RE-989. Focused validation: `cargo xtask test-group rust-client-move-mask`. [Machine report](rust-client-move-mask.json).
+
+Rust ports the actual linked overlap conditions and mask precedence across forty source/Rust cases. Failed overlap clears both supplied link states before returning the default mask; movement-type3 bypasses overlap entirely. Finite f32 bounds/sums are validated before mutation. Unit tests cover asymmetric touching faces, flag precedence, reciprocal cleanup, nonfinite rollback and bypassing unused invalid geometry. Native collision traces remain outside this policy.

docs/research/rust-client-move-mask.json

@@ -0,0 +1,615 @@
+{
+  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
+  "probes": [
+    {
+      "rust": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 67174401,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 67174401,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 37814273,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 37814273,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 37814273,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 37814273,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 37814273,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 37814273,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 37814273,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 37814273,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": false,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": [
+          1
+        ]
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": [
+          1
+        ]
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      },
+      "source": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": [
+          1
+        ]
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": [
+          1
+        ]
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": [
+          1
+        ]
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": [
+          1
+        ]
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": [
+          1
+        ]
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": [
+          1
+        ]
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      },
+      "source": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      },
+      "source": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      },
+      "source": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      },
+      "source": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      },
+      "source": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      },
+      "source": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    },
+    {
+      "rust": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      },
+      "source": {
+        "linked": false,
+        "mask": 33619969,
+        "other_linked": false,
+        "overlap_results": [
+          0
+        ]
+      }
+    },
+    {
+      "rust": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      },
+      "source": {
+        "linked": true,
+        "mask": 65537,
+        "other_linked": true,
+        "overlap_results": []
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-client-move-mask.json",
+  "source_report_sha256": "43f14f7ed6a171aa267b4ab52c230a5bd9fd1465ad3cc0ce9ca7e6d5fbccc99f"
+}

docs/research/rust-health-impulse.json

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

scripts/analyze_rust_client_move_mask.py

@@ -0,0 +1,18 @@
+"""Compare recovered Rust policy with original QVM fixtures."""
+import hashlib,json,os,subprocess
+from pathlib import Path
+from analyze_qvm import write_json
+from rust_lifecycle_support import result
+
+def main():
+ subprocess.run(['cargo','build','--offline','--package','urt-gameplay','--bin','urt-client-move-context'],check=True,capture_output=True)
+ binary=Path(os.environ.get('CARGO_TARGET_DIR','target'))/'debug'/'urt-client-move-context'
+ path=Path('docs/research/qvm-client-move-mask.json');data=path.read_bytes();probes=[]
+ for p in json.loads(data)['probes']:
+  probes.append(dict(source={k:p[k] for k in ['mask', 'linked', 'other_linked', 'overlap_results']},rust=result(binary,'mask',encode(p['input']))))
+ write_json(Path('docs/research/rust-client-move-mask.json'),dict(source_report=str(path),source_report_sha256=hashlib.sha256(data).hexdigest(),probes=probes,limits='Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.'))
+
+def encode(a):
+ from analyze_qvm_acceleration import word
+ return [a['pm_type'],a['linked'],a['entity_flags'],a['mode'],a['ghost'],a['other_pm'],a['other_health'],a['self_health'],*[word(v) for v in a['origin']],1]
+if __name__=='__main__':main()

scripts/test_rust_client_move_mask.py

@@ -0,0 +1,9 @@
+import hashlib,json,unittest
+from pathlib import Path
+class PortTests(unittest.TestCase):
+ def test_original_parity(self):
+  r=json.loads(Path('docs/research/rust-client-move-mask.json').read_text());self.assertGreaterEqual(len(r['probes']),12)
+  for p in r['probes']:self.assertEqual(p['source'],p['rust'])
+ def test_identity(self):
+  r=json.loads(Path('docs/research/rust-client-move-mask.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

@@ -3732,3 +3732,27 @@ report	scripts/analyze_qvm_client_move_mask.py	docs/research/qvm-client-move-mas
 edge	docs/research/qvm-client-move-mask.json	scripts/test_qvm_client_move_mask.py
 group	qvm-client-move-mask	scripts/analyze_qvm_client_move_mask.py
 edge	scripts/analyze_qvm_client_move_mask.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_rust_client_move_mask.py	docs/research/rust-client-move-mask.json
+edge	docs/research/rust-client-move-mask.json	scripts/test_rust_client_move_mask.py
+group	rust-client-move-mask	scripts/analyze_rust_client_move_mask.py
+edge	scripts/analyze_rust_client_move_mask.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_client_move_mask.py
+edge	Cargo.lock	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/filter_loading.rs	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/bin/urt-filter-loading.rs	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_client_move_mask.py
+edge	docs/research/qvm-client-move-mask.json	scripts/analyze_rust_client_move_mask.py
+group	rust-client-move-mask	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/filter_commands.rs	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/bin/urt-filter-commands.rs	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/client_timer.rs	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/bin/urt-client-timer.rs	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/client_processing.rs	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/bin/urt-client-processing.rs	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/client_move_context.rs	scripts/analyze_rust_client_move_mask.py
+edge	crates/urt-gameplay/src/bin/urt-client-move-context.rs	scripts/analyze_rust_client_move_mask.py

xtask/src/lib.rs

@@ -1133,6 +1133,7 @@ mod integration_tests {
             ("filter_commands", "filter_add_command"),
             ("client_timer", "client_timer_terminal"),
             ("client_move_context", "client_move_suppression"),
+            ("client_move_context", "client_move_mask"),
             ("client_move_context", "client_move_scratch"),
             ("client_processing", "client_routing"),
             ("client_timer", "client_routing"),
@@ -1348,6 +1349,7 @@ mod integration_tests {
             ("qvm-filter-add-command", "filter_add_command"),
             ("qvm-client-timer-terminal", "client_timer_terminal"),
             ("qvm-client-move-suppression", "client_move_suppression"),
+            ("qvm-client-move-mask", "client_move_mask"),
             ("qvm-client-move-scratch", "client_move_scratch"),
             ("qvm-client-routing", "client_routing"),
             ("qvm-client-command-rewrite", "client_command_rewrite"),