fix: adapt to jolt-witness API changes

Mechanical adaptation to the prover-stack/09-jolt-witness API tightening:

- WitnessDimensions::new takes only log_rows; .dimensions.rows is now the
  derived rows() method.
- OracleViewRequest was folded into ViewRequirement: oracle_view /
  try_evaluate_oracle_view take the requirement directly.
- try_collect_ra_family_cycle_indices moved to the RaFamilyCycleIndexSource
  capability trait: bound added on collect_ra_cycle_indices, the
  materialize_sumcheck_ra_pushforward / stage7_hamming_state trait methods and
  their cpu impls, plus an empty impl for the RaPushforwardTestWitness mock.
- WitnessBuilder was removed: the e2e harnesses construct
  TraceBackedJoltVmWitness::new(config, inputs) directly.

Verified: jolt-backends + jolt-witness compile clean and pass 114/114 tests.
jolt-prover's adaptation is compile-blocked by pre-existing tracer and
jolt-blindfold breakage on this branch (unrelated to these changes).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Author: moodlezoup

crates/jolt-backends/src/cpu/commitments/mod.rs

@@ -173,7 +173,7 @@ where
                 slot: item.slot,
                 oracle: item.requirement.oracle,
                 id: committed_id(item.requirement.oracle.kind),
-                polynomial_rows: item.descriptor.dimensions.rows,
+                polynomial_rows: item.descriptor.dimensions.rows(),
                 layout: item.commitment_layout(core_fast_path_layout),
                 mode: item.mode,
             }
@@ -214,7 +214,7 @@ where
                 let result = stream::commit_streamed_witness::<F, PCS, N>(
                     item.slot,
                     item.requirement.oracle,
-                    item.descriptor.dimensions.rows,
+                    item.descriptor.dimensions.rows(),
                     layout,
                     item.mode,
                     stream.as_mut(),
@@ -268,7 +268,7 @@ impl<N: WitnessNamespace> ResolvedCommitmentRequest<N> {
             if matches!(
                 self.descriptor.encoding,
                 PolynomialEncoding::Dense | PolynomialEncoding::Compact
-            ) && self.descriptor.dimensions.rows == embedding.trace_rows
+            ) && self.descriptor.dimensions.rows() == embedding.trace_rows
                 && matches!(
                     self.requirement.retention,
                     RetentionHint::ThroughStage8 | RetentionHint::ThroughBlindFold
@@ -342,7 +342,7 @@ fn infer_core_fast_path_layout<N: WitnessNamespace>(
                     PolynomialEncoding::Dense | PolynomialEncoding::Compact
                 )
         })
-        .map(|item| item.descriptor.dimensions.rows)
+        .map(|item| item.descriptor.dimensions.rows())
         .min()?;
 
     let one_hot_rows = resolved
@@ -351,7 +351,7 @@ fn infer_core_fast_path_layout<N: WitnessNamespace>(
             item.requirement.retention == RetentionHint::ThroughStage8
                 && item.descriptor.encoding == PolynomialEncoding::OneHot
         })
-        .map(|item| item.descriptor.dimensions.rows)
+        .map(|item| item.descriptor.dimensions.rows())
         .max()?;
 
     if trace_rows == 0

crates/jolt-backends/src/cpu/openings/mod.rs

@@ -5,7 +5,7 @@
 
 use jolt_field::Field;
 use jolt_openings::CommitmentScheme;
