pub const ENUMERATION_LIMIT: usize = 6;
Hard cap on distinct values for subjective/objective acceptance. At 6 values, worst-case linear-extension count is 720.