gameplay: port spawn overlap query boundary

crates/urt-gameplay/src/bin/urt-native-policy.rs

@@ -99,6 +99,40 @@ fn run() -> Result<String, String> {
                 list(&c.iter().map(|v| *v as u32).collect::<Vec<_>>())
             ))
         }
+        "overlap" => {
+            if w.len() < 11 {
+                return Err("missing overlap input".into());
+            }
+            let n = w[10] as usize;
+            if n > 1024 || w.len() != 11 + 2 * n {
+                return Err("invalid overlap input".into());
+            }
+            let origin = std::array::from_fn(|j| f32::from_bits(w[j]));
+            let bounds = std::array::from_fn(|half| {
+                std::array::from_fn(|j| f32::from_bits(w[3 + half * 3 + j]))
+            });
+            let query = spawn_box(origin, bounds).map_err(|e| format!("{e:?}"))?;
+            let indices = w[11..11 + n]
+                .iter()
+                .map(|v| *v as usize)
+                .collect::<Vec<_>>();
+            let mut clients = vec![0; 1024];
+            for (j, v) in indices.iter().zip(&w[11 + n..]) {
+                if *j >= clients.len() {
+                    return Err("invalid entity index".into());
+                }
+                clients[*j] = *v;
+            }
+            let blocked =
+                spawn_overlap(&indices, w[9] as i32, &clients).map_err(|e| format!("{e:?}"))?;
+            Ok(format!(
+                "{{\"queries\":[{{\"mins\":{},\"maxs\":{},\"capacity\":{}}}],\"result\":{}}}",
+                list(&query.mins.map(f32::to_bits)),
+                list(&query.maxs.map(f32::to_bits)),
+                query.capacity,
+                u32::from(blocked)
+            ))
+        }
         _ => Err("unknown command".into()),
     }
 }

crates/urt-gameplay/src/native_policy.rs

@@ -206,3 +206,67 @@ mod post_tests {
         assert!(!called);
     }
 }
+
+#[derive(Clone, Copy, Debug, PartialEq)]
+pub struct SpawnBox {
+    pub mins: [f32; 3],
+    pub maxs: [f32; 3],
+    pub capacity: usize,
+}
+pub fn spawn_box(origin: [f32; 3], bounds: [[f32; 3]; 2]) -> Result<SpawnBox, Error> {
+    if origin
+        .iter()
+        .chain(bounds.iter().flatten())
+        .any(|v| !v.is_finite())
+    {
+        return Err(Error::NonFinite);
+    }
+    let mins = std::array::from_fn(|j| origin[j] + bounds[0][j]);
+    let maxs = std::array::from_fn(|j| origin[j] + bounds[1][j]);
+    if mins.iter().chain(maxs.iter()).any(|v| !v.is_finite()) {
+        return Err(Error::NonFinite);
+    }
+    Ok(SpawnBox {
+        mins,
+        maxs,
+        capacity: 1024,
+    })
+}
+/// Inspect supplied spatial-query results. A client pointer alone gates overlap.
+/// A negative count follows the original empty-loop path. Malformed positive
+/// results reject before scanning, rather than reading outside the entity pool.
+pub fn spawn_overlap(indices: &[usize], count: i32, client_words: &[u32]) -> Result<bool, Error> {
+    let n = count.max(0) as usize;
+    if n > 1024 || n > indices.len() {
+        return Err(Error::InvalidCount);
+    }
+    if indices[..n].iter().any(|j| *j >= client_words.len()) {
+        return Err(Error::InvalidIndex);
+    }
+    Ok(indices[..n].iter().any(|j| client_words[*j] != 0))
+}
+#[cfg(test)]
+mod overlap_tests {
+    use super::*;
+    #[test]
+    fn capacity_and_invalid_index_reject() {
+        assert_eq!(spawn_overlap(&[0], 2, &[1]), Err(Error::InvalidCount));
+        assert_eq!(spawn_overlap(&[1], 1, &[1]), Err(Error::InvalidIndex));
+        assert_eq!(spawn_overlap(&[1], -1, &[]), Ok(false));
+        assert_eq!(spawn_overlap(&[0], 1, &[u32::MAX]), Ok(true));
+    }
+    #[test]
+    fn nonfinite_and_overflow_bounds_reject() {
+        assert_eq!(
+            spawn_box([f32::NAN, 0., 0.], [[0.; 3]; 2]),
+            Err(Error::NonFinite)
+        );
+        assert_eq!(
+            spawn_box([f32::MAX; 3], [[f32::MAX; 3]; 2]),
+            Err(Error::NonFinite)
+        );
+        let b = spawn_box([0.; 3], [[-15., -15., -24.], [15., 15., 32.]]).unwrap();
+        assert_eq!(b.capacity, 1024);
+        assert_eq!(b.mins, [-15., -15., -24.]);
+    }
+}

