gameplay: port assisted thaw progress

crates/urt-gameplay/src/assistance.rs

@@ -154,3 +154,98 @@ mod cancel_tests {
         assert_eq!(s, old);
     }
 }
+
+/// Original153121 progress fragment with actual152386 meter policy. Selection
+/// already established matching near/protected ownership. Float domains are
+/// finite/in-range; invalid input stages neither helper time nor target state.
+pub fn progress_assistance(
+    helper: &mut HelperState,
+    target: &mut crate::move_callbacks::MeterState,
+    seconds: u32,
+    tick: u32,
+    slot: i32,
+    target_slot: usize,
+    owner: u32,
+) -> Result<Vec<AssistEffect>, Error> {
+    indices(slot, target_slot)?;
+    let seconds = f32::from_bits(seconds);
+    if !seconds.is_finite() {
+        return Err(Error::NonFinite);
+    }
+    if seconds == 0. {
+        return Err(Error::InvalidInput);
+    }
+    let mut next = *target;
+    let increment = 32000.0 / (seconds * 1000.0) * (tick.wrapping_sub(helper.last) as i32 as f32);
+    let carry = f32::from_bits(next.carry) + increment;
+    if !increment.is_finite() || !carry.is_finite() {
+        return Err(Error::NonFinite);
+    }
+    next.carry = carry.to_bits();
+    let effects = crate::move_callbacks::finish_meter(
+        &mut next,
+        crate::move_callbacks::MeterInput {
+            melt: false,
+            mirror: true,
+            slot: target_slot as i32,
+            other_slot: slot,
+            owner,
+        },
+    )?;
+    *target = next;
+    helper.last = tick;
+    Ok(effects.into_iter().map(AssistEffect::Nested).collect())
+}
+#[cfg(test)]
+mod progress_tests {
+    use super::*;
+    use crate::move_callbacks::MeterState;
+    fn helper() -> HelperState {
+        HelperState {
+            flags: 8192,
+            active: 1,
+            target: Some(3),
+            last: u32::MAX - 15,
+        }
+    }
+    fn target() -> MeterState {
+        MeterState {
+            meter: 0,
+            carry: 0.5f32.to_bits(),
+            flags220: 16384,
+            flags104: 16,
+            pm_type: 4,
+            receiver: 999,
+            event_entity: [7, 1],
+        }
+    }
+    #[test]
+    fn wrapped_progress_mirrors_meter_and_completion_orders_effects() {
+        let mut h = helper();
+        let mut t = target();
+        progress_assistance(&mut h, &mut t, 2f32.to_bits(), 10, 2, 3, 9).unwrap();
+        assert_eq!((t.meter, t.receiver, h.last), (416, 416, 10));
+        t.meter = 31999;
+        t.carry = 1.25f32.to_bits();
+        let e = progress_assistance(&mut h, &mut t, 2f32.to_bits(), 10, 2, 3, 9).unwrap();
+        assert_eq!((t.meter, t.receiver, t.pm_type), (0, 0, 0));
+        assert!(matches!(
+            &e[..],
+            [
+                AssistEffect::Nested(crate::move_callbacks::CallbackEffect::Teleport { .. }),
+                AssistEffect::Nested(crate::move_callbacks::CallbackEffect::Reset { .. }),
+                AssistEffect::Nested(crate::move_callbacks::CallbackEffect::Event { event: 108 }),
+                AssistEffect::Nested(crate::move_callbacks::CallbackEffect::Log { .. })
+            ]
+        ));
+    }
+    #[test]
+    fn late_error_preserves_helper_clock_and_target() {
+        let mut h = helper();
+        let mut t = target();
+        t.carry = f32::MAX.to_bits();
+        let old = (h, t);
+        assert!(progress_assistance(&mut h, &mut t, 2f32.to_bits(), 10, 2, 3, 9).is_err());
+        assert_eq!((h, t), old);
+    }
+}

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

@@ -79,6 +79,33 @@ fn main() {
             let e = cancel_assistance(&mut s, 2, 3).unwrap();
             println!("{{{}}}", fields(s, &e));
         }
+        "progress" => println!("{}", progress(&w)),
         _ => panic!("unknown policy"),
     }
 }
+
+fn progress(w: &[u32]) -> String {
+    assert_eq!(w.len(), 11);
+    let mut h = helper(w);
+    let mut t = urt_gameplay::move_callbacks::MeterState {
+        meter: w[5],
+        carry: w[6],
+        flags220: w[7],
+        flags104: w[8],
+        pm_type: w[9],
+        receiver: 999,
+        event_entity: [7, 0x80000001],
+    };
+    let e = progress_assistance(&mut h, &mut t, w[10], w[3], 2, 3, 0x23456789).unwrap();
+    format!(
+        r#"{{{},"target_meter":{},"carry_bits":{},"target_flags220":{},"target_flags104":{},"target_pm_type":{},"helper_meter":{},"event_entity":{}}}"#,
+        fields(h, &e),
+        t.meter,
+        t.carry,
+        t.flags220,
+        t.flags104,
+        t.pm_type,
+        t.receiver,
+        list(&t.event_entity)
+    )
+}

