rp2040 interrupts: is microsecond precision ok?

[SylvainGarrigues]

I have a 433 MHz receiver with a DATA pin which is connected to a GPIO of my raspberry pico board. Decoding signals basically involves measuring times between edges of this GPIO pin and trying to match those times with one remote control protocol (cf. for instance https://github.com/sui77/rc-switch/blob/master/RCSwitch.cpp#L671).

Schematically:

loop {
    rx_pin.wait_for_any_edge()
    current_instant = Instant::now()
    process_duration((current_instant - last_instant).as_micros())
    last_instant = current_instant
}

This algorithm works great when using an ESP8266 and Arduino / C code (cf. rc-switch link above), but when I use pico board and the Embassy framework and wait_for_any_edge / Instant combination, I get really different and unexpected durations with the same remote / transmitter.

Question is: are interrupts used this way in Embassy precise enough i.e. with 10 microseconds precision? Am I doing something wrong, should I use any other mechanism or timer?