gameplay: port statistic totals and ratios

crates/urt-gameplay/src/bin/urt-lifecycle.rs

@@ -197,6 +197,32 @@ fn run() -> Result<(), String> {
             }
             println!("{{\"changes\":[{}]}}", changes.join(","));
         }
+        "divisor" if w.len() == 2 => {
+            println!(
+                "{{\"divisor\":{}}}",
+                urt_gameplay::stat_totals::divisor(w[0] as i32, w[1] as i32)
+            );
+        }
+        "totals" if w.len() == 76 => {
+            use urt_gameplay::stat_totals::{Counters, normalize, totals};
+            let v: Vec<i32> = w.iter().map(|v| *v as i32).collect();
+            let c = Counters {
+                first_legacy: v[..18].try_into().unwrap(),
+                second_legacy: v[18..36].try_into().unwrap(),
+                first_slots: v[36..56].try_into().unwrap(),
+                second_slots: v[56..].try_into().unwrap(),
+            };
+            let t = totals(&c);
+            let n = normalize(t);
+            println!(
+                "{{\"first\":{},\"second\":{},\"3080\":{},\"3084\":{},\"3088\":{}}}",
+                t.first,
+                t.second,
+                n.first as u32,
+                n.second as u32,
+                n.ratio.to_bits()
+            );
+        }
         _ => return Err("unsupported contract or arguments".into()),
     }
     Ok(())

crates/urt-gameplay/src/lib.rs

@@ -151,3 +151,4 @@ pub mod mode10;
 pub mod protected;
 pub mod record_clear;
 pub mod score;
+pub mod stat_totals;

crates/urt-gameplay/src/stat_totals.rs

@@ -0,0 +1,164 @@
+//! Source283085/283166 totals and279586 numeric ratio publication.
+#[derive(Clone, Debug, PartialEq, Eq)]
+pub struct Counters {
+    pub first_legacy: [i32; 18],
+    pub second_legacy: [i32; 18],
+    pub first_slots: [i32; 20],
+    pub second_slots: [i32; 20],
+}
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub struct Totals {
+    pub first: i32,
+    pub second: i32,
+}
+#[derive(Clone, Copy, Debug, PartialEq)]
+pub struct Normalized {
+    pub first: i32,
+    pub second: i32,
+    pub ratio: f32,
+}
+pub fn totals(c: &Counters) -> Totals {
+    let first = c
+        .first_legacy
+        .iter()
+        .enumerate()
+        .filter(|(j, _)| *j != 13 && *j != 17)
+        .map(|(_, v)| *v)
+        .chain(c.first_slots.iter().copied())
+        .fold(0i32, i32::wrapping_add);
+    let second = c
+        .second_legacy
+        .iter()
+        .enumerate()
+        .filter(|(j, _)| *j != 17)
+        .map(|(_, v)| *v)
+        .chain(c.second_slots.iter().copied())
+        .fold(0i32, i32::wrapping_add);
+    Totals { first, second }
+}
+/// Equivalent divisor using Euclid rather than source's downward search.
+/// Source returns1 for a zero input or a nonpositive signed maximum.
+pub fn divisor(a: i32, b: i32) -> i32 {
+    if a == 0 || b == 0 || a.max(b) <= 0 {
+        return 1;
+    }
+    let (mut a, mut b) = (a.unsigned_abs(), b.unsigned_abs());
+    while b != 0 {
+        let r = a % b;
+        a = b;
+        b = r;
+    }
+    a as i32
+}
+pub fn normalize(t: Totals) -> Normalized {
+    let d = divisor(t.first, t.second);
+    Normalized {
+        first: t.first / d,
+        second: t.second / d,
+        ratio: if t.second == 0 {
+            0.
+        } else {
+            t.first as f32 / t.second as f32
+        },
+    }
+}
+#[cfg(test)]
+mod tests {
+    use super::*;
+    fn counters(v: i32) -> Counters {
+        Counters {
+            first_legacy: [v; 18],
+            second_legacy: [v; 18],
+            first_slots: [v; 20],
+            second_slots: [v; 20],
+        }
+    }
+    #[test]
+    fn all_included_counts_and_exclusions() {
+        assert_eq!(
+            totals(&counters(1)),
+            Totals {
+                first: 36,
+                second: 37
+            }
+        );
+        let mut c = counters(0);
+        c.first_legacy[13] = 99;
+        c.first_legacy[17] = 99;
+        c.second_legacy[17] = 99;
+        assert_eq!(
+            totals(&c),
+            Totals {
+                first: 0,
+                second: 0
+            }
+        );
+        c.first_slots[19] = 7;
+        c.second_slots[19] = 8;
+        assert_eq!(
+            totals(&c),
+            Totals {
+                first: 7,
+                second: 8
+            }
+        );
+    }
+    #[test]
+    fn wrapping_sums_preserve_source_words() {
+        assert_eq!(
+            totals(&counters(i32::MAX)),
+            Totals {
+                first: -36,
+                second: i32::MAX - 36
+            }
+        );
+    }
+    #[test]
+    fn signed_divisor_domain() {
+        for (a, b, d) in [
+            (-20, 20, 20),
+            (-2, -4, 1),
+            (0, 8, 1),
+            (12, 18, 6),
+            (i32::MIN, 1, 1),
+        ] {
+            assert_eq!(divisor(a, b), d);
+        }
+    }
+    #[test]
+    fn integer_reduction_and_float32_ratio() {
+        assert_eq!(
+            normalize(Totals {
+                first: -20,
+                second: 20
+            }),
+            Normalized {
+                first: -1,
+                second: 1,
+                ratio: -1.
+            }
+        );
+        assert_eq!(
+            normalize(Totals {
+                first: 7,
+                second: 0
+            }),
+            Normalized {
+                first: 7,
+                second: 0,
+                ratio: 0.
+            }
+        );
+        assert_eq!(
+            normalize(Totals {
+                first: 2,
+                second: 6
+            }),
+            Normalized {
+                first: 1,
+                second: 3,
+                ratio: 2f32 / 6f32
+            }
+        );
+    }
+}

