Check your FSM against that in BGP-4 RFC 4271 Section 8. As long as you end up in the same state with the same event occurrence, then you should be good. It appears that you have chosen to transition between states via flow-chart style decisions for conciseness/clarity, rather than strictly keying on the RFC enumerated events, but it is the end result that really matters, as is stated in the RFC itself:
The data structures and FSM described in this document are conceptual
and do not have to be implemented precisely as described here, as
long as the implementations support the described functionality and
they exhibit the same externally visible behavior.
Disclaimers: I am long in CSCO. Bad answers are my own fault as they are not AI generated.