docs/FINDINGS.md

@@ -1953,3 +1953,5 @@ RE-1006: Seventy-two source cases recover both cancellation branches. Only a hel
 RE-1007: Rust matches both original cancellation branches across72 source cases. Matching flagged active ownership clears only assistance state and emits event105; repeated cancellation is silent. Clocks and high bits survive, mismatched targets remain intact, and invalid indices reject before mutation. Native publication remains an explicit effect plan. [Evidence](research/RUST_ASSIST_CANCEL.md).
 
 RE-1008: Twenty-four original-QVM cases execute staged f32 progress using34062368 and helper clock6328, then actual152386 on the target with helper meter mirroring. Negative/wrapped elapsed time, signed duration, fractional carry, precision and threshold completion are covered. Assisted completion orders teleport/reset/event108/log and mirrors zero to the helper. Helper clock advances after the target child; ownership remains until later cancellation. Native nested effects remain captured or supplied. [Evidence](research/QVM_ASSIST_PROGRESS.md).
+
+RE-1009: Rust matches24 assisted progress cases, including f32 rounding, negative/wrapped elapsed time and completion. Target meter completion mirrors its result to the helper and preserves original nested effect order. Clock and target updates stage together, so invalid duration or late conversion errors leave both unchanged. Unit cases verify wrapped416-unit progress, zero mirroring at completion and rollback. [Evidence](research/RUST_ASSIST_PROGRESS.md).

docs/PROVISIONAL_TODO.md

@@ -2011,3 +2011,5 @@ RE-974–983 completed routing, command rewrite, inactivity, movement-parameter
 - [x] RE-1007 Port conditional assistance cancellation ([evidence](research/RUST_ASSIST_CANCEL.md)).
 
 - [x] RE-1008 Recover assisted thaw progress and target completion ([evidence](research/QVM_ASSIST_PROGRESS.md)).
+
+- [x] RE-1009 Port assisted progress with target meter feedback ([evidence](research/RUST_ASSIST_PROGRESS.md)).

docs/RESEARCH_LEDGER.md

@@ -2707,3 +2707,7 @@ Rust matches both original cancellation branches across72 source cases. Matching
 ## 2026-10-29 — RE-1008 Recover assisted thaw progress and target completion
 
 Twenty-four original-QVM cases execute staged f32 progress using34062368 and helper clock6328, then actual152386 on the target with helper meter mirroring. Negative/wrapped elapsed time, signed duration, fractional carry, precision and threshold completion are covered. Assisted completion orders teleport/reset/event108/log and mirrors zero to the helper. Helper clock advances after the target child; ownership remains until later cancellation. Native nested effects remain captured or supplied. Focused `cargo xtask test-group qvm-assist-progress` passes with deterministic report regeneration and selected regressions. Full suite deferred to task ten. Original assets unchanged; Python uses the flake-declared Nix runtime.
+
+## 2026-10-29 — RE-1009 Port assisted progress with target meter feedback
+
+Rust matches24 assisted progress cases, including f32 rounding, negative/wrapped elapsed time and completion. Target meter completion mirrors its result to the helper and preserves original nested effect order. Clock and target updates stage together, so invalid duration or late conversion errors leave both unchanged. Unit cases verify wrapped416-unit progress, zero mirroring at completion and rollback. Focused `cargo xtask test-group rust-assist-progress` passes with deterministic report regeneration and selected regressions. Full suite deferred to task ten. Original assets unchanged; Python uses the flake-declared Nix runtime.

docs/REVERSE_ENGINEERING_TODO.md

@@ -2048,3 +2048,5 @@ RE-974–983 recover routing, command rewriting, inactivity and composed setup t
 - [x] RE-1007 Port conditional assistance cancellation ([evidence](research/RUST_ASSIST_CANCEL.md)).
 
 - [x] RE-1008 Recover assisted thaw progress and target completion ([evidence](research/QVM_ASSIST_PROGRESS.md)).
+
+- [x] RE-1009 Port assisted progress with target meter feedback ([evidence](research/RUST_ASSIST_PROGRESS.md)).

docs/research/README.md

@@ -1581,3 +1581,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-1007: Port conditional assistance cancellation](RUST_ASSIST_CANCEL.md).
 
 - [RE-1008: Recover assisted thaw progress and target completion](QVM_ASSIST_PROGRESS.md).
+
+- [RE-1009: Port assisted progress with target meter feedback](RUST_ASSIST_PROGRESS.md).