docs/FINDINGS.md

@@ -1640,3 +1640,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
 
 
 **RE-880:** 32 actual167638 cases recover f32 origin-plus-six-source-bounds construction, native -33 box query with capacity1024 and returned-index iteration. Any entity with nonzero client pointer at offset520 blocks the spawn; other activity/health/team flags are not tested here. Covers duplicate indices, negative/zero query counts, signed/nonzero client words, f32 rounding and a client at result1024. Engine spatial query answers remain supplied; invalid engine counts/indices and nonfinite bounds are excluded. [Evidence](research/QVM_SPAWN_OVERLAP.md).
+
+
+**RE-881:** Rust matches all32 original167638 box/query/filter cases, including the full1024-result scan and f32 rounding. The API separates box construction from supplied engine indices, rejects nonfinite/overflow bounds and malformed positive counts/indices, and tests client-pointer nonzero alone. Actual collision broadphase and integration into fallback selection remain open. [Evidence](research/RUST_SPAWN_OVERLAP.md).

docs/PROVISIONAL_TODO.md

@@ -1668,3 +1668,6 @@ RE-879: Rust matches all72 original249007 schedules and state snapshots, includi
 
 
 RE-880: 32 actual167638 cases recover f32 origin-plus-six-source-bounds construction, native -33 box query with capacity1024 and returned-index iteration. Any entity with nonzero client pointer at offset520 blocks the spawn; other activity/health/team flags are not tested here. Covers duplicate indices, negative/zero query counts, signed/nonzero client words, f32 rounding and a client at result1024. Engine spatial query answers remain supplied; invalid engine counts/indices and nonfinite bounds are excluded. Full runtime completion remains open. [Evidence](research/QVM_SPAWN_OVERLAP.md).
+
+
+RE-881: Rust matches all32 original167638 box/query/filter cases, including the full1024-result scan and f32 rounding. The API separates box construction from supplied engine indices, rejects nonfinite/overflow bounds and malformed positive counts/indices, and tests client-pointer nonzero alone. Actual collision broadphase and integration into fallback selection remain open. Full runtime completion remains open. [Evidence](research/RUST_SPAWN_OVERLAP.md).

docs/RESEARCH_LEDGER.md

@@ -2105,3 +2105,8 @@ Rust matches all72 original249007 schedules and state snapshots, including disco
 ## 2026-10-28 — RE-880 Original spawn overlap query and client filter
 
 32 actual167638 cases recover f32 origin-plus-six-source-bounds construction, native -33 box query with capacity1024 and returned-index iteration. Any entity with nonzero client pointer at offset520 blocks the spawn; other activity/health/team flags are not tested here. Covers duplicate indices, negative/zero query counts, signed/nonzero client words, f32 rounding and a client at result1024. Engine spatial query answers remain supplied; invalid engine counts/indices and nonfinite bounds are excluded. Focused `cargo xtask test-group qvm-spawn-overlap` passes (4 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.
+
+
+## 2026-10-28 — RE-881 Rust spawn overlap boundary
+
+Rust matches all32 original167638 box/query/filter cases, including the full1024-result scan and f32 rounding. The API separates box construction from supplied engine indices, rejects nonfinite/overflow bounds and malformed positive counts/indices, and tests client-pointer nonzero alone. Actual collision broadphase and integration into fallback selection remain open. Focused `cargo xtask test-group rust-spawn-overlap` 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

@@ -1705,3 +1705,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-880 Original spawn overlap query and client filter ([evidence](research/QVM_SPAWN_OVERLAP.md)).
+
+
+- [x] RE-881 Rust spawn overlap boundary ([evidence](research/RUST_SPAWN_OVERLAP.md)).

docs/research/README.md

@@ -1240,3 +1240,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-880: Original spawn overlap query and client filter](QVM_SPAWN_OVERLAP.md).
+
+
+[RE-881: Rust spawn overlap boundary](RUST_SPAWN_OVERLAP.md).

docs/research/RUST_SPAWN_OVERLAP.md

