Function check_axis 

pub fn check_axis(
    operand_axis: &str,
    expected_axis: &'static str,
) -> Result<(), CompositionFailure>

Validate that an operand’s σ-axis matches the expected axis (per CA-3 σ-axis homogeneity).