docs/research/RUST_ASSIST_PROGRESS.md

@@ -0,0 +1,5 @@
+# Port assisted progress with target meter feedback
+
+RE-1009. Focused validation: `cargo xtask test-group rust-assist-progress`. [Machine report](rust-assist-progress.json).
+
+Rust matches24 assisted progress cases, including f32 rounding, negative/wrapped elapsed time and completion. Target meter completion mirrors its result to the helper and preserves original nested effect order. Clock and target updates stage together, so invalid duration or late conversion errors leave both unchanged. Unit cases verify wrapped416-unit progress, zero mirroring at completion and rollback.

docs/research/rust-assist-progress.json

@@ -0,0 +1,997 @@
+{
+  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
+  "probes": [
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 6400,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 6400,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 6400,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 6400,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 1600,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 1600,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 1600,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 1600,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 1700,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 1700,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 1700,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 1700,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 1664,
+        "last": 10,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 1664,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 1664,
+        "last": 10,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 1664,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 416,
+        "last": 10,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 416,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 416,
+        "last": 10,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 416,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31999,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31999,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31999,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31999,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31999,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31999,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31999,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31999,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31999,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31999,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31999,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31999,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          591751049,
+          2147483681
+        ],
+        "events": [
+          {
+            "op": "teleport",
+            "slot": 3
+          },
+          {
+            "op": "reset",
+            "slot": 3
+          },
+          {
+            "event": 108,
+            "op": "event"
+          },
+          {
+            "format": "546861774f757446696e69736865643a2025692025693a20257320746861776564206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483650,
+        "target_flags220": 2147483650,
+        "target_meter": 0,
+        "target_pm_type": 0
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          591751049,
+          2147483681
+        ],
+        "events": [
+          {
+            "op": "teleport",
+            "slot": 3
+          },
+          {
+            "op": "reset",
+            "slot": 3
+          },
+          {
+            "event": 108,
+            "op": "event"
+          },
+          {
+            "format": "546861774f757446696e69736865643a2025692025693a20257320746861776564206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483650,
+        "target_flags220": 2147483650,
+        "target_meter": 0,
+        "target_pm_type": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          591751049,
+          2147483681
+        ],
+        "events": [
+          {
+            "op": "teleport",
+            "slot": 3
+          },
+          {
+            "op": "reset",
+            "slot": 3
+          },
+          {
+            "event": 108,
+            "op": "event"
+          },
+          {
+            "format": "546861774f757446696e69736865643a2025692025693a20257320746861776564206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483650,
+        "target_flags220": 2147483650,
+        "target_meter": 0,
+        "target_pm_type": 0
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          591751049,
+          2147483681
+        ],
+        "events": [
+          {
+            "op": "teleport",
+            "slot": 3
+          },
+          {
+            "op": "reset",
+            "slot": 3
+          },
+          {
+            "event": 108,
+            "op": "event"
+          },
+          {
+            "format": "546861774f757446696e69736865643a2025692025693a20257320746861776564206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483650,
+        "target_flags220": 2147483650,
+        "target_meter": 0,
+        "target_pm_type": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          591751049,
+          2147483681
+        ],
+        "events": [
+          {
+            "op": "teleport",
+            "slot": 3
+          },
+          {
+            "op": "reset",
+            "slot": 3
+          },
+          {
+            "event": 108,
+            "op": "event"
+          },
+          {
+            "format": "546861774f757446696e69736865643a2025692025693a20257320746861776564206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483650,
+        "target_flags220": 2147483650,
+        "target_meter": 0,
+        "target_pm_type": 0
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          591751049,
+          2147483681
+        ],
+        "events": [
+          {
+            "op": "teleport",
+            "slot": 3
+          },
+          {
+            "op": "reset",
+            "slot": 3
+          },
+          {
+            "event": 108,
+            "op": "event"
+          },
+          {
+            "format": "546861774f757446696e69736865643a2025692025693a20257320746861776564206f75742025730a",
+            "op": "log",
+            "slots": [
+              2,
+              3
+            ]
+          }
+        ],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483650,
+        "target_flags220": 2147483650,
+        "target_meter": 0,
+        "target_pm_type": 0
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 0,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 0,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31064,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31064,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31064,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31064,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31016,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31016,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31016,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31016,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 30984,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 30984,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 30984,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 30984,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31000,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31000,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31000,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31000,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31000,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31000,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31000,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31000,
+        "target_pm_type": 4
+      }
+    },
+    {
+      "rust": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31000,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31000,
+        "target_pm_type": 4
+      },
+      "source": {
+        "active": 1,
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags": 2147491842,
+        "helper_meter": 31000,
+        "last": 10000,
+        "target": 3,
+        "target_flags104": 2147483666,
+        "target_flags220": 2147500034,
+        "target_meter": 31000,
+        "target_pm_type": 4
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-assist-progress.json",
+  "source_report_sha256": "5048296baf6b4a357903c1eb8cc75a3364c4db16f424a92f440c3830e4ed3530"
+}

docs/research/rust-health-impulse.json

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

scripts/analyze_rust_assist_progress.py

@@ -0,0 +1,18 @@
+"""Compare recovered Rust policy with original QVM fixtures."""
+import hashlib,json,os,subprocess
+from pathlib import Path
+from analyze_qvm import write_json
+from rust_lifecycle_support import result
+
+def main():
+ subprocess.run(['cargo','build','--offline','--package','urt-gameplay','--bin','urt-assistance'],check=True,capture_output=True)
+ binary=Path(os.environ.get('CARGO_TARGET_DIR','target'))/'debug'/'urt-assistance'
+ path=Path('docs/research/qvm-assist-progress.json');data=path.read_bytes();probes=[]
+ for p in json.loads(data)['probes']:
+  probes.append(dict(source={k:p[k] for k in ['flags', 'active', 'target', 'last', 'events', 'target_meter', 'carry_bits', 'target_flags220', 'target_flags104', 'target_pm_type', 'helper_meter', 'event_entity']},rust=result(binary,'progress',encode(p['input']))))
+ write_json(Path('docs/research/rust-assist-progress.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.'))
+
+def encode(a):
+ from analyze_qvm_acceleration import word
+ return [a['flags'],a['active'],a['target'],a['tick'],a['last'],a['meter'],word(a['carry']),a['target_flags220'],a['target_flags104'],a['target_pm_type'],word(a['seconds'])]
+if __name__=='__main__':main()

scripts/test_rust_assist_progress.py

@@ -0,0 +1,9 @@
+import hashlib,json,unittest
+from pathlib import Path
+class PortTests(unittest.TestCase):
+ def test_original_parity(self):
+  r=json.loads(Path('docs/research/rust-assist-progress.json').read_text());self.assertGreaterEqual(len(r['probes']),12)
+  for p in r['probes']:self.assertEqual(p['source'],p['rust'])
+ def test_identity(self):
+  r=json.loads(Path('docs/research/rust-assist-progress.json').read_text());self.assertEqual(hashlib.sha256(Path(r['source_report']).read_bytes()).hexdigest(),r['source_report_sha256'])
+if __name__=='__main__':unittest.main()

xtask/checks.tsv

@@ -4037,3 +4037,32 @@ report	scripts/analyze_qvm_assist_progress.py	docs/research/qvm-assist-progress.
 edge	docs/research/qvm-assist-progress.json	scripts/test_qvm_assist_progress.py
 group	qvm-assist-progress	scripts/analyze_qvm_assist_progress.py
 edge	scripts/analyze_qvm_assist_progress.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_rust_assist_progress.py	docs/research/rust-assist-progress.json
+edge	docs/research/rust-assist-progress.json	scripts/test_rust_assist_progress.py
+group	rust-assist-progress	scripts/analyze_rust_assist_progress.py
+edge	scripts/analyze_rust_assist_progress.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_assist_progress.py
+edge	Cargo.lock	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/filter_loading.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/bin/urt-filter-loading.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_assist_progress.py
+edge	docs/research/qvm-assist-progress.json	scripts/analyze_rust_assist_progress.py
+group	rust-assist-progress	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/filter_commands.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/bin/urt-filter-commands.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/client_timer.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/bin/urt-client-timer.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/client_processing.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/bin/urt-client-processing.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/client_move_context.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/bin/urt-client-move-context.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/bin/urt-move-callbacks.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/assistance.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/bin/urt-assistance.rs	scripts/analyze_rust_assist_progress.py
+edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_assist_progress.py

xtask/src/lib.rs

@@ -1146,6 +1146,8 @@ mod integration_tests {
             ("move_callbacks", "assist_acquire"),
             ("assistance", "assist_cancel"),
             ("move_callbacks", "assist_cancel"),
+            ("assistance", "assist_progress"),
+            ("move_callbacks", "assist_progress"),
             ("client_move_context", "client_move_scratch"),
             ("client_processing", "client_routing"),
             ("client_timer", "client_routing"),
@@ -1371,6 +1373,7 @@ mod integration_tests {
             ("qvm-move-resolved-self", "move_resolved_self"),
             ("qvm-assist-acquire", "assist_acquire"),
             ("qvm-assist-cancel", "assist_cancel"),
+            ("qvm-assist-progress", "assist_progress"),
             ("qvm-client-move-scratch", "client_move_scratch"),
             ("qvm-client-routing", "client_routing"),
             ("qvm-client-command-rewrite", "client_command_rewrite"),