So it looks likes like the ABA checklist has been updated, with the provisional birds added to the end of the checklist:
www.aba.org
Of note, the provisional list is broken in a A and B list. A are provisional birds which are introduced species that are not as of yet considered established. B is a list of provisional species where identity is certain but origin is unclear, or the origin is clearly ship-assisted.
I don't know how complete/incomplete B is, but I noticed a few ABA provisional species not listed, namely Silver Pheasant and Great Tit, although I may have missed some additional ones. Not sure if this represents a future ebird change in status or if it was simply and oversight
Some discussion of this can also be found here with the rest of the checklist update:
The ABA Checklist includes species found in the ABA Area which are breeding species, regular visitors, casual and accidental species from other regions that are believed to have strayed here unrestrained by humans, and well-established introduced species that are now part of our avifauna. This...
www.aba.org
Although all of this stuff will be discussed in the next NAB issue which sadly doesn't appear to be visible yet.
oh, also with unanimous votes, Gray Gull, Yellow-headed Caracara, and Blue-black Grassquit were added to the list. Kind of surprising really, since I feel like a decade ago there would have been at the very least dissenters if not rejection, given how cautious the checklist committee was in the past.