Function project_trace_coeffs_row_major 

pub fn project_trace_coeffs_row_major<F, PolyCoeff, Int, const DEGREE_PLUS_ONE: usize>(
    trace: &UairTrace<'_, PolyCoeff, Int, DEGREE_PLUS_ONE>,
    field_cfg: &F::Config,
) -> RowMajorTrace<F>
where
    F: for<'a> FromWithConfig<&'a PolyCoeff> + for<'a> FromWithConfig<&'a Int> + Send + Sync,
    PolyCoeff: Clone + Send + Sync,
    Int: Clone + Send + Sync,

Project a multi-typed trace onto F[X], returning a row-indexed (transposed) matrix. Result: trace[row][col] where columns are ordered as binary_poly, arbitrary_poly, int.

Use this for the combined polynomial approach (non-linear constraints).