Hugging Face's logo

nmarshall
/
urt-rs

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

gameplay: port filter time conversion quirks

Browse files
Files changed (14) hide show
  1. crates/urt-gameplay/src/bin/urt-filter-loading.rs +29 -0
  2. crates/urt-gameplay/src/filter_loading.rs +42 -0
  3. crates/urt-gameplay/src/lib.rs +2 -0
  4. docs/FINDINGS.md +2 -0
  5. docs/PROVISIONAL_TODO.md +2 -0
  6. docs/RESEARCH_LEDGER.md +4 -0
  7. docs/REVERSE_ENGINEERING_TODO.md +2 -0
  8. docs/research/README.md +2 -0
  9. docs/research/RUST_FILTER_TIME.md +5 -0
  10. docs/research/rust-filter-time.json +2527 -0
  11. docs/research/rust-health-impulse.json +1 -1
  12. scripts/analyze_rust_filter_time.py +16 -0
  13. scripts/test_rust_filter_time.py +9 -0
  14. xtask/checks.tsv +18 -0
crates/urt-gameplay/src/bin/urt-filter-loading.rs ADDED
@@ -0,0 +1,29 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ use urt_gameplay::filter_loading::*;
2
+ fn list(v: &[u32]) -> String {
3
+ format!(
4
+ "[{}]",
5
+ v.iter()
6
+ .map(|v| v.to_string())
7
+ .collect::<Vec<_>>()
8
+ .join(",")
9
+ )
10
+ }
11
+ fn main() {
12
+ let mut args = std::env::args().skip(1);
13
+ let kind = args.next().unwrap();
14
+ let w: Vec<u32> = args.map(|s| s.parse().unwrap()).collect();
15
+ match kind.as_str() {
16
+ "time" => {
17
+ assert_eq!(w.len(), 10);
18
+ let fields: [u32; 9] = w[..9].try_into().unwrap();
19
+ let mut inverse = std::array::from_fn(|j| 0x11110000 + j as u32);
20
+ filter_time_fields(w[9], &mut inverse);
21
+ println!(
22
+ "{{\"flat\":{},\"inverse\":{}}}",
23
+ filter_minutes(&fields),
24
+ list(&inverse)
25
+ );
26
+ }
27
+ _ => panic!("unknown policy"),
28
+ }
29
+ }
crates/urt-gameplay/src/filter_loading.rs ADDED
@@ -0,0 +1,42 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ //! Recovered filter time/loading policies with explicit native reply boundaries.
2
+ /// Original251995: offsets28/8/4 are day-of-year/hour/minute words. Arithmetic
3
+ /// wraps as signed32-bit operations; no year or calendar validation occurs.
4
+ pub fn filter_minutes(fields: &[u32; 9]) -> u32 {
5
+ fields[7]
6
+ .wrapping_mul(1440)
7
+ .wrapping_add(fields[2].wrapping_mul(60))
8
+ .wrapping_add(fields[1])
9
+ }
10
+ /// Original252024 preserves six other words and stores hour modulo60 as minute.
11
+ /// This intentionally preserves the asymmetric inverse rather than fixing it.
12
+ pub fn filter_time_fields(minutes: u32, fields: &mut [u32; 9]) {
13
+ let minutes = minutes as i32;
14
+ fields[7] = (minutes / 1440) as u32;
15
+ fields[2] = ((minutes % 1440) / 60) as u32;
16
+ fields[1] = ((fields[2] as i32) % 60) as u32;
17
+ }
18
+ #[cfg(test)]
19
+ mod tests {
20
+ use super::*;
21
+ #[test]
22
+ fn inverse_preserves_other_words_and_original_minute_loss() {
23
+ let mut fields = [0xdeadbeef; 9];
24
+ filter_time_fields(59, &mut fields);
25
+ assert_eq!([fields[1], fields[2], fields[7]], [0, 0, 0]);
26
+ for j in [0, 3, 4, 5, 6, 8] {
27
+ assert_eq!(fields[j], 0xdeadbeef);
28
+ }
29
+ filter_time_fields((-61i32) as u32, &mut fields);
30
+ assert_eq!(fields[1], u32::MAX);
31
+ assert_eq!(fields[2], u32::MAX);
32
+ }
33
+ #[test]
34
+ fn flatten_wraps_and_inverse_handles_signed_extremes() {
35
+ let mut fields = [u32::MAX; 9];
36
+ assert_eq!(filter_minutes(&fields), (-1501i32) as u32);
37
+ for value in [i32::MIN, i32::MAX] {
38
+ filter_time_fields(value as u32, &mut fields);
39
+ assert_eq!(fields[7], (value / 1440) as u32);
40
+ }
41
+ }
42
+ }
crates/urt-gameplay/src/lib.rs CHANGED
@@ -183,3 +183,5 @@ pub mod map_commands;
183
  pub mod native_policy;
184
 
185
  pub mod filter_lifecycle;
 
 
 
183
  pub mod native_policy;
184
 
185
  pub mod filter_lifecycle;
186
+
187
+ pub mod filter_loading;
docs/FINDINGS.md CHANGED
@@ -1821,3 +1821,5 @@ RE-942: Thirty original253296/252304/252500 compositions verify first-match remo
1821
  RE-943: Rust matches30 original removal/export compositions, retaining first-match mutation, duplicate survivor order, unchanged count and metadata, diagnostics, sentinel omission and empty writes after sole removal. A typed four-effect sequence exposes print/open/write/close in source order and retains raw supplied handles. Unit tests cover zero handles, duplicate survivor bytes, misses without IO and atomic unsupported-domain rejection. Native execution, reload and time/expiry semantics remain open. [Evidence](research/RUST_FILTER_REMOVE_EXPORT.md).
1822
 
1823
  RE-944: Eighty-four actual251995/252024 conversion pairs recover wrapping day-of-year/hour/minute arithmetic, signed division and unchanged structure fields. The inverse stores computed hour modulo60 into the minute field, so normal minute values do not round trip. INT_MIN/MAX and negative fields are covered; calendar/year/native clock interpretation remains open. [Evidence](research/QVM_FILTER_TIME.md).
 
 
 
1821
  RE-943: Rust matches30 original removal/export compositions, retaining first-match mutation, duplicate survivor order, unchanged count and metadata, diagnostics, sentinel omission and empty writes after sole removal. A typed four-effect sequence exposes print/open/write/close in source order and retains raw supplied handles. Unit tests cover zero handles, duplicate survivor bytes, misses without IO and atomic unsupported-domain rejection. Native execution, reload and time/expiry semantics remain open. [Evidence](research/RUST_FILTER_REMOVE_EXPORT.md).
1822
 
1823
  RE-944: Eighty-four actual251995/252024 conversion pairs recover wrapping day-of-year/hour/minute arithmetic, signed division and unchanged structure fields. The inverse stores computed hour modulo60 into the minute field, so normal minute values do not round trip. INT_MIN/MAX and negative fields are covered; calendar/year/native clock interpretation remains open. [Evidence](research/QVM_FILTER_TIME.md).
1824
+
1825
+ RE-945: Rust matches84 original conversion pairs using wrapping arithmetic and truncating signed division, retaining the inverse minute-field quirk and all unrelated structure words. Unit tests cover signed extremes, arithmetic wrap and unchanged sentinel fields. Native clock acquisition and calendar interpretation remain supplied boundaries. [Evidence](research/RUST_FILTER_TIME.md).
docs/PROVISIONAL_TODO.md CHANGED
@@ -1869,3 +1869,5 @@ RE-924–933 completed bounded bot settings, announcement, connect-child composi
1869
  RE-934–943 completed bounded filter export/removal/metadata and insertion/removal persistence compositions. RE-944 tracks loading/time/command callers, live adapters and runtime integration. [Batch and next work](research/QVM_FILTER_PERSISTENCE_BATCH.md).
1870
 
1871
  - [x] RE-944 Original filter time flattening and asymmetric inverse ([evidence](research/QVM_FILTER_TIME.md)).
 
 
 
1869
  RE-934–943 completed bounded filter export/removal/metadata and insertion/removal persistence compositions. RE-944 tracks loading/time/command callers, live adapters and runtime integration. [Batch and next work](research/QVM_FILTER_PERSISTENCE_BATCH.md).
1870
 
1871
  - [x] RE-944 Original filter time flattening and asymmetric inverse ([evidence](research/QVM_FILTER_TIME.md)).
1872
+
1873
+ - [x] RE-945 Rust filter time arithmetic and asymmetric inverse ([evidence](research/RUST_FILTER_TIME.md)).
docs/RESEARCH_LEDGER.md CHANGED
@@ -2443,3 +2443,7 @@ Batch RE-934–943 boundary: the single `cargo xtask test-full --since 7bb397d4`
2443
  ## 2026-10-28 — RE-944 Original filter time flattening and asymmetric inverse
2444
 
2445
  Eighty-four actual251995/252024 conversion pairs recover wrapping day-of-year/hour/minute arithmetic, signed division and unchanged structure fields. The inverse stores computed hour modulo60 into the minute field, so normal minute values do not round trip. INT_MIN/MAX and negative fields are covered; calendar/year/native clock interpretation remains open. Focused `cargo xtask test-group qvm-filter-time` passes with deterministic report regeneration, relevant regressions and storage/documentation/whitespace checks. Full suite deferred to the tenth-commit boundary. Original assets unchanged; native IO effects remain captured.
 
 
 
 
 
2443
  ## 2026-10-28 — RE-944 Original filter time flattening and asymmetric inverse
2444
 
2445
  Eighty-four actual251995/252024 conversion pairs recover wrapping day-of-year/hour/minute arithmetic, signed division and unchanged structure fields. The inverse stores computed hour modulo60 into the minute field, so normal minute values do not round trip. INT_MIN/MAX and negative fields are covered; calendar/year/native clock interpretation remains open. Focused `cargo xtask test-group qvm-filter-time` passes with deterministic report regeneration, relevant regressions and storage/documentation/whitespace checks. Full suite deferred to the tenth-commit boundary. Original assets unchanged; native IO effects remain captured.
