pub const NMAX: usize = 10;Expand description
Maximum depth of the AGM ladder.
Eight rungs is the measured worst case over the whole domain, reached only as k
approaches 1. Two more are carried as margin. The forward pass stops as soon as every
lane has converged, so this is a bound and not a trip count.