docs/ASSET_PIPELINE_TODO.md

@@ -952,3 +952,6 @@ Research progress: RE-763 [report](research/QVM_RECIPIENT_PAIR.md); original ass
 
 
 Research progress: RE-764 [report](research/QVM_RANKING_SETUP.md); original assets unchanged.
+
+
+Research progress: RE-765 [report](research/RUST_STAT_TOTALS.md); original assets unchanged.

docs/FINDINGS.md

@@ -1298,3 +1298,6 @@ RE-725–734 batch: [health, contact and Rust impulse findings](research/QVM_HEA
 
 
 **RE-764 — Ranking setup counts active slots and sort boundary:** 5864 setup builds a scan-order connected list, distinguishes non-spectator/active/human counts and records the first two active slots before sorting. [Evidence](research/QVM_RANKING_SETUP.md).
+
+
+**RE-765 — Rust counter totals divisor and normalized ratio primitives:** Rust totals and normalized ratios match80 total,28 ratio and38 signed-divisor source fixtures while retaining20 slots. [Evidence](research/RUST_STAT_TOTALS.md).

docs/PROVISIONAL_TODO.md

@@ -1293,3 +1293,6 @@ Research progress: RE-763 [report](research/QVM_RECIPIENT_PAIR.md); full native/
 
 
 Research progress: RE-764 [report](research/QVM_RANKING_SETUP.md); full native/platform/game scope remains open.
+
+
+Research progress: RE-765 [report](research/RUST_STAT_TOTALS.md); full native/platform/game scope remains open.

docs/RESEARCH_LEDGER.md

@@ -1476,3 +1476,8 @@ Additional RE-763 regression: `cargo xtask test-group recipient-single` passes6
 ## 2026-10-21 — RE-764 Ranking setup counts active slots and sort boundary
 
 5864 setup builds a scan-order connected list, distinguishes non-spectator/active/human counts and records the first two active slots before sorting. Focused `cargo xtask test-group ranking-setup` passes (3 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 49546 bytes. Full-suite validation is deferred to the tenth batch commit. No original assets, Rust runtime or shared VM evaluator changed.
+
+
+## 2026-10-21 — RE-765 Rust counter totals divisor and normalized ratio primitives
+
+Rust totals and normalized ratios match80 total,28 ratio and38 signed-divisor source fixtures while retaining20 slots. Focused `cargo xtask test-group gameplay` passes (25 Python tests); selected reports regenerate twice byte-identically, with storage, links and whitespace guards. New report: 32451 bytes. Full-suite validation is deferred to the tenth batch commit. Rust gameplay crate changed; focused gameplay regenerates eight parity contracts and scoped package tests. No workspace/full-suite run before commit ten.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1336,3 +1336,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-764 Ranking setup counts active slots and sort boundary ([report](research/QVM_RANKING_SETUP.md)).
+
+
+- [x] RE-765 Rust counter totals divisor and normalized ratio primitives ([report](research/RUST_STAT_TOTALS.md)).

docs/research/README.md

@@ -888,3 +888,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-764: Ranking setup counts active slots and sort boundary](QVM_RANKING_SETUP.md).
+
+
+[RE-765: Rust counter totals divisor and normalized ratio primitives](RUST_STAT_TOTALS.md).

docs/research/RUST_STAT_TOTALS.md

@@ -0,0 +1,7 @@
+# Rust counter totals divisor and normalized ratio primitives
+
+RE-765. Reproduce with `python3 scripts/analyze_rust_stat_totals.py`; validate with `cargo xtask test-group gameplay`. See the [machine report](rust-stat-totals.json).
+
+Added explicit legacy/slot counter arrays, wrapping sums, signed divisor guards and source-order float32 ratio publication. Euclid preserves the source result while avoiding downward scans. Four Rust unit tests cover exclusions,20th slot, overflow, signed/zero divisor guards and ratio publication. Runtime counter ownership, publication integration and native/platform parity remain open.
+
+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

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

docs/research/rust-stat-totals.json

@@ -0,0 +1,2045 @@
+{
+  "divisors": [
+    {
+      "input": [
+        -2,
+        -3
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        -2,
+        0
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        -2,
+        1
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        -2,
+        2
+      ],
+      "rust": {
+        "divisor": 2
+      },
+      "source": 2
+    },
+    {
+      "input": [
+        -2,
+        18
+      ],
+      "rust": {
+        "divisor": 2
+      },
+      "source": 2
+    },
+    {
+      "input": [
+        -2,
+        40
+      ],
+      "rust": {
+        "divisor": 2
+      },
+      "source": 2
+    },
+    {
+      "input": [
+        0,
+        -3
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        0,
+        0
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        0,
+        1
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        0,
+        2
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        0,
+        18
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        0,
+        40
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        1,
+        -3
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        1,
+        0
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        1,
+        1
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        1,
+        2
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        1,
+        18
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        1,
+        40
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        2,
+        -3
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        2,
+        0
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        2,
+        1
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        2,
+        2
+      ],
+      "rust": {
+        "divisor": 2
+      },
+      "source": 2
+    },
+    {
+      "input": [
+        2,
+        18
+      ],
+      "rust": {
+        "divisor": 2
+      },
+      "source": 2
+    },
+    {
+      "input": [
+        2,
+        40
+      ],
+      "rust": {
+        "divisor": 2
+      },
+      "source": 2
+    },
+    {
+      "input": [
+        12,
+        -3
+      ],
+      "rust": {
+        "divisor": 3
+      },
+      "source": 3
+    },
+    {
+      "input": [
+        12,
+        0
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        12,
+        1
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        12,
+        2
+      ],
+      "rust": {
+        "divisor": 2
+      },
+      "source": 2
+    },
+    {
+      "input": [
+        12,
+        18
+      ],
+      "rust": {
+        "divisor": 6
+      },
+      "source": 6
+    },
+    {
+      "input": [
+        12,
+        40
+      ],
+      "rust": {
+        "divisor": 4
+      },
+      "source": 4
+    },
+    {
+      "input": [
+        30,
+        -3
+      ],
+      "rust": {
+        "divisor": 3
+      },
+      "source": 3
+    },
+    {
+      "input": [
+        30,
+        0
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        30,
+        1
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        30,
+        2
+      ],
+      "rust": {
+        "divisor": 2
+      },
+      "source": 2
+    },
+    {
+      "input": [
+        30,
+        18
+      ],
+      "rust": {
+        "divisor": 6
+      },
+      "source": 6
+    },
+    {
+      "input": [
+        30,
+        40
+      ],
+      "rust": {
+        "divisor": 10
+      },
+      "source": 10
+    },
+    {
+      "input": [
+        -2147483648,
+        1
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    },
+    {
+      "input": [
+        2147483647,
+        0
+      ],
+      "rust": {
+        "divisor": 1
+      },
+      "source": 1
+    }
+  ],
+  "limits": "Rust numeric parity for80 total,28 ratio and38 divisor source fixtures. Euclid replaces downward source search with the same signed guards.20 slots retained. Counter/runtime ownership, source huge-scan timing and native/platform parity remain open.",
+  "probes": [
+    {
+      "case": "bulk-0",
+      "rust": {
+        "3080": 0,
+        "3084": 0,
+        "3088": 0,
+        "first": 0,
+        "second": 0
+      },
+      "source": {
+        "first": 0,
+        "second": 0
+      }
+    },
+    {
+      "case": "bulk-1",
+      "rust": {
+        "3080": 36,
+        "3084": 37,
+        "3088": 1064899778,
+        "first": 36,
+        "second": 37
+      },
+      "source": {
+        "first": 36,
+        "second": 37
+      }
+    },
+    {
+      "case": "bulk-2147483647",
+      "rust": {
+        "3080": 4294967260,
+        "3084": 2147483611,
+        "3088": 2995781632,
+        "first": -36,
+        "second": 2147483611
+      },
+      "source": {
+        "first": -36,
+        "second": 2147483611
+      }
+    },
+    {
+      "case": "bulk-4294967295",
+      "rust": {
+        "3080": 4294967260,
+        "3084": 4294967259,
+        "3088": 1064899778,
+        "first": -36,
+        "second": -37
+      },
+      "source": {
+        "first": -36,
+        "second": -37
+      }
+    },
+    {
+      "case": "916",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "920",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "992",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "996",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1068",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1072",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1144",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1148",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1220",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1224",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1296",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1300",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1372",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1376",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1448",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1452",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1524",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1528",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1600",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1604",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1676",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1680",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1752",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1756",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1828",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1832",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1904",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1908",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "1980",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "1984",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2056",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2060",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2132",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2136",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2208",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2212",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2284",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2288",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2360",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2364",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2376",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2380",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2384",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2388",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2392",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2396",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2400",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2404",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2408",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2412",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2416",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2420",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2424",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2428",
+      "rust": {
+        "3080": 0,
+        "3084": 0,
+        "3088": 0,
+        "first": 0,
+        "second": 0
+      },
+      "source": {
+        "first": 0,
+        "second": 0
+      }
+    },
+    {
+      "case": "2432",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2436",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2440",
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "first": 7,
+        "second": 0
+      }
+    },
+    {
+      "case": "2444",
+      "rust": {
+        "3080": 0,
+        "3084": 0,
+        "3088": 0,
+        "first": 0,
+        "second": 0
+      },
+      "source": {
+        "first": 0,
+        "second": 0
+      }
+    },
+    {
+      "case": "2448",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2452",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2456",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2460",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2464",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2468",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2472",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2476",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2480",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2484",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2488",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2492",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2496",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2500",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2504",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2508",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2512",
+      "rust": {
+        "3080": 0,
+        "3084": 7,
+        "3088": 0,
+        "first": 0,
+        "second": 7
+      },
+      "source": {
+        "first": 0,
+        "second": 7
+      }
+    },
+    {
+      "case": "2516",
+      "rust": {
+        "3080": 0,
+        "3084": 0,
+        "3088": 0,
+        "first": 0,
+        "second": 0
+      },
+      "source": {
+        "first": 0,
+        "second": 0
+      }
+    }
+  ],
+  "ratios": [
+    {
+      "input": {
+        "bulk": false,
+        "first": -1,
+        "second": -1
+      },
+      "rust": {
+        "3080": 4294967295,
+        "3084": 4294967295,
+        "3088": 1065353216,
+        "first": -1,
+        "second": -1
+      },
+      "source": {
+        "3080": 4294967295,
+        "3084": 4294967295,
+        "3088": 1065353216
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": -1,
+        "second": 0
+      },
+      "rust": {
+        "3080": 4294967295,
+        "3084": 0,
+        "3088": 0,
+        "first": -1,
+        "second": 0
+      },
+      "source": {
+        "3080": 4294967295,
+        "3084": 0,
+        "3088": 0
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": -1,
+        "second": 1
+      },
+      "rust": {
+        "3080": 4294967295,
+        "3084": 1,
+        "3088": 3212836864,
+        "first": -1,
+        "second": 1
+      },
+      "source": {
+        "3080": 4294967295,
+        "3084": 1,
+        "3088": 3212836864
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": -1,
+        "second": 3
+      },
+      "rust": {
+        "3080": 4294967295,
+        "3084": 3,
+        "3088": 3198855851,
+        "first": -1,
+        "second": 3
+      },
+      "source": {
+        "3080": 4294967295,
+        "3084": 3,
+        "3088": 3198855851
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": -1,
+        "second": 6
+      },
+      "rust": {
+        "3080": 4294967295,
+        "3084": 6,
+        "3088": 3190467243,
+        "first": -1,
+        "second": 6
+      },
+      "source": {
+        "3080": 4294967295,
+        "3084": 6,
+        "3088": 3190467243
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 0,
+        "second": -1
+      },
+      "rust": {
+        "3080": 0,
+        "3084": 4294967295,
+        "3088": 2147483648,
+        "first": 0,
+        "second": -1
+      },
+      "source": {
+        "3080": 0,
+        "3084": 4294967295,
+        "3088": 2147483648
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 0,
+        "second": 0
+      },
+      "rust": {
+        "3080": 0,
+        "3084": 0,
+        "3088": 0,
+        "first": 0,
+        "second": 0
+      },
+      "source": {
+        "3080": 0,
+        "3084": 0,
+        "3088": 0
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 0,
+        "second": 1
+      },
+      "rust": {
+        "3080": 0,
+        "3084": 1,
+        "3088": 0,
+        "first": 0,
+        "second": 1
+      },
+      "source": {
+        "3080": 0,
+        "3084": 1,
+        "3088": 0
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 0,
+        "second": 3
+      },
+      "rust": {
+        "3080": 0,
+        "3084": 3,
+        "3088": 0,
+        "first": 0,
+        "second": 3
+      },
+      "source": {
+        "3080": 0,
+        "3084": 3,
+        "3088": 0
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 0,
+        "second": 6
+      },
+      "rust": {
+        "3080": 0,
+        "3084": 6,
+        "3088": 0,
+        "first": 0,
+        "second": 6
+      },
+      "source": {
+        "3080": 0,
+        "3084": 6,
+        "3088": 0
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 1,
+        "second": -1
+      },
+      "rust": {
+        "3080": 1,
+        "3084": 4294967295,
+        "3088": 3212836864,
+        "first": 1,
+        "second": -1
+      },
+      "source": {
+        "3080": 1,
+        "3084": 4294967295,
+        "3088": 3212836864
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 1,
+        "second": 0
+      },
+      "rust": {
+        "3080": 1,
+        "3084": 0,
+        "3088": 0,
+        "first": 1,
+        "second": 0
+      },
+      "source": {
+        "3080": 1,
+        "3084": 0,
+        "3088": 0
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 1,
+        "second": 1
+      },
+      "rust": {
+        "3080": 1,
+        "3084": 1,
+        "3088": 1065353216,
+        "first": 1,
+        "second": 1
+      },
+      "source": {
+        "3080": 1,
+        "3084": 1,
+        "3088": 1065353216
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 1,
+        "second": 3
+      },
+      "rust": {
+        "3080": 1,
+        "3084": 3,
+        "3088": 1051372203,
+        "first": 1,
+        "second": 3
+      },
+      "source": {
+        "3080": 1,
+        "3084": 3,
+        "3088": 1051372203
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 1,
+        "second": 6
+      },
+      "rust": {
+        "3080": 1,
+        "3084": 6,
+        "3088": 1042983595,
+        "first": 1,
+        "second": 6
+      },
+      "source": {
+        "3080": 1,
+        "3084": 6,
+        "3088": 1042983595
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 2,
+        "second": -1
+      },
+      "rust": {
+        "3080": 2,
+        "3084": 4294967295,
+        "3088": 3221225472,
+        "first": 2,
+        "second": -1
+      },
+      "source": {
+        "3080": 2,
+        "3084": 4294967295,
+        "3088": 3221225472
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 2,
+        "second": 0
+      },
+      "rust": {
+        "3080": 2,
+        "3084": 0,
+        "3088": 0,
+        "first": 2,
+        "second": 0
+      },
+      "source": {
+        "3080": 2,
+        "3084": 0,
+        "3088": 0
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 2,
+        "second": 1
+      },
+      "rust": {
+        "3080": 2,
+        "3084": 1,
+        "3088": 1073741824,
+        "first": 2,
+        "second": 1
+      },
+      "source": {
+        "3080": 2,
+        "3084": 1,
+        "3088": 1073741824
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 2,
+        "second": 3
+      },
+      "rust": {
+        "3080": 2,
+        "3084": 3,
+        "3088": 1059760811,
+        "first": 2,
+        "second": 3
+      },
+      "source": {
+        "3080": 2,
+        "3084": 3,
+        "3088": 1059760811
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 2,
+        "second": 6
+      },
+      "rust": {
+        "3080": 1,
+        "3084": 3,
+        "3088": 1051372203,
+        "first": 2,
+        "second": 6
+      },
+      "source": {
+        "3080": 1,
+        "3084": 3,
+        "3088": 1051372203
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 7,
+        "second": -1
+      },
+      "rust": {
+        "3080": 7,
+        "3084": 4294967295,
+        "3088": 3235905536,
+        "first": 7,
+        "second": -1
+      },
+      "source": {
+        "3080": 7,
+        "3084": 4294967295,
+        "3088": 3235905536
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 7,
+        "second": 0
+      },
+      "rust": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0,
+        "first": 7,
+        "second": 0
+      },
+      "source": {
+        "3080": 7,
+        "3084": 0,
+        "3088": 0
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 7,
+        "second": 1
+      },
+      "rust": {
+        "3080": 7,
+        "3084": 1,
+        "3088": 1088421888,
+        "first": 7,
+        "second": 1
+      },
+      "source": {
+        "3080": 7,
+        "3084": 1,
+        "3088": 1088421888
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 7,
+        "second": 3
+      },
+      "rust": {
+        "3080": 7,
+        "3084": 3,
+        "3088": 1075139925,
+        "first": 7,
+        "second": 3
+      },
+      "source": {
+        "3080": 7,
+        "3084": 3,
+        "3088": 1075139925
+      }
+    },
+    {
+      "input": {
+        "bulk": false,
+        "first": 7,
+        "second": 6
+      },
+      "rust": {
+        "3080": 7,
+        "3084": 6,
+        "3088": 1066751317,
+        "first": 7,
+        "second": 6
+      },
+      "source": {
+        "3080": 7,
+        "3084": 6,
+        "3088": 1066751317
+      }
+    },
+    {
+      "input": {
+        "bulk": true,
+        "first": 1,
+        "second": 1
+      },
+      "rust": {
+        "3080": 1,
+        "3084": 1,
+        "3088": 1065353216,
+        "first": 20,
+        "second": 20
+      },
+      "source": {
+        "3080": 1,
+        "3084": 1,
+        "3088": 1065353216
+      }
+    },
+    {
+      "input": {
+        "bulk": true,
+        "first": 3,
+        "second": 6
+      },
+      "rust": {
+        "3080": 1,
+        "3084": 2,
+        "3088": 1056964608,
+        "first": 60,
+        "second": 120
+      },
+      "source": {
+        "3080": 1,
+        "3084": 2,
+        "3088": 1056964608
+      }
+    },
+    {
+      "input": {
+        "bulk": true,
+        "first": -1,
+        "second": 1
+      },
+      "rust": {
+        "3080": 4294967295,
+        "3084": 1,
+        "3088": 3212836864,
+        "first": -20,
+        "second": 20
+      },
+      "source": {
+        "3080": 4294967295,
+        "3084": 1,
+        "3088": 3212836864
+      }
+    }
+  ],
+  "source_reports": {
+    "docs/research/qvm-stat-ratios.json": "bb99ec521a366db8ea6daf572034feb307e579e6ff85d5683db21cdf5618a463",
+    "docs/research/qvm-stat-totals.json": "e491d41257ebf7bb100ea9939ff555c67d8bb32b58558ff5be98273757e56c95"
+  }
+}

