That which verifies rather than assumes. A checker turns a belief into a finding.
Agent noun formed on check (Persian shah, by way of the chess move); see check.
That which verifies rather than assumes — a checker's whole purpose is turning a belief into a finding.