I would now agree with you. The original statement from ~2022 was reasonable then. I think that we have seen a significant amount of maturity gained in the Windows toolchain. I don't think that we are quite ready to pin down ourselves yet, but we are making great progress towards that end. In the mean time, new avenues of resolving some of the older problems have now become viable
As to the Concurrency ABI issue - word is that it should be possible and this might just be an artifact of LLVM itself.
I mostly agree with this, but we have seen a significant chunk of Swift exclude Windows as a host due to its decisions. That does result in a good deal of divergence. One area that I would actively want to diverge though would be the object layout. I think that it would be good to consider object layouts which are COM friendly by default.
I think that it is less a plan and more so the lack of ability to execute on it due to the continual stream of Windows behind left as an exercise for the interested party that prevent this. I would say that this is a completely reasonable thing to hold ABI stability on. (If you want more than a vague statement, the early swift-driver is a great current example. Macros were something which required last second heorics on Windows by me to get them into the releease).
I think that this is reasonable. I think that once the early swift-driver is enabled, @available being usable with Windows would be a good item to tackle. Unlike #available, this would use the OS spellings so that we can cluster system APIs for releases that we are targeting,