Matěj Novotný hmm, nowhere it is written that the bullet order must be respected so it is not in the spec IMO. Then on a functional sense, it is a non-sense to fire PBA after PIP and PIT. PBA is way closer to PAT by the operation it defines and a veto BA must not lead to PIP or PIT so  should be just after PAT by design - but I agree it is not explicitly specified today so means PBA before is straight forward for users, PBA after requires extensions to revise the PIT and PIP capture after the whole discovery to be accurate (which is quite complex for nothing IMHO).

Not directly linked to this issue but since you mention it: is 2.0.1.Final anything in terms of spec (I can see what it is in terms of artifact release but not spec)?