-use jolt_witness::{OracleViewRequest, WitnessNamespace, WitnessProvider};
+use jolt_witness::{WitnessNamespace, WitnessProvider};
 use rayon::prelude::*;
 
 use crate::{
@@ -57,16 +57,17 @@ where
     let mut expected_rows = None;
     for (component_index, component) in request.components.iter().enumerate() {
         let context = format!("{} component {component_index}", request.label);
-        let view = witness
-            .oracle_view(OracleViewRequest::new(component.view))
-            .map_err(|error| BackendError::InvalidRequest {
-                backend,
-                task: RLC_MATERIALIZATION_TASK,
-                reason: format!(
-                    "{context} materialize {:?} failed: {error}",
-                    component.view.oracle.kind
-                ),
-            })?;
+        let view =
+            witness
+                .oracle_view(component.view)
+                .map_err(|error| BackendError::InvalidRequest {
+                    backend,
+                    task: RLC_MATERIALIZATION_TASK,
+                    reason: format!(
+                        "{context} materialize {:?} failed: {error}",
+                        component.view.oracle.kind
+                    ),
+                })?;
         let descriptor = view.descriptor();
         if descriptor.reference.kind != component.view.oracle.kind {
             return Err(BackendError::InvalidRequest {

crates/jolt-backends/src/cpu/sumcheck/mod.rs

@@ -10,7 +10,7 @@ use std::collections::{HashMap, HashSet};
 use jolt_field::{Field, RingAccumulator, WithAccumulator};
 use jolt_poly::{boolean_index_msb, EqPolynomial, TensorEqTable};
 use jolt_witness::{
-    OracleViewRequest, PolynomialChunk, PolynomialView,
+    PolynomialChunk, PolynomialView, RaFamilyCycleIndexSource,
     RaFamilyCycleIndices as WitnessRaCycleIndices, WitnessNamespace, WitnessProvider,
 };
 
@@ -986,7 +986,7 @@ where
         witness: &W,
     ) -> Result<Vec<Vec<F>>, BackendError>
     where
-        W: WitnessProvider<F, N>,
+        W: WitnessProvider<F, N> + RaFamilyCycleIndexSource<F, N>,
     {
         materialize_sumcheck_ra_pushforward(self.name(), request, witness)
     }
@@ -997,7 +997,7 @@ where
         witness: &W,
     ) -> Result<SumcheckStage7HammingState<F>, BackendError>
     where
-        W: WitnessProvider<F, N>,
+        W: WitnessProvider<F, N> + RaFamilyCycleIndexSource<F, N>,
     {
         materialize_sumcheck_stage7_hamming_state(self.name(), request, witness)
     }
@@ -1288,10 +1288,7 @@ where
         }
 
         if let Some(value) = witness
-            .try_evaluate_oracle_view(
-                OracleViewRequest::new(view_request.requirement),
-                &view_request.point,
-            )
+            .try_evaluate_oracle_view(view_request.requirement, &view_request.point)
             .map_err(|error| BackendError::InvalidRequest {
                 backend,
                 task: EVALUATION_TASK,
@@ -1473,7 +1470,7 @@ fn materialize_sumcheck_ra_pushforward<F, N, W>(
 where
     F: Field,
     N: WitnessNamespace,
-    W: WitnessProvider<F, N>,
+    W: WitnessProvider<F, N> + RaFamilyCycleIndexSource<F, N>,
 {
     let k_chunk = 1usize << request.log_k_chunk;
     let indices = collect_ra_cycle_indices(
@@ -1504,7 +1501,7 @@ fn materialize_sumcheck_stage7_hamming_state<F, N, W>(
 where
     F: Field,
     N: WitnessNamespace,
-    W: WitnessProvider<F, N>,
+    W: WitnessProvider<F, N> + RaFamilyCycleIndexSource<F, N>,
 {
     let k_chunk = 1usize << request.log_k_chunk;
     let num_polys = request.num_polys();
@@ -1728,7 +1725,7 @@ fn collect_ra_cycle_indices<F, N, W>(
 where
     F: Field,
     N: WitnessNamespace,
-    W: WitnessProvider<F, N>,
+    W: WitnessProvider<F, N> + RaFamilyCycleIndexSource<F, N>,
 {
     let instruction_chunks = instruction_ids.len();
     let bytecode_chunks = bytecode_ids.len();
@@ -1988,7 +1985,7 @@ where
             ),
         });
     }
-    if descriptor.dimensions.rows == 0 {
+    if descriptor.dimensions.rows() == 0 {
         return Err(BackendError::InvalidRequest {
             backend,
             task,
@@ -2020,14 +2017,14 @@ where
             reason: format!("{context} did not materialize a concrete view"),
         });
     };
-    if values.len() != descriptor.dimensions.rows {
+    if values.len() != descriptor.dimensions.rows() {
         return Err(BackendError::InvalidRequest {
             backend,
             task,
             reason: format!(
                 "{context} materialized {} rows, expected {}",
                 values.len(),
-                descriptor.dimensions.rows
+                descriptor.dimensions.rows()
             ),
         });
     }
@@ -2048,7 +2045,7 @@ where
     W: WitnessProvider<F, N>,
 {
     let view = witness
-        .oracle_view(OracleViewRequest::new(requirement))
+        .oracle_view(requirement)
         .map_err(|error| BackendError::InvalidRequest {
             backend,
             task,