@@ -0,0 +1,7 @@
+# Rust spawn overlap boundary
+
+RE-881. Reproduce with `python3 scripts/analyze_rust_spawn_overlap.py`; focused validation: `cargo xtask test-group rust-spawn-overlap`. [Machine report](rust-spawn-overlap.json).
+
+Rust matches all32 original167638 box/query/filter cases, including the full1024-result scan and f32 rounding. The API separates box construction from supplied engine indices, rejects nonfinite/overflow bounds and malformed positive counts/indices, and tests client-pointer nonzero alone. Actual collision broadphase and integration into fallback selection remain open.
+
+Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.

docs/research/rust-health-impulse.json

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

docs/research/rust-spawn-overlap.json

@@ -0,0 +1,1223 @@
+{
+  "limits": "Rust matches all32 original167638 box/query/filter cases, including the full1024-result scan and f32 rounding. The API separates box construction from supplied engine indices, rejects nonfinite/overflow bounds and malformed positive counts/indices, and tests client-pointer nonzero alone. Actual collision broadphase and integration into fallback selection remain open.",
+  "probes": [
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1101004800,
+              1101004800,
+              1107296256
+            ],
+            "mins": [
+              3248488448,
+              3248488448,
+              3250585600
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1123024896,
+              3265265664,
+              1109655552
+            ],
+            "mins": [
+              1117782016,
+              3270508544,
+              3245342720
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1100742656,
+              1101135872,
+              1107230720
+            ],
+            "mins": [
+              3248750592,
+              3248357376,
+              3250651136
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 0
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 1
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 1
+      }
+    },
+    {
+      "rust": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 0
+      },
+      "source": {
+        "queries": [
+          {
+            "capacity": 1024,
+            "maxs": [
+              1266679818,
+              3414163436,
+              1107558400
+            ],
+            "mins": [
+              1266679788,
+              3414163466,
+              3250061312
+            ]
+          }
+        ],
+        "result": 0
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-spawn-overlap.json",
+  "source_report_sha256": "41486d63b1f331ea7deaab21527a0ec2c672a95462e91b2ec36e6ffed93c1415"
+}

scripts/analyze_rust_spawn_overlap.py

@@ -0,0 +1,14 @@
+#!/usr/bin/env python3
+import hashlib,json
+from pathlib import Path
+from rust_native_policy_support import binary,result,invoke
+from analyze_qvm import write_json
+def encode(s):
+ a=s['input'];return [*a['origin'],*a['bounds'],a['response'],len(a['indices']),*a['indices'],*[a['clients'][str(j)] for j in a['indices']]]
+def project(s):return {k:s[k] for k in ['queries','result']}
+
+def main():
+ b=binary();p=Path('docs/research/qvm-spawn-overlap.json');data=p.read_bytes();rows=[]
+ for s in json.loads(data)['probes']:rows.append({'source':project(s),'rust':result(b,'overlap',encode(s))})
+ write_json(Path('docs/research/rust-spawn-overlap.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'limits':'Rust matches all32 original167638 box/query/filter cases, including the full1024-result scan and f32 rounding. The API separates box construction from supplied engine indices, rejects nonfinite/overflow bounds and malformed positive counts/indices, and tests client-pointer nonzero alone. Actual collision broadphase and integration into fallback selection remain open.'})
+if __name__=='__main__':main()

scripts/test_rust_spawn_overlap.py

@@ -0,0 +1,9 @@
+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-spawn-overlap.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'])
+ def test_source_identity(self):
+  r=json.loads(Path('docs/research/rust-spawn-overlap.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

@@ -2573,3 +2573,16 @@ report	scripts/analyze_qvm_spawn_overlap.py	docs/research/qvm-spawn-overlap.json
 edge	docs/research/qvm-spawn-overlap.json	scripts/test_qvm_spawn_overlap.py
 group	qvm-spawn-overlap	scripts/analyze_qvm_spawn_overlap.py
 edge	scripts/analyze_qvm_spawn_overlap.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_spawn_overlap.py
+edge	Cargo.lock	scripts/analyze_rust_spawn_overlap.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_spawn_overlap.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_spawn_overlap.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_spawn_overlap.py
+edge	crates/urt-gameplay/src/bin/urt-native-policy.rs	scripts/analyze_rust_spawn_overlap.py
+edge	docs/research/qvm-spawn-overlap.json	scripts/analyze_rust_spawn_overlap.py
+group	rust-spawn-overlap	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_spawn_overlap.py
+report	scripts/analyze_rust_spawn_overlap.py	docs/research/rust-spawn-overlap.json
+edge	docs/research/rust-spawn-overlap.json	scripts/test_rust_spawn_overlap.py
+group	rust-spawn-overlap	scripts/analyze_rust_spawn_overlap.py
+edge	scripts/analyze_rust_spawn_overlap.py	scripts/analyze_qvm_resumer_audit.py