gameplay: port timed self-recovery policy

crates/urt-gameplay/src/bin/urt-move-callbacks.rs

@@ -68,6 +68,41 @@ fn main() {
             .unwrap();
             println!("{{{}}}", fields(s, &e));
         }
+        "self" => println!("{}", self_recovery(&w)),
         _ => panic!("unknown policy"),
     }
 }
+
+fn self_recovery(w: &[u32]) -> String {
+    assert_eq!(w.len(), 16);
+    let mut s = SelfRecoveryState {
+        meter: MeterState {
+            meter: w[10],
+            carry: w[11],
+            flags220: w[6],
+            flags104: w[7],
+            pm_type: w[8],
+            receiver: 999,
+            event_entity: [7, 0x80000001],
+        },
+        last: w[13],
+    };
+    let e = self_recover(
+        &mut s,
+        SelfRecoveryInput {
+            entity: w[0] != 0,
+            client: w[1] != 0,
+            mode: w[2],
+            connection: w[3],
+            health: w[4],
+            follow: w[5],
+            seconds: w[9],
+            tick: w[12],
+            slot: 2,
+            owner: 0x12345678,
+        },
+    )
+    .unwrap();
+    assert_eq!(&w[14..], &[1, 0]);
+    format!("{{{},\"last\":{}}}", fields(s.meter, &e), s.last)
+}

crates/urt-gameplay/src/move_callbacks.rs

@@ -148,3 +148,141 @@ mod meter_tests {
         assert_eq!(s, bad);
     }
 }
+
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub struct SelfRecoveryState {
+    pub meter: MeterState,
+    pub last: u32,
+}
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+pub struct SelfRecoveryInput {
+    pub entity: bool,
+    pub client: bool,
+    pub mode: u32,
+    pub connection: u32,
+    pub health: u32,
+    pub follow: u32,
+    pub seconds: u32,
+    pub tick: u32,
+    pub slot: i32,
+    pub owner: u32,
+}
+/// Original152673 with actual meter policy. Admission exits do not evaluate
+/// unused floating inputs. State/effect plans commit together on success.
+pub fn self_recover(
+    state: &mut SelfRecoveryState,
+    input: SelfRecoveryInput,
+) -> Result<Vec<CallbackEffect>, Error> {
+    if !input.entity
+        || !input.client
+        || input.mode != 10
+        || input.connection != 2
+        || input.health as i32 <= 0
+        || input.follow != 0
+        || state.meter.flags220 & 16384 == 0
+    {
+        return Ok(vec![]);
+    }
+    let seconds = f32::from_bits(input.seconds);
+    if !seconds.is_finite() {
+        return Err(Error::NonFinite);
+    }
+    if seconds == 0. {
+        return Err(Error::InvalidInput);
+    }
+    let mut next = *state;
+    let increment =
+        32000.0 / (seconds * 1000.0) * (input.tick.wrapping_sub(next.last) as i32 as f32);
+    let carry = f32::from_bits(next.meter.carry) + increment;
+    if !increment.is_finite() || !carry.is_finite() {
+        return Err(Error::NonFinite);
+    }
+    next.meter.carry = carry.to_bits();
+    next.last = input.tick;
+    let out = finish_meter(
+        &mut next.meter,
+        MeterInput {
+            melt: true,
+            mirror: false,
+            slot: input.slot,
+            other_slot: 0,
+            owner: input.owner,
+        },
+    )?;
+    *state = next;
+    Ok(out)
+}
+#[cfg(test)]
+mod recovery_tests {
+    use super::*;
+    fn state() -> SelfRecoveryState {
+        SelfRecoveryState {
+            meter: MeterState {
+                meter: 0,
+                carry: 0.5f32.to_bits(),
+                flags220: 16384,
+                flags104: 16,
+                pm_type: 4,
+                receiver: 999,
+                event_entity: [7, 1],
+            },
+            last: u32::MAX - 15,
+        }
+    }
+    fn input() -> SelfRecoveryInput {
+        SelfRecoveryInput {
+            entity: true,
+            client: true,
+            mode: 10,
+            connection: 2,
+            health: 1,
+            follow: 0,
+            seconds: 2f32.to_bits(),
+            tick: 10,
+            slot: 2,
+            owner: 9,
+        }
+    }
+    #[test]
+    fn wrapped_delta_and_early_exit_preservation() {
+        let mut s = state();
+        self_recover(&mut s, input()).unwrap();
+        assert_eq!(s.meter.meter, 416);
+        assert_eq!(s.last, 10);
+        assert_eq!(s.meter.carry, 0);
+        let old = s;
+        assert!(
+            self_recover(
+                &mut s,
+                SelfRecoveryInput {
+                    mode: 9,
+                    seconds: f32::NAN.to_bits(),
+                    ..input()
+                }
+            )
+            .unwrap()
+            .is_empty()
+        );
+        assert_eq!(s, old);
+    }
+    #[test]
+    fn invalid_duration_and_late_conversion_roll_back_clock() {
+        let mut s = state();
+        let old = s;
+        assert!(
+            self_recover(
+                &mut s,
+                SelfRecoveryInput {
+                    seconds: 0,
+                    ..input()
+                }
+            )
+            .is_err()
+        );
+        assert_eq!(s, old);
+        s.meter.carry = f32::MAX.to_bits();
+        let old = s;
+        assert!(self_recover(&mut s, input()).is_err());
+        assert_eq!(s, old);
+    }
+}

