Constant PREDICATE_BITS 

pub const PREDICATE_BITS: usize = 64;

Fixed bit-width for the range / threshold checks. Values and bounds must fit in u64; the bit-decomposition proves 0 <= diff < 2^64.