Hugging Face's logo

nmarshall
/
urt-rs

Model card Files
xet
 Community
nmarshall commited on
Commit
7f44ac3
·
1 Parent(s): fb0fb45

gameplay: port capped target selection and rng

Browse files
Files changed (13) hide show
  1. crates/urt-gameplay/src/bin/urt-camera-world.rs +54 -0
  2. crates/urt-gameplay/src/camera_world.rs +98 -0
  3. docs/FINDINGS.md +3 -0
  4. docs/PROVISIONAL_TODO.md +3 -0
  5. docs/RESEARCH_LEDGER.md +5 -0
  6. docs/REVERSE_ENGINEERING_TODO.md +3 -0
  7. docs/research/README.md +3 -0
  8. docs/research/RUST_TARGET_PICK.md +7 -0
  9. docs/research/rust-health-impulse.json +1 -1
  10. docs/research/rust-target-pick.json +4231 -0
  11. scripts/analyze_rust_target_pick.py +17 -0
  12. scripts/test_rust_target_pick.py +10 -0
  13. xtask/checks.tsv +13 -0
crates/urt-gameplay/src/bin/urt-camera-world.rs CHANGED
@@ -89,6 +89,47 @@ fn run() -> Result<String, String> {
89
  j.map(|j| j as i32).unwrap_or(-1)
90
  ))
91
  }
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
92
  _ => Err("unknown command".into()),
93
  }
94
  }
@@ -119,3 +160,16 @@ fn blob(w: &[u32], p: &mut usize) -> Result<Option<Vec<u8>>, String> {
119
  *p += n;
120
  Ok(Some(bytes))
121
  }
 
 
 
 
 
 
 
 
 
 
 
 
 
 
89
  j.map(|j| j as i32).unwrap_or(-1)
90
  ))
91
  }
92
+ "rng" => {
93
+ if w.len() != 2 || w[1] > 1024 {
94
+ return Err("invalid rng input".into());
95
+ }
96
+ let mut s = w[0];
97
+ let mut steps = vec![];
98
+ for _ in 0..w[1] {
99
+ let value = random_word(&mut s);
100
+ steps.push(format!("{{\"state\":{s},\"value\":{value}}}"));
101
+ }
102
+ Ok(format!("[{}]", steps.join(",")))
103
+ }
104
+ "target" => {
105
+ if w.len() < 2 {
106
+ return Err("missing target input".into());
107
+ }
108
+ let mut state = w[0];
109
+ let n = w[1] as usize;
110
+ if n > 1024 {
111
+ return Err("invalid target count".into());
112
+ }
113
+ let mut p = 2;
114
+ let needle = blob(&w, &mut p)?;
115
+ let entities = field_records(&w, &mut p, n)?;
116
+ if p != w.len() {
117
+ return Err("trailing target words".into());
118
+ }
119
+ let r = pick_target(&entities, n, needle.as_deref(), &mut state)
120
+ .map_err(|e| format!("{e:?}"))?;
121
+ let matches = r.matches.iter().map(|v| *v as u32).collect::<Vec<_>>();
122
+ let diagnostic = match r.diagnostic {
123
+ None => "null",
124
+ Some(TargetDiagnostic::Null) => "\"null\"",
125
+ Some(TargetDiagnostic::Missing) => "\"missing\"",
126
+ };
127
+ Ok(format!(
128
+ "{{\"result\":{},\"rng_state\":{state},\"matches\":{},\"diagnostic\":{diagnostic}}}",
129
+ r.index.map(|j| j as i32).unwrap_or(-1),
130
+ array(&matches)
131
+ ))
132
+ }
133
  _ => Err("unknown command".into()),
134
  }
135
  }
 
160
  *p += n;
161
  Ok(Some(bytes))
162
  }
163
+
164
+ fn field_records(w: &[u32], p: &mut usize, n: usize) -> Result<Vec<FieldEntity>, String> {
165
+ let mut e = vec![];
166
+ for _ in 0..n {
167
+ let in_use = *w.get(*p).ok_or("missing active flag")? as i32;
168
+ *p += 1;
169
+ e.push(FieldEntity {
170
+ in_use,
171
+ value: blob(w, p)?,
172
+ });
173
+ }
174
+ Ok(e)
175
+ }
crates/urt-gameplay/src/camera_world.rs CHANGED
@@ -156,3 +156,101 @@ mod field_tests {
156
  );
157
  }
158
  }
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
156
  );
157
  }
158
  }
159
+
160
+ pub fn random_word(state: &mut u32) -> u32 {
161
+ *state ^= state.wrapping_shl(5);
162
+ *state ^= state.wrapping_shl(21);
163
+ *state ^= *state >> 27;
164
+ *state & 32767
165
+ }
166
+ #[derive(Clone, Copy, Debug, PartialEq, Eq)]
167
+ pub enum TargetDiagnostic {
168
+ Null,
169
+ Missing,
170
+ }
171
+ #[derive(Clone, Debug, PartialEq, Eq)]
172
+ pub struct TargetSelection {
173
+ pub index: Option<usize>,
174
+ pub matches: Vec<usize>,
175
+ pub diagnostic: Option<TargetDiagnostic>,
176
+ }
177
+ pub fn pick_target(
178
+ entities: &[FieldEntity],
179
+ count: usize,
180
+ needle: Option<&[u8]>,
181
+ state: &mut u32,
182
+ ) -> Result<TargetSelection, Error> {
183
+ bounds(entities.len(), count, None)?;
184
+ if needle.is_none() {
185
+ return Ok(TargetSelection {
186
+ index: None,
187
+ matches: vec![],
188
+ diagnostic: Some(TargetDiagnostic::Null),
189
+ });
190
+ }
191
+ let mut matches = vec![];
192
+ let mut after = None;
193
+ while matches.len() < 32 {
194
+ let Some(j) = find_field(entities, count, after, needle)? else {
195
+ break;
196
+ };
197
+ matches.push(j);
198
+ after = Some(j);
199
+ }
200
+ if matches.is_empty() {
201
+ return Ok(TargetSelection {
202
+ index: None,
203
+ matches,
204
+ diagnostic: Some(TargetDiagnostic::Missing),
205
+ });
206
+ }
207
+ let index = matches[random_word(state) as usize % matches.len()];
208
+ Ok(TargetSelection {
209
+ index: Some(index),
210
+ matches,
211
+ diagnostic: None,
212
+ })
213
+ }
214
+ #[cfg(test)]
215
+ mod target_tests {
216
+ use super::*;
217
+ #[test]
218
+ fn cap_and_single_random_draw() {
219
+ let e = vec![
220
+ FieldEntity {
221
+ in_use: 1,
222
+ value: Some(b"node".to_vec())
223
+ };
224
+ 70
225
+ ];
226
+ let mut state = 1;
227
+ let mut expected = state;
228
+ let value = random_word(&mut expected);
229
+ let r = pick_target(&e, 70, Some(b"NODE"), &mut state).unwrap();
230
+ assert_eq!(r.matches, (0..32).collect::<Vec<_>>());
231
+ assert_eq!(r.index, Some(value as usize % 32));
232
+ assert_eq!(state, expected);
233
+ }
234
+ #[test]
235
+ fn no_match_and_null_preserve_rng() {
236
+ let e = [FieldEntity {
237
+ in_use: 1,
238
+ value: Some(b"node".to_vec()),
239
+ }];
240
+ let mut state = 42;
241
+ assert_eq!(
242
+ pick_target(&e, 1, None, &mut state).unwrap().diagnostic,
243
+ Some(TargetDiagnostic::Null)
244
+ );
245
+ assert_eq!(
246
+ pick_target(&e, 1, Some(b"other"), &mut state)
247
+ .unwrap()
248
+ .diagnostic,
249
+ Some(TargetDiagnostic::Missing)
250
+ );
251
+ assert_eq!(state, 42);
252
+ let mut zero = 0;
253
+ assert_eq!(random_word(&mut zero), 0);
254
+ assert_eq!(zero, 0);
255
+ }
256
+ }
docs/FINDINGS.md CHANGED
@@ -1574,3 +1574,6 @@ RE-813–822 replaces the scoreboard decimal assumption with actual37914 executi
1574
 
1575
 
1576
  **RE-858:** 168 original 276586 cases compose actual 276505/69386 matching and actual36717 random state updates. At most32 matches are collected; random state advances exactly once only when matches exist, then selects by modulo. Five six-step RNG sequences and null/missing diagnostic paths are verified. Native initialization/world ownership remain open. [Evidence](research/QVM_TARGET_PICK.md).
 
 
 
 
1574
 
1575
 
1576
  **RE-858:** 168 original 276586 cases compose actual 276505/69386 matching and actual36717 random state updates. At most32 matches are collected; random state advances exactly once only when matches exist, then selects by modulo. Five six-step RNG sequences and null/missing diagnostic paths are verified. Native initialization/world ownership remain open. [Evidence](research/QVM_TARGET_PICK.md).
1577
+
1578
+
1579
+ **RE-859:** Rust matches 168 original target selections and five six-step RNG sequences. It preserves first32-match collection, actual xorshift word transitions, single conditional draw, modulo selection and null/missing diagnostic intentions. Native initialization, message rendering and live world ownership remain open. [Evidence](research/RUST_TARGET_PICK.md).
docs/PROVISIONAL_TODO.md CHANGED
@@ -1596,3 +1596,6 @@ RE-857: Rust matches 150 original field searches and 256 comparator cases, prese
1596
 
1597
 
1598
  RE-858: 168 original 276586 cases compose actual 276505/69386 matching and actual36717 random state updates. At most32 matches are collected; random state advances exactly once only when matches exist, then selects by modulo. Five six-step RNG sequences and null/missing diagnostic paths are verified. Native initialization/world ownership remain open. Full runtime completion remains open. [Evidence](research/QVM_TARGET_PICK.md).
 
 
 
 
1596
 
1597
 
1598
  RE-858: 168 original 276586 cases compose actual 276505/69386 matching and actual36717 random state updates. At most32 matches are collected; random state advances exactly once only when matches exist, then selects by modulo. Five six-step RNG sequences and null/missing diagnostic paths are verified. Native initialization/world ownership remain open. Full runtime completion remains open. [Evidence](research/QVM_TARGET_PICK.md).
1599
+
1600
+
1601
+ RE-859: Rust matches 168 original target selections and five six-step RNG sequences. It preserves first32-match collection, actual xorshift word transitions, single conditional draw, modulo selection and null/missing diagnostic intentions. Native initialization, message rendering and live world ownership remain open. Full runtime completion remains open. [Evidence](research/RUST_TARGET_PICK.md).
docs/RESEARCH_LEDGER.md CHANGED
@@ -1972,3 +1972,8 @@ Rust matches 150 original field searches and 256 comparator cases, preserving nu
1972
  ## 2026-10-27 — RE-858 Original target selection with actual field search and random generator
1973
 
1974
  168 original 276586 cases compose actual 276505/69386 matching and actual36717 random state updates. At most32 matches are collected; random state advances exactly once only when matches exist, then selects by modulo. Five six-step RNG sequences and null/missing diagnostic paths are verified. Native initialization/world ownership remain open. Focused `cargo xtask test-group target-pick` passes (5 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.
 
 
 
 
 
 
1972
  ## 2026-10-27 — RE-858 Original target selection with actual field search and random generator
1973
 
1974
  168 original 276586 cases compose actual 276505/69386 matching and actual36717 random state updates. At most32 matches are collected; random state advances exactly once only when matches exist, then selects by modulo. Five six-step RNG sequences and null/missing diagnostic paths are verified. Native initialization/world ownership remain open. Focused `cargo xtask test-group target-pick` passes (5 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.
1975
+
1976
+
1977
+ ## 2026-10-27 — RE-859 Rust target selection and original random-state update
1978
+
1979
+ Rust matches 168 original target selections and five six-step RNG sequences. It preserves first32-match collection, actual xorshift word transitions, single conditional draw, modulo selection and null/missing diagnostic intentions. Native initialization, message rendering and live world ownership remain open. Focused `cargo xtask test-group rust-target-pick` 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 CHANGED
@@ -1633,3 +1633,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
1633
 
1634
 
1635
  - [x] RE-858 Original target selection with actual field search and random generator ([evidence](research/QVM_TARGET_PICK.md)).
 
 
 
 
1633
 
1634
 
1635
  - [x] RE-858 Original target selection with actual field search and random generator ([evidence](research/QVM_TARGET_PICK.md)).
1636
+
1637
+
1638
+ - [x] RE-859 Rust target selection and original random-state update ([evidence](research/RUST_TARGET_PICK.md)).
docs/research/README.md CHANGED
@@ -1170,3 +1170,6 @@ The extension collector adds five focused tests for native tail calls, command-r
1170
 
1171
 
1172
  [RE-858: Original target selection with actual field search and random generator](QVM_TARGET_PICK.md).
 
 
 
 
1170
 
1171
 
1172
  [RE-858: Original target selection with actual field search and random generator](QVM_TARGET_PICK.md).
1173
+
1174
+
1175
+ [RE-859: Rust target selection and original random-state update](RUST_TARGET_PICK.md).
docs/research/RUST_TARGET_PICK.md ADDED
@@ -0,0 +1,7 @@
 
 
 
 
 
 
 
 
1
+ # Rust target selection and original random-state update
2
+
3
+ RE-859. Reproduce with `python3 scripts/analyze_rust_target_pick.py`; focused validation: `cargo xtask test-group rust-target-pick`. [Machine report](rust-target-pick.json).
4
+
5
+ Rust matches 168 original target selections and five six-step RNG sequences. It preserves first32-match collection, actual xorshift word transitions, single conditional draw, modulo selection and null/missing diagnostic intentions. Native initialization, message rendering and live world ownership remain open.
6
+
7
+ Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.
docs/research/rust-health-impulse.json CHANGED
@@ -2985,7 +2985,7 @@
2985
  "exit_code": 2
2986
  }
2987
  ],
2988
- "rust_unit_tests": 113,
2989
  "source_report": "docs/research/qvm-health-impulse.json",
2990
  "source_report_sha256": "625fd8064004ea6dbdf398d51d0af844d9c635ff04c0a0790886dddb6ab81e71"
2991
  }
 
2985
  "exit_code": 2
2986
  }
2987
  ],
2988
+ "rust_unit_tests": 115,
2989
  "source_report": "docs/research/qvm-health-impulse.json",
2990
  "source_report_sha256": "625fd8064004ea6dbdf398d51d0af844d9c635ff04c0a0790886dddb6ab81e71"
2991
  }
