pub fn detect(
baseline: &[Record],
candidate: &[Record],
) -> Option<FirstDivergence>Expand description
Detect the first meaningful divergence between two traces.
Returns None when the traces agree on every compared turn up to the
length of the shorter one (and the longer tail is empty or also
matches). Returns Some at the first pair whose combined per-cell
cost exceeds the noise floor.
This is a thin convenience wrapper around detect_top_k that
returns only the highest-ranked divergence by walk order. Callers
who want multi-fork coverage should use detect_top_k directly.