pub const OP_ID: &str = "weir::ifds_gpu";
Stable primitive id for Weir’s GPU-native IFDS fixpoint route.