Hugging Face's logo

nmarshall
/
urt-rs

Model card Files
xet
 Community
nmarshall commited on
Commit
c6b0240
·
1 Parent(s): 1c83d71

gameplay: port leaderboard selection

Browse files
Files changed (15) hide show
  1. crates/urt-gameplay/src/bin/urt-lifecycle.rs +47 -0
  2. crates/urt-gameplay/src/leaderboard.rs +158 -0
  3. crates/urt-gameplay/src/lib.rs +1 -0
  4. docs/ASSET_PIPELINE_TODO.md +3 -0
  5. docs/FINDINGS.md +3 -0
  6. docs/PROVISIONAL_TODO.md +3 -0
  7. docs/RESEARCH_LEDGER.md +5 -0
  8. docs/REVERSE_ENGINEERING_TODO.md +3 -0
  9. docs/research/README.md +3 -0
  10. docs/research/RUST_LEADERBOARD.md +7 -0
  11. docs/research/rust-health-impulse.json +1 -1
  12. docs/research/rust-leaderboard.json +3060 -0
  13. scripts/analyze_rust_leaderboard.py +17 -0
  14. scripts/test_rust_leaderboard.py +16 -0
  15. xtask/checks.tsv +10 -0
crates/urt-gameplay/src/bin/urt-lifecycle.rs CHANGED
@@ -361,6 +361,53 @@ fn run() -> Result<(), String> {
361
  let ranks: Vec<_> = ranks.iter().map(|v| v.to_string()).collect();
362
  println!("{{\"ranks\":[{}]}}", ranks.join(","));
363
  }
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
364
  _ => return Err("unsupported contract or arguments".into()),
365
  }
366
  Ok(())
 
361
  let ranks: Vec<_> = ranks.iter().map(|v| v.to_string()).collect();
362
  println!("{{\"ranks\":[{}]}}", ranks.join(","));
363
  }
364
+ "leader-slot" if w.len() == 1 => {
365
+ println!(
366
+ "{{\"slot\":{}}}",
367
+ urt_gameplay::leaderboard::slot(w[0] as i32)
368
+ .map(i32::from)
369
+ .unwrap_or(-1)
370
+ );
371
+ }
372
+ "leader-select" if w.len() >= 10 && w[0] <= 1280 => {
373
+ use urt_gameplay::leaderboard::{Candidate, Record, select};
374
+ let n = w[0] as usize;
375
+ if w.len() != 10 + 10 * n {
376
+ return Err("invalid leaderboard words".into());
377
+ }
378
+ let record = |v: &[u32]| Record {
379
+ ratio: f32::from_bits(v[0]),
380
+ integers: v[1..9]
381
+ .iter()
382
+ .map(|v| *v as i32)
383
+ .collect::<Vec<_>>()
384
+ .try_into()
385
+ .unwrap(),
386
+ };
387
+ let mut r = record(&w[1..10]);
388
+ let candidates: Vec<_> = w[10..]
389
+ .chunks_exact(10)
390
+ .map(|v| Candidate {
391
+ entity: v[0],
392
+ record: record(&v[1..]),
393
+ })
394
+ .collect();
395
+ let selected =
396
+ select(&mut r, &candidates).map_err(|e| format!("unsupported input: {e:?}"))?;
397
+ println!(
398
+ "{{\"selected\":{},\"record\":{{\"56\":{},\"0\":{},\"4\":{},\"8\":{},\"12\":{},\"24\":{},\"40\":{},\"60\":{},\"64\":{}}}}}",
399
+ selected.map(i64::from).unwrap_or(-1),
400
+ r.ratio.to_bits(),
401
+ r.integers[0] as u32,
402
+ r.integers[1] as u32,
403
+ r.integers[2] as u32,
404
+ r.integers[3] as u32,
405
+ r.integers[4] as u32,
406
+ r.integers[5] as u32,
407
+ r.integers[6] as u32,
408
+ r.integers[7] as u32
409
+ );
410
+ }
411
  _ => return Err("unsupported contract or arguments".into()),
412
  }
413
  Ok(())
crates/urt-gameplay/src/leaderboard.rs ADDED
@@ -0,0 +1,158 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ //! Numeric278587/284555/284610 contracts; callers enumerate live clients/keys.
2
+ #[derive(Clone, Copy, Debug, PartialEq)]
3
+ pub struct Record {
4
+ pub ratio: f32,
5
+ pub integers: [i32; 8],
6
+ }
7
+ impl Record {
8
+ pub fn sentinels() -> Self {
9
+ Self {
10
+ ratio: -1.,
11
+ integers: [-1; 8],
12
+ }
13
+ }
14
+ }
15
+ #[derive(Clone, Copy, Debug, PartialEq)]
16
+ pub struct Candidate {
17
+ pub entity: u32,
18
+ pub record: Record,
19
+ }
20
+ #[derive(Clone, Copy, Debug, PartialEq, Eq)]
21
+ pub enum SelectorError {
22
+ NonFinite,
23
+ }
24
+ pub fn slot(key: i32) -> Option<u8> {
25
+ Some(match key {
26
+ 2 => 9,
27
+ 3 => 8,
28
+ 4 => 11,
29
+ 5 => 4,
30
+ 6 => 5,
31
+ 8 => 2,
32
+ 9 => 0,
33
+ 10 => 7,
34
+ 14 => 6,
35
+ 15 => 1,
36
+ 17 => 10,
37
+ 19 => 3,
38
+ 20 => 12,
39
+ 21 => 13,
40
+ 22 => 14,
41
+ 23 => 15,
42
+ 24 => 16,
43
+ 25 => 17,
44
+ 26 => 18,
45
+ 27 => 19,
46
+ _ => return None,
47
+ })
48
+ }
49
+ /// Candidates must be in source entity/key scan order. Every metric gates
50
+ /// strictly, including inactive sentinel fields. Only nonsentinels update.
51
+ /// Reject nonfinite domains before mutation; original finite fixtures only.
52
+ pub fn select(record: &mut Record, candidates: &[Candidate]) -> Result<Option<u32>, SelectorError> {
53
+ if !record.ratio.is_finite() || candidates.iter().any(|c| !c.record.ratio.is_finite()) {
54
+ return Err(SelectorError::NonFinite);
55
+ }
56
+ let mut selected = None;
57
+ for c in candidates {
58
+ if c.record.ratio <= record.ratio
59
+ || !c
60
+ .record
61
+ .integers
62
+ .iter()
63
+ .zip(record.integers)
64
+ .all(|(a, b)| *a > b)
65
+ {
66
+ continue;
67
+ }
68
+ if record.ratio != -1. {
69
+ record.ratio = c.record.ratio;
70
+ selected = Some(c.entity);
71
+ }
72
+ for (current, new) in record.integers.iter_mut().zip(c.record.integers) {
73
+ if *current != -1 {
74
+ *current = new;
75
+ selected = Some(c.entity);
76
+ }
77
+ }
78
+ }
79
+ Ok(selected)
80
+ }
81
+ #[cfg(test)]
82
+ mod tests {
83
+ use super::*;
84
+ #[test]
85
+ fn mapping_and_twentieth_slot() {
86
+ assert_eq!(slot(27), Some(19));
87
+ assert_eq!(slot(2), Some(9));
88
+ assert_eq!(slot(-1), None);
89
+ assert_eq!(slot(28), None);
90
+ let slots: std::collections::BTreeSet<_> = (0..30).filter_map(slot).collect();
91
+ assert_eq!(slots, (0..20).collect());
92
+ }
93
+ #[test]
94
+ fn all_sentinels_keep_record_and_no_winner() {
95
+ let mut r = Record::sentinels();
96
+ let initial = r;
97
+ assert_eq!(
98
+ select(
99
+ &mut r,
100
+ &[Candidate {
101
+ entity: 5,
102
+ record: Record {
103
+ ratio: 2.,
104
+ integers: [3; 8]
105
+ }
106
+ }]
107
+ ),
108
+ Ok(None)
109
+ );
110
+ assert_eq!(r, initial);
111
+ }
112
+ #[test]
113
+ fn joint_thresholds_and_strict_scan_ties() {
114
+ let mut r = Record {
115
+ ratio: 0.,
116
+ integers: [0; 8],
117
+ };
118
+ let c = Candidate {
119
+ entity: 2,
120
+ record: Record {
121
+ ratio: 1.,
122
+ integers: [1; 8],
123
+ },
124
+ };
125
+ let crossing = Candidate {
126
+ entity: 3,
127
+ record: Record {
128
+ ratio: 2.,
129
+ integers: [1; 8],
130
+ },
131
+ };
132
+ assert_eq!(
133
+ select(&mut r, &[c, crossing, Candidate { entity: 4, ..c }]),
134
+ Ok(Some(2))
135
+ );
136
+ assert_eq!(r, c.record);
137
+ }
138
+ #[test]
139
+ fn inactive_negative_gate_and_nonfinite_rejection() {
140
+ let mut r = Record {
141
+ ratio: 0.,
142
+ ..Record::sentinels()
143
+ };
144
+ let mut c = Candidate {
145
+ entity: 1,
146
+ record: Record {
147
+ ratio: 1.,
148
+ integers: [0; 8],
149
+ },
150
+ };
151
+ c.record.integers[0] = -1;
152
+ assert_eq!(select(&mut r, &[c]), Ok(None));
153
+ let before = r;
154
+ c.record.ratio = f32::NAN;
155
+ assert_eq!(select(&mut r, &[c]), Err(SelectorError::NonFinite));
156
+ assert_eq!(r, before);
157
+ }
158
+ }
crates/urt-gameplay/src/lib.rs CHANGED
@@ -146,6 +146,7 @@ mod tests {
146
  }
147
 
148
  pub mod intercept_animation;
 
149
  pub mod method_stats;
150
  pub mod mode10;
151
  pub mod protected;
 
146
  }
147
 
148
  pub mod intercept_animation;
149
+ pub mod leaderboard;
150
  pub mod method_stats;
151
  pub mod mode10;
152
  pub mod protected;
docs/ASSET_PIPELINE_TODO.md CHANGED
@@ -985,3 +985,6 @@ Research progress: RE-775 [report](research/QVM_RECIPIENT_WIRE.md); original ass
985
 
986
 
987
  Research progress: RE-776 [report](research/RUST_RANKING.md); original assets unchanged.
 
 
 
 
985
 
986
 
987
  Research progress: RE-776 [report](research/RUST_RANKING.md); original assets unchanged.
