update comments

Author: jotabulacios

prover/src/tables/cpu.rs

@@ -485,10 +485,11 @@ impl CpuOperation {
         }
     }
 
-    /// Collects IS_BYTE lookups for CPU byte range checks.
+    /// Collects CPU range-check lookups for register indices and byte pairs.
     ///
-    /// The CPU has 27 byte columns that must be range-checked: RS1, RS2, RD,
-    /// ARG1[0..7], ARG2[0..7], RES[0..7]. Each generates one IS_BYTE lookup.
+    /// The CPU sends:
+    /// - 3 IS_BYTE lookups for RS1, RS2, RD
+    /// - 12 IS_BYTE_PAIR lookups for adjacent bytes in ARG1, ARG2, and RES
     pub fn collect_byte_check_ops(&self) -> Vec<super::bitwise::BitwiseOperation> {
         use super::bitwise::{BitwiseOperation, BitwiseOperationType};
 

prover/src/tests/cpu_tests.rs

@@ -330,7 +330,7 @@ fn test_bus_interactions_count() {
     // - 1 BRANCH (branch/jump target calculation)
     // - 1 ECALL (single shared bus for HALT and COMMIT, mult = ECALL)
     // - 3 IS_BYTE (register indices: RS1, RS2, RD)
-    // - 12 IS_HALF (ARG1/ARG2/RES byte pairs: 4 halfwords × 3 arrays)
+    // - 12 IS_BYTE_PAIR (ARG1/ARG2/RES byte pairs: 4 pairs × 3 arrays)
     // Total: 8 + 8 + 8 + 2 + 1 + 1 + 1 + 1 + 5 + 1 + 1 + 1 + 1 + 1 + 1 + 3 + 12 = 56
     assert_eq!(interactions.len(), 56);
 }