fix: add boolean is_n_max_greater_than_n_logup constraint to be safe

Author: shuklaayush

crates/recursion/src/gkr/input/air.rs

@@ -98,6 +98,12 @@ impl<AB: AirBuilder + InteractionBuilder> Air<AB> for GkrInputAir {
         let local: &GkrInputCols<AB::Var> = (*local).borrow();
         let next: &GkrInputCols<AB::Var> = (*next).borrow();
 
+        ///////////////////////////////////////////////////////////////////////
+        // Boolean Constraints
+        ///////////////////////////////////////////////////////////////////////
+
+        builder.assert_bool(local.is_n_max_greater_than_n_logup);
+
         ///////////////////////////////////////////////////////////////////////
         // Proof Index Constraints
         ///////////////////////////////////////////////////////////////////////