Currently it is possible to power the PI and the Pico from either the Pico or the Raspberry Pi. Maybe another Shottky Diode on the VSYS input or the PI 5.5V input is necessary to prevent dual powering the 5v rail.