Using pubgrub for resolution is the right move. 18s down to 8.5s is nice for something this early. Did you port the algorithm from pubgrub-rs or reimplement from the paper? Also curious how you plan to handle composer plugin hooks, that's where most real-world projects get weird.