2446
+
2447
+ ## 2026-10-28 — RE-945 Rust filter time arithmetic and asymmetric inverse
2448
+
2449
+ Rust matches84 original conversion pairs using wrapping arithmetic and truncating signed division, retaining the inverse minute-field quirk and all unrelated structure words. Unit tests cover signed extremes, arithmetic wrap and unchanged sentinel fields. Native clock acquisition and calendar interpretation remain supplied boundaries. Focused `cargo xtask test-group rust-filter-time` passes with deterministic report regeneration, relevant regressions and storage/documentation/whitespace checks. Full suite deferred to the tenth-commit boundary. Original assets unchanged; native IO effects remain captured.
docs/REVERSE_ENGINEERING_TODO.md CHANGED
@@ -1906,3 +1906,5 @@ RE-934–943 continue the prior batch with filter export/removal/metadata and co
1906
  - [ ] RE-944 Recover filter loading/time/commands, live file/network adapters, bot setup/userinfo and remaining Rust/Bevy/Solari integration ([next work](research/QVM_FILTER_PERSISTENCE_BATCH.md)).
1907
 
1908
  - [x] RE-944 Original filter time flattening and asymmetric inverse ([evidence](research/QVM_FILTER_TIME.md)).
 
 
 
1906
  - [ ] RE-944 Recover filter loading/time/commands, live file/network adapters, bot setup/userinfo and remaining Rust/Bevy/Solari integration ([next work](research/QVM_FILTER_PERSISTENCE_BATCH.md)).
1907
 
1908
  - [x] RE-944 Original filter time flattening and asymmetric inverse ([evidence](research/QVM_FILTER_TIME.md)).
1909
+
1910
+ - [x] RE-945 Rust filter time arithmetic and asymmetric inverse ([evidence](research/RUST_FILTER_TIME.md)).
docs/research/README.md CHANGED
@@ -1441,3 +1441,5 @@ The extension collector adds five focused tests for native tail calls, command-r
1441
  - [RE-934–943 filter persistence batch and RE-944 next work](QVM_FILTER_PERSISTENCE_BATCH.md).
1442
 
1443
  - [RE-944: Original filter time flattening and asymmetric inverse](QVM_FILTER_TIME.md).
 
 
 
1441
  - [RE-934–943 filter persistence batch and RE-944 next work](QVM_FILTER_PERSISTENCE_BATCH.md).
1442
 
1443
  - [RE-944: Original filter time flattening and asymmetric inverse](QVM_FILTER_TIME.md).
