Any annoucement including a blog post, company/verifiable employee social media post, or press release/news article is fine. Time ends at 00:00 on October 1, 2023, Pacific Time. Note that this market depends on a public announcement, so it still resolves to NO if 4 million miles are announced in October even if those miles were achieved in September.

(Note that driverless miles are NOT the same as self-driving miles. The later includes safety driver miles)