Function exhausted 

pub fn exhausted(m: &Machine) -> bool

The v1 exhausted flag: the search ran to completion unless a --limit stopped it exactly at the cap. Single-sourced so the CLI and the reactor compute it identically (finding #4 — the spike hard-coded true).