As construction, it's a stop on the Tampa extension. Functionally, IMHO it'll be more of an extension of service from Miami. In fact, the segment to WDW is expected to begin service 2 years before service to Tampa commences, IIRC.
You're right that Brightline has said they do not want to be a...