Function is_refinement_bool_ok_err_match 

pub fn is_refinement_bool_ok_err_match(
    arms: &[MatchArm],
    type_name: &str,
    carrier_field: &str,
    param_name: &str,
) -> bool

True iff a two-arm bool match is the canonical refinement shape: true -> Result.Ok(<TypeName>(<carrier_field> = <param>)) and false -> Result.Err(_). Required so we don’t mis-classify a random match … -> Result.Ok(...) | -> Result.Err(...) (e.g. an effectful pipeline) as a smart constructor.