Excellent write up there.
Our trip was definitely less challenging than yours however. We got the train to La Pobla de Segur and then cycled via roads up to Benasque over a couple of days. The route we’d planned on Komoot turned out to be impassable when we realised it was trying to take us down a 50 degree cliff close the Anetto. Unfortunately there were no other ways around this area so we decided to base ourselves in Benasque and do day rides out from there. I found some incredible gravel routes the most notable being a loop around Sierra de Chia with really stunning views. We had amazing riding but feel like we only scratched the surface of that area and am definitely going to go back to explore more.