pub fn exhausted(m: &Machine) -> bool
The 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.
exhausted
--limit