v3.25.2
Leases - Schedule of Other Lease Information (Details)
Aug. 01, 2025
Oct. 31, 2024
Aug. 02, 2024
Leases [Abstract]      
Weighted-average remaining lease term of operating leases in years 8 years 8 months 12 days 8 years 9 months 18 days 9 years
Weighted-average discount rate of operating leases 5.09% 5.00% 4.93%