v3.25.1
Leases - Additional Information (Details) - USD ($)
$ in Thousands
3 Months Ended 6 Months Ended
Apr. 30, 2025
Apr. 30, 2024
Apr. 30, 2025
Apr. 30, 2024
Leases        
Operating lease expense $ 300 $ 300 $ 673 $ 703
Operating lease, weighted average remaining lease term 16 years   16 years  
Operating lease, weighted average discount rate 8.00%   8.00%  
Operating lease, payments $ 400 $ 500 $ 682 $ 700