Revenue Recognition - Schedule of Revenues Expected to be Recognized in Future Related to Performance Obligations (Details) $ in Millions	Sep. 30, 2025 USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligations	$ 1,026
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2026-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligations	$ 681
Revenue, remaining performance obligation, expected timing of satisfaction, period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2027-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligations	$ 173
Revenue, remaining performance obligation, expected timing of satisfaction, period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2028-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligations	$ 129
Revenue, remaining performance obligation, expected timing of satisfaction, period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2029-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligations	$ 43
Revenue, remaining performance obligation, expected timing of satisfaction, period