Zeller's ddmin: a subset of items that test reports FAIL for and from which no single item can be removed while keeping FAIL. The full input must FAIL; the empty set is assumed PASS and never tested. UNRESOLVED counts as not FAIL.