docs/FINDINGS.md

@@ -1927,3 +1927,5 @@ RE-994: 90 original-QVM fixtures execute152386: signed integer meter converts to
 RE-995: Rust ports meter f32 conversion, truncation, clamping, completion masks, event ownership and optional receiver mirroring across ninety source cases. Completion effects preserve source ordering. Nonfinite/out-of-range conversion, invalid client indices and assisted completion without a receiver reject before state mutation. Teleport/reset/log/event allocation remain effect plans and supplied event state rather than native execution. [Evidence](research/RUST_MOVE_METER.md).
 
 RE-996: Thirty-six original-QVM cases execute152673 with actual meter child152386. Entity/client existence, mode10, connection2, positive signed health, zero follow and client mask16384 gate processing. Progress uses staged f32 operations32000/(seconds*1000)*signed wrapped elapsed, adds carry, advances clock6324, then runs self-melt completion. Negative elapsed/duration, wrapped ticks, fractional carry and all admission exits are covered. Early exits preserve clock and carry; event/log effects remain captured. [Evidence](research/QVM_MOVE_SELF_RECOVERY.md).
+
+RE-997: Rust ports actual self-recovery gates, wrapped signed elapsed time, staged f32 progress and the meter child across36 source cases. Admission exits preserve state without reading unused float configuration. Active invalid duration, nonfinite progress or unsupported conversion reject without advancing clock or committing meter/event changes. Unit tests cover wrapped elapsed time, inactive NaN preservation and late-error rollback. [Evidence](research/RUST_MOVE_SELF_RECOVERY.md).

docs/PROVISIONAL_TODO.md

@@ -1984,3 +1984,5 @@ RE-974–983 completed routing, command rewrite, inactivity, movement-parameter
 - [x] RE-995 Port meter completion and captured thaw effects ([evidence](research/RUST_MOVE_METER.md)).
 
 - [x] RE-996 Recover timed mode10 self-recovery ([evidence](research/QVM_MOVE_SELF_RECOVERY.md)).
+
+- [x] RE-997 Port timed self-recovery with atomic state updates ([evidence](research/RUST_MOVE_SELF_RECOVERY.md)).

docs/RESEARCH_LEDGER.md

@@ -2659,3 +2659,7 @@ Rust ports meter f32 conversion, truncation, clamping, completion masks, event o
 ## 2026-10-29 — RE-996 Recover timed mode10 self-recovery
 
 Thirty-six original-QVM cases execute152673 with actual meter child152386. Entity/client existence, mode10, connection2, positive signed health, zero follow and client mask16384 gate processing. Progress uses staged f32 operations32000/(seconds*1000)*signed wrapped elapsed, adds carry, advances clock6324, then runs self-melt completion. Negative elapsed/duration, wrapped ticks, fractional carry and all admission exits are covered. Early exits preserve clock and carry; event/log effects remain captured. Focused `cargo xtask test-group qvm-move-self-recovery` 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-997 Port timed self-recovery with atomic state updates
+
+Rust ports actual self-recovery gates, wrapped signed elapsed time, staged f32 progress and the meter child across36 source cases. Admission exits preserve state without reading unused float configuration. Active invalid duration, nonfinite progress or unsupported conversion reject without advancing clock or committing meter/event changes. Unit tests cover wrapped elapsed time, inactive NaN preservation and late-error rollback. Focused `cargo xtask test-group rust-move-self-recovery` 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

@@ -2021,3 +2021,5 @@ RE-974–983 recover routing, command rewriting, inactivity and composed setup t
 - [x] RE-995 Port meter completion and captured thaw effects ([evidence](research/RUST_MOVE_METER.md)).
 
 - [x] RE-996 Recover timed mode10 self-recovery ([evidence](research/QVM_MOVE_SELF_RECOVERY.md)).
