Revenue - Remaining Performance Obligations (Details) - Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-10-01 - USD ($) $ in Millions |
Dec. 31, 2025 |
Sep. 30, 2025 |
|---|---|---|
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | ||
| Revenue, remaining performance obligation, amount | $ 1.8 | |
| Revenue, remaining performance obligation, period | 12 months |