pub const FINAL_DENSITY_NONPOSITIVE_CHANNELS: Option<&[usize]>;
Channels that, when <= 0 at a block, prove its combined final density is not positive. Check actual interpolated block values.
<= 0