1444
+
1445
+ - [RE-945: Rust filter time arithmetic and asymmetric inverse](RUST_FILTER_TIME.md).
docs/research/RUST_FILTER_TIME.md ADDED
@@ -0,0 +1,5 @@
 
 
 
 
 
 
1
+ # Rust filter time arithmetic and asymmetric inverse
2
+
3
+ RE-945. Focused validation: `cargo xtask test-group rust-filter-time`. [Machine report](rust-filter-time.json).
4
+
5
+ Rust matches84 original conversion pairs using wrapping arithmetic and truncating signed division, retaining the inverse minute-field quirk and all unrelated structure words. Unit tests cover signed extremes, arithmetic wrap and unchanged sentinel fields. Native clock acquisition and calendar interpretation remain supplied boundaries.
docs/research/rust-filter-time.json ADDED
@@ -0,0 +1,2527 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
3
+ "probes": [
4
+ {
5
+ "rust": {
6
+ "flat": 0,
7
+ "inverse": [
8
+ 286326784,
9
+ 0,
10
+ 0,
11
+ 286326787,
12
+ 286326788,
13
+ 286326789,
14
+ 286326790,
15
+ 0,
16
+ 286326792
17
+ ]
18
+ },
19
+ "source": {
20
+ "flat": 0,
21
+ "inverse": [
22
+ 286326784,
23
+ 0,
24
+ 0,
25
+ 286326787,
26
+ 286326788,
27
+ 286326789,
28
+ 286326790,
29
+ 0,
30
+ 286326792
31
+ ]
32
+ }
33
+ },
34
+ {
35
+ "rust": {
36
+ "flat": 0,
37
+ "inverse": [
38
+ 286326784,
39
+ 0,
40
+ 0,
41
+ 286326787,
42
+ 286326788,
43
+ 286326789,
44
+ 286326790,
45
+ 0,
46
+ 286326792
47
+ ]
48
+ },
49
+ "source": {
50
+ "flat": 0,
51
+ "inverse": [
52
+ 286326784,
53
+ 0,
54
+ 0,
55
+ 286326787,
56
+ 286326788,
57
+ 286326789,
58
+ 286326790,
59
+ 0,
60
+ 286326792
61
+ ]
62
+ }
63
+ },
64
+ {
65
+ "rust": {
66
+ "flat": 0,
67
+ "inverse": [
68
+ 286326784,
69
+ 1,
70
+ 1,
71
+ 286326787,
72
+ 286326788,
73
+ 286326789,
74
+ 286326790,
75
+ 0,
76
+ 286326792
77
+ ]
78
+ },
79
+ "source": {
80
+ "flat": 0,
81
+ "inverse": [
82
+ 286326784,
83
+ 1,
84
+ 1,
85
+ 286326787,
86
+ 286326788,
87
+ 286326789,
88
+ 286326790,
89
+ 0,
90
+ 286326792
91
+ ]
92
+ }
93
+ },
94
+ {
95
+ "rust": {
96
+ "flat": 0,
97
+ "inverse": [
98
+ 286326784,
99
+ 1,
100
+ 1,
101
+ 286326787,
102
+ 286326788,
103
+ 286326789,
104
+ 286326790,
105
+ 1,
106
+ 286326792
107
+ ]
108
+ },
109
+ "source": {
110
+ "flat": 0,
111
+ "inverse": [
112
+ 286326784,
113
+ 1,
114
+ 1,
115
+ 286326787,
116
+ 286326788,
117
+ 286326789,
118
+ 286326790,
119
+ 1,
120
+ 286326792
121
+ ]
122
+ }
123
+ },
124
+ {
125
+ "rust": {
126
+ "flat": 0,
127
+ "inverse": [
128
+ 286326784,
129
+ 4294967295,
130
+ 4294967295,
131
+ 286326787,
132
+ 286326788,
133
+ 286326789,
134
+ 286326790,
135
+ 0,
136
+ 286326792
137
+ ]
138
+ },
139
+ "source": {
140
+ "flat": 0,
141
+ "inverse": [
142
+ 286326784,
143
+ 4294967295,
144
+ 4294967295,
145
+ 286326787,
146
+ 286326788,
147
+ 286326789,
148
+ 286326790,
149
+ 0,
150
+ 286326792
151
+ ]
152
+ }
153
+ },
154
+ {
155
+ "rust": {
156
+ "flat": 0,
157
+ "inverse": [
158
+ 286326784,
159
+ 2,
160
+ 2,
161
+ 286326787,
162
+ 286326788,
163
+ 286326789,
164
+ 286326790,
165
+ 1491308,
166
+ 286326792
167
+ ]
168
+ },
169
+ "source": {
170
+ "flat": 0,
171
+ "inverse": [
172
+ 286326784,
173
+ 2,
174
+ 2,
175
+ 286326787,
176
+ 286326788,
177
+ 286326789,
178
+ 286326790,
179
+ 1491308,
180
+ 286326792
181
+ ]
182
+ }
183
+ },
184
+ {
185
+ "rust": {
186
+ "flat": 0,
187
+ "inverse": [
188
+ 286326784,
189
+ 4294967294,
190
+ 4294967294,
191
+ 286326787,
192
+ 286326788,
193
+ 286326789,
194
+ 286326790,
195
+ 4293475988,
196
+ 286326792
197
+ ]
198
+ },
199
+ "source": {
200
+ "flat": 0,
201
+ "inverse": [
202
+ 286326784,
203
+ 4294967294,
204
+ 4294967294,
205
+ 286326787,
206
+ 286326788,
207
+ 286326789,
208
+ 286326790,
209
+ 4293475988,
210
+ 286326792
211
+ ]
212
+ }
213
+ },
214
+ {
215
+ "rust": {
216
+ "flat": 1380,
217
+ "inverse": [
218
+ 286326784,
219
+ 0,
220
+ 0,
221
+ 286326787,
222
+ 286326788,
223
+ 286326789,
224
+ 286326790,
225
+ 0,
226
+ 286326792
227
+ ]
228
+ },
229
+ "source": {
230
+ "flat": 1380,
231
+ "inverse": [
232
+ 286326784,
233
+ 0,
234
+ 0,
235
+ 286326787,
236
+ 286326788,
237
+ 286326789,
238
+ 286326790,
239
+ 0,
240
+ 286326792
241
+ ]
242
+ }
243
+ },
244
+ {
245
+ "rust": {
246
+ "flat": 1380,
247
+ "inverse": [
248
+ 286326784,
249
+ 0,
250
+ 0,
251
+ 286326787,
252
+ 286326788,
253
+ 286326789,
254
+ 286326790,
255
+ 0,
256
+ 286326792
257
+ ]
258
+ },
259
+ "source": {
260
+ "flat": 1380,
261
+ "inverse": [
262
+ 286326784,
263
+ 0,
264
+ 0,
265
+ 286326787,
266
+ 286326788,
267
+ 286326789,
268
+ 286326790,
269
+ 0,
270
+ 286326792
271
+ ]
272
+ }
273
+ },
274
+ {
275
+ "rust": {
276
+ "flat": 1380,
277
+ "inverse": [
278
+ 286326784,
279
+ 1,
280
+ 1,
281
+ 286326787,
282
+ 286326788,
283
+ 286326789,
284
+ 286326790,
285
+ 0,
286
+ 286326792
287
+ ]
288
+ },
289
+ "source": {
290
+ "flat": 1380,
291
+ "inverse": [
292
+ 286326784,
293
+ 1,
294
+ 1,
295
+ 286326787,
296
+ 286326788,
297
+ 286326789,
298
+ 286326790,
299
+ 0,
300
+ 286326792
301
+ ]
302
+ }
303
+ },
304
+ {
305
+ "rust": {
306
+ "flat": 1380,
307
+ "inverse": [
308
+ 286326784,
309
+ 1,
310
+ 1,
311
+ 286326787,
312
+ 286326788,
313
+ 286326789,
314
+ 286326790,
315
+ 1,
316
+ 286326792
317
+ ]
318
+ },
319
+ "source": {
320
+ "flat": 1380,
321
+ "inverse": [
322
+ 286326784,
323
+ 1,
324
+ 1,
325
+ 286326787,
326
+ 286326788,
327
+ 286326789,
328
+ 286326790,
329
+ 1,
330
+ 286326792
331
+ ]
332
+ }
333
+ },
334
+ {
335
+ "rust": {
336
+ "flat": 1380,
337
+ "inverse": [
338
+ 286326784,
339
+ 4294967295,
340
+ 4294967295,
341
+ 286326787,
342
+ 286326788,
343
+ 286326789,
344
+ 286326790,
345
+ 0,
346
+ 286326792
347
+ ]
348
+ },
349
+ "source": {
350
+ "flat": 1380,
351
+ "inverse": [
352
+ 286326784,
353
+ 4294967295,
354
+ 4294967295,
355
+ 286326787,
356
+ 286326788,
357
+ 286326789,
358
+ 286326790,
359
+ 0,
360
+ 286326792
361
+ ]
362
+ }
363
+ },
364
+ {
365
+ "rust": {
366
+ "flat": 1380,
367
+ "inverse": [
368
+ 286326784,
369
+ 2,
370
+ 2,
371
+ 286326787,
372
+ 286326788,
373
+ 286326789,
374
+ 286326790,
375
+ 1491308,
376
+ 286326792
377
+ ]
378
+ },
379
+ "source": {
380
+ "flat": 1380,
381
+ "inverse": [
382
+ 286326784,
383
+ 2,
384
+ 2,
385
+ 286326787,
386
+ 286326788,
387
+ 286326789,
388
+ 286326790,
389
+ 1491308,
390
+ 286326792
391
+ ]
392
+ }
393
+ },
394
+ {
395
+ "rust": {
396
+ "flat": 1380,
397
+ "inverse": [
398
+ 286326784,
399
+ 4294967294,
400
+ 4294967294,
401
+ 286326787,
402
+ 286326788,
403
+ 286326789,
404
+ 286326790,
405
+ 4293475988,
406
+ 286326792
407
+ ]
408
+ },
409
+ "source": {
410
+ "flat": 1380,
411
+ "inverse": [
412
+ 286326784,
413
+ 4294967294,
414
+ 4294967294,
415
+ 286326787,
416
+ 286326788,
417
+ 286326789,
418
+ 286326790,
419
+ 4293475988,
420
+ 286326792
421
+ ]
422
+ }
423
+ },
424
+ {
425
+ "rust": {
426
+ "flat": 59,
427
+ "inverse": [
428
+ 286326784,
429
+ 0,
430
+ 0,
431
+ 286326787,
432
+ 286326788,
433
+ 286326789,
434
+ 286326790,
435
+ 0,
436
+ 286326792
437
+ ]
438
+ },
439
+ "source": {
440
+ "flat": 59,
441
+ "inverse": [
442
+ 286326784,
443
+ 0,
444
+ 0,
445
+ 286326787,
446
+ 286326788,
447
+ 286326789,
448
+ 286326790,
449
+ 0,
450
+ 286326792
451
+ ]
452
+ }
453
+ },
454
+ {
455
+ "rust": {
456
+ "flat": 59,
457
+ "inverse": [
458
+ 286326784,
459
+ 0,
460
+ 0,
461
+ 286326787,
462
+ 286326788,
463
+ 286326789,
464
+ 286326790,
465
+ 0,
466
+ 286326792
467
+ ]
468
+ },
469
+ "source": {
470
+ "flat": 59,
471
+ "inverse": [
472
+ 286326784,
473
+ 0,
474
+ 0,
475
+ 286326787,
476
+ 286326788,
477
+ 286326789,
478
+ 286326790,
479
+ 0,
480
+ 286326792
481
+ ]
482
+ }
483
+ },
484
+ {
485
+ "rust": {
486
+ "flat": 59,
487
+ "inverse": [
488
+ 286326784,
489
+ 1,
490
+ 1,
491
+ 286326787,
492
+ 286326788,
493
+ 286326789,
494
+ 286326790,
495
+ 0,
496
+ 286326792
497
+ ]
498
+ },
499
+ "source": {
500
+ "flat": 59,
501
+ "inverse": [
502
+ 286326784,
503
+ 1,
504
+ 1,
505
+ 286326787,
506
+ 286326788,
507
+ 286326789,
508
+ 286326790,
509
+ 0,
510
+ 286326792
511
+ ]
512
+ }
513
+ },
514
+ {
515
+ "rust": {
516
+ "flat": 59,
517
+ "inverse": [
518
+ 286326784,
519
+ 1,
520
+ 1,
521
+ 286326787,
522
+ 286326788,
523
+ 286326789,
524
+ 286326790,
525
+ 1,
526
+ 286326792
527
+ ]
528
+ },
529
+ "source": {
530
+ "flat": 59,
531
+ "inverse": [
532
+ 286326784,
533
+ 1,
534
+ 1,
535
+ 286326787,
536
+ 286326788,
537
+ 286326789,
538
+ 286326790,
539
+ 1,
540
+ 286326792
541
+ ]
542
+ }
543
+ },
544
+ {
545
+ "rust": {
546
+ "flat": 59,
547
+ "inverse": [
548
+ 286326784,
549
+ 4294967295,
550
+ 4294967295,
551
+ 286326787,
552
+ 286326788,
553
+ 286326789,
554
+ 286326790,
555
+ 0,
556
+ 286326792
557
+ ]
558
+ },
559
+ "source": {
560
+ "flat": 59,
561
+ "inverse": [
562
+ 286326784,
563
+ 4294967295,
564
+ 4294967295,
565
+ 286326787,
566
+ 286326788,
567
+ 286326789,
568
+ 286326790,
569
+ 0,
570
+ 286326792
571
+ ]
572
+ }
573
+ },
574
+ {
575
+ "rust": {
576
+ "flat": 59,
577
+ "inverse": [
578
+ 286326784,
579
+ 2,
580
+ 2,
581
+ 286326787,
582
+ 286326788,
583
+ 286326789,
584
+ 286326790,
585
+ 1491308,
586
+ 286326792
587
+ ]
588
+ },
589
+ "source": {
590
+ "flat": 59,
591
+ "inverse": [
592
+ 286326784,
593
+ 2,
594
+ 2,
595
+ 286326787,
596
+ 286326788,
597
+ 286326789,
598
+ 286326790,
599
+ 1491308,
600
+ 286326792
601
+ ]
602
+ }
603
+ },
604
+ {
605
+ "rust": {
606
+ "flat": 59,
607
+ "inverse": [
608
+ 286326784,
609
+ 4294967294,
610
+ 4294967294,
611
+ 286326787,
612
+ 286326788,
613
+ 286326789,
614
+ 286326790,
615
+ 4293475988,
616
+ 286326792
617
+ ]
618
+ },
619
+ "source": {
620
+ "flat": 59,
621
+ "inverse": [
622
+ 286326784,
623
+ 4294967294,
624
+ 4294967294,
625
+ 286326787,
626
+ 286326788,
627
+ 286326789,
628
+ 286326790,
629
+ 4293475988,
630
+ 286326792
631
+ ]
632
+ }
633
+ },
634
+ {
635
+ "rust": {
636
+ "flat": 1439,
637
+ "inverse": [
638
+ 286326784,
639
+ 0,
640
+ 0,
641
+ 286326787,
642
+ 286326788,
643
+ 286326789,
644
+ 286326790,
645
+ 0,
646
+ 286326792
647
+ ]
648
+ },
649
+ "source": {
650
+ "flat": 1439,
651
+ "inverse": [
652
+ 286326784,
653
+ 0,
654
+ 0,
655
+ 286326787,
656
+ 286326788,
657
+ 286326789,
658
+ 286326790,
659
+ 0,
660
+ 286326792
661
+ ]
662
+ }
663
+ },
664
+ {
665
+ "rust": {
666
+ "flat": 1439,
667
+ "inverse": [
668
+ 286326784,
669
+ 0,
670
+ 0,
671
+ 286326787,
672
+ 286326788,
673
+ 286326789,
674
+ 286326790,
675
+ 0,
676
+ 286326792
677
+ ]
678
+ },
679
+ "source": {
680
+ "flat": 1439,
681
+ "inverse": [
682
+ 286326784,
683
+ 0,
684
+ 0,
685
+ 286326787,
686
+ 286326788,
687
+ 286326789,
688
+ 286326790,
689
+ 0,
690
+ 286326792
691
+ ]
692
+ }
693
+ },
694
+ {
695
+ "rust": {
696
+ "flat": 1439,
697
+ "inverse": [
698
+ 286326784,
699
+ 1,
700
+ 1,
701
+ 286326787,
702
+ 286326788,
703
+ 286326789,
704
+ 286326790,
705
+ 0,
706
+ 286326792
707
+ ]
708
+ },
709
+ "source": {
710
+ "flat": 1439,
711
+ "inverse": [
712
+ 286326784,
713
+ 1,
714
+ 1,
715
+ 286326787,
716
+ 286326788,
717
+ 286326789,
718
+ 286326790,
719
+ 0,
720
+ 286326792
721
+ ]
722
+ }
723
+ },
724
+ {
725
+ "rust": {
726
+ "flat": 1439,
727
+ "inverse": [
728
+ 286326784,
729
+ 1,
730
+ 1,
731
+ 286326787,
732
+ 286326788,
733
+ 286326789,
734
+ 286326790,
735
+ 1,
736
+ 286326792
737
+ ]
738
+ },
739
+ "source": {
740
+ "flat": 1439,
741
+ "inverse": [
742
+ 286326784,
743
+ 1,
744
+ 1,
745
+ 286326787,
746
+ 286326788,
747
+ 286326789,
748
+ 286326790,
749
+ 1,
750
+ 286326792
751
+ ]
752
+ }
753
+ },
754
+ {
755
+ "rust": {
756
+ "flat": 1439,
757
+ "inverse": [
758
+ 286326784,
759
+ 4294967295,
760
+ 4294967295,
761
+ 286326787,
762
+ 286326788,
763
+ 286326789,
764
+ 286326790,
765
+ 0,
766
+ 286326792
767
+ ]
768
+ },
769
+ "source": {
770
+ "flat": 1439,
771
+ "inverse": [
772
+ 286326784,
773
+ 4294967295,
774
+ 4294967295,
775
+ 286326787,
776
+ 286326788,
777
+ 286326789,
778
+ 286326790,
779
+ 0,
780
+ 286326792
781
+ ]
782
+ }
783
+ },
784
+ {
785
+ "rust": {
786
+ "flat": 1439,
787
+ "inverse": [
788
+ 286326784,
789
+ 2,
790
+ 2,
791
+ 286326787,
792
+ 286326788,
793
+ 286326789,
794
+ 286326790,
795
+ 1491308,
796
+ 286326792
797
+ ]
798
+ },
799
+ "source": {
800
+ "flat": 1439,
801
+ "inverse": [
802
+ 286326784,
803
+ 2,
804
+ 2,
805
+ 286326787,
806
+ 286326788,
807
+ 286326789,
808
+ 286326790,
809
+ 1491308,
810
+ 286326792
811
+ ]
812
+ }
813
+ },
814
+ {
815
+ "rust": {
816
+ "flat": 1439,
817
+ "inverse": [
818
+ 286326784,
819
+ 4294967294,
820
+ 4294967294,
821
+ 286326787,
822
+ 286326788,
823
+ 286326789,
824
+ 286326790,
825
+ 4293475988,
826
+ 286326792
827
+ ]
828
+ },
829
+ "source": {
830
+ "flat": 1439,
831
+ "inverse": [
832
+ 286326784,
833
+ 4294967294,
834
+ 4294967294,
835
+ 286326787,
836
+ 286326788,
837
+ 286326789,
838
+ 286326790,
839
+ 4293475988,
840
+ 286326792
841
+ ]
842
+ }
843
+ },
844
+ {
845
+ "rust": {
846
+ "flat": 525600,
847
+ "inverse": [
848
+ 286326784,
849
+ 0,
850
+ 0,
851
+ 286326787,
852
+ 286326788,
853
+ 286326789,
854
+ 286326790,
855
+ 0,
856
+ 286326792
857
+ ]
858
+ },
859
+ "source": {
860
+ "flat": 525600,
861
+ "inverse": [
862
+ 286326784,
863
+ 0,
864
+ 0,
865
+ 286326787,
866
+ 286326788,
867
+ 286326789,
868
+ 286326790,
869
+ 0,
870
+ 286326792
871
+ ]
872
+ }
873
+ },
874
+ {
875
+ "rust": {
876
+ "flat": 525600,
877
+ "inverse": [
878
+ 286326784,
879
+ 0,
880
+ 0,
881
+ 286326787,
882
+ 286326788,
883
+ 286326789,
884
+ 286326790,
885
+ 0,
886
+ 286326792
887
+ ]
888
+ },
889
+ "source": {
890
+ "flat": 525600,
891
+ "inverse": [
892
+ 286326784,
893
+ 0,
894
+ 0,
895
+ 286326787,
896
+ 286326788,
897
+ 286326789,
898
+ 286326790,
899
+ 0,
900
+ 286326792
901
+ ]
902
+ }
903
+ },
904
+ {
905
+ "rust": {
906
+ "flat": 525600,
907
+ "inverse": [
908
+ 286326784,
909
+ 1,
910
+ 1,
911
+ 286326787,
912
+ 286326788,
913
+ 286326789,
914
+ 286326790,
915
+ 0,
916
+ 286326792
917
+ ]
918
+ },
919
+ "source": {
920
+ "flat": 525600,
921
+ "inverse": [
922
+ 286326784,
923
+ 1,
924
+ 1,
925
+ 286326787,
926
+ 286326788,
927
+ 286326789,
928
+ 286326790,
929
+ 0,
930
+ 286326792
931
+ ]
932
+ }
933
+ },
934
+ {
935
+ "rust": {
936
+ "flat": 525600,
937
+ "inverse": [
938
+ 286326784,
939
+ 1,
940
+ 1,
941
+ 286326787,
942
+ 286326788,
943
+ 286326789,
944
+ 286326790,
945
+ 1,
946
+ 286326792
947
+ ]
948
+ },
949
+ "source": {
950
+ "flat": 525600,
951
+ "inverse": [
952
+ 286326784,
953
+ 1,
954
+ 1,
955
+ 286326787,
956
+ 286326788,
957
+ 286326789,
958
+ 286326790,
959
+ 1,
960
+ 286326792
961
+ ]
962
+ }
963
+ },
964
+ {
965
+ "rust": {
966
+ "flat": 525600,
967
+ "inverse": [
968
+ 286326784,
969
+ 4294967295,
970
+ 4294967295,
971
+ 286326787,
972
+ 286326788,
973
+ 286326789,
974
+ 286326790,
975
+ 0,
976
+ 286326792
977
+ ]
978
+ },
979
+ "source": {
980
+ "flat": 525600,
981
+ "inverse": [
982
+ 286326784,
983
+ 4294967295,
984
+ 4294967295,
985
+ 286326787,
986
+ 286326788,
987
+ 286326789,
988
+ 286326790,
989
+ 0,
990
+ 286326792
991
+ ]
992
+ }
993
+ },
994
+ {
995
+ "rust": {
996
+ "flat": 525600,
997
+ "inverse": [
998
+ 286326784,
999
+ 2,
1000
+ 2,
1001
+ 286326787,
1002
+ 286326788,
1003
+ 286326789,
1004
+ 286326790,
1005
+ 1491308,
1006
+ 286326792
1007
+ ]
1008
+ },
1009
+ "source": {
1010
+ "flat": 525600,
1011
+ "inverse": [
1012
+ 286326784,
1013
+ 2,
1014
+ 2,
1015
+ 286326787,
1016
+ 286326788,
1017
+ 286326789,
1018
+ 286326790,
1019
+ 1491308,
1020
+ 286326792
1021
+ ]
1022
+ }
1023
+ },
1024
+ {
1025
+ "rust": {
1026
+ "flat": 525600,
1027
+ "inverse": [
1028
+ 286326784,
1029
+ 4294967294,
1030
+ 4294967294,
1031
+ 286326787,
1032
+ 286326788,
1033
+ 286326789,
1034
+ 286326790,
1035
+ 4293475988,
1036
+ 286326792
1037
+ ]
1038
+ },
1039
+ "source": {
1040
+ "flat": 525600,
1041
+ "inverse": [
1042
+ 286326784,
1043
+ 4294967294,
1044
+ 4294967294,
1045
+ 286326787,
1046
+ 286326788,
1047
+ 286326789,
1048
+ 286326790,
1049
+ 4293475988,
1050
+ 286326792
1051
+ ]
1052
+ }
1053
+ },
1054
+ {
1055
+ "rust": {
1056
+ "flat": 526980,
1057
+ "inverse": [
1058
+ 286326784,
1059
+ 0,
1060
+ 0,
1061
+ 286326787,
1062
+ 286326788,
1063
+ 286326789,
1064
+ 286326790,
1065
+ 0,
1066
+ 286326792
1067
+ ]
1068
+ },
1069
+ "source": {
1070
+ "flat": 526980,
1071
+ "inverse": [
1072
+ 286326784,
1073
+ 0,
1074
+ 0,
1075
+ 286326787,
1076
+ 286326788,
1077
+ 286326789,
1078
+ 286326790,
1079
+ 0,
1080
+ 286326792
1081
+ ]
1082
+ }
1083
+ },
1084
+ {
1085
+ "rust": {
1086
+ "flat": 526980,
1087
+ "inverse": [
1088
+ 286326784,
1089
+ 0,
1090
+ 0,
1091
+ 286326787,
1092
+ 286326788,
1093
+ 286326789,
1094
+ 286326790,
1095
+ 0,
1096
+ 286326792
1097
+ ]
1098
+ },
1099
+ "source": {
1100
+ "flat": 526980,
1101
+ "inverse": [
1102
+ 286326784,
1103
+ 0,
1104
+ 0,
1105
+ 286326787,
1106
+ 286326788,
1107
+ 286326789,
1108
+ 286326790,
1109
+ 0,
1110
+ 286326792
1111
+ ]
1112
+ }
1113
+ },
1114
+ {
1115
+ "rust": {
1116
+ "flat": 526980,
1117
+ "inverse": [
1118
+ 286326784,
1119
+ 1,
1120
+ 1,
1121
+ 286326787,
1122
+ 286326788,
1123
+ 286326789,
1124
+ 286326790,
1125
+ 0,
1126
+ 286326792
1127
+ ]
1128
+ },
1129
+ "source": {
1130
+ "flat": 526980,
1131
+ "inverse": [
1132
+ 286326784,
1133
+ 1,
1134
+ 1,
1135
+ 286326787,
1136
+ 286326788,
1137
+ 286326789,
1138
+ 286326790,
1139
+ 0,
1140
+ 286326792
1141
+ ]
1142
+ }
1143
+ },
1144
+ {
1145
+ "rust": {
1146
+ "flat": 526980,
1147
+ "inverse": [
1148
+ 286326784,
1149
+ 1,
1150
+ 1,
1151
+ 286326787,
1152
+ 286326788,
1153
+ 286326789,
1154
+ 286326790,
1155
+ 1,
1156
+ 286326792
1157
+ ]
1158
+ },
1159
+ "source": {
1160
+ "flat": 526980,
1161
+ "inverse": [
1162
+ 286326784,
1163
+ 1,
1164
+ 1,
1165
+ 286326787,
1166
+ 286326788,
1167
+ 286326789,
1168
+ 286326790,
1169
+ 1,
1170
+ 286326792
1171
+ ]
1172
+ }
1173
+ },
1174
+ {
1175
+ "rust": {
1176
+ "flat": 526980,
1177
+ "inverse": [
1178
+ 286326784,
1179
+ 4294967295,
1180
+ 4294967295,
1181
+ 286326787,
1182
+ 286326788,
1183
+ 286326789,
1184
+ 286326790,
1185
+ 0,
1186
+ 286326792
1187
+ ]
1188
+ },
1189
+ "source": {
1190
+ "flat": 526980,
1191
+ "inverse": [
1192
+ 286326784,
1193
+ 4294967295,
1194
+ 4294967295,
1195
+ 286326787,
1196
+ 286326788,
1197
+ 286326789,
1198
+ 286326790,
1199
+ 0,
1200
+ 286326792
1201
+ ]
1202
+ }
1203
+ },
1204
+ {
1205
+ "rust": {
1206
+ "flat": 526980,
1207
+ "inverse": [
1208
+ 286326784,
1209
+ 2,
1210
+ 2,
1211
+ 286326787,
1212
+ 286326788,
1213
+ 286326789,
1214
+ 286326790,
1215
+ 1491308,
1216
+ 286326792
1217
+ ]
1218
+ },
1219
+ "source": {
1220
+ "flat": 526980,
1221
+ "inverse": [
1222
+ 286326784,
1223
+ 2,
1224
+ 2,
1225
+ 286326787,
1226
+ 286326788,
1227
+ 286326789,
1228
+ 286326790,
1229
+ 1491308,
1230
+ 286326792
1231
+ ]
1232
+ }
1233
+ },
1234
+ {
1235
+ "rust": {
1236
+ "flat": 526980,
1237
+ "inverse": [
1238
+ 286326784,
1239
+ 4294967294,
1240
+ 4294967294,
1241
+ 286326787,
1242
+ 286326788,
1243
+ 286326789,
1244
+ 286326790,
1245
+ 4293475988,
1246
+ 286326792
1247
+ ]
1248
+ },
1249
+ "source": {
1250
+ "flat": 526980,
1251
+ "inverse": [
1252
+ 286326784,
1253
+ 4294967294,
1254
+ 4294967294,
1255
+ 286326787,
1256
+ 286326788,
1257
+ 286326789,
1258
+ 286326790,
1259
+ 4293475988,
1260
+ 286326792
1261
+ ]
1262
+ }
1263
+ },
1264
+ {
1265
+ "rust": {
1266
+ "flat": 525659,
1267
+ "inverse": [
1268
+ 286326784,
1269
+ 0,
1270
+ 0,
1271
+ 286326787,
1272
+ 286326788,
1273
+ 286326789,
1274
+ 286326790,
1275
+ 0,
1276
+ 286326792
1277
+ ]
1278
+ },
1279
+ "source": {
1280
+ "flat": 525659,
1281
+ "inverse": [
1282
+ 286326784,
1283
+ 0,
1284
+ 0,
1285
+ 286326787,
1286
+ 286326788,
1287
+ 286326789,
1288
+ 286326790,
1289
+ 0,
1290
+ 286326792
1291
+ ]
1292
+ }
1293
+ },
1294
+ {
1295
+ "rust": {
1296
+ "flat": 525659,
1297
+ "inverse": [
1298
+ 286326784,
1299
+ 0,
1300
+ 0,
1301
+ 286326787,
1302
+ 286326788,
1303
+ 286326789,
1304
+ 286326790,
1305
+ 0,
1306
+ 286326792
1307
+ ]
1308
+ },
1309
+ "source": {
1310
+ "flat": 525659,
1311
+ "inverse": [
1312
+ 286326784,
1313
+ 0,
1314
+ 0,
1315
+ 286326787,
1316
+ 286326788,
1317
+ 286326789,
1318
+ 286326790,
1319
+ 0,
1320
+ 286326792
1321
+ ]
1322
+ }
1323
+ },
1324
+ {
1325
+ "rust": {
1326
+ "flat": 525659,
1327
+ "inverse": [
1328
+ 286326784,
1329
+ 1,
1330
+ 1,
1331
+ 286326787,
1332
+ 286326788,
1333
+ 286326789,
1334
+ 286326790,
1335
+ 0,
1336
+ 286326792
1337
+ ]
1338
+ },
1339
+ "source": {
1340
+ "flat": 525659,
1341
+ "inverse": [
1342
+ 286326784,
1343
+ 1,
1344
+ 1,
1345
+ 286326787,
1346
+ 286326788,
1347
+ 286326789,
1348
+ 286326790,
1349
+ 0,
1350
+ 286326792
1351
+ ]
1352
+ }
1353
+ },
1354
+ {
1355
+ "rust": {
1356
+ "flat": 525659,
1357
+ "inverse": [
1358
+ 286326784,
1359
+ 1,
1360
+ 1,
1361
+ 286326787,
1362
+ 286326788,
1363
+ 286326789,
1364
+ 286326790,
1365
+ 1,
1366
+ 286326792
1367
+ ]
1368
+ },
1369
+ "source": {
1370
+ "flat": 525659,
1371
+ "inverse": [
1372
+ 286326784,
1373
+ 1,
1374
+ 1,
1375
+ 286326787,
1376
+ 286326788,
1377
+ 286326789,
1378
+ 286326790,
1379
+ 1,
1380
+ 286326792
1381
+ ]
1382
+ }
1383
+ },
1384
+ {
1385
+ "rust": {
1386
+ "flat": 525659,
1387
+ "inverse": [
1388
+ 286326784,
1389
+ 4294967295,
1390
+ 4294967295,
1391
+ 286326787,
1392
+ 286326788,
1393
+ 286326789,
1394
+ 286326790,
1395
+ 0,
1396
+ 286326792
1397
+ ]
1398
+ },
1399
+ "source": {
1400
+ "flat": 525659,
1401
+ "inverse": [
1402
+ 286326784,
1403
+ 4294967295,
1404
+ 4294967295,
1405
+ 286326787,
1406
+ 286326788,
1407
+ 286326789,
1408
+ 286326790,
1409
+ 0,
1410
+ 286326792
1411
+ ]
1412
+ }
1413
+ },
1414
+ {
1415
+ "rust": {
1416
+ "flat": 525659,
1417
+ "inverse": [
1418
+ 286326784,
1419
+ 2,
1420
+ 2,
1421
+ 286326787,
1422
+ 286326788,
1423
+ 286326789,
1424
+ 286326790,
1425
+ 1491308,
1426
+ 286326792
1427
+ ]
1428
+ },
1429
+ "source": {
1430
+ "flat": 525659,
1431
+ "inverse": [
1432
+ 286326784,
1433
+ 2,
1434
+ 2,
1435
+ 286326787,
1436
+ 286326788,
1437
+ 286326789,
1438
+ 286326790,
1439
+ 1491308,
1440
+ 286326792
1441
+ ]
1442
+ }
1443
+ },
1444
+ {
1445
+ "rust": {
1446
+ "flat": 525659,
1447
+ "inverse": [
1448
+ 286326784,
1449
+ 4294967294,
1450
+ 4294967294,
1451
+ 286326787,
1452
+ 286326788,
1453
+ 286326789,
1454
+ 286326790,
1455
+ 4293475988,
1456
+ 286326792
1457
+ ]
1458
+ },
1459
+ "source": {
1460
+ "flat": 525659,
1461
+ "inverse": [
1462
+ 286326784,
1463
+ 4294967294,
1464
+ 4294967294,
1465
+ 286326787,
1466
+ 286326788,
1467
+ 286326789,
1468
+ 286326790,
1469
+ 4293475988,
1470
+ 286326792
1471
+ ]
1472
+ }
1473
+ },
1474
+ {
1475
+ "rust": {
1476
+ "flat": 527039,
1477
+ "inverse": [
1478
+ 286326784,
1479
+ 0,
1480
+ 0,
1481
+ 286326787,
1482
+ 286326788,
1483
+ 286326789,
1484
+ 286326790,
1485
+ 0,
1486
+ 286326792
1487
+ ]
1488
+ },
1489
+ "source": {
1490
+ "flat": 527039,
1491
+ "inverse": [
1492
+ 286326784,
1493
+ 0,
1494
+ 0,
1495
+ 286326787,
1496
+ 286326788,
1497
+ 286326789,
1498
+ 286326790,
1499
+ 0,
1500
+ 286326792
1501
+ ]
1502
+ }
1503
+ },
1504
+ {
1505
+ "rust": {
1506
+ "flat": 527039,
1507
+ "inverse": [
1508
+ 286326784,
1509
+ 0,
1510
+ 0,
1511
+ 286326787,
1512
+ 286326788,
1513
+ 286326789,
1514
+ 286326790,
1515
+ 0,
1516
+ 286326792
1517
+ ]
1518
+ },
1519
+ "source": {
1520
+ "flat": 527039,
1521
+ "inverse": [
1522
+ 286326784,
1523
+ 0,
1524
+ 0,
1525
+ 286326787,
1526
+ 286326788,
1527
+ 286326789,
1528
+ 286326790,
1529
+ 0,
1530
+ 286326792
1531
+ ]
1532
+ }
1533
+ },
1534
+ {
1535
+ "rust": {
1536
+ "flat": 527039,
1537
+ "inverse": [
1538
+ 286326784,
1539
+ 1,
1540
+ 1,
1541
+ 286326787,
1542
+ 286326788,
1543
+ 286326789,
1544
+ 286326790,
1545
+ 0,
1546
+ 286326792
1547
+ ]
1548
+ },
1549
+ "source": {
1550
+ "flat": 527039,
1551
+ "inverse": [
1552
+ 286326784,
1553
+ 1,
1554
+ 1,
1555
+ 286326787,
1556
+ 286326788,
1557
+ 286326789,
1558
+ 286326790,
1559
+ 0,
1560
+ 286326792
1561
+ ]
1562
+ }
1563
+ },
1564
+ {
1565
+ "rust": {
1566
+ "flat": 527039,
1567
+ "inverse": [
1568
+ 286326784,
1569
+ 1,
1570
+ 1,
1571
+ 286326787,
1572
+ 286326788,
1573
+ 286326789,
1574
+ 286326790,
1575
+ 1,
1576
+ 286326792
1577
+ ]
1578
+ },
1579
+ "source": {
1580
+ "flat": 527039,
1581
+ "inverse": [
1582
+ 286326784,
1583
+ 1,
1584
+ 1,
1585
+ 286326787,
1586
+ 286326788,
1587
+ 286326789,
1588
+ 286326790,
1589
+ 1,
1590
+ 286326792
1591
+ ]
1592
+ }
1593
+ },
1594
+ {
1595
+ "rust": {
1596
+ "flat": 527039,
1597
+ "inverse": [
1598
+ 286326784,
1599
+ 4294967295,
1600
+ 4294967295,
1601
+ 286326787,
1602
+ 286326788,
1603
+ 286326789,
1604
+ 286326790,
1605
+ 0,
1606
+ 286326792
1607
+ ]
1608
+ },
1609
+ "source": {
1610
+ "flat": 527039,
1611
+ "inverse": [
1612
+ 286326784,
1613
+ 4294967295,
1614
+ 4294967295,
1615
+ 286326787,
1616
+ 286326788,
1617
+ 286326789,
1618
+ 286326790,
1619
+ 0,
1620
+ 286326792
1621
+ ]
1622
+ }
1623
+ },
1624
+ {
1625
+ "rust": {
1626
+ "flat": 527039,
1627
+ "inverse": [
1628
+ 286326784,
1629
+ 2,
1630
+ 2,
1631
+ 286326787,
1632
+ 286326788,
1633
+ 286326789,
1634
+ 286326790,
1635
+ 1491308,
1636
+ 286326792
1637
+ ]
1638
+ },
1639
+ "source": {
1640
+ "flat": 527039,
1641
+ "inverse": [
1642
+ 286326784,
1643
+ 2,
1644
+ 2,
1645
+ 286326787,
1646
+ 286326788,
1647
+ 286326789,
1648
+ 286326790,
1649
+ 1491308,
1650
+ 286326792
1651
+ ]
1652
+ }
1653
+ },
1654
+ {
1655
+ "rust": {
1656
+ "flat": 527039,
1657
+ "inverse": [
1658
+ 286326784,
1659
+ 4294967294,
1660
+ 4294967294,
1661
+ 286326787,
1662
+ 286326788,
1663
+ 286326789,
1664
+ 286326790,
1665
+ 4293475988,
1666
+ 286326792
1667
+ ]
1668
+ },
1669
+ "source": {
1670
+ "flat": 527039,
1671
+ "inverse": [
1672
+ 286326784,
1673
+ 4294967294,
1674
+ 4294967294,
1675
+ 286326787,
1676
+ 286326788,
1677
+ 286326789,
1678
+ 286326790,
1679
+ 4293475988,
1680
+ 286326792
1681
+ ]
1682
+ }
1683
+ },
1684
+ {
1685
+ "rust": {
1686
+ "flat": 4294965856,
1687
+ "inverse": [
1688
+ 286326784,
1689
+ 0,
1690
+ 0,
1691
+ 286326787,
1692
+ 286326788,
1693
+ 286326789,
1694
+ 286326790,
1695
+ 0,
1696
+ 286326792
1697
+ ]
1698
+ },
1699
+ "source": {
1700
+ "flat": 4294965856,
1701
+ "inverse": [
1702
+ 286326784,
1703
+ 0,
1704
+ 0,
1705
+ 286326787,
1706
+ 286326788,
1707
+ 286326789,
1708
+ 286326790,
1709
+ 0,
1710
+ 286326792
1711
+ ]
1712
+ }
1713
+ },
1714
+ {
1715
+ "rust": {
1716
+ "flat": 4294965856,
1717
+ "inverse": [
1718
+ 286326784,
1719
+ 0,
1720
+ 0,
1721
+ 286326787,
1722
+ 286326788,
1723
+ 286326789,
1724
+ 286326790,
1725
+ 0,
1726
+ 286326792
1727
+ ]
1728
+ },
1729
+ "source": {
1730
+ "flat": 4294965856,
1731
+ "inverse": [
1732
+ 286326784,
1733
+ 0,
1734
+ 0,
1735
+ 286326787,
1736
+ 286326788,
1737
+ 286326789,
1738
+ 286326790,
1739
+ 0,
1740
+ 286326792
1741
+ ]
1742
+ }
1743
+ },
1744
+ {
1745
+ "rust": {
1746
+ "flat": 4294965856,
1747
+ "inverse": [
1748
+ 286326784,
1749
+ 1,
1750
+ 1,
1751
+ 286326787,
1752
+ 286326788,
1753
+ 286326789,
1754
+ 286326790,
1755
+ 0,
1756
+ 286326792
1757
+ ]
1758
+ },
1759
+ "source": {
1760
+ "flat": 4294965856,
1761
+ "inverse": [
1762
+ 286326784,
1763
+ 1,
1764
+ 1,
1765
+ 286326787,
1766
+ 286326788,
1767
+ 286326789,
1768
+ 286326790,
1769
+ 0,
1770
+ 286326792
1771
+ ]
1772
+ }
1773
+ },
1774
+ {
1775
+ "rust": {
1776
+ "flat": 4294965856,
1777
+ "inverse": [
1778
+ 286326784,
1779
+ 1,
1780
+ 1,
1781
+ 286326787,
1782
+ 286326788,
1783
+ 286326789,
1784
+ 286326790,
1785
+ 1,
1786
+ 286326792
1787
+ ]
1788
+ },
1789
+ "source": {
1790
+ "flat": 4294965856,
1791
+ "inverse": [
1792
+ 286326784,
1793
+ 1,
1794
+ 1,
1795
+ 286326787,
1796
+ 286326788,
1797
+ 286326789,
1798
+ 286326790,
1799
+ 1,
1800
+ 286326792
1801
+ ]
1802
+ }
1803
+ },
1804
+ {
1805
+ "rust": {
1806
+ "flat": 4294965856,
1807
+ "inverse": [
1808
+ 286326784,
1809
+ 4294967295,
1810
+ 4294967295,
1811
+ 286326787,
1812
+ 286326788,
1813
+ 286326789,
1814
+ 286326790,
1815
+ 0,
1816
+ 286326792
1817
+ ]
1818
+ },
1819
+ "source": {
1820
+ "flat": 4294965856,
1821
+ "inverse": [
1822
+ 286326784,
1823
+ 4294967295,
1824
+ 4294967295,
1825
+ 286326787,
1826
+ 286326788,
1827
+ 286326789,
1828
+ 286326790,
1829
+ 0,
1830
+ 286326792
1831
+ ]
1832
+ }
1833
+ },
1834
+ {
1835
+ "rust": {
1836
+ "flat": 4294965856,
1837
+ "inverse": [
1838
+ 286326784,
1839
+ 2,
1840
+ 2,
1841
+ 286326787,
1842
+ 286326788,
1843
+ 286326789,
1844
+ 286326790,
1845
+ 1491308,
1846
+ 286326792
1847
+ ]
1848
+ },
1849
+ "source": {
1850
+ "flat": 4294965856,
1851
+ "inverse": [
1852
+ 286326784,
1853
+ 2,
1854
+ 2,
1855
+ 286326787,
1856
+ 286326788,
1857
+ 286326789,
1858
+ 286326790,
1859
+ 1491308,
1860
+ 286326792
1861
+ ]
1862
+ }
1863
+ },
1864
+ {
1865
+ "rust": {
1866
+ "flat": 4294965856,
1867
+ "inverse": [
1868
+ 286326784,
1869
+ 4294967294,
1870
+ 4294967294,
1871
+ 286326787,
1872
+ 286326788,
1873
+ 286326789,
1874
+ 286326790,
1875
+ 4293475988,
1876
+ 286326792
1877
+ ]
1878
+ },
1879
+ "source": {
1880
+ "flat": 4294965856,
1881
+ "inverse": [
1882
+ 286326784,
1883
+ 4294967294,
1884
+ 4294967294,
1885
+ 286326787,
1886
+ 286326788,
1887
+ 286326789,
1888
+ 286326790,
1889
+ 4293475988,
1890
+ 286326792
1891
+ ]
1892
+ }
1893
+ },
1894
+ {
1895
+ "rust": {
1896
+ "flat": 4294967236,
1897
+ "inverse": [
1898
+ 286326784,
1899
+ 0,
1900
+ 0,
1901
+ 286326787,
1902
+ 286326788,
1903
+ 286326789,
1904
+ 286326790,
1905
+ 0,
1906
+ 286326792
1907
+ ]
1908
+ },
1909
+ "source": {
1910
+ "flat": 4294967236,
1911
+ "inverse": [
1912
+ 286326784,
1913
+ 0,
1914
+ 0,
1915
+ 286326787,
1916
+ 286326788,
1917
+ 286326789,
1918
+ 286326790,
1919
+ 0,
1920
+ 286326792
1921
+ ]
1922
+ }
1923
+ },
1924
+ {
1925
+ "rust": {
1926
+ "flat": 4294967236,
1927
+ "inverse": [
1928
+ 286326784,
1929
+ 0,
1930
+ 0,
1931
+ 286326787,
1932
+ 286326788,
1933
+ 286326789,
1934
+ 286326790,
1935
+ 0,
1936
+ 286326792
1937
+ ]
1938
+ },
1939
+ "source": {
1940
+ "flat": 4294967236,
1941
+ "inverse": [
1942
+ 286326784,
1943
+ 0,
1944
+ 0,
1945
+ 286326787,
1946
+ 286326788,
1947
+ 286326789,
1948
+ 286326790,
1949
+ 0,
1950
+ 286326792
1951
+ ]
1952
+ }
1953
+ },
1954
+ {
1955
+ "rust": {
1956
+ "flat": 4294967236,
1957
+ "inverse": [
1958
+ 286326784,
1959
+ 1,
1960
+ 1,
1961
+ 286326787,
1962
+ 286326788,
1963
+ 286326789,
1964
+ 286326790,
1965
+ 0,
1966
+ 286326792
1967
+ ]
1968
+ },
1969
+ "source": {
1970
+ "flat": 4294967236,
1971
+ "inverse": [
1972
+ 286326784,
1973
+ 1,
1974
+ 1,
1975
+ 286326787,
1976
+ 286326788,
1977
+ 286326789,
1978
+ 286326790,
1979
+ 0,
1980
+ 286326792
1981
+ ]
1982
+ }
1983
+ },
1984
+ {
1985
+ "rust": {
1986
+ "flat": 4294967236,
1987
+ "inverse": [
1988
+ 286326784,
1989
+ 1,
1990
+ 1,
1991
+ 286326787,
1992
+ 286326788,
1993
+ 286326789,
1994
+ 286326790,
1995
+ 1,
1996
+ 286326792
1997
+ ]
1998
+ },
1999
+ "source": {
2000
+ "flat": 4294967236,
2001
+ "inverse": [
2002
+ 286326784,
2003
+ 1,
2004
+ 1,
2005
+ 286326787,
2006
+ 286326788,
2007
+ 286326789,
2008
+ 286326790,
2009
+ 1,
2010
+ 286326792
2011
+ ]
2012
+ }
2013
+ },
2014
+ {
2015
+ "rust": {
2016
+ "flat": 4294967236,
2017
+ "inverse": [
2018
+ 286326784,
2019
+ 4294967295,
2020
+ 4294967295,
2021
+ 286326787,
2022
+ 286326788,
2023
+ 286326789,
2024
+ 286326790,
2025
+ 0,
2026
+ 286326792
2027
+ ]
2028
+ },
2029
+ "source": {
2030
+ "flat": 4294967236,
2031
+ "inverse": [
2032
+ 286326784,
2033
+ 4294967295,
2034
+ 4294967295,
2035
+ 286326787,
2036
+ 286326788,
2037
+ 286326789,
2038
+ 286326790,
2039
+ 0,
2040
+ 286326792
2041
+ ]
2042
+ }
2043
+ },
2044
+ {
2045
+ "rust": {
2046
+ "flat": 4294967236,
2047
+ "inverse": [
2048
+ 286326784,
2049
+ 2,
2050
+ 2,
2051
+ 286326787,
2052
+ 286326788,
2053
+ 286326789,
2054
+ 286326790,
2055
+ 1491308,
2056
+ 286326792
2057
+ ]
2058
+ },
2059
+ "source": {
2060
+ "flat": 4294967236,
2061
+ "inverse": [
2062
+ 286326784,
2063
+ 2,
2064
+ 2,
2065
+ 286326787,
2066
+ 286326788,
2067
+ 286326789,
2068
+ 286326790,
2069
+ 1491308,
2070
+ 286326792
2071
+ ]
2072
+ }
2073
+ },
2074
+ {
2075
+ "rust": {
2076
+ "flat": 4294967236,
2077
+ "inverse": [
2078
+ 286326784,
2079
+ 4294967294,
2080
+ 4294967294,
2081
+ 286326787,
2082
+ 286326788,
2083
+ 286326789,
2084
+ 286326790,
2085
+ 4293475988,
2086
+ 286326792
2087
+ ]
2088
+ },
2089
+ "source": {
2090
+ "flat": 4294967236,
2091
+ "inverse": [
2092
+ 286326784,
2093
+ 4294967294,
2094
+ 4294967294,
2095
+ 286326787,
2096
+ 286326788,
2097
+ 286326789,
2098
+ 286326790,
2099
+ 4293475988,
2100
+ 286326792
2101
+ ]
2102
+ }
2103
+ },
2104
+ {
2105
+ "rust": {
2106
+ "flat": 4294965915,
2107
+ "inverse": [
2108
+ 286326784,
2109
+ 0,
2110
+ 0,
2111
+ 286326787,
2112
+ 286326788,
2113
+ 286326789,
2114
+ 286326790,
2115
+ 0,
2116
+ 286326792
2117
+ ]
2118
+ },
2119
+ "source": {
2120
+ "flat": 4294965915,
2121
+ "inverse": [
2122
+ 286326784,
2123
+ 0,
2124
+ 0,
2125
+ 286326787,
2126
+ 286326788,
2127
+ 286326789,
2128
+ 286326790,
2129
+ 0,
2130
+ 286326792
2131
+ ]
2132
+ }
2133
+ },
2134
+ {
2135
+ "rust": {
2136
+ "flat": 4294965915,
2137
+ "inverse": [
2138
+ 286326784,
2139
+ 0,
2140
+ 0,
2141
+ 286326787,
2142
+ 286326788,
2143
+ 286326789,
2144
+ 286326790,
2145
+ 0,
2146
+ 286326792
2147
+ ]
2148
+ },
2149
+ "source": {
2150
+ "flat": 4294965915,
2151
+ "inverse": [
2152
+ 286326784,
2153
+ 0,
2154
+ 0,
2155
+ 286326787,
2156
+ 286326788,
2157
+ 286326789,
2158
+ 286326790,
2159
+ 0,
2160
+ 286326792
2161
+ ]
2162
+ }
2163
+ },
2164
+ {
2165
+ "rust": {
2166
+ "flat": 4294965915,
2167
+ "inverse": [
2168
+ 286326784,
2169
+ 1,
2170
+ 1,
2171
+ 286326787,
2172
+ 286326788,
2173
+ 286326789,
2174
+ 286326790,
2175
+ 0,
2176
+ 286326792
2177
+ ]
2178
+ },
2179
+ "source": {
2180
+ "flat": 4294965915,
2181
+ "inverse": [
2182
+ 286326784,
2183
+ 1,
2184
+ 1,
2185
+ 286326787,
2186
+ 286326788,
2187
+ 286326789,
2188
+ 286326790,
2189
+ 0,
2190
+ 286326792
2191
+ ]
2192
+ }
2193
+ },
2194
+ {
2195
+ "rust": {
2196
+ "flat": 4294965915,
2197
+ "inverse": [
2198
+ 286326784,
2199
+ 1,
2200
+ 1,
2201
+ 286326787,
2202
+ 286326788,
2203
+ 286326789,
2204
+ 286326790,
2205
+ 1,
2206
+ 286326792
2207
+ ]
2208
+ },
2209
+ "source": {
2210
+ "flat": 4294965915,
2211
+ "inverse": [
2212
+ 286326784,
2213
+ 1,
2214
+ 1,
2215
+ 286326787,
2216
+ 286326788,
2217
+ 286326789,
2218
+ 286326790,
2219
+ 1,
2220
+ 286326792
2221
+ ]
2222
+ }
2223
+ },
2224
+ {
2225
+ "rust": {
2226
+ "flat": 4294965915,
2227
+ "inverse": [
2228
+ 286326784,
2229
+ 4294967295,
2230
+ 4294967295,
2231
+ 286326787,
2232
+ 286326788,
2233
+ 286326789,
2234
+ 286326790,
2235
+ 0,
2236
+ 286326792
2237
+ ]
2238
+ },
2239
+ "source": {
2240
+ "flat": 4294965915,
2241
+ "inverse": [
2242
+ 286326784,
2243
+ 4294967295,
2244
+ 4294967295,
2245
+ 286326787,
2246
+ 286326788,
2247
+ 286326789,
2248
+ 286326790,
2249
+ 0,
2250
+ 286326792
2251
+ ]
2252
+ }
2253
+ },
2254
+ {
2255
+ "rust": {
2256
+ "flat": 4294965915,
2257
+ "inverse": [
2258
+ 286326784,
2259
+ 2,
2260
+ 2,
2261
+ 286326787,
2262
+ 286326788,
2263
+ 286326789,
2264
+ 286326790,
2265
+ 1491308,
2266
+ 286326792
2267
+ ]
2268
+ },
2269
+ "source": {
2270
+ "flat": 4294965915,
2271
+ "inverse": [
2272
+ 286326784,
2273
+ 2,
2274
+ 2,
2275
+ 286326787,
2276
+ 286326788,
2277
+ 286326789,
2278
+ 286326790,
2279
+ 1491308,
2280
+ 286326792
2281
+ ]
2282
+ }
2283
+ },
2284
+ {
2285
+ "rust": {
2286
+ "flat": 4294965915,
2287
+ "inverse": [
2288
+ 286326784,
2289
+ 4294967294,
2290
+ 4294967294,
2291
+ 286326787,
2292
+ 286326788,
2293
+ 286326789,
2294
+ 286326790,
2295
+ 4293475988,
2296
+ 286326792
2297
+ ]
2298
+ },
2299
+ "source": {
2300
+ "flat": 4294965915,
2301
+ "inverse": [
2302
+ 286326784,
2303
+ 4294967294,
2304
+ 4294967294,
2305
+ 286326787,
2306
+ 286326788,
2307
+ 286326789,
2308
+ 286326790,
2309
+ 4293475988,
2310
+ 286326792
2311
+ ]
2312
+ }
2313
+ },
2314
+ {
2315
+ "rust": {
2316
+ "flat": 4294967295,
2317
+ "inverse": [
2318
+ 286326784,
2319
+ 0,
2320
+ 0,
2321
+ 286326787,
2322
+ 286326788,
2323
+ 286326789,
2324
+ 286326790,
2325
+ 0,
2326
+ 286326792
2327
+ ]
2328
+ },
2329
+ "source": {
2330
+ "flat": 4294967295,
2331
+ "inverse": [
2332
+ 286326784,
2333
+ 0,
2334
+ 0,
2335
+ 286326787,
2336
+ 286326788,
2337
+ 286326789,
2338
+ 286326790,
2339
+ 0,
2340
+ 286326792
2341
+ ]
2342
+ }
2343
+ },
2344
+ {
2345
+ "rust": {
2346
+ "flat": 4294967295,
2347
+ "inverse": [
2348
+ 286326784,
2349
+ 0,
2350
+ 0,
2351
+ 286326787,
2352
+ 286326788,
2353
+ 286326789,
2354
+ 286326790,
2355
+ 0,
2356
+ 286326792
2357
+ ]
2358
+ },
2359
+ "source": {
2360
+ "flat": 4294967295,
2361
+ "inverse": [
2362
+ 286326784,
2363
+ 0,
2364
+ 0,
2365
+ 286326787,
2366
+ 286326788,
2367
+ 286326789,
2368
+ 286326790,
2369
+ 0,
2370
+ 286326792
2371
+ ]
2372
+ }
2373
+ },
2374
+ {
2375
+ "rust": {
2376
+ "flat": 4294967295,
2377
+ "inverse": [
2378
+ 286326784,
2379
+ 1,
2380
+ 1,
2381
+ 286326787,
2382
+ 286326788,
2383
+ 286326789,
2384
+ 286326790,
2385
+ 0,
2386
+ 286326792
2387
+ ]
2388
+ },
2389
+ "source": {
2390
+ "flat": 4294967295,
2391
+ "inverse": [
2392
+ 286326784,
2393
+ 1,
2394
+ 1,
2395
+ 286326787,
2396
+ 286326788,
2397
+ 286326789,
2398
+ 286326790,
2399
+ 0,
2400
+ 286326792
2401
+ ]
2402
+ }
2403
+ },
2404
+ {
2405
+ "rust": {
2406
+ "flat": 4294967295,
2407
+ "inverse": [
2408
+ 286326784,
2409
+ 1,
2410
+ 1,
2411
+ 286326787,
2412
+ 286326788,
2413
+ 286326789,
2414
+ 286326790,
2415
+ 1,
2416
+ 286326792
2417
+ ]
2418
+ },
2419
+ "source": {
2420
+ "flat": 4294967295,
2421
+ "inverse": [
2422
+ 286326784,
2423
+ 1,
2424
+ 1,
2425
+ 286326787,
2426
+ 286326788,
2427
+ 286326789,
2428
+ 286326790,
2429
+ 1,
2430
+ 286326792
2431
+ ]
2432
+ }
2433
+ },
2434
+ {
2435
+ "rust": {
2436
+ "flat": 4294967295,
2437
+ "inverse": [
2438
+ 286326784,
2439
+ 4294967295,
2440
+ 4294967295,
2441
+ 286326787,
2442
+ 286326788,
2443
+ 286326789,
2444
+ 286326790,
2445
+ 0,
2446
+ 286326792
2447
+ ]
2448
+ },
2449
+ "source": {
2450
+ "flat": 4294967295,
2451
+ "inverse": [
2452
+ 286326784,
2453
+ 4294967295,
2454
+ 4294967295,
2455
+ 286326787,
2456
+ 286326788,
2457
+ 286326789,
2458
+ 286326790,
2459
+ 0,
2460
+ 286326792
2461
+ ]
2462
+ }
2463
+ },
2464
+ {
2465
+ "rust": {
2466
+ "flat": 4294967295,
2467
+ "inverse": [
2468
+ 286326784,
2469
+ 2,
2470
+ 2,
2471
+ 286326787,
2472
+ 286326788,
2473
+ 286326789,
2474
+ 286326790,
2475
+ 1491308,
2476
+ 286326792
2477
+ ]
2478
+ },
2479
+ "source": {
2480
+ "flat": 4294967295,
2481
+ "inverse": [
2482
+ 286326784,
2483
+ 2,
2484
+ 2,
2485
+ 286326787,
2486
+ 286326788,
2487
+ 286326789,
2488
+ 286326790,
2489
+ 1491308,
2490
+ 286326792
2491
+ ]
2492
+ }
2493
+ },
2494
+ {
2495
+ "rust": {
2496
+ "flat": 4294967295,
2497
+ "inverse": [
2498
+ 286326784,
2499
+ 4294967294,
2500
+ 4294967294,
2501
+ 286326787,
2502
+ 286326788,
2503
+ 286326789,
2504
+ 286326790,
2505
+ 4293475988,
2506
+ 286326792
2507
+ ]
2508
+ },
2509
+ "source": {
2510
+ "flat": 4294967295,
2511
+ "inverse": [
2512
+ 286326784,
2513
+ 4294967294,
2514
+ 4294967294,
2515
+ 286326787,
2516
+ 286326788,
2517
+ 286326789,
2518
+ 286326790,
2519
+ 4293475988,
2520
+ 286326792
2521
+ ]
2522
+ }
2523
+ }
2524
+ ],
2525
+ "source_report": "docs/research/qvm-filter-time.json",
2526
+ "source_report_sha256": "be2e81f0d89a9773b62cb338bc459649d89833059914b0cf545136f792fb12c5"
2527
+ }
docs/research/rust-health-impulse.json CHANGED
@@ -2985,7 +2985,7 @@
2985
  "exit_code": 2