+
+- [x] RE-997 Port timed self-recovery with atomic state updates ([evidence](research/RUST_MOVE_SELF_RECOVERY.md)).

docs/research/README.md

@@ -1555,3 +1555,5 @@ The extension collector adds five focused tests for native tail calls, command-r
 - [RE-995: Port meter completion and captured thaw effects](RUST_MOVE_METER.md).
 
 - [RE-996: Recover timed mode10 self-recovery](QVM_MOVE_SELF_RECOVERY.md).
+
+- [RE-997: Port timed self-recovery with atomic state updates](RUST_MOVE_SELF_RECOVERY.md).

docs/research/RUST_MOVE_SELF_RECOVERY.md

@@ -0,0 +1,5 @@
+# Port timed self-recovery with atomic state updates
+
+RE-997. Focused validation: `cargo xtask test-group rust-move-self-recovery`. [Machine report](rust-move-self-recovery.json).
+
+Rust ports actual self-recovery gates, wrapped signed elapsed time, staged f32 progress and the meter child across36 source cases. Admission exits preserve state without reading unused float configuration. Active invalid duration, nonfinite progress or unsupported conversion reject without advancing clock or committing meter/event changes. Unit tests cover wrapped elapsed time, inactive NaN preservation and late-error rollback.

docs/research/rust-health-impulse.json

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

docs/research/rust-move-self-recovery.json

@@ -0,0 +1,1159 @@
+{
+  "limits": "Finite source/Rust contract parity; native time/file/network replies remain supplied or captured.",
+  "probes": [
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10000,
+        "meter": 6400,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10000,
+        "meter": 6400,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10000,
+        "meter": 1600,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10000,
+        "meter": 1600,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10000,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10000,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 8192,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 8192,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 8192,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 8192,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 8192,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 1056964608,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 8192,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 1700,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 9900,
+        "meter": 1700,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10,
+        "meter": 1664,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10,
+        "meter": 1664,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10,
+        "meter": 416,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10,
+        "meter": 416,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10,
+        "meter": 0,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10000,
+        "meter": 31999,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10000,
+        "meter": 31999,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10000,
+        "meter": 31999,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10000,
+        "meter": 31999,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10000,
+        "meter": 31999,
+        "pm_type": 4,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          7,
+          2147483649
+        ],
+        "events": [],
+        "flags104": 2147483666,
+        "flags220": 2147508226,
+        "last": 10000,
+        "meter": 31999,
+        "pm_type": 4,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          305419896,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 107,
+            "op": "event"
+          },
+          {
+            "format": "436c69656e744d656c7465643a2025690a",
+            "op": "log",
+            "slots": [
+              2
+            ]
+          }
+        ],
+        "flags104": 2147483650,
+        "flags220": 2147491842,
+        "last": 10000,
+        "meter": 0,
+        "pm_type": 0,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          305419896,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 107,
+            "op": "event"
+          },
+          {
+            "format": "436c69656e744d656c7465643a2025690a",
+            "op": "log",
+            "slots": [
+              2
+            ]
+          }
+        ],
+        "flags104": 2147483650,
+        "flags220": 2147491842,
+        "last": 10000,
+        "meter": 0,
+        "pm_type": 0,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          305419896,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 107,
+            "op": "event"
+          },
+          {
+            "format": "436c69656e744d656c7465643a2025690a",
+            "op": "log",
+            "slots": [
+              2
+            ]
+          }
+        ],
+        "flags104": 2147483650,
+        "flags220": 2147491842,
+        "last": 10000,
+        "meter": 0,
+        "pm_type": 0,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          305419896,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 107,
+            "op": "event"
+          },
+          {
+            "format": "436c69656e744d656c7465643a2025690a",
+            "op": "log",
+            "slots": [
+              2
+            ]
+          }
+        ],
+        "flags104": 2147483650,
+        "flags220": 2147491842,
+        "last": 10000,
+        "meter": 0,
+        "pm_type": 0,
+        "receiver": 999
+      }
+    },
+    {
+      "rust": {
+        "carry_bits": 0,
+        "event_entity": [
+          305419896,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 107,
+            "op": "event"
+          },
+          {
+            "format": "436c69656e744d656c7465643a2025690a",
+            "op": "log",
+            "slots": [
+              2
+            ]
+          }
+        ],
+        "flags104": 2147483650,
+        "flags220": 2147491842,
+        "last": 10000,
+        "meter": 0,
+        "pm_type": 0,
+        "receiver": 999
+      },
+      "source": {
+        "carry_bits": 0,
+        "event_entity": [
+          305419896,
+          2147483681
+        ],
+        "events": [
+          {
+            "event": 107,
+            "op": "event"
+          },
+          {
+            "format": "436c69656e744d656c7465643a2025690a",
+            "op": "log",
+            "slots": [
+              2
+            ]
+          }
+        ],
+        "flags104": 2147483650,
+        "flags220": 2147491842,
+        "last": 10000,
+        "meter": 0,
+        "pm_type": 0,
+        "receiver": 999
+      }
+    }
+  ],
+  "source_report": "docs/research/qvm-move-self-recovery.json",
+  "source_report_sha256": "118327982d7e3a2ef47541b42879ed0c53319931df4cfb526ac6f045ca8b6b59"
+}

