Function code_for_counter 

pub fn code_for_counter(
    secret_b32: &str,
    params: &Params,
    counter: u64,
) -> Result<String, String>

The code for one explicit counter value.

Exposed because “the next code” is this function at counter + 1, and deriving it that way keeps one arithmetic path rather than two that must agree.