Function token_ratio 

pub fn token_ratio(p1: f64, p2_cond: f64) -> f64

2026-09-25: Expected tokens per verify step at two drafts relative to one: (1 + p1 + p1*p2_cond) / (1 + p1). Returns 1.0 when p1 <= 0 or either input is not finite.