docs/research/rust-target-pick.json ADDED
@@ -0,0 +1,4231 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "limits": "Rust matches 168 original target selections and five six-step RNG sequences. It preserves first32-match collection, actual xorshift word transitions, single conditional draw, modulo selection and null/missing diagnostic intentions. Native initialization, message rendering and live world ownership remain open.",
3
+ "probes": [
4
+ {
5
+ "rust": {
6
+ "diagnostic": "null",
7
+ "matches": [],
8
+ "result": -1,
9
+ "rng_state": 0
10
+ },
11
+ "source": {
12
+ "diagnostic": "null",
13
+ "matches": [],
14
+ "result": -1,
15
+ "rng_state": 0
16
+ }
17
+ },
18
+ {
19
+ "rust": {
20
+ "diagnostic": "null",
21
+ "matches": [],
22
+ "result": -1,
23
+ "rng_state": 1
24
+ },
25
+ "source": {
26
+ "diagnostic": "null",
27
+ "matches": [],
28
+ "result": -1,
29
+ "rng_state": 1
30
+ }
31
+ },
32
+ {
33
+ "rust": {
34
+ "diagnostic": "null",
35
+ "matches": [],
36
+ "result": -1,
37
+ "rng_state": 4294967295
38
+ },
39
+ "source": {
40
+ "diagnostic": "null",
41
+ "matches": [],
42
+ "result": -1,
43
+ "rng_state": 4294967295
44
+ }
45
+ },
46
+ {
47
+ "rust": {
48
+ "diagnostic": "null",
49
+ "matches": [],
50
+ "result": -1,
51
+ "rng_state": 305419896
52
+ },
53
+ "source": {
54
+ "diagnostic": "null",
55
+ "matches": [],
56
+ "result": -1,
57
+ "rng_state": 305419896
58
+ }
59
+ },
60
+ {
61
+ "rust": {
62
+ "diagnostic": "missing",
63
+ "matches": [],
64
+ "result": -1,
65
+ "rng_state": 0
66
+ },
67
+ "source": {
68
+ "diagnostic": "missing",
69
+ "matches": [],
70
+ "result": -1,
71
+ "rng_state": 0
72
+ }
73
+ },
74
+ {
75
+ "rust": {
76
+ "diagnostic": "missing",
77
+ "matches": [],
78
+ "result": -1,
79
+ "rng_state": 1
80
+ },
81
+ "source": {
82
+ "diagnostic": "missing",
83
+ "matches": [],
84
+ "result": -1,
85
+ "rng_state": 1
86
+ }
87
+ },
88
+ {
89
+ "rust": {
90
+ "diagnostic": "missing",
91
+ "matches": [],
92
+ "result": -1,
93
+ "rng_state": 4294967295
94
+ },
95
+ "source": {
96
+ "diagnostic": "missing",
97
+ "matches": [],
98
+ "result": -1,
99
+ "rng_state": 4294967295
100
+ }
101
+ },
102
+ {
103
+ "rust": {
104
+ "diagnostic": "missing",
105
+ "matches": [],
106
+ "result": -1,
107
+ "rng_state": 305419896
108
+ },
109
+ "source": {
110
+ "diagnostic": "missing",
111
+ "matches": [],
112
+ "result": -1,
113
+ "rng_state": 305419896
114
+ }
115
+ },
116
+ {
117
+ "rust": {
118
+ "diagnostic": "missing",
119
+ "matches": [],
120
+ "result": -1,
121
+ "rng_state": 0
122
+ },
123
+ "source": {
124
+ "diagnostic": "missing",
125
+ "matches": [],
126
+ "result": -1,
127
+ "rng_state": 0
128
+ }
129
+ },
130
+ {
131
+ "rust": {
132
+ "diagnostic": "missing",
133
+ "matches": [],
134
+ "result": -1,
135
+ "rng_state": 1
136
+ },
137
+ "source": {
138
+ "diagnostic": "missing",
139
+ "matches": [],
140
+ "result": -1,
141
+ "rng_state": 1
142
+ }
143
+ },
144
+ {
145
+ "rust": {
146
+ "diagnostic": "missing",
147
+ "matches": [],
148
+ "result": -1,
149
+ "rng_state": 4294967295
150
+ },
151
+ "source": {
152
+ "diagnostic": "missing",
153
+ "matches": [],
154
+ "result": -1,
155
+ "rng_state": 4294967295
156
+ }
157
+ },
158
+ {
159
+ "rust": {
160
+ "diagnostic": "missing",
161
+ "matches": [],
162
+ "result": -1,
163
+ "rng_state": 305419896
164
+ },
165
+ "source": {
166
+ "diagnostic": "missing",
167
+ "matches": [],
168
+ "result": -1,
169
+ "rng_state": 305419896
170
+ }
171
+ },
172
+ {
173
+ "rust": {
174
+ "diagnostic": "null",
175
+ "matches": [],
176
+ "result": -1,
177
+ "rng_state": 0
178
+ },
179
+ "source": {
180
+ "diagnostic": "null",
181
+ "matches": [],
182
+ "result": -1,
183
+ "rng_state": 0
184
+ }
185
+ },
186
+ {
187
+ "rust": {
188
+ "diagnostic": "null",
189
+ "matches": [],
190
+ "result": -1,
191
+ "rng_state": 1
192
+ },
193
+ "source": {
194
+ "diagnostic": "null",
195
+ "matches": [],
196
+ "result": -1,
197
+ "rng_state": 1
198
+ }
199
+ },
200
+ {
201
+ "rust": {
202
+ "diagnostic": "null",
203
+ "matches": [],
204
+ "result": -1,
205
+ "rng_state": 4294967295
206
+ },
207
+ "source": {
208
+ "diagnostic": "null",
209
+ "matches": [],
210
+ "result": -1,
211
+ "rng_state": 4294967295
212
+ }
213
+ },
214
+ {
215
+ "rust": {
216
+ "diagnostic": "null",
217
+ "matches": [],
218
+ "result": -1,
219
+ "rng_state": 305419896
220
+ },
221
+ "source": {
222
+ "diagnostic": "null",
223
+ "matches": [],
224
+ "result": -1,
225
+ "rng_state": 305419896
226
+ }
227
+ },
228
+ {
229
+ "rust": {
230
+ "diagnostic": "missing",
231
+ "matches": [],
232
+ "result": -1,
233
+ "rng_state": 0
234
+ },
235
+ "source": {
236
+ "diagnostic": "missing",
237
+ "matches": [],
238
+ "result": -1,
239
+ "rng_state": 0
240
+ }
241
+ },
242
+ {
243
+ "rust": {
244
+ "diagnostic": "missing",
245
+ "matches": [],
246
+ "result": -1,
247
+ "rng_state": 1
248
+ },
249
+ "source": {
250
+ "diagnostic": "missing",
251
+ "matches": [],
252
+ "result": -1,
253
+ "rng_state": 1
254
+ }
255
+ },
256
+ {
257
+ "rust": {
258
+ "diagnostic": "missing",
259
+ "matches": [],
260
+ "result": -1,
261
+ "rng_state": 4294967295
262
+ },
263
+ "source": {
264
+ "diagnostic": "missing",
265
+ "matches": [],
266
+ "result": -1,
267
+ "rng_state": 4294967295
268
+ }
269
+ },
270
+ {
271
+ "rust": {
272
+ "diagnostic": "missing",
273
+ "matches": [],
274
+ "result": -1,
275
+ "rng_state": 305419896
276
+ },
277
+ "source": {
278
+ "diagnostic": "missing",
279
+ "matches": [],
280
+ "result": -1,
281
+ "rng_state": 305419896
282
+ }
283
+ },
284
+ {
285
+ "rust": {
286
+ "diagnostic": "missing",
287
+ "matches": [],
288
+ "result": -1,
289
+ "rng_state": 0
290
+ },
291
+ "source": {
292
+ "diagnostic": "missing",
293
+ "matches": [],
294
+ "result": -1,
295
+ "rng_state": 0
296
+ }
297
+ },
298
+ {
299
+ "rust": {
300
+ "diagnostic": "missing",
301
+ "matches": [],
302
+ "result": -1,
303
+ "rng_state": 1
304
+ },
305
+ "source": {
306
+ "diagnostic": "missing",
307
+ "matches": [],
308
+ "result": -1,
309
+ "rng_state": 1
310
+ }
311
+ },
312
+ {
313
+ "rust": {
314
+ "diagnostic": "missing",
315
+ "matches": [],
316
+ "result": -1,
317
+ "rng_state": 4294967295
318
+ },
319
+ "source": {
320
+ "diagnostic": "missing",
321
+ "matches": [],
322
+ "result": -1,
323
+ "rng_state": 4294967295
324
+ }
325
+ },
326
+ {
327
+ "rust": {
328
+ "diagnostic": "missing",
329
+ "matches": [],
330
+ "result": -1,
331
+ "rng_state": 305419896
332
+ },
333
+ "source": {
334
+ "diagnostic": "missing",
335
+ "matches": [],
336
+ "result": -1,
337
+ "rng_state": 305419896
338
+ }
339
+ },
340
+ {
341
+ "rust": {
342
+ "diagnostic": "null",
343
+ "matches": [],
344
+ "result": -1,
345
+ "rng_state": 0
346
+ },
347
+ "source": {
348
+ "diagnostic": "null",
349
+ "matches": [],
350
+ "result": -1,
351
+ "rng_state": 0
352
+ }
353
+ },
354
+ {
355
+ "rust": {
356
+ "diagnostic": "null",
357
+ "matches": [],
358
+ "result": -1,
359
+ "rng_state": 1
360
+ },
361
+ "source": {
362
+ "diagnostic": "null",
363
+ "matches": [],
364
+ "result": -1,
365
+ "rng_state": 1
366
+ }
367
+ },
368
+ {
369
+ "rust": {
370
+ "diagnostic": "null",
371
+ "matches": [],
372
+ "result": -1,
373
+ "rng_state": 4294967295
374
+ },
375
+ "source": {
376
+ "diagnostic": "null",
377
+ "matches": [],
378
+ "result": -1,
379
+ "rng_state": 4294967295
380
+ }
381
+ },
382
+ {
383
+ "rust": {
384
+ "diagnostic": "null",
385
+ "matches": [],
386
+ "result": -1,
387
+ "rng_state": 305419896
388
+ },
389
+ "source": {
390
+ "diagnostic": "null",
391
+ "matches": [],
392
+ "result": -1,
393
+ "rng_state": 305419896
394
+ }
395
+ },
396
+ {
397
+ "rust": {
398
+ "diagnostic": null,
399
+ "matches": [
400
+ 0
401
+ ],
402
+ "result": 0,
403
+ "rng_state": 0
404
+ },
405
+ "source": {
406
+ "diagnostic": null,
407
+ "matches": [
408
+ 0
409
+ ],
410
+ "result": 0,
411
+ "rng_state": 0
412
+ }
413
+ },
414
+ {
415
+ "rust": {
416
+ "diagnostic": null,
417
+ "matches": [
418
+ 0
419
+ ],
420
+ "result": 0,
421
+ "rng_state": 69206049
422
+ },
423
+ "source": {
424
+ "diagnostic": null,
425
+ "matches": [
426
+ 0
427
+ ],
428
+ "result": 0,
429
+ "rng_state": 69206049
430
+ }
431
+ },
432
+ {
433
+ "rust": {
434
+ "diagnostic": null,
435
+ "matches": [
436
+ 0
437
+ ],
438
+ "result": 0,
439
+ "rng_state": 65011743
440
+ },
441
+ "source": {
442
+ "diagnostic": null,
443
+ "matches": [
444
+ 0
445
+ ],
446
+ "result": 0,
447
+ "rng_state": 65011743
448
+ }
449
+ },
450
+ {
451
+ "rust": {
452
+ "diagnostic": null,
453
+ "matches": [
454
+ 0
455
+ ],
456
+ "result": 0,
457
+ "rng_state": 2076088695
458
+ },
459
+ "source": {
460
+ "diagnostic": null,
461
+ "matches": [
462
+ 0
463
+ ],
464
+ "result": 0,
465
+ "rng_state": 2076088695
466
+ }
467
+ },
468
+ {
469
+ "rust": {
470
+ "diagnostic": "missing",
471
+ "matches": [],
472
+ "result": -1,
473
+ "rng_state": 0
474
+ },
475
+ "source": {
476
+ "diagnostic": "missing",
477
+ "matches": [],
478
+ "result": -1,
479
+ "rng_state": 0
480
+ }
481
+ },
482
+ {
483
+ "rust": {
484
+ "diagnostic": "missing",
485
+ "matches": [],
486
+ "result": -1,
487
+ "rng_state": 1
488
+ },
489
+ "source": {
490
+ "diagnostic": "missing",
491
+ "matches": [],
492
+ "result": -1,
493
+ "rng_state": 1
494
+ }
495
+ },
496
+ {
497
+ "rust": {
498
+ "diagnostic": "missing",
499
+ "matches": [],
500
+ "result": -1,
501
+ "rng_state": 4294967295
502
+ },
503
+ "source": {
504
+ "diagnostic": "missing",
505
+ "matches": [],
506
+ "result": -1,
507
+ "rng_state": 4294967295
508
+ }
509
+ },
510
+ {
511
+ "rust": {
512
+ "diagnostic": "missing",
513
+ "matches": [],
514
+ "result": -1,
515
+ "rng_state": 305419896
516
+ },
517
+ "source": {
518
+ "diagnostic": "missing",
519
+ "matches": [],
520
+ "result": -1,
521
+ "rng_state": 305419896
522
+ }
523
+ },
524
+ {
525
+ "rust": {
526
+ "diagnostic": "null",
527
+ "matches": [],
528
+ "result": -1,
529
+ "rng_state": 0
530
+ },
531
+ "source": {
532
+ "diagnostic": "null",
533
+ "matches": [],
534
+ "result": -1,
535
+ "rng_state": 0
536
+ }
537
+ },
538
+ {
539
+ "rust": {
540
+ "diagnostic": "null",
541
+ "matches": [],
542
+ "result": -1,
543
+ "rng_state": 1
544
+ },
545
+ "source": {
546
+ "diagnostic": "null",
547
+ "matches": [],
548
+ "result": -1,
549
+ "rng_state": 1
550
+ }
551
+ },
552
+ {
553
+ "rust": {
554
+ "diagnostic": "null",
555
+ "matches": [],
556
+ "result": -1,
557
+ "rng_state": 4294967295
558
+ },
559
+ "source": {
560
+ "diagnostic": "null",
561
+ "matches": [],
562
+ "result": -1,
563
+ "rng_state": 4294967295
564
+ }
565
+ },
566
+ {
567
+ "rust": {
568
+ "diagnostic": "null",
569
+ "matches": [],
570
+ "result": -1,
571
+ "rng_state": 305419896
572
+ },
573
+ "source": {
574
+ "diagnostic": "null",
575
+ "matches": [],
576
+ "result": -1,
577
+ "rng_state": 305419896
578
+ }
579
+ },
580
+ {
581
+ "rust": {
582
+ "diagnostic": null,
583
+ "matches": [
584
+ 0
585
+ ],
586
+ "result": 0,
587
+ "rng_state": 0
588
+ },
589
+ "source": {
590
+ "diagnostic": null,
591
+ "matches": [
592
+ 0
593
+ ],
594
+ "result": 0,
595
+ "rng_state": 0
596
+ }
597
+ },
598
+ {
599
+ "rust": {
600
+ "diagnostic": null,
601
+ "matches": [
602
+ 0
603
+ ],
604
+ "result": 0,
605
+ "rng_state": 69206049
606
+ },
607
+ "source": {
608
+ "diagnostic": null,
609
+ "matches": [
610
+ 0
611
+ ],
612
+ "result": 0,
613
+ "rng_state": 69206049
614
+ }
615
+ },
616
+ {
617
+ "rust": {
618
+ "diagnostic": null,
619
+ "matches": [
620
+ 0
621
+ ],
622
+ "result": 0,
623
+ "rng_state": 65011743
624
+ },
625
+ "source": {
626
+ "diagnostic": null,
627
+ "matches": [
628
+ 0
629
+ ],
630
+ "result": 0,
631
+ "rng_state": 65011743
632
+ }
633
+ },
634
+ {
635
+ "rust": {
636
+ "diagnostic": null,
637
+ "matches": [
638
+ 0
639
+ ],
640
+ "result": 0,
641
+ "rng_state": 2076088695
642
+ },
643
+ "source": {
644
+ "diagnostic": null,
645
+ "matches": [
646
+ 0
647
+ ],
648
+ "result": 0,
649
+ "rng_state": 2076088695
650
+ }
651
+ },
652
+ {
653
+ "rust": {
654
+ "diagnostic": "missing",
655
+ "matches": [],
656
+ "result": -1,
657
+ "rng_state": 0
658
+ },
659
+ "source": {
660
+ "diagnostic": "missing",
661
+ "matches": [],
662
+ "result": -1,
663
+ "rng_state": 0
664
+ }
665
+ },
666
+ {
667
+ "rust": {
668
+ "diagnostic": "missing",
669
+ "matches": [],
670
+ "result": -1,
671
+ "rng_state": 1
672
+ },
673
+ "source": {
674
+ "diagnostic": "missing",
675
+ "matches": [],
676
+ "result": -1,
677
+ "rng_state": 1
678
+ }
679
+ },
680
+ {
681
+ "rust": {
682
+ "diagnostic": "missing",
683
+ "matches": [],
684
+ "result": -1,
685
+ "rng_state": 4294967295
686
+ },
687
+ "source": {
688
+ "diagnostic": "missing",
689
+ "matches": [],
690
+ "result": -1,
691
+ "rng_state": 4294967295
692
+ }
693
+ },
694
+ {
695
+ "rust": {
696
+ "diagnostic": "missing",
697
+ "matches": [],
698
+ "result": -1,
699
+ "rng_state": 305419896
700
+ },
701
+ "source": {
702
+ "diagnostic": "missing",
703
+ "matches": [],
704
+ "result": -1,
705
+ "rng_state": 305419896
706
+ }
707
+ },
708
+ {
709
+ "rust": {
710
+ "diagnostic": "null",
711
+ "matches": [],
712
+ "result": -1,
713
+ "rng_state": 0
714
+ },
715
+ "source": {
716
+ "diagnostic": "null",
717
+ "matches": [],
718
+ "result": -1,
719
+ "rng_state": 0
720
+ }
721
+ },
722
+ {
723
+ "rust": {
724
+ "diagnostic": "null",
725
+ "matches": [],
726
+ "result": -1,
727
+ "rng_state": 1
728
+ },
729
+ "source": {
730
+ "diagnostic": "null",
731
+ "matches": [],
732
+ "result": -1,
733
+ "rng_state": 1
734
+ }
735
+ },
736
+ {
737
+ "rust": {
738
+ "diagnostic": "null",
739
+ "matches": [],
740
+ "result": -1,
741
+ "rng_state": 4294967295
742
+ },
743
+ "source": {
744
+ "diagnostic": "null",
745
+ "matches": [],
746
+ "result": -1,
747
+ "rng_state": 4294967295
748
+ }
749
+ },
750
+ {
751
+ "rust": {
752
+ "diagnostic": "null",
753
+ "matches": [],
754
+ "result": -1,
755
+ "rng_state": 305419896
756
+ },
757
+ "source": {
758
+ "diagnostic": "null",
759
+ "matches": [],
760
+ "result": -1,
761
+ "rng_state": 305419896
762
+ }
763
+ },
764
+ {
765
+ "rust": {
766
+ "diagnostic": null,
767
+ "matches": [
768
+ 0,
769
+ 1,
770
+ 2,
771
+ 3,
772
+ 4
773
+ ],
774
+ "result": 0,
775
+ "rng_state": 0
776
+ },
777
+ "source": {
778
+ "diagnostic": null,
779
+ "matches": [
780
+ 0,
781
+ 1,
782
+ 2,
783
+ 3,
784
+ 4
785
+ ],
786
+ "result": 0,
787
+ "rng_state": 0
788
+ }
789
+ },
790
+ {
791
+ "rust": {
792
+ "diagnostic": null,
793
+ "matches": [
794
+ 0,
795
+ 1,
796
+ 2,
797
+ 3,
798
+ 4
799
+ ],
800
+ "result": 3,
801
+ "rng_state": 69206049
802
+ },
803
+ "source": {
804
+ "diagnostic": null,
805
+ "matches": [
806
+ 0,
807
+ 1,
808
+ 2,
809
+ 3,
810
+ 4
811
+ ],
812
+ "result": 3,
813
+ "rng_state": 69206049
814
+ }
815
+ },
816
+ {
817
+ "rust": {
818
+ "diagnostic": null,
819
+ "matches": [
820
+ 0,
821
+ 1,
822
+ 2,
823
+ 3,
824
+ 4
825
+ ],
826
+ "result": 1,
827
+ "rng_state": 65011743
828
+ },
829
+ "source": {
830
+ "diagnostic": null,
831
+ "matches": [
832
+ 0,
833
+ 1,
834
+ 2,
835
+ 3,
836
+ 4
837
+ ],
838
+ "result": 1,
839
+ "rng_state": 65011743
840
+ }
841
+ },
842
+ {
843
+ "rust": {
844
+ "diagnostic": null,
845
+ "matches": [
846
+ 0,
847
+ 1,
848
+ 2,
849
+ 3,
850
+ 4
851
+ ],
852
+ "result": 4,
853
+ "rng_state": 2076088695
854
+ },
855
+ "source": {
856
+ "diagnostic": null,
857
+ "matches": [
858
+ 0,
859
+ 1,
860
+ 2,
861
+ 3,
862
+ 4
863
+ ],
864
+ "result": 4,
865
+ "rng_state": 2076088695
866
+ }
867
+ },
868
+ {
869
+ "rust": {
870
+ "diagnostic": "missing",
871
+ "matches": [],
872
+ "result": -1,
873
+ "rng_state": 0
874
+ },
875
+ "source": {
876
+ "diagnostic": "missing",
877
+ "matches": [],
878
+ "result": -1,
879
+ "rng_state": 0
880
+ }
881
+ },
882
+ {
883
+ "rust": {
884
+ "diagnostic": "missing",
885
+ "matches": [],
886
+ "result": -1,
887
+ "rng_state": 1
888
+ },
889
+ "source": {
890
+ "diagnostic": "missing",
891
+ "matches": [],
892
+ "result": -1,
893
+ "rng_state": 1
894
+ }
895
+ },
896
+ {
897
+ "rust": {
898
+ "diagnostic": "missing",
899
+ "matches": [],
900
+ "result": -1,
901
+ "rng_state": 4294967295
902
+ },
903
+ "source": {
904
+ "diagnostic": "missing",
905
+ "matches": [],
906
+ "result": -1,
907
+ "rng_state": 4294967295
908
+ }
909
+ },
910
+ {
911
+ "rust": {
912
+ "diagnostic": "missing",
913
+ "matches": [],
914
+ "result": -1,
915
+ "rng_state": 305419896
916
+ },
917
+ "source": {
918
+ "diagnostic": "missing",
919
+ "matches": [],
920
+ "result": -1,
921
+ "rng_state": 305419896
922
+ }
923
+ },
924
+ {
925
+ "rust": {
926
+ "diagnostic": "null",
927
+ "matches": [],
928
+ "result": -1,
929
+ "rng_state": 0
930
+ },
931
+ "source": {
932
+ "diagnostic": "null",
933
+ "matches": [],
934
+ "result": -1,
935
+ "rng_state": 0
936
+ }
937
+ },
938
+ {
939
+ "rust": {
940
+ "diagnostic": "null",
941
+ "matches": [],
942
+ "result": -1,
943
+ "rng_state": 1
944
+ },
945
+ "source": {
946
+ "diagnostic": "null",
947
+ "matches": [],
948
+ "result": -1,
949
+ "rng_state": 1
950
+ }
951
+ },
952
+ {
953
+ "rust": {
954
+ "diagnostic": "null",
955
+ "matches": [],
956
+ "result": -1,
957
+ "rng_state": 4294967295
958
+ },
959
+ "source": {
960
+ "diagnostic": "null",
961
+ "matches": [],
962
+ "result": -1,
963
+ "rng_state": 4294967295
964
+ }
965
+ },
966
+ {
967
+ "rust": {
968
+ "diagnostic": "null",
969
+ "matches": [],
970
+ "result": -1,
971
+ "rng_state": 305419896
972
+ },
973
+ "source": {
974
+ "diagnostic": "null",
975
+ "matches": [],
976
+ "result": -1,
977
+ "rng_state": 305419896
978
+ }
979
+ },
980
+ {
981
+ "rust": {
982
+ "diagnostic": null,
983
+ "matches": [
984
+ 0,
985
+ 2
986
+ ],
987
+ "result": 0,
988
+ "rng_state": 0
989
+ },
990
+ "source": {
991
+ "diagnostic": null,
992
+ "matches": [
993
+ 0,
994
+ 2
995
+ ],
996
+ "result": 0,
997
+ "rng_state": 0
998
+ }
999
+ },
1000
+ {
1001
+ "rust": {
1002
+ "diagnostic": null,
1003
+ "matches": [
1004
+ 0,
1005
+ 2
1006
+ ],
1007
+ "result": 2,
1008
+ "rng_state": 69206049
1009
+ },
1010
+ "source": {
1011
+ "diagnostic": null,
1012
+ "matches": [
1013
+ 0,
1014
+ 2
1015
+ ],
1016
+ "result": 2,
1017
+ "rng_state": 69206049
1018
+ }
1019
+ },
1020
+ {
1021
+ "rust": {
1022
+ "diagnostic": null,
1023
+ "matches": [
1024
+ 0,
1025
+ 2
1026
+ ],
1027
+ "result": 2,
1028
+ "rng_state": 65011743
1029
+ },
1030
+ "source": {
1031
+ "diagnostic": null,
1032
+ "matches": [
1033
+ 0,
1034
+ 2
1035
+ ],
1036
+ "result": 2,
1037
+ "rng_state": 65011743
1038
+ }
1039
+ },
1040
+ {
1041
+ "rust": {
1042
+ "diagnostic": null,
1043
+ "matches": [
1044
+ 0,
1045
+ 2
1046
+ ],
1047
+ "result": 2,
1048
+ "rng_state": 2076088695
1049
+ },
1050
+ "source": {
1051
+ "diagnostic": null,
1052
+ "matches": [
1053
+ 0,
1054
+ 2
1055
+ ],
1056
+ "result": 2,
1057
+ "rng_state": 2076088695
1058
+ }
1059
+ },
1060
+ {
1061
+ "rust": {
1062
+ "diagnostic": "missing",
1063
+ "matches": [],
1064
+ "result": -1,
1065
+ "rng_state": 0
1066
+ },
1067
+ "source": {
1068
+ "diagnostic": "missing",
1069
+ "matches": [],
1070
+ "result": -1,
1071
+ "rng_state": 0
1072
+ }
1073
+ },
1074
+ {
1075
+ "rust": {
1076
+ "diagnostic": "missing",
1077
+ "matches": [],
1078
+ "result": -1,
1079
+ "rng_state": 1
1080
+ },
1081
+ "source": {
1082
+ "diagnostic": "missing",
1083
+ "matches": [],
1084
+ "result": -1,
1085
+ "rng_state": 1
1086
+ }
1087
+ },
1088
+ {
1089
+ "rust": {
1090
+ "diagnostic": "missing",
1091
+ "matches": [],
1092
+ "result": -1,
1093
+ "rng_state": 4294967295
1094
+ },
1095
+ "source": {
1096
+ "diagnostic": "missing",
1097
+ "matches": [],
1098
+ "result": -1,
1099
+ "rng_state": 4294967295
1100
+ }
1101
+ },
1102
+ {
1103
+ "rust": {
1104
+ "diagnostic": "missing",
1105
+ "matches": [],
1106
+ "result": -1,
1107
+ "rng_state": 305419896
1108
+ },
1109
+ "source": {
1110
+ "diagnostic": "missing",
1111
+ "matches": [],
1112
+ "result": -1,
1113
+ "rng_state": 305419896
1114
+ }
1115
+ },
1116
+ {
1117
+ "rust": {
1118
+ "diagnostic": "null",
1119
+ "matches": [],
1120
+ "result": -1,
1121
+ "rng_state": 0
1122
+ },
1123
+ "source": {
1124
+ "diagnostic": "null",
1125
+ "matches": [],
1126
+ "result": -1,
1127
+ "rng_state": 0
1128
+ }
1129
+ },
1130
+ {
1131
+ "rust": {
1132
+ "diagnostic": "null",
1133
+ "matches": [],
1134
+ "result": -1,
1135
+ "rng_state": 1
1136
+ },
1137
+ "source": {
1138
+ "diagnostic": "null",
1139
+ "matches": [],
1140
+ "result": -1,
1141
+ "rng_state": 1
1142
+ }
1143
+ },
1144
+ {
1145
+ "rust": {
1146
+ "diagnostic": "null",
1147
+ "matches": [],
1148
+ "result": -1,
1149
+ "rng_state": 4294967295
1150
+ },
1151
+ "source": {
1152
+ "diagnostic": "null",
1153
+ "matches": [],
1154
+ "result": -1,
1155
+ "rng_state": 4294967295
1156
+ }
1157
+ },
1158
+ {
1159
+ "rust": {
1160
+ "diagnostic": "null",
1161
+ "matches": [],
1162
+ "result": -1,
1163
+ "rng_state": 305419896
1164
+ },
1165
+ "source": {
1166
+ "diagnostic": "null",
1167
+ "matches": [],
1168
+ "result": -1,
1169
+ "rng_state": 305419896
1170
+ }
1171
+ },
1172
+ {
1173
+ "rust": {
1174
+ "diagnostic": null,
1175
+ "matches": [
1176
+ 0,
1177
+ 1,
1178
+ 2,
1179
+ 3,
1180
+ 4,
1181
+ 5,
1182
+ 6,
1183
+ 7,
1184
+ 8,
1185
+ 9,
1186
+ 10,
1187
+ 11,
1188
+ 12,
1189
+ 13,
1190
+ 14,
1191
+ 15,
1192
+ 16,
1193
+ 17,
1194
+ 18,
1195
+ 19,
1196
+ 20,
1197
+ 21,
1198
+ 22,
1199
+ 23,
1200
+ 24,
1201
+ 25,
1202
+ 26,
1203
+ 27,
1204
+ 28,
1205
+ 29,
1206
+ 30
1207
+ ],
1208
+ "result": 0,
1209
+ "rng_state": 0
1210
+ },
1211
+ "source": {
1212
+ "diagnostic": null,
1213
+ "matches": [
1214
+ 0,
1215
+ 1,
1216
+ 2,
1217
+ 3,
1218
+ 4,
1219
+ 5,
1220
+ 6,
1221
+ 7,
1222
+ 8,
1223
+ 9,
1224
+ 10,
1225
+ 11,
1226
+ 12,
1227
+ 13,
1228
+ 14,
1229
+ 15,
1230
+ 16,
1231
+ 17,
1232
+ 18,
1233
+ 19,
1234
+ 20,
1235
+ 21,
1236
+ 22,
1237
+ 23,
1238
+ 24,
1239
+ 25,
1240
+ 26,
1241
+ 27,
1242
+ 28,
1243
+ 29,
1244
+ 30
1245
+ ],
1246
+ "result": 0,
1247
+ "rng_state": 0
1248
+ }
1249
+ },
1250
+ {
1251
+ "rust": {
1252
+ "diagnostic": null,
1253
+ "matches": [
1254
+ 0,
1255
+ 1,
1256
+ 2,
1257
+ 3,
1258
+ 4,
1259
+ 5,
1260
+ 6,
1261
+ 7,
1262
+ 8,
1263
+ 9,
1264
+ 10,
1265
+ 11,
1266
+ 12,
1267
+ 13,
1268
+ 14,
1269
+ 15,
1270
+ 16,
1271
+ 17,
1272
+ 18,
1273
+ 19,
1274
+ 20,
1275
+ 21,
1276
+ 22,
1277
+ 23,
1278
+ 24,
1279
+ 25,
1280
+ 26,
1281
+ 27,
1282
+ 28,
1283
+ 29,
1284
+ 30
1285
+ ],
1286
+ "result": 2,
1287
+ "rng_state": 69206049
1288
+ },
1289
+ "source": {
1290
+ "diagnostic": null,
1291
+ "matches": [
1292
+ 0,
1293
+ 1,
1294
+ 2,
1295
+ 3,
1296
+ 4,
1297
+ 5,
1298
+ 6,
1299
+ 7,
1300
+ 8,
1301
+ 9,
1302
+ 10,
1303
+ 11,
1304
+ 12,
1305
+ 13,
1306
+ 14,
1307
+ 15,
1308
+ 16,
1309
+ 17,
1310
+ 18,
1311
+ 19,
1312
+ 20,
1313
+ 21,
1314
+ 22,
1315
+ 23,
1316
+ 24,
1317
+ 25,
1318
+ 26,
1319
+ 27,
1320
+ 28,
1321
+ 29,
1322
+ 30
1323
+ ],
1324
+ "result": 2,
1325
+ "rng_state": 69206049
1326
+ }
1327
+ },
1328
+ {
1329
+ "rust": {
1330
+ "diagnostic": null,
1331
+ "matches": [
1332
+ 0,
1333
+ 1,
1334
+ 2,
1335
+ 3,
1336
+ 4,
1337
+ 5,
1338
+ 6,
1339
+ 7,
1340
+ 8,
1341
+ 9,
1342
+ 10,
1343
+ 11,
1344
+ 12,
1345
+ 13,
1346
+ 14,
1347
+ 15,
1348
+ 16,
1349
+ 17,
1350
+ 18,
1351
+ 19,
1352
+ 20,
1353
+ 21,
1354
+ 22,
1355
+ 23,
1356
+ 24,
1357
+ 25,
1358
+ 26,
1359
+ 27,
1360
+ 28,
1361
+ 29,
1362
+ 30
1363
+ ],
1364
+ "result": 0,
1365
+ "rng_state": 65011743
1366
+ },
1367
+ "source": {
1368
+ "diagnostic": null,
1369
+ "matches": [
1370
+ 0,
1371
+ 1,
1372
+ 2,
1373
+ 3,
1374
+ 4,
1375
+ 5,
1376
+ 6,
1377
+ 7,
1378
+ 8,
1379
+ 9,
1380
+ 10,
1381
+ 11,
1382
+ 12,
1383
+ 13,
1384
+ 14,
1385
+ 15,
1386
+ 16,
1387
+ 17,
1388
+ 18,
1389
+ 19,
1390
+ 20,
1391
+ 21,
1392
+ 22,
1393
+ 23,
1394
+ 24,
1395
+ 25,
1396
+ 26,
1397
+ 27,
1398
+ 28,
1399
+ 29,
1400
+ 30
1401
+ ],
1402
+ "result": 0,
1403
+ "rng_state": 65011743
1404
+ }
1405
+ },
1406
+ {
1407
+ "rust": {
1408
+ "diagnostic": null,
1409
+ "matches": [
1410
+ 0,
1411
+ 1,
1412
+ 2,
1413
+ 3,
1414
+ 4,
1415
+ 5,
1416
+ 6,
1417
+ 7,
1418
+ 8,
1419
+ 9,
1420
+ 10,
1421
+ 11,
1422
+ 12,
1423
+ 13,
1424
+ 14,
1425
+ 15,
1426
+ 16,
1427
+ 17,
1428
+ 18,
1429
+ 19,
1430
+ 20,
1431
+ 21,
1432
+ 22,
1433
+ 23,
1434
+ 24,
1435
+ 25,
1436
+ 26,
1437
+ 27,
1438
+ 28,
1439
+ 29,
1440
+ 30
1441
+ ],
1442
+ "result": 9,
1443
+ "rng_state": 2076088695
1444
+ },
1445
+ "source": {
1446
+ "diagnostic": null,
1447
+ "matches": [
1448
+ 0,
1449
+ 1,
1450
+ 2,
1451
+ 3,
1452
+ 4,
1453
+ 5,
1454
+ 6,
1455
+ 7,
1456
+ 8,
1457
+ 9,
1458
+ 10,
1459
+ 11,
1460
+ 12,
1461
+ 13,
1462
+ 14,
1463
+ 15,
1464
+ 16,
1465
+ 17,
1466
+ 18,
1467
+ 19,
1468
+ 20,
1469
+ 21,
1470
+ 22,
1471
+ 23,
1472
+ 24,
1473
+ 25,
1474
+ 26,
1475
+ 27,
1476
+ 28,
1477
+ 29,
1478
+ 30
1479
+ ],
1480
+ "result": 9,
1481
+ "rng_state": 2076088695
1482
+ }
1483
+ },
1484
+ {
1485
+ "rust": {
1486
+ "diagnostic": "missing",
1487
+ "matches": [],
1488
+ "result": -1,
1489
+ "rng_state": 0
1490
+ },
1491
+ "source": {
1492
+ "diagnostic": "missing",
1493
+ "matches": [],
1494
+ "result": -1,
1495
+ "rng_state": 0
1496
+ }
1497
+ },
1498
+ {
1499
+ "rust": {
1500
+ "diagnostic": "missing",
1501
+ "matches": [],
1502
+ "result": -1,
1503
+ "rng_state": 1
1504
+ },
1505
+ "source": {
1506
+ "diagnostic": "missing",
1507
+ "matches": [],
1508
+ "result": -1,
1509
+ "rng_state": 1
1510
+ }
1511
+ },
1512
+ {
1513
+ "rust": {
1514
+ "diagnostic": "missing",
1515
+ "matches": [],
1516
+ "result": -1,
1517
+ "rng_state": 4294967295
1518
+ },
1519
+ "source": {
1520
+ "diagnostic": "missing",
1521
+ "matches": [],
1522
+ "result": -1,
1523
+ "rng_state": 4294967295
1524
+ }
1525
+ },
1526
+ {
1527
+ "rust": {
1528
+ "diagnostic": "missing",
1529
+ "matches": [],
1530
+ "result": -1,
1531
+ "rng_state": 305419896
1532
+ },
1533
+ "source": {
1534
+ "diagnostic": "missing",
1535
+ "matches": [],
1536
+ "result": -1,
1537
+ "rng_state": 305419896
1538
+ }
1539
+ },
1540
+ {
1541
+ "rust": {
1542
+ "diagnostic": "null",
1543
+ "matches": [],
1544
+ "result": -1,
1545
+ "rng_state": 0
1546
+ },
1547
+ "source": {
1548
+ "diagnostic": "null",
1549
+ "matches": [],
1550
+ "result": -1,
1551
+ "rng_state": 0
1552
+ }
1553
+ },
1554
+ {
1555
+ "rust": {
1556
+ "diagnostic": "null",
1557
+ "matches": [],
1558
+ "result": -1,
1559
+ "rng_state": 1
1560
+ },
1561
+ "source": {
1562
+ "diagnostic": "null",
1563
+ "matches": [],
1564
+ "result": -1,
1565
+ "rng_state": 1
1566
+ }
1567
+ },
1568
+ {
1569
+ "rust": {
1570
+ "diagnostic": "null",
1571
+ "matches": [],
1572
+ "result": -1,
1573
+ "rng_state": 4294967295
1574
+ },
1575
+ "source": {
1576
+ "diagnostic": "null",
1577
+ "matches": [],
1578
+ "result": -1,
1579
+ "rng_state": 4294967295
1580
+ }
1581
+ },
1582
+ {
1583
+ "rust": {
1584
+ "diagnostic": "null",
1585
+ "matches": [],
1586
+ "result": -1,
1587
+ "rng_state": 305419896
1588
+ },
1589
+ "source": {
1590
+ "diagnostic": "null",
1591
+ "matches": [],
1592
+ "result": -1,
1593
+ "rng_state": 305419896
1594
+ }
1595
+ },
1596
+ {
1597
+ "rust": {
1598
+ "diagnostic": null,
1599
+ "matches": [
1600
+ 0,
1601
+ 2,
1602
+ 6,
1603
+ 8,
1604
+ 12,
1605
+ 14,
1606
+ 18,
1607
+ 20,
1608
+ 26,
1609
+ 30
1610
+ ],
1611
+ "result": 0,
1612
+ "rng_state": 0
1613
+ },
1614
+ "source": {
1615
+ "diagnostic": null,
1616
+ "matches": [
1617
+ 0,
1618
+ 2,
1619
+ 6,
1620
+ 8,
1621
+ 12,
1622
+ 14,
1623
+ 18,
1624
+ 20,
1625
+ 26,
1626
+ 30
1627
+ ],
1628
+ "result": 0,
1629
+ "rng_state": 0
1630
+ }
1631
+ },
1632
+ {
1633
+ "rust": {
1634
+ "diagnostic": null,
1635
+ "matches": [
1636
+ 0,
1637
+ 2,
1638
+ 6,
1639
+ 8,
1640
+ 12,
1641
+ 14,
1642
+ 18,
1643
+ 20,
1644
+ 26,
1645
+ 30
1646
+ ],
1647
+ "result": 8,
1648
+ "rng_state": 69206049
1649
+ },
1650
+ "source": {
1651
+ "diagnostic": null,
1652
+ "matches": [
1653
+ 0,
1654
+ 2,
1655
+ 6,
1656
+ 8,
1657
+ 12,
1658
+ 14,
1659
+ 18,
1660
+ 20,
1661
+ 26,
1662
+ 30
1663
+ ],
1664
+ "result": 8,
1665
+ "rng_state": 69206049
1666
+ }
1667
+ },
1668
+ {
1669
+ "rust": {
1670
+ "diagnostic": null,
1671
+ "matches": [
1672
+ 0,
1673
+ 2,
1674
+ 6,
1675
+ 8,
1676
+ 12,
1677
+ 14,
1678
+ 18,
1679
+ 20,
1680
+ 26,
1681
+ 30
1682
+ ],
1683
+ "result": 2,
1684
+ "rng_state": 65011743
1685
+ },
1686
+ "source": {
1687
+ "diagnostic": null,
1688
+ "matches": [
1689
+ 0,
1690
+ 2,
1691
+ 6,
1692
+ 8,
1693
+ 12,
1694
+ 14,
1695
+ 18,
1696
+ 20,
1697
+ 26,
1698
+ 30
1699
+ ],
1700
+ "result": 2,
1701
+ "rng_state": 65011743
1702
+ }
1703
+ },
1704
+ {
1705
+ "rust": {
1706
+ "diagnostic": null,
1707
+ "matches": [
1708
+ 0,
1709
+ 2,
1710
+ 6,
1711
+ 8,
1712
+ 12,
1713
+ 14,
1714
+ 18,
1715
+ 20,
1716
+ 26,
1717
+ 30
1718
+ ],
1719
+ "result": 30,
1720
+ "rng_state": 2076088695
1721
+ },
1722
+ "source": {
1723
+ "diagnostic": null,
1724
+ "matches": [
1725
+ 0,
1726
+ 2,
1727
+ 6,
1728
+ 8,
1729
+ 12,
1730
+ 14,
1731
+ 18,
1732
+ 20,
1733
+ 26,
1734
+ 30
1735
+ ],
1736
+ "result": 30,
1737
+ "rng_state": 2076088695
1738
+ }
1739
+ },
1740
+ {
1741
+ "rust": {
1742
+ "diagnostic": "missing",
1743
+ "matches": [],
1744
+ "result": -1,
1745
+ "rng_state": 0
1746
+ },
1747
+ "source": {
1748
+ "diagnostic": "missing",
1749
+ "matches": [],
1750
+ "result": -1,
1751
+ "rng_state": 0
1752
+ }
1753
+ },
1754
+ {
1755
+ "rust": {
1756
+ "diagnostic": "missing",
1757
+ "matches": [],
1758
+ "result": -1,
1759
+ "rng_state": 1
1760
+ },
1761
+ "source": {
1762
+ "diagnostic": "missing",
1763
+ "matches": [],
1764
+ "result": -1,
1765
+ "rng_state": 1
1766
+ }
1767
+ },
1768
+ {
1769
+ "rust": {
1770
+ "diagnostic": "missing",
1771
+ "matches": [],
1772
+ "result": -1,
1773
+ "rng_state": 4294967295
1774
+ },
1775
+ "source": {
1776
+ "diagnostic": "missing",
1777
+ "matches": [],
1778
+ "result": -1,
1779
+ "rng_state": 4294967295
1780
+ }
1781
+ },
1782
+ {
1783
+ "rust": {
1784
+ "diagnostic": "missing",
1785
+ "matches": [],
1786
+ "result": -1,
1787
+ "rng_state": 305419896
1788
+ },
1789
+ "source": {
1790
+ "diagnostic": "missing",
1791
+ "matches": [],
1792
+ "result": -1,
1793
+ "rng_state": 305419896
1794
+ }
1795
+ },
1796
+ {
1797
+ "rust": {
1798
+ "diagnostic": "null",
1799
+ "matches": [],
1800
+ "result": -1,
1801
+ "rng_state": 0
1802
+ },
1803
+ "source": {
1804
+ "diagnostic": "null",
1805
+ "matches": [],
1806
+ "result": -1,
1807
+ "rng_state": 0
1808
+ }
1809
+ },
1810
+ {
1811
+ "rust": {
1812
+ "diagnostic": "null",
1813
+ "matches": [],
1814
+ "result": -1,
1815
+ "rng_state": 1
1816
+ },
1817
+ "source": {
1818
+ "diagnostic": "null",
1819
+ "matches": [],
1820
+ "result": -1,
1821
+ "rng_state": 1
1822
+ }
1823
+ },
1824
+ {
1825
+ "rust": {
1826
+ "diagnostic": "null",
1827
+ "matches": [],
1828
+ "result": -1,
1829
+ "rng_state": 4294967295
1830
+ },
1831
+ "source": {
1832
+ "diagnostic": "null",
1833
+ "matches": [],
1834
+ "result": -1,
1835
+ "rng_state": 4294967295
1836
+ }
1837
+ },
1838
+ {
1839
+ "rust": {
1840
+ "diagnostic": "null",
1841
+ "matches": [],
1842
+ "result": -1,
1843
+ "rng_state": 305419896
1844
+ },
1845
+ "source": {
1846
+ "diagnostic": "null",
1847
+ "matches": [],
1848
+ "result": -1,
1849
+ "rng_state": 305419896
1850
+ }
1851
+ },
1852
+ {
1853
+ "rust": {
1854
+ "diagnostic": null,
1855
+ "matches": [
1856
+ 0,
1857
+ 1,
1858
+ 2,
1859
+ 3,
1860
+ 4,
1861
+ 5,
1862
+ 6,
1863
+ 7,
1864
+ 8,
1865
+ 9,
1866
+ 10,
1867
+ 11,
1868
+ 12,
1869
+ 13,
1870
+ 14,
1871
+ 15,
1872
+ 16,
1873
+ 17,
1874
+ 18,
1875
+ 19,
1876
+ 20,
1877
+ 21,
1878
+ 22,
1879
+ 23,
1880
+ 24,
1881
+ 25,
1882
+ 26,
1883
+ 27,
1884
+ 28,
1885
+ 29,
1886
+ 30,
1887
+ 31
1888
+ ],
1889
+ "result": 0,
1890
+ "rng_state": 0
1891
+ },
1892
+ "source": {
1893
+ "diagnostic": null,
1894
+ "matches": [
1895
+ 0,
1896
+ 1,
1897
+ 2,
1898
+ 3,
1899
+ 4,
1900
+ 5,
1901
+ 6,
1902
+ 7,
1903
+ 8,
1904
+ 9,
1905
+ 10,
1906
+ 11,
1907
+ 12,
1908
+ 13,
1909
+ 14,
1910
+ 15,
1911
+ 16,
1912
+ 17,
1913
+ 18,
1914
+ 19,
1915
+ 20,
1916
+ 21,
1917
+ 22,
1918
+ 23,
1919
+ 24,
1920
+ 25,
1921
+ 26,
1922
+ 27,
1923
+ 28,
1924
+ 29,
1925
+ 30,
1926
+ 31
1927
+ ],
1928
+ "result": 0,
1929
+ "rng_state": 0
1930
+ }
1931
+ },
1932
+ {
1933
+ "rust": {
1934
+ "diagnostic": null,
1935
+ "matches": [
1936
+ 0,
1937
+ 1,
1938
+ 2,
1939
+ 3,
1940
+ 4,
1941
+ 5,
1942
+ 6,
1943
+ 7,
1944
+ 8,
1945
+ 9,
1946
+ 10,
1947
+ 11,
1948
+ 12,
1949
+ 13,
1950
+ 14,
1951
+ 15,
1952
+ 16,
1953
+ 17,
1954
+ 18,
1955
+ 19,
1956
+ 20,
1957
+ 21,
1958
+ 22,
1959
+ 23,
1960
+ 24,
1961
+ 25,
1962
+ 26,
1963
+ 27,
1964
+ 28,
1965
+ 29,
1966
+ 30,
1967
+ 31
1968
+ ],
1969
+ "result": 1,
1970
+ "rng_state": 69206049
1971
+ },
1972
+ "source": {
1973
+ "diagnostic": null,
1974
+ "matches": [
1975
+ 0,
1976
+ 1,
1977
+ 2,
1978
+ 3,
1979
+ 4,
1980
+ 5,
1981
+ 6,
1982
+ 7,
1983
+ 8,
1984
+ 9,
1985
+ 10,
1986
+ 11,
1987
+ 12,
1988
+ 13,
1989
+ 14,
1990
+ 15,
1991
+ 16,
1992
+ 17,
1993
+ 18,
1994
+ 19,
1995
+ 20,
1996
+ 21,
1997
+ 22,
1998
+ 23,
1999
+ 24,
2000
+ 25,
2001
+ 26,
2002
+ 27,
2003
+ 28,
2004
+ 29,
2005
+ 30,
2006
+ 31
2007
+ ],
2008
+ "result": 1,
2009
+ "rng_state": 69206049
2010
+ }
2011
+ },
2012
+ {
2013
+ "rust": {
2014
+ "diagnostic": null,
2015
+ "matches": [
2016
+ 0,
2017
+ 1,
2018
+ 2,
2019
+ 3,
2020
+ 4,
2021
+ 5,
2022
+ 6,
2023
+ 7,
2024
+ 8,
2025
+ 9,
2026
+ 10,
2027
+ 11,
2028
+ 12,
2029
+ 13,
2030
+ 14,
2031
+ 15,
2032
+ 16,
2033
+ 17,
2034
+ 18,
2035
+ 19,
2036
+ 20,
2037
+ 21,
2038
+ 22,
2039
+ 23,
2040
+ 24,
2041
+ 25,
2042
+ 26,
2043
+ 27,
2044
+ 28,
2045
+ 29,
2046
+ 30,
2047
+ 31
2048
+ ],
2049
+ "result": 31,
2050
+ "rng_state": 65011743
2051
+ },
2052
+ "source": {
2053
+ "diagnostic": null,
2054
+ "matches": [
2055
+ 0,
2056
+ 1,
2057
+ 2,
2058
+ 3,
2059
+ 4,
2060
+ 5,
2061
+ 6,
2062
+ 7,
2063
+ 8,
2064
+ 9,
2065
+ 10,
2066
+ 11,
2067
+ 12,
2068
+ 13,
2069
+ 14,
2070
+ 15,
2071
+ 16,
2072
+ 17,
2073
+ 18,
2074
+ 19,
2075
+ 20,
2076
+ 21,
2077
+ 22,
2078
+ 23,
2079
+ 24,
2080
+ 25,
2081
+ 26,
2082
+ 27,
2083
+ 28,
2084
+ 29,
2085
+ 30,
2086
+ 31
2087
+ ],
2088
+ "result": 31,
2089
+ "rng_state": 65011743
2090
+ }
2091
+ },
2092
+ {
2093
+ "rust": {
2094
+ "diagnostic": null,
2095
+ "matches": [
2096
+ 0,
2097
+ 1,
2098
+ 2,
2099
+ 3,
2100
+ 4,
2101
+ 5,
2102
+ 6,
2103
+ 7,
2104
+ 8,
2105
+ 9,
2106
+ 10,
2107
+ 11,
2108
+ 12,
2109
+ 13,
2110
+ 14,
2111
+ 15,
2112
+ 16,
2113
+ 17,
2114
+ 18,
2115
+ 19,
2116
+ 20,
2117
+ 21,
2118
+ 22,
2119
+ 23,
2120
+ 24,
2121
+ 25,
2122
+ 26,
2123
+ 27,
2124
+ 28,
2125
+ 29,
2126
+ 30,
2127
+ 31
2128
+ ],
2129
+ "result": 23,
2130
+ "rng_state": 2076088695
2131
+ },
2132
+ "source": {
2133
+ "diagnostic": null,
2134
+ "matches": [
2135
+ 0,
2136
+ 1,
2137
+ 2,
2138
+ 3,
2139
+ 4,
2140
+ 5,
2141
+ 6,
2142
+ 7,
2143
+ 8,
2144
+ 9,
2145
+ 10,
2146
+ 11,
2147
+ 12,
2148
+ 13,
2149
+ 14,
2150
+ 15,
2151
+ 16,
2152
+ 17,
2153
+ 18,
2154
+ 19,
2155
+ 20,
2156
+ 21,
2157
+ 22,
2158
+ 23,
2159
+ 24,
2160
+ 25,
2161
+ 26,
2162
+ 27,
2163
+ 28,
2164
+ 29,
2165
+ 30,
2166
+ 31
2167
+ ],
2168
+ "result": 23,
2169
+ "rng_state": 2076088695
2170
+ }
2171
+ },
2172
+ {
2173
+ "rust": {
2174
+ "diagnostic": "missing",
2175
+ "matches": [],
2176
+ "result": -1,
2177
+ "rng_state": 0
2178
+ },
2179
+ "source": {
2180
+ "diagnostic": "missing",
2181
+ "matches": [],
2182
+ "result": -1,
2183
+ "rng_state": 0
2184
+ }
2185
+ },
2186
+ {
2187
+ "rust": {
2188
+ "diagnostic": "missing",
2189
+ "matches": [],
2190
+ "result": -1,
2191
+ "rng_state": 1
2192
+ },
2193
+ "source": {
2194
+ "diagnostic": "missing",
2195
+ "matches": [],
2196
+ "result": -1,
2197
+ "rng_state": 1
2198
+ }
2199
+ },
2200
+ {
2201
+ "rust": {
2202
+ "diagnostic": "missing",
2203
+ "matches": [],
2204
+ "result": -1,
2205
+ "rng_state": 4294967295
2206
+ },
2207
+ "source": {
2208
+ "diagnostic": "missing",
2209
+ "matches": [],
2210
+ "result": -1,
2211
+ "rng_state": 4294967295
2212
+ }
2213
+ },
2214
+ {
2215
+ "rust": {
2216
+ "diagnostic": "missing",
2217
+ "matches": [],
2218
+ "result": -1,
2219
+ "rng_state": 305419896
2220
+ },
2221
+ "source": {
2222
+ "diagnostic": "missing",
2223
+ "matches": [],
2224
+ "result": -1,
2225
+ "rng_state": 305419896
2226
+ }
2227
+ },
2228
+ {
2229
+ "rust": {
2230
+ "diagnostic": "null",
2231
+ "matches": [],
2232
+ "result": -1,
2233
+ "rng_state": 0
2234
+ },
2235
+ "source": {
2236
+ "diagnostic": "null",
2237
+ "matches": [],
2238
+ "result": -1,
2239
+ "rng_state": 0
2240
+ }
2241
+ },
2242
+ {
2243
+ "rust": {
2244
+ "diagnostic": "null",
2245
+ "matches": [],
2246
+ "result": -1,
2247
+ "rng_state": 1
2248
+ },
2249
+ "source": {
2250
+ "diagnostic": "null",
2251
+ "matches": [],
2252
+ "result": -1,
2253
+ "rng_state": 1
2254
+ }
2255
+ },
2256
+ {
2257
+ "rust": {
2258
+ "diagnostic": "null",
2259
+ "matches": [],
2260
+ "result": -1,
2261
+ "rng_state": 4294967295
2262
+ },
2263
+ "source": {
2264
+ "diagnostic": "null",
2265
+ "matches": [],
2266
+ "result": -1,
2267
+ "rng_state": 4294967295
2268
+ }
2269
+ },
2270
+ {
2271
+ "rust": {
2272
+ "diagnostic": "null",
2273
+ "matches": [],
2274
+ "result": -1,
2275
+ "rng_state": 305419896
2276
+ },
2277
+ "source": {
2278
+ "diagnostic": "null",
2279
+ "matches": [],
2280
+ "result": -1,
2281
+ "rng_state": 305419896
2282
+ }
2283
+ },
2284
+ {
2285
+ "rust": {
2286
+ "diagnostic": null,
2287
+ "matches": [
2288
+ 0,
2289
+ 2,
2290
+ 6,
2291
+ 8,
2292
+ 12,
2293
+ 14,
2294
+ 18,
2295
+ 20,
2296
+ 26,
2297
+ 30
2298
+ ],
2299
+ "result": 0,
2300
+ "rng_state": 0
2301
+ },
2302
+ "source": {
2303
+ "diagnostic": null,
2304
+ "matches": [
2305
+ 0,
2306
+ 2,
2307
+ 6,
2308
+ 8,
2309
+ 12,
2310
+ 14,
2311
+ 18,
2312
+ 20,
2313
+ 26,
2314
+ 30
2315
+ ],
2316
+ "result": 0,
2317
+ "rng_state": 0
2318
+ }
2319
+ },
2320
+ {
2321
+ "rust": {
2322
+ "diagnostic": null,
2323
+ "matches": [
2324
+ 0,
2325
+ 2,
2326
+ 6,
2327
+ 8,
2328
+ 12,
2329
+ 14,
2330
+ 18,
2331
+ 20,
2332
+ 26,
2333
+ 30
2334
+ ],
2335
+ "result": 8,
2336
+ "rng_state": 69206049
2337
+ },
2338
+ "source": {
2339
+ "diagnostic": null,
2340
+ "matches": [
2341
+ 0,
2342
+ 2,
2343
+ 6,
2344
+ 8,
2345
+ 12,
2346
+ 14,
2347
+ 18,
2348
+ 20,
2349
+ 26,
2350
+ 30
2351
+ ],
2352
+ "result": 8,
2353
+ "rng_state": 69206049
2354
+ }
2355
+ },
2356
+ {
2357
+ "rust": {
2358
+ "diagnostic": null,
2359
+ "matches": [
2360
+ 0,
2361
+ 2,
2362
+ 6,
2363
+ 8,
2364
+ 12,
2365
+ 14,
2366
+ 18,
2367
+ 20,
2368
+ 26,
2369
+ 30
2370
+ ],
2371
+ "result": 2,
2372
+ "rng_state": 65011743
2373
+ },
2374
+ "source": {
2375
+ "diagnostic": null,
2376
+ "matches": [
2377
+ 0,
2378
+ 2,
2379
+ 6,
2380
+ 8,
2381
+ 12,
2382
+ 14,
2383
+ 18,
2384
+ 20,
2385
+ 26,
2386
+ 30
2387
+ ],
2388
+ "result": 2,
2389
+ "rng_state": 65011743
2390
+ }
2391
+ },
2392
+ {
2393
+ "rust": {
2394
+ "diagnostic": null,
2395
+ "matches": [
2396
+ 0,
2397
+ 2,
2398
+ 6,
2399
+ 8,
2400
+ 12,
2401
+ 14,
2402
+ 18,
2403
+ 20,
2404
+ 26,
2405
+ 30
2406
+ ],
2407
+ "result": 30,
2408
+ "rng_state": 2076088695
2409
+ },
2410
+ "source": {
2411
+ "diagnostic": null,
2412
+ "matches": [
2413
+ 0,
2414
+ 2,
2415
+ 6,
2416
+ 8,
2417
+ 12,
2418
+ 14,
2419
+ 18,
2420
+ 20,
2421
+ 26,
2422
+ 30
2423
+ ],
2424
+ "result": 30,
2425
+ "rng_state": 2076088695
2426
+ }
2427
+ },
2428
+ {
2429
+ "rust": {
2430
+ "diagnostic": "missing",
2431
+ "matches": [],
2432
+ "result": -1,
2433
+ "rng_state": 0
2434
+ },
2435
+ "source": {
2436
+ "diagnostic": "missing",
2437
+ "matches": [],
2438
+ "result": -1,
2439
+ "rng_state": 0
2440
+ }
2441
+ },
2442
+ {
2443
+ "rust": {
2444
+ "diagnostic": "missing",
2445
+ "matches": [],
2446
+ "result": -1,
2447
+ "rng_state": 1
2448
+ },
2449
+ "source": {
2450
+ "diagnostic": "missing",
2451
+ "matches": [],
2452
+ "result": -1,
2453
+ "rng_state": 1
2454
+ }
2455
+ },
2456
+ {
2457
+ "rust": {
2458
+ "diagnostic": "missing",
2459
+ "matches": [],
2460
+ "result": -1,
2461
+ "rng_state": 4294967295
2462
+ },
2463
+ "source": {
2464
+ "diagnostic": "missing",
2465
+ "matches": [],
2466
+ "result": -1,
2467
+ "rng_state": 4294967295
2468
+ }
2469
+ },
2470
+ {
2471
+ "rust": {
2472
+ "diagnostic": "missing",
2473
+ "matches": [],
2474
+ "result": -1,
2475
+ "rng_state": 305419896
2476
+ },
2477
+ "source": {
2478
+ "diagnostic": "missing",
2479
+ "matches": [],
2480
+ "result": -1,
2481
+ "rng_state": 305419896
2482
+ }
2483
+ },
2484
+ {
2485
+ "rust": {
2486
+ "diagnostic": "null",
2487
+ "matches": [],
2488
+ "result": -1,
2489
+ "rng_state": 0
2490
+ },
2491
+ "source": {
2492
+ "diagnostic": "null",
2493
+ "matches": [],
2494
+ "result": -1,
2495
+ "rng_state": 0
2496
+ }
2497
+ },
2498
+ {
2499
+ "rust": {
2500
+ "diagnostic": "null",
2501
+ "matches": [],
2502
+ "result": -1,
2503
+ "rng_state": 1
2504
+ },
2505
+ "source": {
2506
+ "diagnostic": "null",
2507
+ "matches": [],
2508
+ "result": -1,
2509
+ "rng_state": 1
2510
+ }
2511
+ },
2512
+ {
2513
+ "rust": {
2514
+ "diagnostic": "null",
2515
+ "matches": [],
2516
+ "result": -1,
2517
+ "rng_state": 4294967295
2518
+ },
2519
+ "source": {
2520
+ "diagnostic": "null",
2521
+ "matches": [],
2522
+ "result": -1,
2523
+ "rng_state": 4294967295
2524
+ }
2525
+ },
2526
+ {
2527
+ "rust": {
2528
+ "diagnostic": "null",
2529
+ "matches": [],
2530
+ "result": -1,
2531
+ "rng_state": 305419896
2532
+ },
2533
+ "source": {
2534
+ "diagnostic": "null",
2535
+ "matches": [],
2536
+ "result": -1,
2537
+ "rng_state": 305419896
2538
+ }
2539
+ },
2540
+ {
2541
+ "rust": {
2542
+ "diagnostic": null,
2543
+ "matches": [
2544
+ 0,
2545
+ 1,
2546
+ 2,
2547
+ 3,
2548
+ 4,
2549
+ 5,
2550
+ 6,
2551
+ 7,
2552
+ 8,
2553
+ 9,
2554
+ 10,
2555
+ 11,
2556
+ 12,
2557
+ 13,
2558
+ 14,
2559
+ 15,
2560
+ 16,
2561
+ 17,
2562
+ 18,
2563
+ 19,
2564
+ 20,
2565
+ 21,
2566
+ 22,
2567
+ 23,
2568
+ 24,
2569
+ 25,
2570
+ 26,
2571
+ 27,
2572
+ 28,
2573
+ 29,
2574
+ 30,
2575
+ 31
2576
+ ],
2577
+ "result": 0,
2578
+ "rng_state": 0
2579
+ },
2580
+ "source": {
2581
+ "diagnostic": null,
2582
+ "matches": [
2583
+ 0,
2584
+ 1,
2585
+ 2,
2586
+ 3,
2587
+ 4,
2588
+ 5,
2589
+ 6,
2590
+ 7,
2591
+ 8,
2592
+ 9,
2593
+ 10,
2594
+ 11,
2595
+ 12,
2596
+ 13,
2597
+ 14,
2598
+ 15,
2599
+ 16,
2600
+ 17,
2601
+ 18,
2602
+ 19,
2603
+ 20,
2604
+ 21,
2605
+ 22,
2606
+ 23,
2607
+ 24,
2608
+ 25,
2609
+ 26,
2610
+ 27,
2611
+ 28,
2612
+ 29,
2613
+ 30,
2614
+ 31
2615
+ ],
2616
+ "result": 0,
2617
+ "rng_state": 0
2618
+ }
2619
+ },
2620
+ {
2621
+ "rust": {
2622
+ "diagnostic": null,
2623
+ "matches": [
2624
+ 0,
2625
+ 1,
2626
+ 2,
2627
+ 3,
2628
+ 4,
2629
+ 5,
2630
+ 6,
2631
+ 7,
2632
+ 8,
2633
+ 9,
2634
+ 10,
2635
+ 11,
2636
+ 12,
2637
+ 13,
2638
+ 14,
2639
+ 15,
2640
+ 16,
2641
+ 17,
2642
+ 18,
2643
+ 19,
2644
+ 20,
2645
+ 21,
2646
+ 22,
2647
+ 23,
2648
+ 24,
2649
+ 25,
2650
+ 26,
2651
+ 27,
2652
+ 28,
2653
+ 29,
2654
+ 30,
2655
+ 31
2656
+ ],
2657
+ "result": 1,
2658
+ "rng_state": 69206049
2659
+ },
2660
+ "source": {
2661
+ "diagnostic": null,
2662
+ "matches": [
2663
+ 0,
2664
+ 1,
2665
+ 2,
2666
+ 3,
2667
+ 4,
2668
+ 5,
2669
+ 6,
2670
+ 7,
2671
+ 8,
2672
+ 9,
2673
+ 10,
2674
+ 11,
2675
+ 12,
2676
+ 13,
2677
+ 14,
2678
+ 15,
2679
+ 16,
2680
+ 17,
2681
+ 18,
2682
+ 19,
2683
+ 20,
2684
+ 21,
2685
+ 22,
2686
+ 23,
2687
+ 24,
2688
+ 25,
2689
+ 26,
2690
+ 27,
2691
+ 28,
2692
+ 29,
2693
+ 30,
2694
+ 31
2695
+ ],
2696
+ "result": 1,
2697
+ "rng_state": 69206049
2698
+ }
2699
+ },
2700
+ {
2701
+ "rust": {
2702
+ "diagnostic": null,
2703
+ "matches": [
2704
+ 0,
2705
+ 1,
2706
+ 2,
2707
+ 3,
2708
+ 4,
2709
+ 5,
2710
+ 6,
2711
+ 7,
2712
+ 8,
2713
+ 9,
2714
+ 10,
2715
+ 11,
2716
+ 12,
2717
+ 13,
2718
+ 14,
2719
+ 15,
2720
+ 16,
2721
+ 17,
2722
+ 18,
2723
+ 19,
2724
+ 20,
2725
+ 21,
2726
+ 22,
2727
+ 23,
2728
+ 24,
2729
+ 25,
2730
+ 26,
2731
+ 27,
2732
+ 28,
2733
+ 29,
2734
+ 30,
2735
+ 31
2736
+ ],
2737
+ "result": 31,
2738
+ "rng_state": 65011743
2739
+ },
2740
+ "source": {
2741
+ "diagnostic": null,
2742
+ "matches": [
2743
+ 0,
2744
+ 1,
2745
+ 2,
2746
+ 3,
2747
+ 4,
2748
+ 5,
2749
+ 6,
2750
+ 7,
2751
+ 8,
2752
+ 9,
2753
+ 10,
2754
+ 11,
2755
+ 12,
2756
+ 13,
2757
+ 14,
2758
+ 15,
2759
+ 16,
2760
+ 17,
2761
+ 18,
2762
+ 19,
2763
+ 20,
2764
+ 21,
2765
+ 22,
2766
+ 23,
2767
+ 24,
2768
+ 25,
2769
+ 26,
2770
+ 27,
2771
+ 28,
2772
+ 29,
2773
+ 30,
2774
+ 31
2775
+ ],
2776
+ "result": 31,
2777
+ "rng_state": 65011743
2778
+ }
2779
+ },
2780
+ {
2781
+ "rust": {
2782
+ "diagnostic": null,
2783
+ "matches": [
2784
+ 0,
2785
+ 1,
2786
+ 2,
2787
+ 3,
2788
+ 4,
2789
+ 5,
2790
+ 6,
2791
+ 7,
2792
+ 8,
2793
+ 9,
2794
+ 10,
2795
+ 11,
2796
+ 12,
2797
+ 13,
2798
+ 14,
2799
+ 15,
2800
+ 16,
2801
+ 17,
2802
+ 18,
2803
+ 19,
2804
+ 20,
2805
+ 21,
2806
+ 22,
2807
+ 23,
2808
+ 24,
2809
+ 25,
2810
+ 26,
2811
+ 27,
2812
+ 28,
2813
+ 29,
2814
+ 30,
2815
+ 31
2816
+ ],
2817
+ "result": 23,
2818
+ "rng_state": 2076088695
2819
+ },
2820
+ "source": {
2821
+ "diagnostic": null,
2822
+ "matches": [
2823
+ 0,
2824
+ 1,
2825
+ 2,
2826
+ 3,
2827
+ 4,
2828
+ 5,
2829
+ 6,
2830
+ 7,
2831
+ 8,
2832
+ 9,
2833
+ 10,
2834
+ 11,
2835
+ 12,
2836
+ 13,
2837
+ 14,
2838
+ 15,
2839
+ 16,
2840
+ 17,
2841
+ 18,
2842
+ 19,
2843
+ 20,
2844
+ 21,
2845
+ 22,
2846
+ 23,
2847
+ 24,
2848
+ 25,
2849
+ 26,
2850
+ 27,
2851
+ 28,
2852
+ 29,
2853
+ 30,
2854
+ 31
2855
+ ],
2856
+ "result": 23,
2857
+ "rng_state": 2076088695
2858
+ }
2859
+ },
2860
+ {
2861
+ "rust": {
2862
+ "diagnostic": "missing",
2863
+ "matches": [],
2864
+ "result": -1,
2865
+ "rng_state": 0
2866
+ },
2867
+ "source": {
2868
+ "diagnostic": "missing",
2869
+ "matches": [],
2870
+ "result": -1,
2871
+ "rng_state": 0
2872
+ }
2873
+ },
2874
+ {
2875
+ "rust": {
2876
+ "diagnostic": "missing",
2877
+ "matches": [],
2878
+ "result": -1,
2879
+ "rng_state": 1
2880
+ },
2881
+ "source": {
2882
+ "diagnostic": "missing",
2883
+ "matches": [],
2884
+ "result": -1,
2885
+ "rng_state": 1
2886
+ }
2887
+ },
2888
+ {
2889
+ "rust": {
2890
+ "diagnostic": "missing",
2891
+ "matches": [],
2892
+ "result": -1,
2893
+ "rng_state": 4294967295
2894
+ },
2895
+ "source": {
2896
+ "diagnostic": "missing",
2897
+ "matches": [],
2898
+ "result": -1,
2899
+ "rng_state": 4294967295
2900
+ }
2901
+ },
2902
+ {
2903
+ "rust": {
2904
+ "diagnostic": "missing",
2905
+ "matches": [],
2906
+ "result": -1,
2907
+ "rng_state": 305419896
2908
+ },
2909
+ "source": {
2910
+ "diagnostic": "missing",
2911
+ "matches": [],
2912
+ "result": -1,
2913
+ "rng_state": 305419896
2914
+ }
2915
+ },
2916
+ {
2917
+ "rust": {
2918
+ "diagnostic": "null",
2919
+ "matches": [],
2920
+ "result": -1,
2921
+ "rng_state": 0
2922
+ },
2923
+ "source": {
2924
+ "diagnostic": "null",
2925
+ "matches": [],
2926
+ "result": -1,
2927
+ "rng_state": 0
2928
+ }
2929
+ },
2930
+ {
2931
+ "rust": {
2932
+ "diagnostic": "null",
2933
+ "matches": [],
2934
+ "result": -1,
2935
+ "rng_state": 1
2936
+ },
2937
+ "source": {
2938
+ "diagnostic": "null",
2939
+ "matches": [],
2940
+ "result": -1,
2941
+ "rng_state": 1
2942
+ }
2943
+ },
2944
+ {
2945
+ "rust": {
2946
+ "diagnostic": "null",
2947
+ "matches": [],
2948
+ "result": -1,
2949
+ "rng_state": 4294967295
2950
+ },
2951
+ "source": {
2952
+ "diagnostic": "null",
2953
+ "matches": [],
2954
+ "result": -1,
2955
+ "rng_state": 4294967295
2956
+ }
2957
+ },
2958
+ {
2959
+ "rust": {
2960
+ "diagnostic": "null",
2961
+ "matches": [],
2962
+ "result": -1,
2963
+ "rng_state": 305419896
2964
+ },
2965
+ "source": {
2966
+ "diagnostic": "null",
2967
+ "matches": [],
2968
+ "result": -1,
2969
+ "rng_state": 305419896
2970
+ }
2971
+ },
2972
+ {
2973
+ "rust": {
2974
+ "diagnostic": null,
2975
+ "matches": [
2976
+ 0,
2977
+ 2,
2978
+ 6,
2979
+ 8,
2980
+ 12,
2981
+ 14,
2982
+ 18,
2983
+ 20,
2984
+ 26,
2985
+ 30,
2986
+ 32
2987
+ ],
2988
+ "result": 0,
2989
+ "rng_state": 0
2990
+ },
2991
+ "source": {
2992
+ "diagnostic": null,
2993
+ "matches": [
2994
+ 0,
2995
+ 2,
2996
+ 6,
2997
+ 8,
2998
+ 12,
2999
+ 14,
3000
+ 18,
3001
+ 20,
3002
+ 26,
3003
+ 30,
3004
+ 32
3005
+ ],
3006
+ "result": 0,
3007
+ "rng_state": 0
3008
+ }
3009
+ },
3010
+ {
3011
+ "rust": {
3012
+ "diagnostic": null,
3013
+ "matches": [
3014
+ 0,
3015
+ 2,
3016
+ 6,
3017
+ 8,
3018
+ 12,
3019
+ 14,
3020
+ 18,
3021
+ 20,
3022
+ 26,
3023
+ 30,
3024
+ 32
3025
+ ],
3026
+ "result": 0,
3027
+ "rng_state": 69206049
3028
+ },
3029
+ "source": {
3030
+ "diagnostic": null,
3031
+ "matches": [
3032
+ 0,
3033
+ 2,
3034
+ 6,
3035
+ 8,
3036
+ 12,
3037
+ 14,
3038
+ 18,
3039
+ 20,
3040
+ 26,
3041
+ 30,
3042
+ 32
3043
+ ],
3044
+ "result": 0,
3045
+ "rng_state": 69206049
3046
+ }
3047
+ },
3048
+ {
3049
+ "rust": {
3050
+ "diagnostic": null,
3051
+ "matches": [
3052
+ 0,
3053
+ 2,
3054
+ 6,
3055
+ 8,
3056
+ 12,
3057
+ 14,
3058
+ 18,
3059
+ 20,
3060
+ 26,
3061
+ 30,
3062
+ 32
3063
+ ],
3064
+ "result": 30,
3065
+ "rng_state": 65011743
3066
+ },
3067
+ "source": {
3068
+ "diagnostic": null,
3069
+ "matches": [
3070
+ 0,
3071
+ 2,
3072
+ 6,
3073
+ 8,
3074
+ 12,
3075
+ 14,
3076
+ 18,
3077
+ 20,
3078
+ 26,
3079
+ 30,
3080
+ 32
3081
+ ],
3082
+ "result": 30,
3083
+ "rng_state": 65011743
3084
+ }
3085
+ },
3086
+ {
3087
+ "rust": {
3088
+ "diagnostic": null,
3089
+ "matches": [
3090
+ 0,
3091
+ 2,
3092
+ 6,
3093
+ 8,
3094
+ 12,
3095
+ 14,
3096
+ 18,
3097
+ 20,
3098
+ 26,
3099
+ 30,
3100
+ 32
3101
+ ],
3102
+ "result": 20,
3103
+ "rng_state": 2076088695
3104
+ },
3105
+ "source": {
3106
+ "diagnostic": null,
3107
+ "matches": [
3108
+ 0,
3109
+ 2,
3110
+ 6,
3111
+ 8,
3112
+ 12,
3113
+ 14,
3114
+ 18,
3115
+ 20,
3116
+ 26,
3117
+ 30,
3118
+ 32
3119
+ ],
3120
+ "result": 20,
3121
+ "rng_state": 2076088695
3122
+ }
3123
+ },
3124
+ {
3125
+ "rust": {
3126
+ "diagnostic": "missing",
3127
+ "matches": [],
3128
+ "result": -1,
3129
+ "rng_state": 0
3130
+ },
3131
+ "source": {
3132
+ "diagnostic": "missing",
3133
+ "matches": [],
3134
+ "result": -1,
3135
+ "rng_state": 0
3136
+ }
3137
+ },
3138
+ {
3139
+ "rust": {
3140
+ "diagnostic": "missing",
3141
+ "matches": [],
3142
+ "result": -1,
3143
+ "rng_state": 1
3144
+ },
3145
+ "source": {
3146
+ "diagnostic": "missing",
3147
+ "matches": [],
3148
+ "result": -1,
3149
+ "rng_state": 1
3150
+ }
3151
+ },
3152
+ {
3153
+ "rust": {
3154
+ "diagnostic": "missing",
3155
+ "matches": [],
3156
+ "result": -1,
3157
+ "rng_state": 4294967295
3158
+ },
3159
+ "source": {
3160
+ "diagnostic": "missing",
3161
+ "matches": [],
3162
+ "result": -1,
3163
+ "rng_state": 4294967295
3164
+ }
3165
+ },
3166
+ {
3167
+ "rust": {
3168
+ "diagnostic": "missing",
3169
+ "matches": [],
3170
+ "result": -1,
3171
+ "rng_state": 305419896
3172
+ },
3173
+ "source": {
3174
+ "diagnostic": "missing",
3175
+ "matches": [],
3176
+ "result": -1,
3177
+ "rng_state": 305419896
3178
+ }
3179
+ },
3180
+ {
3181
+ "rust": {
3182
+ "diagnostic": "null",
3183
+ "matches": [],
3184
+ "result": -1,
3185
+ "rng_state": 0
3186
+ },
3187
+ "source": {
3188
+ "diagnostic": "null",
3189
+ "matches": [],
3190
+ "result": -1,
3191
+ "rng_state": 0
3192
+ }
3193
+ },
3194
+ {
3195
+ "rust": {
3196
+ "diagnostic": "null",
3197
+ "matches": [],
3198
+ "result": -1,
3199
+ "rng_state": 1
3200
+ },
3201
+ "source": {
3202
+ "diagnostic": "null",
3203
+ "matches": [],
3204
+ "result": -1,
3205
+ "rng_state": 1
3206
+ }
3207
+ },
3208
+ {
3209
+ "rust": {
3210
+ "diagnostic": "null",
3211
+ "matches": [],
3212
+ "result": -1,
3213
+ "rng_state": 4294967295
3214
+ },
3215
+ "source": {
3216
+ "diagnostic": "null",
3217
+ "matches": [],
3218
+ "result": -1,
3219
+ "rng_state": 4294967295
3220
+ }
3221
+ },
3222
+ {
3223
+ "rust": {
3224
+ "diagnostic": "null",
3225
+ "matches": [],
3226
+ "result": -1,
3227
+ "rng_state": 305419896
3228
+ },
3229
+ "source": {
3230
+ "diagnostic": "null",
3231
+ "matches": [],
3232
+ "result": -1,
3233
+ "rng_state": 305419896
3234
+ }
3235
+ },
3236
+ {
3237
+ "rust": {
3238
+ "diagnostic": null,
3239
+ "matches": [
3240
+ 0,
3241
+ 1,
3242
+ 2,
3243
+ 3,
3244
+ 4,
3245
+ 5,
3246
+ 6,
3247
+ 7,
3248
+ 8,
3249
+ 9,
3250
+ 10,
3251
+ 11,
3252
+ 12,
3253
+ 13,
3254
+ 14,
3255
+ 15,
3256
+ 16,
3257
+ 17,
3258
+ 18,
3259
+ 19,
3260
+ 20,
3261
+ 21,
3262
+ 22,
3263
+ 23,
3264
+ 24,
3265
+ 25,
3266
+ 26,
3267
+ 27,
3268
+ 28,
3269
+ 29,
3270
+ 30,
3271
+ 31
3272
+ ],
3273
+ "result": 0,
3274
+ "rng_state": 0
3275
+ },
3276
+ "source": {
3277
+ "diagnostic": null,
3278
+ "matches": [
3279
+ 0,
3280
+ 1,
3281
+ 2,
3282
+ 3,
3283
+ 4,
3284
+ 5,
3285
+ 6,
3286
+ 7,
3287
+ 8,
3288
+ 9,
3289
+ 10,
3290
+ 11,
3291
+ 12,
3292
+ 13,
3293
+ 14,
3294
+ 15,
3295
+ 16,
3296
+ 17,
3297
+ 18,
3298
+ 19,
3299
+ 20,
3300
+ 21,
3301
+ 22,
3302
+ 23,
3303
+ 24,
3304
+ 25,
3305
+ 26,
3306
+ 27,
3307
+ 28,
3308
+ 29,
3309
+ 30,
3310
+ 31
3311
+ ],
3312
+ "result": 0,
3313
+ "rng_state": 0
3314
+ }
3315
+ },
3316
+ {
3317
+ "rust": {
3318
+ "diagnostic": null,
3319
+ "matches": [
3320
+ 0,
3321
+ 1,
3322
+ 2,
3323
+ 3,
3324
+ 4,
3325
+ 5,
3326
+ 6,
3327
+ 7,
3328
+ 8,
3329
+ 9,
3330
+ 10,
3331
+ 11,
3332
+ 12,
3333
+ 13,
3334
+ 14,
3335
+ 15,
3336
+ 16,
3337
+ 17,
3338
+ 18,
3339
+ 19,
3340
+ 20,
3341
+ 21,
3342
+ 22,
3343
+ 23,
3344
+ 24,
3345
+ 25,
3346
+ 26,
3347
+ 27,
3348
+ 28,
3349
+ 29,
3350
+ 30,
3351
+ 31
3352
+ ],
3353
+ "result": 1,
3354
+ "rng_state": 69206049
3355
+ },
3356
+ "source": {
3357
+ "diagnostic": null,
3358
+ "matches": [
3359
+ 0,
3360
+ 1,
3361
+ 2,
3362
+ 3,
3363
+ 4,
3364
+ 5,
3365
+ 6,
3366
+ 7,
3367
+ 8,
3368
+ 9,
3369
+ 10,
3370
+ 11,
3371
+ 12,
3372
+ 13,
3373
+ 14,
3374
+ 15,
3375
+ 16,
3376
+ 17,
3377
+ 18,
3378
+ 19,
3379
+ 20,
3380
+ 21,
3381
+ 22,
3382
+ 23,
3383
+ 24,
3384
+ 25,
3385
+ 26,
3386
+ 27,
3387
+ 28,
3388
+ 29,
3389
+ 30,
3390
+ 31
3391
+ ],
3392
+ "result": 1,
3393
+ "rng_state": 69206049
3394
+ }
3395
+ },
3396
+ {
3397
+ "rust": {
3398
+ "diagnostic": null,
3399
+ "matches": [
3400
+ 0,
3401
+ 1,
3402
+ 2,
3403
+ 3,
3404
+ 4,
3405
+ 5,
3406
+ 6,
3407
+ 7,
3408
+ 8,
3409
+ 9,
3410
+ 10,
3411
+ 11,
3412
+ 12,
3413
+ 13,
3414
+ 14,
3415
+ 15,
3416
+ 16,
3417
+ 17,
3418
+ 18,
3419
+ 19,
3420
+ 20,
3421
+ 21,
3422
+ 22,
3423
+ 23,
3424
+ 24,
3425
+ 25,
3426
+ 26,
3427
+ 27,
3428
+ 28,
3429
+ 29,
3430
+ 30,
3431
+ 31
3432
+ ],
3433
+ "result": 31,
3434
+ "rng_state": 65011743
3435
+ },
3436
+ "source": {
3437
+ "diagnostic": null,
3438
+ "matches": [
3439
+ 0,
3440
+ 1,
3441
+ 2,
3442
+ 3,
3443
+ 4,
3444
+ 5,
3445
+ 6,
3446
+ 7,
3447
+ 8,
3448
+ 9,
3449
+ 10,
3450
+ 11,
3451
+ 12,
3452
+ 13,
3453
+ 14,
3454
+ 15,
3455
+ 16,
3456
+ 17,
3457
+ 18,
3458
+ 19,
3459
+ 20,
3460
+ 21,
3461
+ 22,
3462
+ 23,
3463
+ 24,
3464
+ 25,
3465
+ 26,
3466
+ 27,
3467
+ 28,
3468
+ 29,
3469
+ 30,
3470
+ 31
3471
+ ],
3472
+ "result": 31,
3473
+ "rng_state": 65011743
3474
+ }
3475
+ },
3476
+ {
3477
+ "rust": {
3478
+ "diagnostic": null,
3479
+ "matches": [
3480
+ 0,
3481
+ 1,
3482
+ 2,
3483
+ 3,
3484
+ 4,
3485
+ 5,
3486
+ 6,
3487
+ 7,
3488
+ 8,
3489
+ 9,
3490
+ 10,
3491
+ 11,
3492
+ 12,
3493
+ 13,
3494
+ 14,
3495
+ 15,
3496
+ 16,
3497
+ 17,
3498
+ 18,
3499
+ 19,
3500
+ 20,
3501
+ 21,
3502
+ 22,
3503
+ 23,
3504
+ 24,
3505
+ 25,
3506
+ 26,
3507
+ 27,
3508
+ 28,
3509
+ 29,
3510
+ 30,
3511
+ 31
3512
+ ],
3513
+ "result": 23,
3514
+ "rng_state": 2076088695
3515
+ },
3516
+ "source": {
3517
+ "diagnostic": null,
3518
+ "matches": [
3519
+ 0,
3520
+ 1,
3521
+ 2,
3522
+ 3,
3523
+ 4,
3524
+ 5,
3525
+ 6,
3526
+ 7,
3527
+ 8,
3528
+ 9,
3529
+ 10,
3530
+ 11,
3531
+ 12,
3532
+ 13,
3533
+ 14,
3534
+ 15,
3535
+ 16,
3536
+ 17,
3537
+ 18,
3538
+ 19,
3539
+ 20,
3540
+ 21,
3541
+ 22,
3542
+ 23,
3543
+ 24,
3544
+ 25,
3545
+ 26,
3546
+ 27,
3547
+ 28,
3548
+ 29,
3549
+ 30,
3550
+ 31
3551
+ ],
3552
+ "result": 23,
3553
+ "rng_state": 2076088695
3554
+ }
3555
+ },
3556
+ {
3557
+ "rust": {
3558
+ "diagnostic": "missing",
3559
+ "matches": [],
3560
+ "result": -1,
3561
+ "rng_state": 0
3562
+ },
3563
+ "source": {
3564
+ "diagnostic": "missing",
3565
+ "matches": [],
3566
+ "result": -1,
3567
+ "rng_state": 0
3568
+ }
3569
+ },
3570
+ {
3571
+ "rust": {
3572
+ "diagnostic": "missing",
3573
+ "matches": [],
3574
+ "result": -1,
3575
+ "rng_state": 1
3576
+ },
3577
+ "source": {
3578
+ "diagnostic": "missing",
3579
+ "matches": [],
3580
+ "result": -1,
3581
+ "rng_state": 1
3582
+ }
3583
+ },
3584
+ {
3585
+ "rust": {
3586
+ "diagnostic": "missing",
3587
+ "matches": [],
3588
+ "result": -1,
3589
+ "rng_state": 4294967295
3590
+ },
3591
+ "source": {
3592
+ "diagnostic": "missing",
3593
+ "matches": [],
3594
+ "result": -1,
3595
+ "rng_state": 4294967295
3596
+ }
3597
+ },
3598
+ {
3599
+ "rust": {
3600
+ "diagnostic": "missing",
3601
+ "matches": [],
3602
+ "result": -1,
3603
+ "rng_state": 305419896
3604
+ },
3605
+ "source": {
3606
+ "diagnostic": "missing",
3607
+ "matches": [],
3608
+ "result": -1,
3609
+ "rng_state": 305419896
3610
+ }
3611
+ },
3612
+ {
3613
+ "rust": {
3614
+ "diagnostic": "null",
3615
+ "matches": [],
3616
+ "result": -1,
3617
+ "rng_state": 0
3618
+ },
3619
+ "source": {
3620
+ "diagnostic": "null",
3621
+ "matches": [],
3622
+ "result": -1,
3623
+ "rng_state": 0
3624
+ }
3625
+ },
3626
+ {
3627
+ "rust": {
3628
+ "diagnostic": "null",
3629
+ "matches": [],
3630
+ "result": -1,
3631
+ "rng_state": 1
3632
+ },
3633
+ "source": {
3634
+ "diagnostic": "null",
3635
+ "matches": [],
3636
+ "result": -1,
3637
+ "rng_state": 1
3638
+ }
3639
+ },
3640
+ {
3641
+ "rust": {
3642
+ "diagnostic": "null",
3643
+ "matches": [],
3644
+ "result": -1,
3645
+ "rng_state": 4294967295
3646
+ },
3647
+ "source": {
3648
+ "diagnostic": "null",
3649
+ "matches": [],
3650
+ "result": -1,
3651
+ "rng_state": 4294967295
3652
+ }
3653
+ },
3654
+ {
3655
+ "rust": {
3656
+ "diagnostic": "null",
3657
+ "matches": [],
3658
+ "result": -1,
3659
+ "rng_state": 305419896
3660
+ },
3661
+ "source": {
3662
+ "diagnostic": "null",
3663
+ "matches": [],
3664
+ "result": -1,
3665
+ "rng_state": 305419896
3666
+ }
3667
+ },
3668
+ {
3669
+ "rust": {
3670
+ "diagnostic": null,
3671
+ "matches": [
3672
+ 0,
3673
+ 2,
3674
+ 6,
3675
+ 8,
3676
+ 12,
3677
+ 14,
3678
+ 18,
3679
+ 20,
3680
+ 26,
3681
+ 30,
3682
+ 32,
3683
+ 36,
3684
+ 42,
3685
+ 44,
3686
+ 48,
3687
+ 50,
3688
+ 54,
3689
+ 56,
3690
+ 60,
3691
+ 62,
3692
+ 68
3693
+ ],
3694
+ "result": 0,
3695
+ "rng_state": 0
3696
+ },
3697
+ "source": {
3698
+ "diagnostic": null,
3699
+ "matches": [
3700
+ 0,
3701
+ 2,
3702
+ 6,
3703
+ 8,
3704
+ 12,
3705
+ 14,
3706
+ 18,
3707
+ 20,
3708
+ 26,
3709
+ 30,
3710
+ 32,
3711
+ 36,
3712
+ 42,
3713
+ 44,
3714
+ 48,
3715
+ 50,
3716
+ 54,
3717
+ 56,
3718
+ 60,
3719
+ 62,
3720
+ 68
3721
+ ],
3722
+ "result": 0,
3723
+ "rng_state": 0
3724
+ }
3725
+ },
3726
+ {
3727
+ "rust": {
3728
+ "diagnostic": null,
3729
+ "matches": [
3730
+ 0,
3731
+ 2,
3732
+ 6,
3733
+ 8,
3734
+ 12,
3735
+ 14,
3736
+ 18,
3737
+ 20,
3738
+ 26,
3739
+ 30,
3740
+ 32,
3741
+ 36,
3742
+ 42,
3743
+ 44,
3744
+ 48,
3745
+ 50,
3746
+ 54,
3747
+ 56,
3748
+ 60,
3749
+ 62,
3750
+ 68
3751
+ ],
3752
+ "result": 42,
3753
+ "rng_state": 69206049
3754
+ },
3755
+ "source": {
3756
+ "diagnostic": null,
3757
+ "matches": [
3758
+ 0,
3759
+ 2,
3760
+ 6,
3761
+ 8,
3762
+ 12,
3763
+ 14,
3764
+ 18,
3765
+ 20,
3766
+ 26,
3767
+ 30,
3768
+ 32,
3769
+ 36,
3770
+ 42,
3771
+ 44,
3772
+ 48,
3773
+ 50,
3774
+ 54,
3775
+ 56,
3776
+ 60,
3777
+ 62,
3778
+ 68
3779
+ ],
3780
+ "result": 42,
3781
+ "rng_state": 69206049
3782
+ }
3783
+ },
3784
+ {
3785
+ "rust": {
3786
+ "diagnostic": null,
3787
+ "matches": [
3788
+ 0,
3789
+ 2,
3790
+ 6,
3791
+ 8,
3792
+ 12,
3793
+ 14,
3794
+ 18,
3795
+ 20,
3796
+ 26,
3797
+ 30,
3798
+ 32,
3799
+ 36,
3800
+ 42,
3801
+ 44,
3802
+ 48,
3803
+ 50,
3804
+ 54,
3805
+ 56,
3806
+ 60,
3807
+ 62,
3808
+ 68
3809
+ ],
3810
+ "result": 32,
3811
+ "rng_state": 65011743
3812
+ },
3813
+ "source": {
3814
+ "diagnostic": null,
3815
+ "matches": [
3816
+ 0,
3817
+ 2,
3818
+ 6,
3819
+ 8,
3820
+ 12,
3821
+ 14,
3822
+ 18,
3823
+ 20,
3824
+ 26,
3825
+ 30,
3826
+ 32,
3827
+ 36,
3828
+ 42,
3829
+ 44,
3830
+ 48,
3831
+ 50,
3832
+ 54,
3833
+ 56,
3834
+ 60,
3835
+ 62,
3836
+ 68
3837
+ ],
3838
+ "result": 32,
3839
+ "rng_state": 65011743
3840
+ }
3841
+ },
3842
+ {
3843
+ "rust": {
3844
+ "diagnostic": null,
3845
+ "matches": [
3846
+ 0,
3847
+ 2,
3848
+ 6,
3849
+ 8,
3850
+ 12,
3851
+ 14,
3852
+ 18,
3853
+ 20,
3854
+ 26,
3855
+ 30,
3856
+ 32,
3857
+ 36,
3858
+ 42,
3859
+ 44,
3860
+ 48,
3861
+ 50,
3862
+ 54,
3863
+ 56,
3864
+ 60,
3865
+ 62,
3866
+ 68
3867
+ ],
3868
+ "result": 30,
3869
+ "rng_state": 2076088695
3870
+ },
3871
+ "source": {
3872
+ "diagnostic": null,
3873
+ "matches": [
3874
+ 0,
3875
+ 2,
3876
+ 6,
3877
+ 8,
3878
+ 12,
3879
+ 14,
3880
+ 18,
3881
+ 20,
3882
+ 26,
3883
+ 30,
3884
+ 32,
3885
+ 36,
3886
+ 42,
3887
+ 44,
3888
+ 48,
3889
+ 50,
3890
+ 54,
3891
+ 56,
3892
+ 60,
3893
+ 62,
3894
+ 68
3895
+ ],
3896
+ "result": 30,
3897
+ "rng_state": 2076088695
3898
+ }
3899
+ },
3900
+ {
3901
+ "rust": {
3902
+ "diagnostic": "missing",
3903
+ "matches": [],
3904
+ "result": -1,
3905
+ "rng_state": 0
3906
+ },
3907
+ "source": {
3908
+ "diagnostic": "missing",
3909
+ "matches": [],
3910
+ "result": -1,
3911
+ "rng_state": 0
3912
+ }
3913
+ },
3914
+ {
3915
+ "rust": {
3916
+ "diagnostic": "missing",
3917
+ "matches": [],
3918
+ "result": -1,
3919
+ "rng_state": 1
3920
+ },
3921
+ "source": {
3922
+ "diagnostic": "missing",
3923
+ "matches": [],
3924
+ "result": -1,
3925
+ "rng_state": 1
3926
+ }
3927
+ },
3928
+ {
3929
+ "rust": {
3930
+ "diagnostic": "missing",
3931
+ "matches": [],
3932
+ "result": -1,
3933
+ "rng_state": 4294967295
3934
+ },
3935
+ "source": {
3936
+ "diagnostic": "missing",
3937
+ "matches": [],
3938
+ "result": -1,
3939
+ "rng_state": 4294967295
3940
+ }
3941
+ },
3942
+ {
3943
+ "rust": {
3944
+ "diagnostic": "missing",
3945
+ "matches": [],
3946
+ "result": -1,
3947
+ "rng_state": 305419896
3948
+ },
3949
+ "source": {
3950
+ "diagnostic": "missing",
3951
+ "matches": [],
3952
+ "result": -1,
3953
+ "rng_state": 305419896
3954
+ }
3955
+ }
3956
+ ],
3957
+ "sequences": [
3958
+ {
3959
+ "rust": [
3960
+ {
3961
+ "state": 0,
3962
+ "value": 0
3963
+ },
3964
+ {
3965
+ "state": 0,
3966
+ "value": 0
3967
+ },
3968
+ {
3969
+ "state": 0,
3970
+ "value": 0
3971
+ },
3972
+ {
3973
+ "state": 0,
3974
+ "value": 0
3975
+ },
3976
+ {
3977
+ "state": 0,
3978
+ "value": 0
3979
+ },
3980
+ {
3981
+ "state": 0,
3982
+ "value": 0
3983
+ }
3984
+ ],
3985
+ "source": [
3986
+ {
3987
+ "state": 0,
3988
+ "value": 0
3989
+ },
3990
+ {
3991
+ "state": 0,
3992
+ "value": 0
3993
+ },
3994
+ {
3995
+ "state": 0,
3996
+ "value": 0
3997
+ },
3998
+ {
3999
+ "state": 0,
4000
+ "value": 0
4001
+ },
4002
+ {
4003
+ "state": 0,
4004
+ "value": 0
4005
+ },
4006
+ {
4007
+ "state": 0,
4008
+ "value": 0
4009
+ }
4010
+ ]
4011
+ },
4012
+ {
4013
+ "rust": [
4014
+ {
4015
+ "state": 69206049,
4016
+ "value": 33
4017
+ },
4018
+ {
4019
+ "state": 1025,
4020
+ "value": 1025
4021
+ },
4022
+ {
4023
+ "state": 2216723505,
4024
+ "value": 1073
4025
+ },
4026
+ {
4027
+ "state": 1108345369,
4028
+ "value": 537
4029
+ },
4030
+ {
4031
+ "state": 657473853,
4032
+ "value": 16701
4033
+ },
4034
+ {
4035
+ "state": 311977631,
4036
+ "value": 26271
4037
+ }
4038
+ ],
4039
+ "source": [
4040
+ {
4041
+ "state": 69206049,
4042
+ "value": 33
4043
+ },
4044
+ {
4045
+ "state": 1025,
4046
+ "value": 1025
4047
+ },
4048
+ {
4049
+ "state": 2216723505,
4050
+ "value": 1073
4051
+ },
4052
+ {
4053
+ "state": 1108345369,
4054
+ "value": 537
4055
+ },
4056
+ {
4057
+ "state": 657473853,
4058
+ "value": 16701
4059
+ },
4060
+ {
4061
+ "state": 311977631,
4062
+ "value": 26271
4063
+ }
4064
+ ]
4065
+ },
4066
+ {
4067
+ "rust": [
4068
+ {
4069
+ "state": 65011743,
4070
+ "value": 31
4071
+ },
4072
+ {
4073
+ "state": 1023,
4074
+ "value": 1023
4075
+ },
4076
+ {
4077
+ "state": 2212527119,
4078
+ "value": 31759
4079
+ },
4080
+ {
4081
+ "state": 1108344295,
4082
+ "value": 32231
4083
+ },
4084
+ {
4085
+ "state": 588267779,
4086
+ "value": 16643
4087
+ },
4088
+ {
4089
+ "state": 1836605806,
4090
+ "value": 24942
4091
+ }
4092
+ ],
4093
+ "source": [
4094
+ {
4095
+ "state": 65011743,
4096
+ "value": 31
4097
+ },
4098
+ {
4099
+ "state": 1023,
4100
+ "value": 1023
4101
+ },
4102
+ {
4103
+ "state": 2212527119,
4104
+ "value": 31759
4105
+ },
4106
+ {
4107
+ "state": 1108344295,
4108
+ "value": 32231
4109
+ },
4110
+ {
4111
+ "state": 588267779,
4112
+ "value": 16643
4113
+ },
4114
+ {
4115
+ "state": 1836605806,
4116
+ "value": 24942
4117
+ }
4118
+ ]
4119
+ },
4120
+ {
4121
+ "rust": [
4122
+ {
4123
+ "state": 2076088695,
4124
+ "value": 6519
4125
+ },
4126
+ {
4127
+ "state": 4270700424,
4128
+ "value": 14216
4129
+ },
4130
+ {
4131
+ "state": 4265297559,
4132
+ "value": 18071
4133
+ },
4134
+ {
4135
+ "state": 3081999457,
4136
+ "value": 5217
4137
+ },
4138
+ {
4139
+ "state": 1239488584,
4140
+ "value": 6216
4141
+ },
4142
+ {
4143
+ "state": 1556222275,
4144
+ "value": 4419
4145
+ }
4146
+ ],
4147
+ "source": [
4148
+ {
4149
+ "state": 2076088695,
4150
+ "value": 6519
4151
+ },
4152
+ {
4153
+ "state": 4270700424,
4154
+ "value": 14216
4155
+ },
4156
+ {
4157
+ "state": 4265297559,
4158
+ "value": 18071
4159
+ },
4160
+ {
4161
+ "state": 3081999457,
4162
+ "value": 5217
4163
+ },
4164
+ {
4165
+ "state": 1239488584,
4166
+ "value": 6216
4167
+ },
4168
+ {
4169
+ "state": 1556222275,
4170
+ "value": 4419
4171
+ }
4172
+ ]
4173
+ },
4174
+ {
4175
+ "rust": [
4176
+ {
4177
+ "state": 2147483664,
4178
+ "value": 16
4179
+ },
4180
+ {
4181
+ "state": 3254780424,
4182
+ "value": 520
4183
+ },
4184
+ {
4185
+ "state": 3808445204,
4186
+ "value": 17172
4187
+ },
4188
+ {
4189
+ "state": 2978488706,
4190
+ "value": 8578
4191
+ },
4192
+ {
4193
+ "state": 3100381653,
4194
+ "value": 4565
4195
+ },
4196
+ {
4197
+ "state": 3488492396,
4198
+ "value": 11116
4199
+ }
4200
+ ],
4201
+ "source": [
4202
+ {
4203
+ "state": 2147483664,
4204
+ "value": 16
4205
+ },
4206
+ {
4207
+ "state": 3254780424,
4208
+ "value": 520
4209
+ },
4210
+ {
4211
+ "state": 3808445204,
4212
+ "value": 17172
4213
+ },
4214
+ {
4215
+ "state": 2978488706,
4216
+ "value": 8578
4217
+ },
4218
+ {
4219
+ "state": 3100381653,
4220
+ "value": 4565
4221
+ },
4222
+ {
4223
+ "state": 3488492396,
4224
+ "value": 11116
4225
+ }
4226
+ ]
4227
+ }
4228
+ ],
4229
+ "source_report": "docs/research/qvm-target-pick.json",
4230
+ "source_report_sha256": "ce028008ee15bf285bc7d74c2290d6ead15c95478c9611d871a5edcfee11e21a"
4231
+ }
scripts/analyze_rust_target_pick.py ADDED
@@ -0,0 +1,17 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ #!/usr/bin/env python3
2
+ import hashlib,json
3
+ from pathlib import Path
4
+ from rust_camera_world_support import binary,result,invoke
5
+ from analyze_qvm import write_json
6
+ from rust_camera_world_support import blob
7
+ from analyze_qvm_target_pick import entities
8
+ def encode(s):
9
+ a=s['input'];c=entities(a['count'],a['mixed']);return [a['seed'],len(c),*blob(a['needle']),*[v for e in c for v in [e['active'],*blob(None if e['text'] is None else e['text'].hex())]]]
10
+ def project(s):return {k:s[k] for k in ['result','rng_state','matches']}|{'diagnostic':None if not s['diagnostics'] else 'null' if s['input']['needle'] is None else 'missing'}
11
+
12
+ def main():
13
+ b=binary();p=Path('docs/research/qvm-target-pick.json');data=p.read_bytes();rows=[]
14
+ for s in json.loads(data)['probes']:rows.append({'source':project(s),'rust':result(b,'target',encode(s))})
15
+ sequences=[{'source':s['steps'],'rust':result(b,'rng',[s['seed'],len(s['steps'])])} for s in json.loads(data)['sequences']]
16
+ write_json(Path('docs/research/rust-target-pick.json'),{'source_report':str(p),'source_report_sha256':hashlib.sha256(data).hexdigest(),'probes':rows,'sequences':sequences,'limits':'Rust matches 168 original target selections and five six-step RNG sequences. It preserves first32-match collection, actual xorshift word transitions, single conditional draw, modulo selection and null/missing diagnostic intentions. Native initialization, message rendering and live world ownership remain open.'})
17
+ if __name__=='__main__':main()
scripts/test_rust_target_pick.py ADDED
@@ -0,0 +1,10 @@
 
 
 
 
 
 
 
 
 
 
 
