According to a comment on the ARMmbed/DAPLink issue on the #VenturaProblem, "…I've tested macOS Ventura 13.1 beta.4 and it looks like it resolves the issue," see https://github.com/raspberrypi/pico-sdk/issues/1081#issuecomment-1341027843.
I've not yet had a chance to check this myself, or heard anything directly back from the folks I'm talking to at #Apple, but if anyone that has access to #macOS beta releases wants to try out the latest beta and report back? #UF2 #RaspberryPi #RP2040
https://www.raspberrypi.com/news/the-ventura-problem/
“The arrival of #macOS #Ventura, and a change in the way the Finder works, has caused a problem for embedded developers. If you're working with #RaspberryPiPico on a #Mac 💻 we recommend that you don't upgrade to Ventura quite yet. #VenturaProblem https://t.co/gOX6pzqJJ2”