Among them, the Redmi Note 13 5G appears to be closest to a public rollout with the build OS3.0.0.2.VNQMIXM already in a near-stable state.

Assuming your phone is on and online, you should be able to see its location on a map. From there, you can make it ring, lock it, set a lock screen note to tell whoever has it how to get it back to ...