scripts/analyze_rust_move_self_recovery.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-move-callbacks'],check=True,capture_output=True)
+ binary=Path(os.environ.get('CARGO_TARGET_DIR','target'))/'debug'/'urt-move-callbacks'
+ path=Path('docs/research/qvm-move-self-recovery.json');data=path.read_bytes();probes=[]
+ for p in json.loads(data)['probes']:
+  probes.append(dict(source={k:p[k] for k in ['meter', 'carry_bits', 'flags220', 'flags104', 'pm_type', 'receiver', 'event_entity', 'events', 'last']},rust=result(binary,'self',encode(p['input']))))
+ write_json(Path('docs/research/rust-move-self-recovery.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['entity'],a['client'],a['mode'],a['connection'],a['health'],a['follow'],a['flags220'],a['flags104'],a['pm_type'],word(a['seconds']),a['meter'],word(a['carry']),a['tick'],a['last'],1,0]
+if __name__=='__main__':main()

scripts/test_rust_move_self_recovery.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-move-self-recovery.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-move-self-recovery.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

@@ -3848,3 +3848,29 @@ report	scripts/analyze_qvm_move_self_recovery.py	docs/research/qvm-move-self-rec
 edge	docs/research/qvm-move-self-recovery.json	scripts/test_qvm_move_self_recovery.py
 group	qvm-move-self-recovery	scripts/analyze_qvm_move_self_recovery.py
 edge	scripts/analyze_qvm_move_self_recovery.py	scripts/analyze_qvm_resumer_audit.py
+report	scripts/analyze_rust_move_self_recovery.py	docs/research/rust-move-self-recovery.json
+edge	docs/research/rust-move-self-recovery.json	scripts/test_rust_move_self_recovery.py
+group	rust-move-self-recovery	scripts/analyze_rust_move_self_recovery.py
+edge	scripts/analyze_rust_move_self_recovery.py	scripts/analyze_qvm_resumer_audit.py
+edge	Cargo.toml	scripts/analyze_rust_move_self_recovery.py
+edge	Cargo.lock	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/Cargo.toml	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/lib.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/filter_loading.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/filter_lifecycle.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/native_policy.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/bin/urt-filter-loading.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/qvm_format.rs	scripts/analyze_rust_move_self_recovery.py
+edge	docs/research/qvm-move-self-recovery.json	scripts/analyze_rust_move_self_recovery.py
+group	rust-move-self-recovery	scripts/analyze_rust_health_impulse.py
+group	gameplay	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/filter_commands.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/bin/urt-filter-commands.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/client_timer.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/bin/urt-client-timer.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/client_processing.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/bin/urt-client-processing.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/client_move_context.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/bin/urt-client-move-context.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/move_callbacks.rs	scripts/analyze_rust_move_self_recovery.py
+edge	crates/urt-gameplay/src/bin/urt-move-callbacks.rs	scripts/analyze_rust_move_self_recovery.py

xtask/src/lib.rs

@@ -1137,6 +1137,7 @@ mod integration_tests {
             ("client_move_context", "client_move_context"),
             ("client_move_context", "client_move_assembly"),
             ("move_callbacks", "move_meter"),
+            ("move_callbacks", "move_self_recovery"),
             ("client_move_context", "client_move_scratch"),
             ("client_processing", "client_routing"),
             ("client_timer", "client_routing"),
@@ -1356,6 +1357,7 @@ mod integration_tests {
             ("qvm-client-move-context", "client_move_context"),
             ("qvm-client-move-assembly", "client_move_assembly"),
             ("qvm-move-meter", "move_meter"),
+            ("qvm-move-self-recovery", "move_self_recovery"),
             ("qvm-client-move-scratch", "client_move_scratch"),
             ("qvm-client-routing", "client_routing"),
             ("qvm-client-command-rewrite", "client_command_rewrite"),