scripts/analyze_rust_stat_totals.py

@@ -0,0 +1,17 @@
+#!/usr/bin/env python3
+"""Rust totals, signed divisor and normalized ratios against source fixtures."""
+import hashlib,json
+from pathlib import Path
+from rust_lifecycle_support import binary,result
+from qvm_stat_totals_support import FIRST_LEGACY,SECOND_LEGACY,FIRST_SLOTS,SECOND_SLOTS
+from analyze_qvm import write_json
+
+def args(c):return [c[str(o)] for o in FIRST_LEGACY+SECOND_LEGACY+FIRST_SLOTS+SECOND_SLOTS]
+
+def main():
+    b=binary();p=Path('docs/research/qvm-stat-totals.json');raw=p.read_bytes();r=Path('docs/research/qvm-stat-ratios.json');data=r.read_bytes();source=json.loads(data)
+    rows=[{'case':q['case'],'source':{'first':q['first'],'second':q['second']},'rust':result(b,'totals',args(q['counters']))} for q in json.loads(raw)['probes']]
+    ratios=[{'input':q['input'],'source':q['final'],'rust':result(b,'totals',args(q['counters']))} for q in source['probes']]
+    ds=[{'input':[q['first'],q['second']],'source':q['divisor'],'rust':result(b,'divisor',[q['first'],q['second']])} for q in source['divisor_probes']]
+    write_json(Path('docs/research/rust-stat-totals.json'),{'source_reports':{str(p):hashlib.sha256(raw).hexdigest(),str(r):hashlib.sha256(data).hexdigest()},'probes':rows,'ratios':ratios,'divisors':ds,'limits':'Rust numeric parity for80 total,28 ratio and38 divisor source fixtures. Euclid replaces downward source search with the same signed guards.20 slots retained. Counter/runtime ownership, source huge-scan timing and native/platform parity remain open.'})
+if __name__=='__main__':main()

