Function claim_at 

pub fn claim_at<F: Field>(
    entries: &[TensorEntry<F>],
    point: Vec<Vec<F>>,
) -> AxisClaim<F>

Builds a claim asserting the tensor’s extension takes the value it actually takes.

The value comes from the entries, so the claim is true by construction.