Function project_trace_coeffs_column_major 

pub fn project_trace_coeffs_column_major<F, PolyCoeff, Int, const DEGREE_PLUS_ONE: usize>(
    trace: &UairTrace<'_, PolyCoeff, Int, DEGREE_PLUS_ONE>,
    field_cfg: &F::Config,
) -> ColumnMajorTrace<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 column-indexed matrix. Result: trace[col] is a DenseMultilinearExtension<DynamicPolynomialF<F>>.

Use this for the MLE-first approach (linear constraints only).