2986
  }
2987
  ],
2988
- "rust_unit_tests": 196,
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": 198,
2989
  "source_report": "docs/research/qvm-health-impulse.json",
2990
  "source_report_sha256": "625fd8064004ea6dbdf398d51d0af844d9c635ff04c0a0790886dddb6ab81e71"
2991
  }
scripts/analyze_rust_filter_time.py ADDED
@@ -0,0 +1,16 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ """Compare recovered Rust policy with original QVM fixtures."""
2
+ import hashlib,json,os,subprocess
3
+ from pathlib import Path
4
+ from analyze_qvm import write_json
5
+ from rust_lifecycle_support import result
6
+
7
+ def main():
8
+ subprocess.run(['cargo','build','--offline','--package','urt-gameplay','--bin','urt-filter-loading'],check=True,capture_output=True)
9
+ binary=Path(os.environ.get('CARGO_TARGET_DIR','target'))/'debug'/'urt-filter-loading'
10
+ path=Path('docs/research/qvm-filter-time.json');data=path.read_bytes();probes=[]
11
+ for p in json.loads(data)['probes']:
12
+ probes.append(dict(source={k:p[k] for k in ['flat', 'inverse']},rust=result(binary,'time',encode(p['input']))))
13
+ write_json(Path('docs/research/rust-filter-time.json'),dict(source_report=str(path),source_report_sha256=hashlib.sha256(data).hexdigest(),probes=probes,limits='Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.'))
14
+
15
+ def encode(a):return [*a['fields'],a['minutes']]
16
+ if __name__=='__main__':main()
scripts/test_rust_filter_time.py ADDED
@@ -0,0 +1,9 @@
 
 
 
 
 
 
 
 
 
 
1
+ import hashlib,json,unittest
2
+ from pathlib import Path
3
+ class PortTests(unittest.TestCase):
4
+ def test_original_parity(self):
5
+ r=json.loads(Path('docs/research/rust-filter-time.json').read_text());self.assertGreaterEqual(len(r['probes']),12)
6
+ for p in r['probes']:self.assertEqual(p['source'],p['rust'])
7
+ def test_identity(self):
8
+ r=json.loads(Path('docs/research/rust-filter-time.json').read_text());self.assertEqual(hashlib.sha256(Path(r['source_report']).read_bytes()).hexdigest(),r['source_report_sha256'])
9
+ if __name__=='__main__':unittest.main()
xtask/checks.tsv CHANGED
@@ -3206,3 +3206,21 @@ report scripts/analyze_qvm_filter_time.py docs/research/qvm-filter-time.json
3206
  edge docs/research/qvm-filter-time.json scripts/test_qvm_filter_time.py
