100% correct , and if the `locate` isnt completed by the broker then the open position will show on the brokers books and then balance sheet .
So the brpker will send an automated demand to the short seller to close then later in the same session will actually close it out if he didn't respond.
That`s it , no variations on any exchange regulated by FINRA , FCA , AMF, BAFIN ,its the exact same at EVERY broker . broker-dealer or IB .