Deferred revenue (Details) - USD ($) $ in Millions |
Sep. 30, 2026 |
Jun. 30, 2026 |
|---|---|---|
| Current | ||
| Deferred revenue — contracts with customers | $ 127 | $ 46 |
| Deferred lease revenue — operating leases | 0 | 0 |
| Deferred revenue, current portion | 127 | 46 |
| Non-current | ||
| Deferred revenue — contracts with customers | 321 | 173 |
| Deferred lease revenue — operating leases | 2,096 | 1,623 |
| Deferred revenue, less current portion | 2,417 | 1,796 |
| Total deferred revenue | $ 2,544 | $ 1,843 |
| X | ||||||||||
- Definition Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable, classified as current. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amount of obligation to transfer good or service to customer for which consideration has been received or is receivable, classified as noncurrent. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of deferred income excluding obligation to transfer product and service to customer for which consideration has been received or is receivable, classified as current. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of deferred income excluding obligation to transfer product and service to customer for which consideration has been received or is receivable, classified as noncurrent. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of deferred income and obligation to transfer product and service to customer for which consideration has been received or is receivable. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- References No definition available.
|
| X | ||||||||||
- Definition Amount of deferred income and obligation to transfer product and service to customer for which consideration has been received or is receivable, classified as current. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of deferred income and obligation to transfer product and service to customer for which consideration has been received or is receivable, classified as noncurrent. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|