988
+
989
+
990
+ Research progress: RE-777 [report](research/RUST_LEADERBOARD.md); original assets unchanged.
docs/FINDINGS.md CHANGED
@@ -1331,3 +1331,6 @@ RE-725–734 batch: [health, contact and Rust impulse findings](research/QVM_HEA
1331
 
1332
 
1333
  **RE-776 — Rust raw comparator and eligible rank publication primitives:** Rust raw comparator and rank words match232 comparator and48 eligible complete-ranking source fixtures without imposing Ord on non-ordering prefilters. [Evidence](research/RUST_RANKING.md).
 
 
 
 
1331
 
1332
 
1333
  **RE-776 — Rust raw comparator and eligible rank publication primitives:** Rust raw comparator and rank words match232 comparator and48 eligible complete-ranking source fixtures without imposing Ord on non-ordering prefilters. [Evidence](research/RUST_RANKING.md).
1334
+
1335
+
1336
+ **RE-777 — Rust leaderboard mapping sentinels and joint metric selector:** Rust leaderboard mapping and joint threshold selection match33 mapping and77 corrected-reentry source cases. [Evidence](research/RUST_LEADERBOARD.md).
docs/PROVISIONAL_TODO.md CHANGED
@@ -1329,3 +1329,6 @@ Research progress: RE-775 [report](research/QVM_RECIPIENT_WIRE.md); full native/
1329
 
1330
 
1331
  Research progress: RE-776 [report](research/RUST_RANKING.md); full native/platform/game scope remains open.
 
 
 
 
1329
 
1330
 
1331
  Research progress: RE-776 [report](research/RUST_RANKING.md); full native/platform/game scope remains open.
1332
+
1333
+
1334
+ Research progress: RE-777 [report](research/RUST_LEADERBOARD.md); full native/platform/game scope remains open.
docs/RESEARCH_LEDGER.md CHANGED
@@ -1538,3 +1538,8 @@ Original scoress/scoresd templates carry12 numeric fields plus a name per partic
1538
  ## 2026-10-21 — RE-776 Rust raw comparator and eligible rank publication primitives
1539
 
1540
  Rust raw comparator and rank words match232 comparator and48 eligible complete-ranking source fixtures without imposing Ord on non-ordering prefilters. Focused `cargo xtask test-group gameplay` passes (34 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 97961 bytes. Full-suite validation is deferred to the tenth batch commit. Rust gameplay crate changed; focused gameplay regenerates eleven parity contracts and scoped package tests. Full suite remains deferred until task ten.
 
 
 
 
 
 
1538
  ## 2026-10-21 — RE-776 Rust raw comparator and eligible rank publication primitives
1539
 
1540
  Rust raw comparator and rank words match232 comparator and48 eligible complete-ranking source fixtures without imposing Ord on non-ordering prefilters. Focused `cargo xtask test-group gameplay` passes (34 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 97961 bytes. Full-suite validation is deferred to the tenth batch commit. Rust gameplay crate changed; focused gameplay regenerates eleven parity contracts and scoped package tests. Full suite remains deferred until task ten.
1541
+
1542
+
1543
+ ## 2026-10-21 — RE-777 Rust leaderboard mapping sentinels and joint metric selector
1544
+
1545
+ Rust leaderboard mapping and joint threshold selection match33 mapping and77 corrected-reentry source cases. Focused `cargo xtask test-group gameplay` passes (37 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 60907 bytes. Full-suite validation is deferred to the tenth batch commit. Rust gameplay crate changed; focused gameplay regenerates twelve parity contracts and scoped package tests. Source evidence for this port uses corrected repeated-call tracing; legacy caller audit remains open.
docs/REVERSE_ENGINEERING_TODO.md CHANGED
@@ -1375,3 +1375,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
1375
 
1376
 
1377
  - [x] RE-776 Rust raw comparator and eligible rank publication primitives ([report](research/RUST_RANKING.md)).
 
 
 
 
1375
 
1376
 
1377
  - [x] RE-776 Rust raw comparator and eligible rank publication primitives ([report](research/RUST_RANKING.md)).
1378
+
1379
+
1380
+ - [x] RE-777 Rust leaderboard mapping sentinels and joint metric selector ([report](research/RUST_LEADERBOARD.md)).
docs/research/README.md CHANGED
@@ -921,3 +921,6 @@ The extension collector adds five focused tests for native tail calls, command-r
921
 
922
 
923
  [RE-776: Rust raw comparator and eligible rank publication primitives](RUST_RANKING.md).
 
 
 
 
921
 
922
 
923
  [RE-776: Rust raw comparator and eligible rank publication primitives](RUST_RANKING.md).
924
+
925
+
926
+ [RE-777: Rust leaderboard mapping sentinels and joint metric selector](RUST_LEADERBOARD.md).
docs/research/RUST_LEADERBOARD.md ADDED
@@ -0,0 +1,7 @@
 
 
 
 
 
 
 
 
1
+ # Rust leaderboard mapping sentinels and joint metric selector
2
+
3
+ RE-777. Reproduce with `python3 scripts/analyze_rust_leaderboard.py`; validate with `cargo xtask test-group gameplay`. See the [machine report](rust-leaderboard.json).
4
+
5
+ Added typed metric records, sentinel initialization,20-slot key mapping and strict joint selector over caller-ordered candidates. Four Rust unit tests cover full slot range, all-sentinel nonselection, strict ties/crossing metrics, negative inactive gates and explicit nonfinite rejection. Candidate enumeration, category orchestration, native publication and runtime state ownership remain open.
6
+
7
+ No original executable/full VM/native world collision or rendering runs. Supplied callback/native responses and fixture domains remain explicit; complete macOS/Linux Rust/Bevy/Solari gameplay remains open.
docs/research/rust-health-impulse.json CHANGED
@@ -2985,7 +2985,7 @@
2985
  "exit_code": 2
2986
  }
2987
  ],
2988
- "rust_unit_tests": 46,
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": 50,
2989
  "source_report": "docs/research/qvm-health-impulse.json",
2990
  "source_report_sha256": "625fd8064004ea6dbdf398d51d0af844d9c635ff04c0a0790886dddb6ab81e71"
2991
  }
docs/research/rust-leaderboard.json ADDED
@@ -0,0 +1,3060 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "limits": "Rust mapping matches33 source cases and joint selector77 corrected-reentry source cases. Caller enumerates valid live-client/key candidates in source order. Nonfinite ratios explicitly reject. Category orchestration/native/publication/runtime parity remain open.",
3
+ "mapping": [
4
+ {
5
+ "key": -2147483648,
6
+ "rust": {
7
+ "slot": -1
8
+ },
9
+ "source": -1
10
+ },
11
+ {
12
+ "key": -1,
13
+ "rust": {
14
+ "slot": -1
15
+ },
16
+ "source": -1
17
+ },
18
+ {
19
+ "key": 0,
20
+ "rust": {
21
+ "slot": -1
22
+ },
23
+ "source": -1
24
+ },
25
+ {
26
+ "key": 1,
27
+ "rust": {
28
+ "slot": -1
29
+ },
30
+ "source": -1
31
+ },
32
+ {
33
+ "key": 2,
34
+ "rust": {
35
+ "slot": 9
36
+ },
37
+ "source": 9
38
+ },
39
+ {
40
+ "key": 3,
41
+ "rust": {
42
+ "slot": 8
43
+ },
44
+ "source": 8
45
+ },
46
+ {
47
+ "key": 4,
48
+ "rust": {
49
+ "slot": 11
50
+ },
51
+ "source": 11
52
+ },
53
+ {
54
+ "key": 5,
55
+ "rust": {
56
+ "slot": 4
57
+ },
58
+ "source": 4
59
+ },
60
+ {
61
+ "key": 6,
62
+ "rust": {
63
+ "slot": 5
64
+ },
65
+ "source": 5
66
+ },
67
+ {
68
+ "key": 7,
69
+ "rust": {
70
+ "slot": -1
71
+ },
72
+ "source": -1
73
+ },
74
+ {
75
+ "key": 8,
76
+ "rust": {
77
+ "slot": 2
78
+ },
79
+ "source": 2
80
+ },
81
+ {
82
+ "key": 9,
83
+ "rust": {
84
+ "slot": 0
85
+ },
86
+ "source": 0
87
+ },
88
+ {
89
+ "key": 10,
90
+ "rust": {
91
+ "slot": 7
92
+ },
93
+ "source": 7
94
+ },
95
+ {
96
+ "key": 11,
97
+ "rust": {
98
+ "slot": -1
99
+ },
100
+ "source": -1
101
+ },
102
+ {
103
+ "key": 12,
104
+ "rust": {
105
+ "slot": -1
106
+ },
107
+ "source": -1
108
+ },
109
+ {
110
+ "key": 13,
111
+ "rust": {
112
+ "slot": -1
113
+ },
114
+ "source": -1
115
+ },
116
+ {
117
+ "key": 14,
118
+ "rust": {
119
+ "slot": 6
120
+ },
121
+ "source": 6
122
+ },
123
+ {
124
+ "key": 15,
125
+ "rust": {
126
+ "slot": 1
127
+ },
128
+ "source": 1
129
+ },
130
+ {
131
+ "key": 16,
132
+ "rust": {
133
+ "slot": -1
134
+ },
135
+ "source": -1
136
+ },
137
+ {
138
+ "key": 17,
139
+ "rust": {
140
+ "slot": 10
141
+ },
142
+ "source": 10
143
+ },
144
+ {
145
+ "key": 18,
146
+ "rust": {
147
+ "slot": -1
148
+ },
149
+ "source": -1
150
+ },
151
+ {
152
+ "key": 19,
153
+ "rust": {
154
+ "slot": 3
155
+ },
156
+ "source": 3
157
+ },
158
+ {
159
+ "key": 20,
160
+ "rust": {
161
+ "slot": 12
162
+ },
163
+ "source": 12
164
+ },
165
+ {
166
+ "key": 21,
167
+ "rust": {
168
+ "slot": 13
169
+ },
170
+ "source": 13
171
+ },
172
+ {
173
+ "key": 22,
174
+ "rust": {
175
+ "slot": 14
176
+ },
177
+ "source": 14
178
+ },
179
+ {
180
+ "key": 23,
181
+ "rust": {
182
+ "slot": 15
183
+ },
184
+ "source": 15
185
+ },
186
+ {
187
+ "key": 24,
188
+ "rust": {
189
+ "slot": 16
190
+ },
191
+ "source": 16
192
+ },
193
+ {
194
+ "key": 25,
195
+ "rust": {
196
+ "slot": 17
197
+ },
198
+ "source": 17
199
+ },
200
+ {
201
+ "key": 26,
202
+ "rust": {
203
+ "slot": 18
204
+ },
205
+ "source": 18
206
+ },
207
+ {
208
+ "key": 27,
209
+ "rust": {
210
+ "slot": 19
211
+ },
212
+ "source": 19
213
+ },
214
+ {
215
+ "key": 28,
216
+ "rust": {
217
+ "slot": -1
218
+ },
219
+ "source": -1
220
+ },
221
+ {
222
+ "key": 29,
223
+ "rust": {
224
+ "slot": -1
225
+ },
226
+ "source": -1
227
+ },
228
+ {
229
+ "key": 2147483647,
230
+ "rust": {
231
+ "slot": -1
232
+ },
233
+ "source": -1
234
+ }
235
+ ],
236
+ "probes": [
237
+ {
238
+ "input": {
239
+ "active": [
240
+ 0
241
+ ],
242
+ "pattern": 0
243
+ },
244
+ "rust": {
245
+ "record": {
246
+ "0": 5,
247
+ "12": 4294967295,
248
+ "24": 4294967295,
249
+ "4": 4294967295,
250
+ "40": 4294967295,
251
+ "56": 3212836864,
252
+ "60": 4294967295,
253
+ "64": 4294967295,
254
+ "8": 4294967295
255
+ },
256
+ "selected": 63
257
+ },
258
+ "source": {
259
+ "record": {
260
+ "0": 5,
261
+ "12": 4294967295,
262
+ "24": 4294967295,
263
+ "4": 4294967295,
264
+ "40": 4294967295,
265
+ "56": 3212836864,
266
+ "60": 4294967295,
267
+ "64": 4294967295,
268
+ "8": 4294967295
269
+ },
270
+ "selected": 63
271
+ }
272
+ },
273
+ {
274
+ "input": {
275
+ "active": [
276
+ 0
277
+ ],
278
+ "pattern": 1
279
+ },
280
+ "rust": {
281
+ "record": {
282
+ "0": 5,
283
+ "12": 4294967295,
284
+ "24": 4294967295,
285
+ "4": 4294967295,
286
+ "40": 4294967295,
287
+ "56": 3212836864,
288
+ "60": 4294967295,
289
+ "64": 4294967295,
290
+ "8": 4294967295
291
+ },
292
+ "selected": 0
293
+ },
294
+ "source": {
295
+ "record": {
296
+ "0": 5,
297
+ "12": 4294967295,
298
+ "24": 4294967295,
299
+ "4": 4294967295,
300
+ "40": 4294967295,
301
+ "56": 3212836864,
302
+ "60": 4294967295,
303
+ "64": 4294967295,
304
+ "8": 4294967295
305
+ },
306
+ "selected": 0
307
+ }
308
+ },
309
+ {
310
+ "input": {
311
+ "active": [
312
+ 0
313
+ ],
314
+ "pattern": 2
315
+ },
316
+ "rust": {
317
+ "record": {
318
+ "0": 1,
319
+ "12": 4294967295,
320
+ "24": 4294967295,
321
+ "4": 4294967295,
322
+ "40": 4294967295,
323
+ "56": 3212836864,
324
+ "60": 4294967295,
325
+ "64": 4294967295,
326
+ "8": 4294967295
327
+ },
328
+ "selected": 0
329
+ },
330
+ "source": {
331
+ "record": {
332
+ "0": 1,
333
+ "12": 4294967295,
334
+ "24": 4294967295,
335
+ "4": 4294967295,
336
+ "40": 4294967295,
337
+ "56": 3212836864,
338
+ "60": 4294967295,
339
+ "64": 4294967295,
340
+ "8": 4294967295
341
+ },
342
+ "selected": 0
343
+ }
344
+ },
345
+ {
346
+ "input": {
347
+ "active": [
348
+ 0
349
+ ],
350
+ "pattern": 3
351
+ },
352
+ "rust": {
353
+ "record": {
354
+ "0": 4,
355
+ "12": 4294967295,
356
+ "24": 4294967295,
357
+ "4": 4294967295,
358
+ "40": 4294967295,
359
+ "56": 3212836864,
360
+ "60": 4294967295,
361
+ "64": 4294967295,
362
+ "8": 4294967295
363
+ },
364
+ "selected": 5
365
+ },
366
+ "source": {
367
+ "record": {
368
+ "0": 4,
369
+ "12": 4294967295,
370
+ "24": 4294967295,
371
+ "4": 4294967295,
372
+ "40": 4294967295,
373
+ "56": 3212836864,
374
+ "60": 4294967295,
375
+ "64": 4294967295,
376
+ "8": 4294967295
377
+ },
378
+ "selected": 5
379
+ }
380
+ },
381
+ {
382
+ "input": {
383
+ "active": [
384
+ 0
385
+ ],
386
+ "pattern": 4
387
+ },
388
+ "rust": {
389
+ "record": {
390
+ "0": 5,
391
+ "12": 4294967295,
392
+ "24": 4294967295,
393
+ "4": 4294967295,
394
+ "40": 4294967295,
395
+ "56": 3212836864,
396
+ "60": 4294967295,
397
+ "64": 4294967295,
398
+ "8": 4294967295
399
+ },
400
+ "selected": 63
401
+ },
402
+ "source": {
403
+ "record": {
404
+ "0": 5,
405
+ "12": 4294967295,
406
+ "24": 4294967295,
407
+ "4": 4294967295,
408
+ "40": 4294967295,
409
+ "56": 3212836864,
410
+ "60": 4294967295,
411
+ "64": 4294967295,
412
+ "8": 4294967295
413
+ },
414
+ "selected": 63
415
+ }
416
+ },
417
+ {
418
+ "input": {
419
+ "active": [
420
+ 0
421
+ ],
422
+ "pattern": 5
423
+ },
424
+ "rust": {
425
+ "record": {
426
+ "0": 5,
427
+ "12": 4294967295,
428
+ "24": 4294967295,
429
+ "4": 4294967295,
430
+ "40": 4294967295,
431
+ "56": 3212836864,
432
+ "60": 4294967295,
433
+ "64": 4294967295,
434
+ "8": 4294967295
435
+ },
436
+ "selected": 0
437
+ },
438
+ "source": {
439
+ "record": {
440
+ "0": 5,
441
+ "12": 4294967295,
442
+ "24": 4294967295,
443
+ "4": 4294967295,
444
+ "40": 4294967295,
445
+ "56": 3212836864,
446
+ "60": 4294967295,
447
+ "64": 4294967295,
448
+ "8": 4294967295
449
+ },
450
+ "selected": 0
451
+ }
452
+ },
453
+ {
454
+ "input": {
455
+ "active": [
456
+ 0
457
+ ],
458
+ "pattern": 6
459
+ },
460
+ "rust": {
461
+ "record": {
462
+ "0": 2147483647,
463
+ "12": 4294967295,
464
+ "24": 4294967295,
465
+ "4": 4294967295,
466
+ "40": 4294967295,
467
+ "56": 3212836864,
468
+ "60": 4294967295,
469
+ "64": 4294967295,
470
+ "8": 4294967295
471
+ },
472
+ "selected": 0
473
+ },
474
+ "source": {
475
+ "record": {
476
+ "0": 2147483647,
477
+ "12": 4294967295,
478
+ "24": 4294967295,
479
+ "4": 4294967295,
480
+ "40": 4294967295,
481
+ "56": 3212836864,
482
+ "60": 4294967295,
483
+ "64": 4294967295,
484
+ "8": 4294967295
485
+ },
486
+ "selected": 0
487
+ }
488
+ },
489
+ {
490
+ "input": {
491
+ "active": [
492
+ 4
493
+ ],
494
+ "pattern": 0
495
+ },
496
+ "rust": {
497
+ "record": {
498
+ "0": 4294967295,
499
+ "12": 4294967295,
500
+ "24": 4294967295,
501
+ "4": 5,
502
+ "40": 4294967295,
503
+ "56": 3212836864,
504
+ "60": 4294967295,
505
+ "64": 4294967295,
506
+ "8": 4294967295
507
+ },
508
+ "selected": 63
509
+ },
510
+ "source": {
511
+ "record": {
512
+ "0": 4294967295,
513
+ "12": 4294967295,
514
+ "24": 4294967295,
515
+ "4": 5,
516
+ "40": 4294967295,
517
+ "56": 3212836864,
518
+ "60": 4294967295,
519
+ "64": 4294967295,
520
+ "8": 4294967295
521
+ },
522
+ "selected": 63
523
+ }
524
+ },
525
+ {
526
+ "input": {
527
+ "active": [
528
+ 4
529
+ ],
530
+ "pattern": 1
531
+ },
532
+ "rust": {
533
+ "record": {
534
+ "0": 4294967295,
535
+ "12": 4294967295,
536
+ "24": 4294967295,
537
+ "4": 5,
538
+ "40": 4294967295,
539
+ "56": 3212836864,
540
+ "60": 4294967295,
541
+ "64": 4294967295,
542
+ "8": 4294967295
543
+ },
544
+ "selected": 0
545
+ },
546
+ "source": {
547
+ "record": {
548
+ "0": 4294967295,
549
+ "12": 4294967295,
550
+ "24": 4294967295,
551
+ "4": 5,
552
+ "40": 4294967295,
553
+ "56": 3212836864,
554
+ "60": 4294967295,
555
+ "64": 4294967295,
556
+ "8": 4294967295
557
+ },
558
+ "selected": 0
559
+ }
560
+ },
561
+ {
562
+ "input": {
563
+ "active": [
564
+ 4
565
+ ],
566
+ "pattern": 2
567
+ },
568
+ "rust": {
569
+ "record": {
570
+ "0": 4294967295,
571
+ "12": 4294967295,
572
+ "24": 4294967295,
573
+ "4": 1,
574
+ "40": 4294967295,
575
+ "56": 3212836864,
576
+ "60": 4294967295,
577
+ "64": 4294967295,
578
+ "8": 4294967295
579
+ },
580
+ "selected": 0
581
+ },
582
+ "source": {
583
+ "record": {
584
+ "0": 4294967295,
585
+ "12": 4294967295,
586
+ "24": 4294967295,
587
+ "4": 1,
588
+ "40": 4294967295,
589
+ "56": 3212836864,
590
+ "60": 4294967295,
591
+ "64": 4294967295,
592
+ "8": 4294967295
593
+ },
594
+ "selected": 0
595
+ }
596
+ },
597
+ {
598
+ "input": {
599
+ "active": [
600
+ 4
601
+ ],
602
+ "pattern": 3
603
+ },
604
+ "rust": {
605
+ "record": {
606
+ "0": 4294967295,
607
+ "12": 4294967295,
608
+ "24": 4294967295,
609
+ "4": 4,
610
+ "40": 4294967295,
611
+ "56": 3212836864,
612
+ "60": 4294967295,
613
+ "64": 4294967295,
614
+ "8": 4294967295
615
+ },
616
+ "selected": 5
617
+ },
618
+ "source": {
619
+ "record": {
620
+ "0": 4294967295,
621
+ "12": 4294967295,
622
+ "24": 4294967295,
623
+ "4": 4,
624
+ "40": 4294967295,
625
+ "56": 3212836864,
626
+ "60": 4294967295,
627
+ "64": 4294967295,
628
+ "8": 4294967295
629
+ },
630
+ "selected": 5
631
+ }
632
+ },
633
+ {
634
+ "input": {
635
+ "active": [
636
+ 4
637
+ ],
638
+ "pattern": 4
639
+ },
640
+ "rust": {
641
+ "record": {
642
+ "0": 4294967295,
643
+ "12": 4294967295,
644
+ "24": 4294967295,
645
+ "4": 5,
646
+ "40": 4294967295,
647
+ "56": 3212836864,
648
+ "60": 4294967295,
649
+ "64": 4294967295,
650
+ "8": 4294967295
651
+ },
652
+ "selected": 63
653
+ },
654
+ "source": {
655
+ "record": {
656
+ "0": 4294967295,
657
+ "12": 4294967295,
658
+ "24": 4294967295,
659
+ "4": 5,
660
+ "40": 4294967295,
661
+ "56": 3212836864,
662
+ "60": 4294967295,
663
+ "64": 4294967295,
664
+ "8": 4294967295
665
+ },
666
+ "selected": 63
667
+ }
668
+ },
669
+ {
670
+ "input": {
671
+ "active": [
672
+ 4
673
+ ],
674
+ "pattern": 5
675
+ },
676
+ "rust": {
677
+ "record": {
678
+ "0": 4294967295,
679
+ "12": 4294967295,
680
+ "24": 4294967295,
681
+ "4": 5,
682
+ "40": 4294967295,
683
+ "56": 3212836864,
684
+ "60": 4294967295,
685
+ "64": 4294967295,
686
+ "8": 4294967295
687
+ },
688
+ "selected": 63
689
+ },
690
+ "source": {
691
+ "record": {
692
+ "0": 4294967295,
693
+ "12": 4294967295,
694
+ "24": 4294967295,
695
+ "4": 5,
696
+ "40": 4294967295,
697
+ "56": 3212836864,
698
+ "60": 4294967295,
699
+ "64": 4294967295,
700
+ "8": 4294967295
701
+ },
702
+ "selected": 63
703
+ }
704
+ },
705
+ {
706
+ "input": {
707
+ "active": [
708
+ 4
709
+ ],
710
+ "pattern": 6
711
+ },
712
+ "rust": {
713
+ "record": {
714
+ "0": 4294967295,
715
+ "12": 4294967295,
716
+ "24": 4294967295,
717
+ "4": 2147483647,
718
+ "40": 4294967295,
719
+ "56": 3212836864,
720
+ "60": 4294967295,
721
+ "64": 4294967295,
722
+ "8": 4294967295
723
+ },
724
+ "selected": 0
725
+ },
726
+ "source": {
727
+ "record": {
728
+ "0": 4294967295,
729
+ "12": 4294967295,
730
+ "24": 4294967295,
731
+ "4": 2147483647,
732
+ "40": 4294967295,
733
+ "56": 3212836864,
734
+ "60": 4294967295,
735
+ "64": 4294967295,
736
+ "8": 4294967295
737
+ },
738
+ "selected": 0
739
+ }
740
+ },
741
+ {
742
+ "input": {
743
+ "active": [
744
+ 8
745
+ ],
746
+ "pattern": 0
747
+ },
748
+ "rust": {
749
+ "record": {
750
+ "0": 4294967295,
751
+ "12": 4294967295,
752
+ "24": 4294967295,
753
+ "4": 4294967295,
754
+ "40": 4294967295,
755
+ "56": 3212836864,
756
+ "60": 4294967295,
757
+ "64": 4294967295,
758
+ "8": 5
759
+ },
760
+ "selected": 63
761
+ },
762
+ "source": {
763
+ "record": {
764
+ "0": 4294967295,
765
+ "12": 4294967295,
766
+ "24": 4294967295,
767
+ "4": 4294967295,
768
+ "40": 4294967295,
769
+ "56": 3212836864,
770
+ "60": 4294967295,
771
+ "64": 4294967295,
772
+ "8": 5
773
+ },
774
+ "selected": 63
775
+ }
776
+ },
777
+ {
778
+ "input": {
779
+ "active": [
780
+ 8
781
+ ],
782
+ "pattern": 1
783
+ },
784
+ "rust": {
785
+ "record": {
786
+ "0": 4294967295,
787
+ "12": 4294967295,
788
+ "24": 4294967295,
789
+ "4": 4294967295,
790
+ "40": 4294967295,
791
+ "56": 3212836864,
792
+ "60": 4294967295,
793
+ "64": 4294967295,
794
+ "8": 5
795
+ },
796
+ "selected": 0
797
+ },
798
+ "source": {
799
+ "record": {
800
+ "0": 4294967295,
801
+ "12": 4294967295,
802
+ "24": 4294967295,
803
+ "4": 4294967295,
804
+ "40": 4294967295,
805
+ "56": 3212836864,
806
+ "60": 4294967295,
807
+ "64": 4294967295,
808
+ "8": 5
809
+ },
810
+ "selected": 0
811
+ }
812
+ },
813
+ {
814
+ "input": {
815
+ "active": [
816
+ 8
817
+ ],
818
+ "pattern": 2
819
+ },
820
+ "rust": {
821
+ "record": {
822
+ "0": 4294967295,
823
+ "12": 4294967295,
824
+ "24": 4294967295,
825
+ "4": 4294967295,
826
+ "40": 4294967295,
827
+ "56": 3212836864,
828
+ "60": 4294967295,
829
+ "64": 4294967295,
830
+ "8": 1
831
+ },
832
+ "selected": 0
833
+ },
834
+ "source": {
835
+ "record": {
836
+ "0": 4294967295,
837
+ "12": 4294967295,
838
+ "24": 4294967295,
839
+ "4": 4294967295,
840
+ "40": 4294967295,
841
+ "56": 3212836864,
842
+ "60": 4294967295,
843
+ "64": 4294967295,
844
+ "8": 1
845
+ },
846
+ "selected": 0
847
+ }
848
+ },
849
+ {
850
+ "input": {
851
+ "active": [
852
+ 8
853
+ ],
854
+ "pattern": 3
855
+ },
856
+ "rust": {
857
+ "record": {
858
+ "0": 4294967295,
859
+ "12": 4294967295,
860
+ "24": 4294967295,
861
+ "4": 4294967295,
862
+ "40": 4294967295,
863
+ "56": 3212836864,
864
+ "60": 4294967295,
865
+ "64": 4294967295,
866
+ "8": 4
867
+ },
868
+ "selected": 5
869
+ },
870
+ "source": {
871
+ "record": {
872
+ "0": 4294967295,
873
+ "12": 4294967295,
874
+ "24": 4294967295,
875
+ "4": 4294967295,
876
+ "40": 4294967295,
877
+ "56": 3212836864,
878
+ "60": 4294967295,
879
+ "64": 4294967295,
880
+ "8": 4
881
+ },
882
+ "selected": 5
883
+ }
884
+ },
885
+ {
886
+ "input": {
887
+ "active": [
888
+ 8
889
+ ],
890
+ "pattern": 4
891
+ },
892
+ "rust": {
893
+ "record": {
894
+ "0": 4294967295,
895
+ "12": 4294967295,
896
+ "24": 4294967295,
897
+ "4": 4294967295,
898
+ "40": 4294967295,
899
+ "56": 3212836864,
900
+ "60": 4294967295,
901
+ "64": 4294967295,
902
+ "8": 5
903
+ },
904
+ "selected": 63
905
+ },
906
+ "source": {
907
+ "record": {
908
+ "0": 4294967295,
909
+ "12": 4294967295,
910
+ "24": 4294967295,
911
+ "4": 4294967295,
912
+ "40": 4294967295,
913
+ "56": 3212836864,
914
+ "60": 4294967295,
915
+ "64": 4294967295,
916
+ "8": 5
917
+ },
918
+ "selected": 63
919
+ }
920
+ },
921
+ {
922
+ "input": {
923
+ "active": [
924
+ 8
925
+ ],
926
+ "pattern": 5
927
+ },
928
+ "rust": {
929
+ "record": {
930
+ "0": 4294967295,
931
+ "12": 4294967295,
932
+ "24": 4294967295,
933
+ "4": 4294967295,
934
+ "40": 4294967295,
935
+ "56": 3212836864,
936
+ "60": 4294967295,
937
+ "64": 4294967295,
938
+ "8": 4
939
+ },
940
+ "selected": 63
941
+ },
942
+ "source": {
943
+ "record": {
944
+ "0": 4294967295,
945
+ "12": 4294967295,
946
+ "24": 4294967295,
947
+ "4": 4294967295,
948
+ "40": 4294967295,
949
+ "56": 3212836864,
950
+ "60": 4294967295,
951
+ "64": 4294967295,
952
+ "8": 4
953
+ },
954
+ "selected": 63
955
+ }
956
+ },
957
+ {
958
+ "input": {
959
+ "active": [
960
+ 8
961
+ ],
962
+ "pattern": 6
963
+ },
964
+ "rust": {
965
+ "record": {
966
+ "0": 4294967295,
967
+ "12": 4294967295,
968
+ "24": 4294967295,
969
+ "4": 4294967295,
970
+ "40": 4294967295,
971
+ "56": 3212836864,
972
+ "60": 4294967295,
973
+ "64": 4294967295,
974
+ "8": 2147483647
975
+ },
976
+ "selected": 0
977
+ },
978
+ "source": {
979
+ "record": {
980
+ "0": 4294967295,
981
+ "12": 4294967295,
982
+ "24": 4294967295,
983
+ "4": 4294967295,
984
+ "40": 4294967295,
985
+ "56": 3212836864,
986
+ "60": 4294967295,
987
+ "64": 4294967295,
988
+ "8": 2147483647
989
+ },
990
+ "selected": 0
991
+ }
992
+ },
993
+ {
994
+ "input": {
995
+ "active": [
996
+ 12
997
+ ],
998
+ "pattern": 0
999
+ },
1000
+ "rust": {
1001
+ "record": {
1002
+ "0": 4294967295,
1003
+ "12": 5,
1004
+ "24": 4294967295,
1005
+ "4": 4294967295,
1006
+ "40": 4294967295,
1007
+ "56": 3212836864,
1008
+ "60": 4294967295,
1009
+ "64": 4294967295,
1010
+ "8": 4294967295
1011
+ },
1012
+ "selected": 63
1013
+ },
1014
+ "source": {
1015
+ "record": {
1016
+ "0": 4294967295,
1017
+ "12": 5,
1018
+ "24": 4294967295,
1019
+ "4": 4294967295,
1020
+ "40": 4294967295,
1021
+ "56": 3212836864,
1022
+ "60": 4294967295,
1023
+ "64": 4294967295,
1024
+ "8": 4294967295
1025
+ },
1026
+ "selected": 63
1027
+ }
1028
+ },
1029
+ {
1030
+ "input": {
1031
+ "active": [
1032
+ 12
1033
+ ],
1034
+ "pattern": 1
1035
+ },
1036
+ "rust": {
1037
+ "record": {
1038
+ "0": 4294967295,
1039
+ "12": 5,
1040
+ "24": 4294967295,
1041
+ "4": 4294967295,
1042
+ "40": 4294967295,
1043
+ "56": 3212836864,
1044
+ "60": 4294967295,
1045
+ "64": 4294967295,
1046
+ "8": 4294967295
1047
+ },
1048
+ "selected": 0
1049
+ },
1050
+ "source": {
1051
+ "record": {
1052
+ "0": 4294967295,
1053
+ "12": 5,
1054
+ "24": 4294967295,
1055
+ "4": 4294967295,
1056
+ "40": 4294967295,
1057
+ "56": 3212836864,
1058
+ "60": 4294967295,
1059
+ "64": 4294967295,
1060
+ "8": 4294967295
1061
+ },
1062
+ "selected": 0
1063
+ }
1064
+ },
1065
+ {
1066
+ "input": {
1067
+ "active": [
1068
+ 12
1069
+ ],
1070
+ "pattern": 2
1071
+ },
1072
+ "rust": {
1073
+ "record": {
1074
+ "0": 4294967295,
1075
+ "12": 1,
1076
+ "24": 4294967295,
1077
+ "4": 4294967295,
1078
+ "40": 4294967295,
1079
+ "56": 3212836864,
1080
+ "60": 4294967295,
1081
+ "64": 4294967295,
1082
+ "8": 4294967295
1083
+ },
1084
+ "selected": 0
1085
+ },
1086
+ "source": {
1087
+ "record": {
1088
+ "0": 4294967295,
1089
+ "12": 1,
1090
+ "24": 4294967295,
1091
+ "4": 4294967295,
1092
+ "40": 4294967295,
1093
+ "56": 3212836864,
1094
+ "60": 4294967295,
1095
+ "64": 4294967295,
1096
+ "8": 4294967295
1097
+ },
1098
+ "selected": 0
1099
+ }
1100
+ },
1101
+ {
1102
+ "input": {
1103
+ "active": [
1104
+ 12
1105
+ ],
1106
+ "pattern": 3
1107
+ },
1108
+ "rust": {
1109
+ "record": {
1110
+ "0": 4294967295,
1111
+ "12": 4,
1112
+ "24": 4294967295,
1113
+ "4": 4294967295,
1114
+ "40": 4294967295,
1115
+ "56": 3212836864,
1116
+ "60": 4294967295,
1117
+ "64": 4294967295,
1118
+ "8": 4294967295
1119
+ },
1120
+ "selected": 5
1121
+ },
1122
+ "source": {
1123
+ "record": {
1124
+ "0": 4294967295,
1125
+ "12": 4,
1126
+ "24": 4294967295,
1127
+ "4": 4294967295,
1128
+ "40": 4294967295,
1129
+ "56": 3212836864,
1130
+ "60": 4294967295,
1131
+ "64": 4294967295,
1132
+ "8": 4294967295
1133
+ },
1134
+ "selected": 5
1135
+ }
1136
+ },
1137
+ {
1138
+ "input": {
1139
+ "active": [
1140
+ 12
1141
+ ],
1142
+ "pattern": 4
1143
+ },
1144
+ "rust": {
1145
+ "record": {
1146
+ "0": 4294967295,
1147
+ "12": 5,
1148
+ "24": 4294967295,
1149
+ "4": 4294967295,
1150
+ "40": 4294967295,
1151
+ "56": 3212836864,
1152
+ "60": 4294967295,
1153
+ "64": 4294967295,
1154
+ "8": 4294967295
1155
+ },
1156
+ "selected": 63
1157
+ },
1158
+ "source": {
1159
+ "record": {
1160
+ "0": 4294967295,
1161
+ "12": 5,
1162
+ "24": 4294967295,
1163
+ "4": 4294967295,
1164
+ "40": 4294967295,
1165
+ "56": 3212836864,
1166
+ "60": 4294967295,
1167
+ "64": 4294967295,
1168
+ "8": 4294967295
1169
+ },
1170
+ "selected": 63
1171
+ }
1172
+ },
1173
+ {
1174
+ "input": {
1175
+ "active": [
1176
+ 12
1177
+ ],
1178
+ "pattern": 5
1179
+ },
1180
+ "rust": {
1181
+ "record": {
1182
+ "0": 4294967295,
1183
+ "12": 5,
1184
+ "24": 4294967295,
1185
+ "4": 4294967295,
1186
+ "40": 4294967295,
1187
+ "56": 3212836864,
1188
+ "60": 4294967295,
1189
+ "64": 4294967295,
1190
+ "8": 4294967295
1191
+ },
1192
+ "selected": 63
1193
+ },
1194
+ "source": {
1195
+ "record": {
1196
+ "0": 4294967295,
1197
+ "12": 5,
1198
+ "24": 4294967295,
1199
+ "4": 4294967295,
1200
+ "40": 4294967295,
1201
+ "56": 3212836864,
1202
+ "60": 4294967295,
1203
+ "64": 4294967295,
1204
+ "8": 4294967295
1205
+ },
1206
+ "selected": 63
1207
+ }
1208
+ },
1209
+ {
1210
+ "input": {
1211
+ "active": [
1212
+ 12
1213
+ ],
1214
+ "pattern": 6
1215
+ },
1216
+ "rust": {
1217
+ "record": {
1218
+ "0": 4294967295,
1219
+ "12": 2147483647,
1220
+ "24": 4294967295,
1221
+ "4": 4294967295,
1222
+ "40": 4294967295,
1223
+ "56": 3212836864,
1224
+ "60": 4294967295,
1225
+ "64": 4294967295,
1226
+ "8": 4294967295
1227
+ },
1228
+ "selected": 0
1229
+ },
1230
+ "source": {
1231
+ "record": {
1232
+ "0": 4294967295,
1233
+ "12": 2147483647,
1234
+ "24": 4294967295,
1235
+ "4": 4294967295,
1236
+ "40": 4294967295,
1237
+ "56": 3212836864,
1238
+ "60": 4294967295,
1239
+ "64": 4294967295,
1240
+ "8": 4294967295
1241
+ },
1242
+ "selected": 0
1243
+ }
1244
+ },
1245
+ {
1246
+ "input": {
1247
+ "active": [
1248
+ 24
1249
+ ],
1250
+ "pattern": 0
1251
+ },
1252
+ "rust": {
1253
+ "record": {
1254
+ "0": 4294967295,
1255
+ "12": 4294967295,
1256
+ "24": 5,
1257
+ "4": 4294967295,
1258
+ "40": 4294967295,
1259
+ "56": 3212836864,
1260
+ "60": 4294967295,
1261
+ "64": 4294967295,
1262
+ "8": 4294967295
1263
+ },
1264
+ "selected": 63
1265
+ },
1266
+ "source": {
1267
+ "record": {
1268
+ "0": 4294967295,
1269
+ "12": 4294967295,
1270
+ "24": 5,
1271
+ "4": 4294967295,
1272
+ "40": 4294967295,
1273
+ "56": 3212836864,
1274
+ "60": 4294967295,
1275
+ "64": 4294967295,
1276
+ "8": 4294967295
1277
+ },
1278
+ "selected": 63
1279
+ }
1280
+ },
1281
+ {
1282
+ "input": {
1283
+ "active": [
1284
+ 24
1285
+ ],
1286
+ "pattern": 1
1287
+ },
1288
+ "rust": {
1289
+ "record": {
1290
+ "0": 4294967295,
1291
+ "12": 4294967295,
1292
+ "24": 5,
1293
+ "4": 4294967295,
1294
+ "40": 4294967295,
1295
+ "56": 3212836864,
1296
+ "60": 4294967295,
1297
+ "64": 4294967295,
1298
+ "8": 4294967295
1299
+ },
1300
+ "selected": 0
1301
+ },
1302
+ "source": {
1303
+ "record": {
1304
+ "0": 4294967295,
1305
+ "12": 4294967295,
1306
+ "24": 5,
1307
+ "4": 4294967295,
1308
+ "40": 4294967295,
1309
+ "56": 3212836864,
1310
+ "60": 4294967295,
1311
+ "64": 4294967295,
1312
+ "8": 4294967295
1313
+ },
1314
+ "selected": 0
1315
+ }
1316
+ },
1317
+ {
1318
+ "input": {
1319
+ "active": [
1320
+ 24
1321
+ ],
1322
+ "pattern": 2
1323
+ },
1324
+ "rust": {
1325
+ "record": {
1326
+ "0": 4294967295,
1327
+ "12": 4294967295,
1328
+ "24": 1,
1329
+ "4": 4294967295,
1330
+ "40": 4294967295,
1331
+ "56": 3212836864,
1332
+ "60": 4294967295,
1333
+ "64": 4294967295,
1334
+ "8": 4294967295
1335
+ },
1336
+ "selected": 0
1337
+ },
1338
+ "source": {
1339
+ "record": {
1340
+ "0": 4294967295,
1341
+ "12": 4294967295,
1342
+ "24": 1,
1343
+ "4": 4294967295,
1344
+ "40": 4294967295,
1345
+ "56": 3212836864,
1346
+ "60": 4294967295,
1347
+ "64": 4294967295,
1348
+ "8": 4294967295
1349
+ },
1350
+ "selected": 0
1351
+ }
1352
+ },
1353
+ {
1354
+ "input": {
1355
+ "active": [
1356
+ 24
1357
+ ],
1358
+ "pattern": 3
1359
+ },
1360
+ "rust": {
1361
+ "record": {
1362
+ "0": 4294967295,
1363
+ "12": 4294967295,
1364
+ "24": 4,
1365
+ "4": 4294967295,
1366
+ "40": 4294967295,
1367
+ "56": 3212836864,
1368
+ "60": 4294967295,
1369
+ "64": 4294967295,
1370
+ "8": 4294967295
1371
+ },
1372
+ "selected": 5
1373
+ },
1374
+ "source": {
1375
+ "record": {
1376
+ "0": 4294967295,
1377
+ "12": 4294967295,
1378
+ "24": 4,
1379
+ "4": 4294967295,
1380
+ "40": 4294967295,
1381
+ "56": 3212836864,
1382
+ "60": 4294967295,
1383
+ "64": 4294967295,
1384
+ "8": 4294967295
1385
+ },
1386
+ "selected": 5
1387
+ }
1388
+ },
1389
+ {
1390
+ "input": {
1391
+ "active": [
1392
+ 24
1393
+ ],
1394
+ "pattern": 4
1395
+ },
1396
+ "rust": {
1397
+ "record": {
1398
+ "0": 4294967295,
1399
+ "12": 4294967295,
1400
+ "24": 5,
1401
+ "4": 4294967295,
1402
+ "40": 4294967295,
1403
+ "56": 3212836864,
1404
+ "60": 4294967295,
1405
+ "64": 4294967295,
1406
+ "8": 4294967295
1407
+ },
1408
+ "selected": 63
1409
+ },
1410
+ "source": {
1411
+ "record": {
1412
+ "0": 4294967295,
1413
+ "12": 4294967295,
1414
+ "24": 5,
1415
+ "4": 4294967295,
1416
+ "40": 4294967295,
1417
+ "56": 3212836864,
1418
+ "60": 4294967295,
1419
+ "64": 4294967295,
1420
+ "8": 4294967295
1421
+ },
1422
+ "selected": 63
1423
+ }
1424
+ },
1425
+ {
1426
+ "input": {
1427
+ "active": [
1428
+ 24
1429
+ ],
1430
+ "pattern": 5
1431
+ },
1432
+ "rust": {
1433
+ "record": {
1434
+ "0": 4294967295,
1435
+ "12": 4294967295,
1436
+ "24": 5,
1437
+ "4": 4294967295,
1438
+ "40": 4294967295,
1439
+ "56": 3212836864,
1440
+ "60": 4294967295,
1441
+ "64": 4294967295,
1442
+ "8": 4294967295
1443
+ },
1444
+ "selected": 63
1445
+ },
1446
+ "source": {
1447
+ "record": {
1448
+ "0": 4294967295,
1449
+ "12": 4294967295,
1450
+ "24": 5,
1451
+ "4": 4294967295,
1452
+ "40": 4294967295,
1453
+ "56": 3212836864,
1454
+ "60": 4294967295,
1455
+ "64": 4294967295,
1456
+ "8": 4294967295
1457
+ },
1458
+ "selected": 63
1459
+ }
1460
+ },
1461
+ {
1462
+ "input": {
1463
+ "active": [
1464
+ 24
1465
+ ],
1466
+ "pattern": 6
1467
+ },
1468
+ "rust": {
1469
+ "record": {
1470
+ "0": 4294967295,
1471
+ "12": 4294967295,
1472
+ "24": 2147483647,
1473
+ "4": 4294967295,
1474
+ "40": 4294967295,
1475
+ "56": 3212836864,
1476
+ "60": 4294967295,
1477
+ "64": 4294967295,
1478
+ "8": 4294967295
1479
+ },
1480
+ "selected": 0
1481
+ },
1482
+ "source": {
1483
+ "record": {
1484
+ "0": 4294967295,
1485
+ "12": 4294967295,
1486
+ "24": 2147483647,
1487
+ "4": 4294967295,
1488
+ "40": 4294967295,
1489
+ "56": 3212836864,
1490
+ "60": 4294967295,
1491
+ "64": 4294967295,
1492
+ "8": 4294967295
1493
+ },
1494
+ "selected": 0
1495
+ }
1496
+ },
1497
+ {
1498
+ "input": {
1499
+ "active": [
1500
+ 40
1501
+ ],
1502
+ "pattern": 0
1503
+ },
1504
+ "rust": {
1505
+ "record": {
1506
+ "0": 4294967295,
1507
+ "12": 4294967295,
1508
+ "24": 4294967295,
1509
+ "4": 4294967295,
1510
+ "40": 5,
1511
+ "56": 3212836864,
1512
+ "60": 4294967295,
1513
+ "64": 4294967295,
1514
+ "8": 4294967295
1515
+ },
1516
+ "selected": 63
1517
+ },
1518
+ "source": {
1519
+ "record": {
1520
+ "0": 4294967295,
1521
+ "12": 4294967295,
1522
+ "24": 4294967295,
1523
+ "4": 4294967295,
1524
+ "40": 5,
1525
+ "56": 3212836864,
1526
+ "60": 4294967295,
1527
+ "64": 4294967295,
1528
+ "8": 4294967295
1529
+ },
1530
+ "selected": 63
1531
+ }
1532
+ },
1533
+ {
1534
+ "input": {
1535
+ "active": [
1536
+ 40
1537
+ ],
1538
+ "pattern": 1
1539
+ },
1540
+ "rust": {
1541
+ "record": {
1542
+ "0": 4294967295,
1543
+ "12": 4294967295,
1544
+ "24": 4294967295,
1545
+ "4": 4294967295,
1546
+ "40": 5,
1547
+ "56": 3212836864,
1548
+ "60": 4294967295,
1549
+ "64": 4294967295,
1550
+ "8": 4294967295
1551
+ },
1552
+ "selected": 0
1553
+ },
1554
+ "source": {
1555
+ "record": {
1556
+ "0": 4294967295,
1557
+ "12": 4294967295,
1558
+ "24": 4294967295,
1559
+ "4": 4294967295,
1560
+ "40": 5,
1561
+ "56": 3212836864,
1562
+ "60": 4294967295,
1563
+ "64": 4294967295,
1564
+ "8": 4294967295
1565
+ },
1566
+ "selected": 0
1567
+ }
1568
+ },
1569
+ {
1570
+ "input": {
1571
+ "active": [
1572
+ 40
1573
+ ],
1574
+ "pattern": 2
1575
+ },
1576
+ "rust": {
1577
+ "record": {
1578
+ "0": 4294967295,
1579
+ "12": 4294967295,
1580
+ "24": 4294967295,
1581
+ "4": 4294967295,
1582
+ "40": 1,
1583
+ "56": 3212836864,
1584
+ "60": 4294967295,
1585
+ "64": 4294967295,
1586
+ "8": 4294967295
1587
+ },
1588
+ "selected": 0
1589
+ },
1590
+ "source": {
1591
+ "record": {
1592
+ "0": 4294967295,
1593
+ "12": 4294967295,
1594
+ "24": 4294967295,
1595
+ "4": 4294967295,
1596
+ "40": 1,
1597
+ "56": 3212836864,
1598
+ "60": 4294967295,
1599
+ "64": 4294967295,
1600
+ "8": 4294967295
1601
+ },
1602
+ "selected": 0
1603
+ }
1604
+ },
1605
+ {
1606
+ "input": {
1607
+ "active": [
1608
+ 40
1609
+ ],
1610
+ "pattern": 3
1611
+ },
1612
+ "rust": {
1613
+ "record": {
1614
+ "0": 4294967295,
1615
+ "12": 4294967295,
1616
+ "24": 4294967295,
1617
+ "4": 4294967295,
1618
+ "40": 4,
1619
+ "56": 3212836864,
1620
+ "60": 4294967295,
1621
+ "64": 4294967295,
1622
+ "8": 4294967295
1623
+ },
1624
+ "selected": 5
1625
+ },
1626
+ "source": {
1627
+ "record": {
1628
+ "0": 4294967295,
1629
+ "12": 4294967295,
1630
+ "24": 4294967295,
1631
+ "4": 4294967295,
1632
+ "40": 4,
1633
+ "56": 3212836864,
1634
+ "60": 4294967295,
1635
+ "64": 4294967295,
1636
+ "8": 4294967295
1637
+ },
1638
+ "selected": 5
1639
+ }
1640
+ },
1641
+ {
1642
+ "input": {
1643
+ "active": [
1644
+ 40
1645
+ ],
1646
+ "pattern": 4
1647
+ },
1648
+ "rust": {
1649
+ "record": {
1650
+ "0": 4294967295,
1651
+ "12": 4294967295,
1652
+ "24": 4294967295,
1653
+ "4": 4294967295,
1654
+ "40": 5,
1655
+ "56": 3212836864,
1656
+ "60": 4294967295,
1657
+ "64": 4294967295,
1658
+ "8": 4294967295
1659
+ },
1660
+ "selected": 63
1661
+ },
1662
+ "source": {
1663
+ "record": {
1664
+ "0": 4294967295,
1665
+ "12": 4294967295,
1666
+ "24": 4294967295,
1667
+ "4": 4294967295,
1668
+ "40": 5,
1669
+ "56": 3212836864,
1670
+ "60": 4294967295,
1671
+ "64": 4294967295,
1672
+ "8": 4294967295
1673
+ },
1674
+ "selected": 63
1675
+ }
1676
+ },
1677
+ {
1678
+ "input": {
1679
+ "active": [
1680
+ 40
1681
+ ],
1682
+ "pattern": 5
1683
+ },
1684
+ "rust": {
1685
+ "record": {
1686
+ "0": 4294967295,
1687
+ "12": 4294967295,
1688
+ "24": 4294967295,
1689
+ "4": 4294967295,
1690
+ "40": 5,
1691
+ "56": 3212836864,
1692
+ "60": 4294967295,
1693
+ "64": 4294967295,
1694
+ "8": 4294967295
1695
+ },
1696
+ "selected": 63
1697
+ },
1698
+ "source": {
1699
+ "record": {
1700
+ "0": 4294967295,
1701
+ "12": 4294967295,
1702
+ "24": 4294967295,
1703
+ "4": 4294967295,
1704
+ "40": 5,
1705
+ "56": 3212836864,
1706
+ "60": 4294967295,
1707
+ "64": 4294967295,
1708
+ "8": 4294967295
1709
+ },
1710
+ "selected": 63
1711
+ }
1712
+ },
1713
+ {
1714
+ "input": {
1715
+ "active": [
1716
+ 40
1717
+ ],
1718
+ "pattern": 6
1719
+ },
1720
+ "rust": {
1721
+ "record": {
1722
+ "0": 4294967295,
1723
+ "12": 4294967295,
1724
+ "24": 4294967295,
1725
+ "4": 4294967295,
1726
+ "40": 2147483647,
1727
+ "56": 3212836864,
1728
+ "60": 4294967295,
1729
+ "64": 4294967295,
1730
+ "8": 4294967295
1731
+ },
1732
+ "selected": 0
1733
+ },
1734
+ "source": {
1735
+ "record": {
1736
+ "0": 4294967295,
1737
+ "12": 4294967295,
1738
+ "24": 4294967295,
1739
+ "4": 4294967295,
1740
+ "40": 2147483647,
1741
+ "56": 3212836864,
1742
+ "60": 4294967295,
1743
+ "64": 4294967295,
1744
+ "8": 4294967295
1745
+ },
1746
+ "selected": 0
1747
+ }
1748
+ },
1749
+ {
1750
+ "input": {
1751
+ "active": [
1752
+ 56
1753
+ ],
1754
+ "pattern": 0
1755
+ },
1756
+ "rust": {
1757
+ "record": {
1758
+ "0": 4294967295,
1759
+ "12": 4294967295,
1760
+ "24": 4294967295,
1761
+ "4": 4294967295,
1762
+ "40": 4294967295,
1763
+ "56": 1084227584,
1764
+ "60": 4294967295,
1765
+ "64": 4294967295,
1766
+ "8": 4294967295
1767
+ },
1768
+ "selected": 63
1769
+ },
1770
+ "source": {
1771
+ "record": {
1772
+ "0": 4294967295,
1773
+ "12": 4294967295,
1774
+ "24": 4294967295,
1775
+ "4": 4294967295,
1776
+ "40": 4294967295,
1777
+ "56": 1084227584,
1778
+ "60": 4294967295,
1779
+ "64": 4294967295,
1780
+ "8": 4294967295
1781
+ },
1782
+ "selected": 63
1783
+ }
1784
+ },
1785
+ {
1786
+ "input": {
1787
+ "active": [
1788
+ 56
1789
+ ],
1790
+ "pattern": 1
1791
+ },
1792
+ "rust": {
1793
+ "record": {
1794
+ "0": 4294967295,
1795
+ "12": 4294967295,
1796
+ "24": 4294967295,
1797
+ "4": 4294967295,
1798
+ "40": 4294967295,
1799
+ "56": 1084227584,
1800
+ "60": 4294967295,
1801
+ "64": 4294967295,
1802
+ "8": 4294967295
1803
+ },
1804
+ "selected": 0
1805
+ },
1806
+ "source": {
1807
+ "record": {
1808
+ "0": 4294967295,
1809
+ "12": 4294967295,
1810
+ "24": 4294967295,
1811
+ "4": 4294967295,
1812
+ "40": 4294967295,
1813
+ "56": 1084227584,
1814
+ "60": 4294967295,
1815
+ "64": 4294967295,
1816
+ "8": 4294967295
1817
+ },
1818
+ "selected": 0
1819
+ }
1820
+ },
1821
+ {
1822
+ "input": {
1823
+ "active": [
1824
+ 56
1825
+ ],
1826
+ "pattern": 2
1827
+ },
1828
+ "rust": {
1829
+ "record": {
1830
+ "0": 4294967295,
1831
+ "12": 4294967295,
1832
+ "24": 4294967295,
1833
+ "4": 4294967295,
1834
+ "40": 4294967295,
1835
+ "56": 1065353216,
1836
+ "60": 4294967295,
1837
+ "64": 4294967295,
1838
+ "8": 4294967295
1839
+ },
1840
+ "selected": 0
1841
+ },
1842
+ "source": {
1843
+ "record": {
1844
+ "0": 4294967295,
1845
+ "12": 4294967295,
1846
+ "24": 4294967295,
1847
+ "4": 4294967295,
1848
+ "40": 4294967295,
1849
+ "56": 1065353216,
1850
+ "60": 4294967295,
1851
+ "64": 4294967295,
1852
+ "8": 4294967295
1853
+ },
1854
+ "selected": 0
1855
+ }
1856
+ },
1857
+ {
1858
+ "input": {
1859
+ "active": [
1860
+ 56
1861
+ ],
1862
+ "pattern": 3
1863
+ },
1864
+ "rust": {
1865
+ "record": {
1866
+ "0": 4294967295,
1867
+ "12": 4294967295,
1868
+ "24": 4294967295,
1869
+ "4": 4294967295,
1870
+ "40": 4294967295,
1871
+ "56": 1082130432,
1872
+ "60": 4294967295,
1873
+ "64": 4294967295,
1874
+ "8": 4294967295
1875
+ },
1876
+ "selected": 5
1877
+ },
1878
+ "source": {
1879
+ "record": {
1880
+ "0": 4294967295,
1881
+ "12": 4294967295,
1882
+ "24": 4294967295,
1883
+ "4": 4294967295,
1884
+ "40": 4294967295,
1885
+ "56": 1082130432,
1886
+ "60": 4294967295,
1887
+ "64": 4294967295,
1888
+ "8": 4294967295
1889
+ },
1890
+ "selected": 5
1891
+ }
1892
+ },
1893
+ {
1894
+ "input": {
1895
+ "active": [
1896
+ 56
1897
+ ],
1898
+ "pattern": 4
1899
+ },
1900
+ "rust": {
1901
+ "record": {
1902
+ "0": 4294967295,
1903
+ "12": 4294967295,
1904
+ "24": 4294967295,
1905
+ "4": 4294967295,
1906
+ "40": 4294967295,
1907
+ "56": 0,
1908
+ "60": 4294967295,
1909
+ "64": 4294967295,
1910
+ "8": 4294967295
1911
+ },
1912
+ "selected": -1
1913
+ },
1914
+ "source": {
1915
+ "record": {
1916
+ "0": 4294967295,
1917
+ "12": 4294967295,
1918
+ "24": 4294967295,
1919
+ "4": 4294967295,
1920
+ "40": 4294967295,
1921
+ "56": 0,
1922
+ "60": 4294967295,
1923
+ "64": 4294967295,
1924
+ "8": 4294967295
1925
+ },
1926
+ "selected": -1
1927
+ }
1928
+ },
1929
+ {
1930
+ "input": {
1931
+ "active": [
1932
+ 56
1933
+ ],
1934
+ "pattern": 5
1935
+ },
1936
+ "rust": {
1937
+ "record": {
1938
+ "0": 4294967295,
1939
+ "12": 4294967295,
1940
+ "24": 4294967295,
1941
+ "4": 4294967295,
1942
+ "40": 4294967295,
1943
+ "56": 1084227584,
1944
+ "60": 4294967295,
1945
+ "64": 4294967295,
1946
+ "8": 4294967295
1947
+ },
1948
+ "selected": 63
1949
+ },
1950
+ "source": {
1951
+ "record": {
1952
+ "0": 4294967295,
1953
+ "12": 4294967295,
1954
+ "24": 4294967295,
1955
+ "4": 4294967295,
1956
+ "40": 4294967295,
1957
+ "56": 1084227584,
1958
+ "60": 4294967295,
1959
+ "64": 4294967295,
1960
+ "8": 4294967295
1961
+ },
1962
+ "selected": 63
1963
+ }
1964
+ },
1965
+ {
1966
+ "input": {
1967
+ "active": [
1968
+ 56
1969
+ ],
1970
+ "pattern": 6
1971
+ },
1972
+ "rust": {
1973
+ "record": {
1974
+ "0": 4294967295,
1975
+ "12": 4294967295,
1976
+ "24": 4294967295,
1977
+ "4": 4294967295,
1978
+ "40": 4294967295,
1979
+ "56": 1120796672,
1980
+ "60": 4294967295,
1981
+ "64": 4294967295,
1982
+ "8": 4294967295
1983
+ },
1984
+ "selected": 63
1985
+ },
1986
+ "source": {
1987
+ "record": {
1988
+ "0": 4294967295,
1989
+ "12": 4294967295,
1990
+ "24": 4294967295,
1991
+ "4": 4294967295,
1992
+ "40": 4294967295,
1993
+ "56": 1120796672,
1994
+ "60": 4294967295,
1995
+ "64": 4294967295,
1996
+ "8": 4294967295
1997
+ },
1998
+ "selected": 63
1999
+ }
2000
+ },
2001
+ {
2002
+ "input": {
2003
+ "active": [
2004
+ 60
2005
+ ],
2006
+ "pattern": 0
2007
+ },
2008
+ "rust": {
2009
+ "record": {
2010
+ "0": 4294967295,
2011
+ "12": 4294967295,
2012
+ "24": 4294967295,
2013
+ "4": 4294967295,
2014
+ "40": 4294967295,
2015
+ "56": 3212836864,
2016
+ "60": 5,
2017
+ "64": 4294967295,
2018
+ "8": 4294967295
2019
+ },
2020
+ "selected": 63
2021
+ },
2022
+ "source": {
2023
+ "record": {
2024
+ "0": 4294967295,
2025
+ "12": 4294967295,
2026
+ "24": 4294967295,
2027
+ "4": 4294967295,
2028
+ "40": 4294967295,
2029
+ "56": 3212836864,
2030
+ "60": 5,
2031
+ "64": 4294967295,
2032
+ "8": 4294967295
2033
+ },
2034
+ "selected": 63
2035
+ }
2036
+ },
2037
+ {
2038
+ "input": {
2039
+ "active": [
2040
+ 60
2041
+ ],
2042
+ "pattern": 1
2043
+ },
2044
+ "rust": {
2045
+ "record": {
2046
+ "0": 4294967295,
2047
+ "12": 4294967295,
2048
+ "24": 4294967295,
2049
+ "4": 4294967295,
2050
+ "40": 4294967295,
2051
+ "56": 3212836864,
2052
+ "60": 5,
2053
+ "64": 4294967295,
2054
+ "8": 4294967295
2055
+ },
2056
+ "selected": 0
2057
+ },
2058
+ "source": {
2059
+ "record": {
2060
+ "0": 4294967295,
2061
+ "12": 4294967295,
2062
+ "24": 4294967295,
2063
+ "4": 4294967295,
2064
+ "40": 4294967295,
2065
+ "56": 3212836864,
2066
+ "60": 5,
2067
+ "64": 4294967295,
2068
+ "8": 4294967295
2069
+ },
2070
+ "selected": 0
2071
+ }
2072
+ },
2073
+ {
2074
+ "input": {
2075
+ "active": [
2076
+ 60
2077
+ ],
2078
+ "pattern": 2
2079
+ },
2080
+ "rust": {
2081
+ "record": {
2082
+ "0": 4294967295,
2083
+ "12": 4294967295,
2084
+ "24": 4294967295,
2085
+ "4": 4294967295,
2086
+ "40": 4294967295,
2087
+ "56": 3212836864,
2088
+ "60": 1,
2089
+ "64": 4294967295,
2090
+ "8": 4294967295
2091
+ },
2092
+ "selected": 0
2093
+ },
2094
+ "source": {
2095
+ "record": {
2096
+ "0": 4294967295,
2097
+ "12": 4294967295,
2098
+ "24": 4294967295,
2099
+ "4": 4294967295,
2100
+ "40": 4294967295,
2101
+ "56": 3212836864,
2102
+ "60": 1,
2103
+ "64": 4294967295,
2104
+ "8": 4294967295
2105
+ },
2106
+ "selected": 0
2107
+ }
2108
+ },
2109
+ {
2110
+ "input": {
2111
+ "active": [
2112
+ 60
2113
+ ],
2114
+ "pattern": 3
2115
+ },
2116
+ "rust": {
2117
+ "record": {
2118
+ "0": 4294967295,
2119
+ "12": 4294967295,
2120
+ "24": 4294967295,
2121
+ "4": 4294967295,
2122
+ "40": 4294967295,
2123
+ "56": 3212836864,
2124
+ "60": 4,
2125
+ "64": 4294967295,
2126
+ "8": 4294967295
2127
+ },
2128
+ "selected": 5
2129
+ },
2130
+ "source": {
2131
+ "record": {
2132
+ "0": 4294967295,
2133
+ "12": 4294967295,
2134
+ "24": 4294967295,
2135
+ "4": 4294967295,
2136
+ "40": 4294967295,
2137
+ "56": 3212836864,
2138
+ "60": 4,
2139
+ "64": 4294967295,
2140
+ "8": 4294967295
2141
+ },
2142
+ "selected": 5
2143
+ }
2144
+ },
2145
+ {
2146
+ "input": {
2147
+ "active": [
2148
+ 60
2149
+ ],
2150
+ "pattern": 4
2151
+ },
2152
+ "rust": {
2153
+ "record": {
2154
+ "0": 4294967295,
2155
+ "12": 4294967295,
2156
+ "24": 4294967295,
2157
+ "4": 4294967295,
2158
+ "40": 4294967295,
2159
+ "56": 3212836864,
2160
+ "60": 5,
2161
+ "64": 4294967295,
2162
+ "8": 4294967295
2163
+ },
2164
+ "selected": 63
2165
+ },
2166
+ "source": {
2167
+ "record": {
2168
+ "0": 4294967295,
2169
+ "12": 4294967295,
2170
+ "24": 4294967295,
2171
+ "4": 4294967295,
2172
+ "40": 4294967295,
2173
+ "56": 3212836864,
2174
+ "60": 5,
2175
+ "64": 4294967295,
2176
+ "8": 4294967295
2177
+ },
2178
+ "selected": 63
2179
+ }
2180
+ },
2181
+ {
2182
+ "input": {
2183
+ "active": [
2184
+ 60
2185
+ ],
2186
+ "pattern": 5
2187
+ },
2188
+ "rust": {
2189
+ "record": {
2190
+ "0": 4294967295,
2191
+ "12": 4294967295,
2192
+ "24": 4294967295,
2193
+ "4": 4294967295,
2194
+ "40": 4294967295,
2195
+ "56": 3212836864,
2196
+ "60": 5,
2197
+ "64": 4294967295,
2198
+ "8": 4294967295
2199
+ },
2200
+ "selected": 63
2201
+ },
2202
+ "source": {
2203
+ "record": {
2204
+ "0": 4294967295,
2205
+ "12": 4294967295,
2206
+ "24": 4294967295,
2207
+ "4": 4294967295,
2208
+ "40": 4294967295,
2209
+ "56": 3212836864,
2210
+ "60": 5,
2211
+ "64": 4294967295,
2212
+ "8": 4294967295
2213
+ },
2214
+ "selected": 63
2215
+ }
2216
+ },
2217
+ {
2218
+ "input": {
2219
+ "active": [
2220
+ 60
2221
+ ],
2222
+ "pattern": 6
2223
+ },
2224
+ "rust": {
2225
+ "record": {
2226
+ "0": 4294967295,
2227
+ "12": 4294967295,
2228
+ "24": 4294967295,
2229
+ "4": 4294967295,
2230
+ "40": 4294967295,
2231
+ "56": 3212836864,
2232
+ "60": 2147483647,
2233
+ "64": 4294967295,
2234
+ "8": 4294967295
2235
+ },
2236
+ "selected": 0
2237
+ },
2238
+ "source": {
2239
+ "record": {
2240
+ "0": 4294967295,
2241
+ "12": 4294967295,
2242
+ "24": 4294967295,
2243
+ "4": 4294967295,
2244
+ "40": 4294967295,
2245
+ "56": 3212836864,
2246
+ "60": 2147483647,
2247
+ "64": 4294967295,
2248
+ "8": 4294967295
2249
+ },
2250
+ "selected": 0
2251
+ }
2252
+ },
2253
+ {
2254
+ "input": {
2255
+ "active": [
2256
+ 64
2257
+ ],
2258
+ "pattern": 0
2259
+ },
2260
+ "rust": {
2261
+ "record": {
2262
+ "0": 4294967295,
2263
+ "12": 4294967295,
2264
+ "24": 4294967295,
2265
+ "4": 4294967295,
2266
+ "40": 4294967295,
2267
+ "56": 3212836864,
2268
+ "60": 4294967295,
2269
+ "64": 5,
2270
+ "8": 4294967295
2271
+ },
2272
+ "selected": 63
2273
+ },
2274
+ "source": {
2275
+ "record": {
2276
+ "0": 4294967295,
2277
+ "12": 4294967295,
2278
+ "24": 4294967295,
2279
+ "4": 4294967295,
2280
+ "40": 4294967295,
2281
+ "56": 3212836864,
2282
+ "60": 4294967295,
2283
+ "64": 5,
2284
+ "8": 4294967295
2285
+ },
2286
+ "selected": 63
2287
+ }
2288
+ },
2289
+ {
2290
+ "input": {
2291
+ "active": [
2292
+ 64
2293
+ ],
2294
+ "pattern": 1
2295
+ },
2296
+ "rust": {
2297
+ "record": {
2298
+ "0": 4294967295,
2299
+ "12": 4294967295,
2300
+ "24": 4294967295,
2301
+ "4": 4294967295,
2302
+ "40": 4294967295,
2303
+ "56": 3212836864,
2304
+ "60": 4294967295,
2305
+ "64": 5,
2306
+ "8": 4294967295
2307
+ },
2308
+ "selected": 0
2309
+ },
2310
+ "source": {
2311
+ "record": {
2312
+ "0": 4294967295,
2313
+ "12": 4294967295,
2314
+ "24": 4294967295,
2315
+ "4": 4294967295,
2316
+ "40": 4294967295,
2317
+ "56": 3212836864,
2318
+ "60": 4294967295,
2319
+ "64": 5,
2320
+ "8": 4294967295
2321
+ },
2322
+ "selected": 0
2323
+ }
2324
+ },
2325
+ {
2326
+ "input": {
2327
+ "active": [
2328
+ 64
2329
+ ],
2330
+ "pattern": 2
2331
+ },
2332
+ "rust": {
2333
+ "record": {
2334
+ "0": 4294967295,
2335
+ "12": 4294967295,
2336
+ "24": 4294967295,
2337
+ "4": 4294967295,
2338
+ "40": 4294967295,
2339
+ "56": 3212836864,
2340
+ "60": 4294967295,
2341
+ "64": 1,
2342
+ "8": 4294967295
2343
+ },
2344
+ "selected": 0
2345
+ },
2346
+ "source": {
2347
+ "record": {
2348
+ "0": 4294967295,
2349
+ "12": 4294967295,
2350
+ "24": 4294967295,
2351
+ "4": 4294967295,
2352
+ "40": 4294967295,
2353
+ "56": 3212836864,
2354
+ "60": 4294967295,
2355
+ "64": 1,
2356
+ "8": 4294967295
2357
+ },
2358
+ "selected": 0
2359
+ }
2360
+ },
2361
+ {
2362
+ "input": {
2363
+ "active": [
2364
+ 64
2365
+ ],
2366
+ "pattern": 3
2367
+ },
2368
+ "rust": {
2369
+ "record": {
2370
+ "0": 4294967295,
2371
+ "12": 4294967295,
2372
+ "24": 4294967295,
2373
+ "4": 4294967295,
2374
+ "40": 4294967295,
2375
+ "56": 3212836864,
2376
+ "60": 4294967295,
2377
+ "64": 4,
2378
+ "8": 4294967295
2379
+ },
2380
+ "selected": 5
2381
+ },
2382
+ "source": {
2383
+ "record": {
2384
+ "0": 4294967295,
2385
+ "12": 4294967295,
2386
+ "24": 4294967295,
2387
+ "4": 4294967295,
2388
+ "40": 4294967295,
2389
+ "56": 3212836864,
2390
+ "60": 4294967295,
2391
+ "64": 4,
2392
+ "8": 4294967295
2393
+ },
2394
+ "selected": 5
2395
+ }
2396
+ },
2397
+ {
2398
+ "input": {
2399
+ "active": [
2400
+ 64
2401
+ ],
2402
+ "pattern": 4
2403
+ },
2404
+ "rust": {
2405
+ "record": {
2406
+ "0": 4294967295,
2407
+ "12": 4294967295,
2408
+ "24": 4294967295,
2409
+ "4": 4294967295,
2410
+ "40": 4294967295,
2411
+ "56": 3212836864,
2412
+ "60": 4294967295,
2413
+ "64": 5,
2414
+ "8": 4294967295
2415
+ },
2416
+ "selected": 63
2417
+ },
2418
+ "source": {
2419
+ "record": {
2420
+ "0": 4294967295,
2421
+ "12": 4294967295,
2422
+ "24": 4294967295,
2423
+ "4": 4294967295,
2424
+ "40": 4294967295,
2425
+ "56": 3212836864,
2426
+ "60": 4294967295,
2427
+ "64": 5,
2428
+ "8": 4294967295
2429
+ },
2430
+ "selected": 63
2431
+ }
2432
+ },
2433
+ {
2434
+ "input": {
2435
+ "active": [
2436
+ 64
2437
+ ],
2438
+ "pattern": 5
2439
+ },
2440
+ "rust": {
2441
+ "record": {
2442
+ "0": 4294967295,
2443
+ "12": 4294967295,
2444
+ "24": 4294967295,
2445
+ "4": 4294967295,
2446
+ "40": 4294967295,
2447
+ "56": 3212836864,
2448
+ "60": 4294967295,
2449
+ "64": 5,
2450
+ "8": 4294967295
2451
+ },
2452
+ "selected": 63
2453
+ },
2454
+ "source": {
2455
+ "record": {
2456
+ "0": 4294967295,
2457
+ "12": 4294967295,
2458
+ "24": 4294967295,
2459
+ "4": 4294967295,
2460
+ "40": 4294967295,
2461
+ "56": 3212836864,
2462
+ "60": 4294967295,
2463
+ "64": 5,
2464
+ "8": 4294967295
2465
+ },
2466
+ "selected": 63
2467
+ }
2468
+ },
2469
+ {
2470
+ "input": {
2471
+ "active": [
2472
+ 64
2473
+ ],
2474
+ "pattern": 6
2475
+ },
2476
+ "rust": {
2477
+ "record": {
2478
+ "0": 4294967295,
2479
+ "12": 4294967295,
2480
+ "24": 4294967295,
2481
+ "4": 4294967295,
2482
+ "40": 4294967295,
2483
+ "56": 3212836864,
2484
+ "60": 4294967295,
2485
+ "64": 2147483647,
2486
+ "8": 4294967295
2487
+ },
2488
+ "selected": 0
2489
+ },
2490
+ "source": {
2491
+ "record": {
2492
+ "0": 4294967295,
2493
+ "12": 4294967295,
2494
+ "24": 4294967295,
2495
+ "4": 4294967295,
2496
+ "40": 4294967295,
2497
+ "56": 3212836864,
2498
+ "60": 4294967295,
2499
+ "64": 2147483647,
2500
+ "8": 4294967295
2501
+ },
2502
+ "selected": 0
2503
+ }
2504
+ },
2505
+ {
2506
+ "input": {
2507
+ "active": [
2508
+ 0,
2509
+ 4,
2510
+ 8,
2511
+ 12,
2512
+ 24,
2513
+ 40,
2514
+ 56,
2515
+ 60,
2516
+ 64
2517
+ ],
2518
+ "pattern": 0
2519
+ },
2520
+ "rust": {
2521
+ "record": {
2522
+ "0": 5,
2523
+ "12": 5,
2524
+ "24": 5,
2525
+ "4": 5,
2526
+ "40": 5,
2527
+ "56": 1084227584,
2528
+ "60": 5,
2529
+ "64": 5,
2530
+ "8": 5
2531
+ },
2532
+ "selected": 63
2533
+ },
2534
+ "source": {
2535
+ "record": {
2536
+ "0": 5,
2537
+ "12": 5,
2538
+ "24": 5,
2539
+ "4": 5,
2540
+ "40": 5,
2541
+ "56": 1084227584,
2542
+ "60": 5,
2543
+ "64": 5,
2544
+ "8": 5
2545
+ },
2546
+ "selected": 63
2547
+ }
2548
+ },
2549
+ {
2550
+ "input": {
2551
+ "active": [
2552
+ 0,
2553
+ 4,
2554
+ 8,
2555
+ 12,
2556
+ 24,
2557
+ 40,
2558
+ 56,
2559
+ 60,
2560
+ 64
2561
+ ],
2562
+ "pattern": 1
2563
+ },
2564
+ "rust": {
2565
+ "record": {
2566
+ "0": 5,
2567
+ "12": 5,
2568
+ "24": 5,
2569
+ "4": 5,
2570
+ "40": 5,
2571
+ "56": 1084227584,
2572
+ "60": 5,
2573
+ "64": 5,
2574
+ "8": 5
2575
+ },
2576
+ "selected": 0
2577
+ },
2578
+ "source": {
2579
+ "record": {
2580
+ "0": 5,
2581
+ "12": 5,
2582
+ "24": 5,
2583
+ "4": 5,
2584
+ "40": 5,
2585
+ "56": 1084227584,
2586
+ "60": 5,
2587
+ "64": 5,
2588
+ "8": 5
2589
+ },
2590
+ "selected": 0
2591
+ }
2592
+ },
2593
+ {
2594
+ "input": {
2595
+ "active": [
2596
+ 0,
2597
+ 4,
2598
+ 8,
2599
+ 12,
2600
+ 24,
2601
+ 40,
2602
+ 56,
2603
+ 60,
2604
+ 64
2605
+ ],
2606
+ "pattern": 2
2607
+ },
2608
+ "rust": {
2609
+ "record": {
2610
+ "0": 1,
2611
+ "12": 1,
2612
+ "24": 1,
2613
+ "4": 1,
2614
+ "40": 1,
2615
+ "56": 1065353216,
2616
+ "60": 1,
2617
+ "64": 1,
2618
+ "8": 1
2619
+ },
2620
+ "selected": 0
2621
+ },
2622
+ "source": {
2623
+ "record": {
2624
+ "0": 1,
2625
+ "12": 1,
2626
+ "24": 1,
2627
+ "4": 1,
2628
+ "40": 1,
2629
+ "56": 1065353216,
2630
+ "60": 1,
2631
+ "64": 1,
2632
+ "8": 1
2633
+ },
2634
+ "selected": 0
2635
+ }
2636
+ },
2637
+ {
2638
+ "input": {
2639
+ "active": [
2640
+ 0,
2641
+ 4,
2642
+ 8,
2643
+ 12,
2644
+ 24,
2645
+ 40,
2646
+ 56,
2647
+ 60,
2648
+ 64
2649
+ ],
2650
+ "pattern": 3
2651
+ },
2652
+ "rust": {
2653
+ "record": {
2654
+ "0": 4,
2655
+ "12": 4,
2656
+ "24": 4,
2657
+ "4": 4,
2658
+ "40": 4,
2659
+ "56": 1082130432,
2660
+ "60": 4,
2661
+ "64": 4,
2662
+ "8": 4
2663
+ },
2664
+ "selected": 5
2665
+ },
2666
+ "source": {
2667
+ "record": {
2668
+ "0": 4,
2669
+ "12": 4,
2670
+ "24": 4,
2671
+ "4": 4,
2672
+ "40": 4,
2673
+ "56": 1082130432,
2674
+ "60": 4,
2675
+ "64": 4,
2676
+ "8": 4
2677
+ },
2678
+ "selected": 5
2679
+ }
2680
+ },
2681
+ {
2682
+ "input": {
2683
+ "active": [
2684
+ 0,
2685
+ 4,
2686
+ 8,
2687
+ 12,
2688
+ 24,
2689
+ 40,
2690
+ 56,
2691
+ 60,
2692
+ 64
2693
+ ],
2694
+ "pattern": 4
2695
+ },
2696
+ "rust": {
2697
+ "record": {
2698
+ "0": 0,
2699
+ "12": 0,
2700
+ "24": 0,
2701
+ "4": 0,
2702
+ "40": 0,
2703
+ "56": 0,
2704
+ "60": 0,
2705
+ "64": 0,
2706
+ "8": 0
2707
+ },
2708
+ "selected": -1
2709
+ },
2710
+ "source": {
2711
+ "record": {
2712
+ "0": 0,
2713
+ "12": 0,
2714
+ "24": 0,
2715
+ "4": 0,
2716
+ "40": 0,
2717
+ "56": 0,
2718
+ "60": 0,
2719
+ "64": 0,
2720
+ "8": 0
2721
+ },
2722
+ "selected": -1
2723
+ }
2724
+ },
2725
+ {
2726
+ "input": {
2727
+ "active": [
2728
+ 0,
2729
+ 4,
2730
+ 8,
2731
+ 12,
2732
+ 24,
2733
+ 40,
2734
+ 56,
2735
+ 60,
2736
+ 64
2737
+ ],
2738
+ "pattern": 5
2739
+ },
2740
+ "rust": {
2741
+ "record": {
2742
+ "0": 5,
2743
+ "12": 1,
2744
+ "24": 1,
2745
+ "4": 1,
2746
+ "40": 1,
2747
+ "56": 1065353216,
2748
+ "60": 1,
2749
+ "64": 1,
2750
+ "8": 1
2751
+ },
2752
+ "selected": 0
2753
+ },
2754
+ "source": {
2755
+ "record": {
2756
+ "0": 5,
2757
+ "12": 1,
2758
+ "24": 1,
2759
+ "4": 1,
2760
+ "40": 1,
2761
+ "56": 1065353216,
2762
+ "60": 1,
2763
+ "64": 1,
2764
+ "8": 1
2765
+ },
2766
+ "selected": 0
2767
+ }
2768
+ },
2769
+ {
2770
+ "input": {
2771
+ "active": [
2772
+ 0,
2773
+ 4,
2774
+ 8,
2775
+ 12,
2776
+ 24,
2777
+ 40,
2778
+ 56,
2779
+ 60,
2780
+ 64
2781
+ ],
2782
+ "pattern": 6
2783
+ },
2784
+ "rust": {
2785
+ "record": {
2786
+ "0": 2147483647,
2787
+ "12": 2147483647,
2788
+ "24": 2147483647,
2789
+ "4": 2147483647,
2790
+ "40": 2147483647,
2791
+ "56": 1120403456,
2792
+ "60": 2147483647,
2793
+ "64": 2147483647,
2794
+ "8": 2147483647
2795
+ },
2796
+ "selected": 0
2797
+ },
2798
+ "source": {
2799
+ "record": {
2800
+ "0": 2147483647,
2801
+ "12": 2147483647,
2802
+ "24": 2147483647,
2803
+ "4": 2147483647,
2804
+ "40": 2147483647,
2805
+ "56": 1120403456,
2806
+ "60": 2147483647,
2807
+ "64": 2147483647,
2808
+ "8": 2147483647
2809
+ },
2810
+ "selected": 0
2811
+ }
2812
+ },
2813
+ {
2814
+ "input": {
2815
+ "active": [],
2816
+ "pattern": 0
2817
+ },
2818
+ "rust": {
2819
+ "record": {
2820
+ "0": 4294967295,
2821
+ "12": 4294967295,
2822
+ "24": 4294967295,
2823
+ "4": 4294967295,
2824
+ "40": 4294967295,
2825
+ "56": 3212836864,
2826
+ "60": 4294967295,
2827
+ "64": 4294967295,
2828
+ "8": 4294967295
2829
+ },
2830
+ "selected": -1
2831
+ },
2832
+ "source": {
2833
+ "record": {
2834
+ "0": 4294967295,
2835
+ "12": 4294967295,
2836
+ "24": 4294967295,
2837
+ "4": 4294967295,
2838
+ "40": 4294967295,
2839
+ "56": 3212836864,
2840
+ "60": 4294967295,
2841
+ "64": 4294967295,
2842
+ "8": 4294967295
2843
+ },
2844
+ "selected": -1
2845
+ }
2846
+ },
2847
+ {
2848
+ "input": {
2849
+ "active": [],
2850
+ "pattern": 1
2851
+ },
2852
+ "rust": {
2853
+ "record": {
2854
+ "0": 4294967295,
2855
+ "12": 4294967295,
2856
+ "24": 4294967295,
2857
+ "4": 4294967295,
2858
+ "40": 4294967295,
2859
+ "56": 3212836864,
2860
+ "60": 4294967295,
2861
+ "64": 4294967295,
2862
+ "8": 4294967295
2863
+ },
2864
+ "selected": -1
2865
+ },
2866
+ "source": {
2867
+ "record": {
2868
+ "0": 4294967295,
2869
+ "12": 4294967295,
2870
+ "24": 4294967295,
2871
+ "4": 4294967295,
2872
+ "40": 4294967295,
2873
+ "56": 3212836864,
2874
+ "60": 4294967295,
2875
+ "64": 4294967295,
2876
+ "8": 4294967295
2877
+ },
2878
+ "selected": -1
2879
+ }
2880
+ },
2881
+ {
2882
+ "input": {
2883
+ "active": [],
2884
+ "pattern": 2
2885
+ },
2886
+ "rust": {
2887
+ "record": {
2888
+ "0": 4294967295,
2889
+ "12": 4294967295,
2890
+ "24": 4294967295,
2891
+ "4": 4294967295,
2892
+ "40": 4294967295,
2893
+ "56": 3212836864,
2894
+ "60": 4294967295,
2895
+ "64": 4294967295,
2896
+ "8": 4294967295
2897
+ },
2898
+ "selected": -1
2899
+ },
2900
+ "source": {
2901
+ "record": {
2902
+ "0": 4294967295,
2903
+ "12": 4294967295,
2904
+ "24": 4294967295,
2905
+ "4": 4294967295,
2906
+ "40": 4294967295,
2907
+ "56": 3212836864,
2908
+ "60": 4294967295,
2909
+ "64": 4294967295,
2910
+ "8": 4294967295
2911
+ },
2912
+ "selected": -1
2913
+ }
2914
+ },
2915
+ {
2916
+ "input": {
2917
+ "active": [],
2918
+ "pattern": 3
2919
+ },
2920
+ "rust": {
2921
+ "record": {
2922
+ "0": 4294967295,
2923
+ "12": 4294967295,
2924
+ "24": 4294967295,
2925
+ "4": 4294967295,
2926
+ "40": 4294967295,
2927
+ "56": 3212836864,
2928
+ "60": 4294967295,
2929
+ "64": 4294967295,
2930
+ "8": 4294967295
2931
+ },
2932
+ "selected": -1
2933
+ },
2934
+ "source": {
2935
+ "record": {
2936
+ "0": 4294967295,
2937
+ "12": 4294967295,
2938
+ "24": 4294967295,
2939
+ "4": 4294967295,
2940
+ "40": 4294967295,
2941
+ "56": 3212836864,
2942
+ "60": 4294967295,
2943
+ "64": 4294967295,
2944
+ "8": 4294967295
2945
+ },
2946
+ "selected": -1
2947
+ }
2948
+ },
2949
+ {
2950
+ "input": {
2951
+ "active": [],
2952
+ "pattern": 4
2953
+ },
2954
+ "rust": {
2955
+ "record": {
2956
+ "0": 4294967295,
2957
+ "12": 4294967295,
2958
+ "24": 4294967295,
2959
+ "4": 4294967295,
2960
+ "40": 4294967295,
2961
+ "56": 3212836864,
2962
+ "60": 4294967295,
2963
+ "64": 4294967295,
2964
+ "8": 4294967295
2965
+ },
2966
+ "selected": -1
2967
+ },
2968
+ "source": {
2969
+ "record": {
2970
+ "0": 4294967295,
2971
+ "12": 4294967295,
2972
+ "24": 4294967295,
2973
+ "4": 4294967295,
2974
+ "40": 4294967295,
2975
+ "56": 3212836864,
2976
+ "60": 4294967295,
2977
+ "64": 4294967295,
2978
+ "8": 4294967295
2979
+ },
2980
+ "selected": -1
2981
+ }
2982
+ },
2983
+ {
2984
+ "input": {
2985
+ "active": [],
2986
+ "pattern": 5
2987
+ },
2988
+ "rust": {
2989
+ "record": {
2990
+ "0": 4294967295,
2991
+ "12": 4294967295,
2992
+ "24": 4294967295,
2993
+ "4": 4294967295,
2994
+ "40": 4294967295,
2995
+ "56": 3212836864,
2996
+ "60": 4294967295,
2997
+ "64": 4294967295,
2998
+ "8": 4294967295
2999
+ },
3000
+ "selected": -1
3001
+ },
3002
+ "source": {
3003
+ "record": {
3004
+ "0": 4294967295,
3005
+ "12": 4294967295,
3006
+ "24": 4294967295,
3007
+ "4": 4294967295,
3008
+ "40": 4294967295,
3009
+ "56": 3212836864,
3010
+ "60": 4294967295,
3011
+ "64": 4294967295,
3012
+ "8": 4294967295
3013
+ },
3014
+ "selected": -1
3015
+ }
3016
+ },
3017
+ {
3018
+ "input": {
3019
+ "active": [],
3020
+ "pattern": 6
3021
+ },
3022
+ "rust": {
3023
+ "record": {
3024
+ "0": 4294967295,
3025
+ "12": 4294967295,
3026
+ "24": 4294967295,
3027
+ "4": 4294967295,
3028
+ "40": 4294967295,
3029
+ "56": 3212836864,
3030
+ "60": 4294967295,
3031
+ "64": 4294967295,
3032
+ "8": 4294967295
3033
+ },
3034
+ "selected": -1
3035
+ },
3036
+ "source": {
3037
+ "record": {
3038
+ "0": 4294967295,
3039
+ "12": 4294967295,
3040
+ "24": 4294967295,
3041
+ "4": 4294967295,
3042
+ "40": 4294967295,
3043
+ "56": 3212836864,
3044
+ "60": 4294967295,
3045
+ "64": 4294967295,
3046
+ "8": 4294967295
3047
+ },
3048
+ "selected": -1
3049
+ }
3050
+ }
3051
+ ],
3052
+ "rejection": {
3053
+ "error": "unsupported input: NonFinite",
3054
+ "exit_code": 2
3055
+ },
3056
+ "source_reports": {
3057
+ "docs/research/qvm-leaderboard-layout.json": "cf280b133ffbfd92d32d2a7b7b89491743f113c3360bf6750dbb16fac9707028",
3058
+ "docs/research/qvm-leaderboard-selector.json": "7657ba06907255e392c9ad6ff8f403feb42c4026f5b857e2e6882ce15e90d617"
3059
+ }
3060
+ }
scripts/analyze_rust_leaderboard.py ADDED
@@ -0,0 +1,17 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ #!/usr/bin/env python3
2
+ """Rust numeric leaderboard mapping and joint selector against source fixtures."""
3
+ import hashlib,json
4
+ from pathlib import Path
5
+ from rust_lifecycle_support import binary,result,invoke
6
+ from qvm_leaderboard_support import INTEGER_FIELDS
7
+ from analyze_qvm import write_json
8
+
9
+ def words(r):return [r['56'],*[r[str(o)] for o in INTEGER_FIELDS]]
10
+
11
+ def main():
12
+ b=binary();path=Path('docs/research/qvm-leaderboard-selector.json');data=path.read_bytes();layout=Path('docs/research/qvm-leaderboard-layout.json');raw=layout.read_bytes();rows=[]
13
+ for p in json.loads(data)['probes']:
14
+ args=[len(p['candidates']),*words(p['initial']),*[v for c in p['candidates'] for v in [c['entity'],*words(c['metrics'])]]];rows.append({'input':p['input'],'source':{'selected':p['selected'],'record':p['final']},'rust':result(b,'leader-select',args)})
15
+ maps=[{'key':p['input'],'source':p['slot'],'rust':result(b,'leader-slot',[p['input']])} for p in json.loads(raw)['probes']];bad=invoke(b,'leader-select',[0,0x7fc00000,*([0]*8)],False)
16
+ write_json(Path('docs/research/rust-leaderboard.json'),{'source_reports':{str(path):hashlib.sha256(data).hexdigest(),str(layout):hashlib.sha256(raw).hexdigest()},'probes':rows,'mapping':maps,'rejection':{'exit_code':bad.returncode,'error':bad.stderr.strip()},'limits':'Rust mapping matches33 source cases and joint selector77 corrected-reentry source cases. Caller enumerates valid live-client/key candidates in source order. Nonfinite ratios explicitly reject. Category orchestration/native/publication/runtime parity remain open.'})
17
+ if __name__=='__main__':main()
scripts/test_rust_leaderboard.py ADDED
@@ -0,0 +1,16 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ import hashlib,json,unittest
2
+ from pathlib import Path
3
+ from test_qvm_leaderboard_layout import SLOTS
4
+ class RustLeaderboardTests(unittest.TestCase):
5
+ @classmethod
6
+ def setUpClass(cls):cls.r=json.loads(Path('docs/research/rust-leaderboard.json').read_text())
7
+ def test_source_selector_words_and_scan_winner(self):
8
+ self.assertEqual(len(self.r['probes']),77)
9
+ for p in self.r['probes']:self.assertEqual(p['rust'],p['source'],p['input'])
10
+ def test_mapping_and_explicit_nonfinite_rejection(self):
11
+ self.assertEqual(len(self.r['mapping']),33)
12
+ for p in self.r['mapping']:self.assertEqual(p['rust']['slot'],p['source']);self.assertEqual(p['source'],SLOTS.get(p['key'],-1))
13
+ self.assertEqual(self.r['rejection']['exit_code'],2);self.assertIn('NonFinite',self.r['rejection']['error'])
14
+ def test_source_identity(self):
15
+ for path,sha in self.r['source_reports'].items():self.assertEqual(hashlib.sha256(Path(path).read_bytes()).hexdigest(),sha)
16
+ if __name__=='__main__':unittest.main()
xtask/checks.tsv CHANGED
@@ -1354,3 +1354,13 @@ edge crates/urt-gameplay/src/ranking.rs scripts/analyze_rust_health_impulse.py
1354
  group gameplay scripts/analyze_rust_ranking.py
