Search

Whether the engine has been searching, or climbing. Both numbers below are folded from the ledger and neither is a score: they describe the shape of what the loop has explored and how often its selection rule was actually asked to choose.