1
+ import hashlib,json,unittest
2
+ from pathlib import Path
3
+ class PortTests(unittest.TestCase):
4
+ def test_all_original_cases(self):
5
+ r=json.loads(Path('docs/research/rust-target-pick.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)
6
+ self.assertEqual(len(r['sequences']),5)
7
+ for p in r['probes']+r['sequences']:self.assertEqual(p['rust'],p['source'])
8
+ def test_source_identity(self):
9
+ r=json.loads(Path('docs/research/rust-target-pick.json').read_text());self.assertEqual(hashlib.sha256(Path(r['source_report']).read_bytes()).hexdigest(),r['source_report_sha256'])
10
+ if __name__=='__main__':unittest.main()
xtask/checks.tsv CHANGED
@@ -2374,3 +2374,16 @@ report scripts/analyze_qvm_target_pick.py docs/research/qvm-target-pick.json
2374
  edge docs/research/qvm-target-pick.json scripts/test_qvm_target_pick.py
2375
  group target-pick scripts/analyze_qvm_target_pick.py
2376
  edge scripts/analyze_qvm_target_pick.py scripts/analyze_qvm_resumer_audit.py
 
 
 
 
 
 
 
 
 
 
 
 
 
 
2374
  edge docs/research/qvm-target-pick.json scripts/test_qvm_target_pick.py
2375
  group target-pick scripts/analyze_qvm_target_pick.py
2376
  edge scripts/analyze_qvm_target_pick.py scripts/analyze_qvm_resumer_audit.py
2377
+ edge Cargo.toml scripts/analyze_rust_target_pick.py
2378
+ edge Cargo.lock scripts/analyze_rust_target_pick.py
2379
+ edge crates/urt-gameplay/Cargo.toml scripts/analyze_rust_target_pick.py
2380
+ edge crates/urt-gameplay/src/lib.rs scripts/analyze_rust_target_pick.py
2381
+ edge crates/urt-gameplay/src/camera_world.rs scripts/analyze_rust_target_pick.py
2382
+ edge crates/urt-gameplay/src/bin/urt-camera-world.rs scripts/analyze_rust_target_pick.py
2383
+ edge docs/research/qvm-target-pick.json scripts/analyze_rust_target_pick.py
2384
+ group rust-target-pick scripts/analyze_rust_health_impulse.py
2385
+ group gameplay scripts/analyze_rust_target_pick.py
2386
+ report scripts/analyze_rust_target_pick.py docs/research/rust-target-pick.json
2387
+ edge docs/research/rust-target-pick.json scripts/test_rust_target_pick.py
2388
+ group rust-target-pick scripts/analyze_rust_target_pick.py
2389
+ edge scripts/analyze_rust_target_pick.py scripts/analyze_qvm_resumer_audit.py