Deferred revenue (Details) - USD ($) $ in Thousands |
Jun. 30, 2026 |
Jun. 30, 2025 |
|---|---|---|
| Current | ||
| Deferred revenue — contracts with customers | $ 46,491 | $ 884 |
| Deferred lease revenue — operating leases | 0 | 0 |
| Deferred revenue, current portion | 46,491 | 884 |
| Non-current | ||
| Deferred revenue — contracts with customers | 172,575 | 0 |
| Deferred lease revenue — operating leases | 1,623,480 | 0 |
| Deferred revenue, less current portion | 1,796,055 | 0 |
| Total deferred revenue | $ 1,842,546 | $ 884 |
| 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
|