Salvete!
KSt 2, S. 183 stellt wohl des Lösung des Problems vor:
Neben einem präsentischen ... Hauptsatze wird die Consecutio Temporum eines Nebensatzes , der einem vom Hauptsatze abhängigen Infin.... untergeordnet ist, nicht durch den Haupstsatz bestimmt, sondern der Nebensatz erhält diejenige Zeitform, welche er haben würde, wenn statt des abhängigen Infinitivs ... ein unabhängiger Satz stände.
Aus der Menge der daselbst präsentierten Beispiele wähle ich Cic. fam. 5, 8, 3 aus:
tibi persuadeas velim me, ut primum forum attigerim, spectasse semper, ut tibi possem quam maxime esse coniunctus
Diese Konstruktion könne man zurückführen auf:
ut primum forum attigi, spectavi semper, ut possem.
Unsere Vergilstelle würde dann entsprechend unabhängig so lauten:
postquam arte novercae occidit patriasque explevit sanguine poenas..., ... superas caeli venit sub auras.