1355
  report scripts/analyze_rust_ranking.py docs/research/rust-ranking.json
1356
  edge docs/research/rust-ranking.json scripts/test_rust_ranking.py
 
 
 
 
 
 
 
 
 
 
 
1354
  group gameplay scripts/analyze_rust_ranking.py
1355
  report scripts/analyze_rust_ranking.py docs/research/rust-ranking.json
1356
  edge docs/research/rust-ranking.json scripts/test_rust_ranking.py
1357
+ edge Cargo.toml scripts/analyze_rust_leaderboard.py
1358
+ edge Cargo.lock scripts/analyze_rust_leaderboard.py
1359
+ edge crates/urt-gameplay/Cargo.toml scripts/analyze_rust_leaderboard.py
1360
+ edge crates/urt-gameplay/src/lib.rs scripts/analyze_rust_leaderboard.py
1361
+ edge crates/urt-gameplay/src/leaderboard.rs scripts/analyze_rust_leaderboard.py
1362
+ edge crates/urt-gameplay/src/bin/urt-lifecycle.rs scripts/analyze_rust_leaderboard.py
1363
+ edge crates/urt-gameplay/src/leaderboard.rs scripts/analyze_rust_health_impulse.py
1364
+ group gameplay scripts/analyze_rust_leaderboard.py
1365
+ report scripts/analyze_rust_leaderboard.py docs/research/rust-leaderboard.json
1366
+ edge docs/research/rust-leaderboard.json scripts/test_rust_leaderboard.py