Segments and Other Geographic Reporting - Narrative (Details) |
6 Months Ended |
|---|---|
|
Jan. 31, 2026
Segment
| |
| Segment Reporting [Abstract] | |
| Number of operating segments | 2 |
| Number of reportable segments | 2 |
| Segment Reporting, CODM, Individual Title and Position or Group Name [Extensible Enumeration] | srt:ChiefExecutiveOfficerMember |
| Segment Reporting, CODM, Profit (Loss) Measure, How Used, Description | The primary financial measures used by the CODM for assessing performance and allocating resources are service revenue, vehicle sales and operating income. |
| X | ||||||||||
- Definition Number of operating segments. An operating segment is a component of an enterprise: (a) that engages in business activities from which it may earn revenues and incur expenses (including revenues and expenses relating to transactions with other components of the same enterprise), (b) whose operating results are regularly reviewed by the enterprise's chief operating decision maker to make decisions about resources to be allocated to the segment and assess its performance, and (c) for which discrete financial information is available. An operating segment may engage in business activities for which it has yet to earn revenues, for example, start-up operations may be operating segments before earning revenues. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Number of segments reported by the entity. A reportable segment is a component of an entity for which there is an accounting requirement to report separate financial information on that component in the entity's financial statements. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Indicates title and position of individual or name of group identified as chief operating decision maker (CODM) for segment reporting. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Description of how chief operating decision maker (CODM) uses reported segment profit (loss) measure to assess performance and allocate resource. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|