pub const MAX_PRODUCT_CLASSES: usize = 128;
The most product classes a record’s agreement bits hold: the two words it gives the multiply’s agreement, the least-registered multiply’s result beside the flags.