scripts/test_rust_stat_totals.py

@@ -0,0 +1,17 @@
+import hashlib,json,unittest
+from pathlib import Path
+from test_qvm_stat_ratios import divisor,normalized
+class RustStatTotalsTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.r=json.loads(Path('docs/research/rust-stat-totals.json').read_text())
+    def test_all_source_totals_and_independent_normalization(self):
+        self.assertEqual(len(self.r['probes']),80)
+        for p in self.r['probes']:
+            r=p['rust'];self.assertEqual({k:r[k] for k in ['first','second']},p['source']);self.assertEqual({k:r[k] for k in ['3080','3084','3088']},normalized(r['first'],r['second']))
+    def test_source_divisors_and_ratio_words(self):
+        self.assertEqual(len(self.r['ratios']),28);self.assertEqual(len(self.r['divisors']),38)
+        for p in self.r['ratios']:self.assertEqual({k:p['rust'][k] for k in ['3080','3084','3088']},p['source'])
+        for p in self.r['divisors']:self.assertEqual(p['rust']['divisor'],p['source']);self.assertEqual(p['source'],divisor(*p['input']))
+    def test_source_identity(self):
+        for path,sha in self.r['source_reports'].items():self.assertEqual(hashlib.sha256(Path(path).read_bytes()).hexdigest(),sha)
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -1293,3 +1293,13 @@ group	recipient-pair	scripts/analyze_qvm_recipient_pair.py
 report	scripts/analyze_qvm_ranking_setup.py	docs/research/qvm-ranking-setup.json
 edge	docs/research/qvm-ranking-setup.json	scripts/test_qvm_ranking_setup.py
 group	ranking-setup	scripts/analyze_qvm_ranking_setup.py
+edge	Cargo.toml	scripts/analyze_rust_stat_totals.py
+edge	Cargo.lock	scripts/analyze_rust_stat_totals.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_stat_totals.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_stat_totals.py
+edge	crates/urt-gameplay/src/stat_totals.rs	scripts/analyze_rust_stat_totals.py
+edge	crates/urt-gameplay/src/bin/urt-lifecycle.rs	scripts/analyze_rust_stat_totals.py
+edge	crates/urt-gameplay/src/stat_totals.rs	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_stat_totals.py
+report	scripts/analyze_rust_stat_totals.py	docs/research/rust-stat-totals.json
+edge	docs/research/rust-stat-totals.json	scripts/test_rust_stat_totals.py