v3.25.2
Leases - Additional Information (Details) - USD ($)
$ in Thousands
3 Months Ended 9 Months Ended
Jul. 31, 2025
Jul. 31, 2024
Jul. 31, 2025
Jul. 31, 2024
Leases        
Operating lease expense $ 300 $ 400 $ 1,005 $ 1,052
Operating lease, weighted average remaining lease term 18 years   18 years  
Operating lease, weighted average discount rate 7.80%   7.80%  
Operating lease, payments $ 300 $ 200 $ 1,030 $ 931