3207
  group qvm-filter-time scripts/analyze_qvm_filter_time.py
3208
  edge scripts/analyze_qvm_filter_time.py scripts/analyze_qvm_resumer_audit.py
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
3206
  edge docs/research/qvm-filter-time.json scripts/test_qvm_filter_time.py
3207
  group qvm-filter-time scripts/analyze_qvm_filter_time.py
3208
  edge scripts/analyze_qvm_filter_time.py scripts/analyze_qvm_resumer_audit.py
3209
+ report scripts/analyze_rust_filter_time.py docs/research/rust-filter-time.json
3210
+ edge docs/research/rust-filter-time.json scripts/test_rust_filter_time.py
3211
+ group rust-filter-time scripts/analyze_rust_filter_time.py
3212
+ edge scripts/analyze_rust_filter_time.py scripts/analyze_qvm_resumer_audit.py
3213
+ edge Cargo.toml scripts/analyze_rust_filter_time.py
3214
+ edge Cargo.lock scripts/analyze_rust_filter_time.py
3215
+ edge crates/urt-gameplay/Cargo.toml scripts/analyze_rust_filter_time.py
3216
+ edge crates/urt-gameplay/src/lib.rs scripts/analyze_rust_filter_time.py
3217
+ edge crates/urt-gameplay/src/filter_loading.rs scripts/analyze_rust_filter_time.py
3218
+ edge crates/urt-gameplay/src/filter_lifecycle.rs scripts/analyze_rust_filter_time.py
3219
+ edge crates/urt-gameplay/src/native_policy.rs scripts/analyze_rust_filter_time.py
3220
+ edge crates/urt-gameplay/src/bin/urt-filter-loading.rs scripts/analyze_rust_filter_time.py
3221
+ edge crates/urt-gameplay/src/qvm_format.rs scripts/analyze_rust_filter_time.py
3222
+ edge docs/research/qvm-filter-time.json scripts/analyze_rust_filter_time.py
3223
+ group rust-filter-time scripts/analyze_rust_health_impulse.py
3224
+ group gameplay scripts/analyze_rust_filter_time.py
3225
+ edge crates/urt-gameplay/src/filter_loading.rs scripts/analyze_rust_health_impulse.py
3226
+ edge crates/urt-gameplay/src/bin/urt-filter-loading.rs scripts/analyze_rust_health_impulse.py