{
  "status": "pass",
  "scope": "finite regular-source domain restriction and selector totalization",
  "two_state_source_dfas": 1024,
  "one_state_selectors": 4,
  "selector_families_width_at_most_two": 10,
  "observed_words": 31,
  "product_domain_checks": 126976,
  "finite_cover_word_checks": 317440,
  "domain_cover_equivalences": 10240,
  "covering_family_instances": 7116,
  "product_state_bound": 2,
  "partial_one_state_selectors": 9,
  "totalization_checks": 279,
  "defined_word_agreements": 145,
  "totalized_state_bound": 2,
  "does_not_verify": [
    "the nonregular identity example beyond the standard domain-regularity theorem",
    "literature priority for sequential uniformization or multi-sequentiality",
    "asynchronous transducers",
    "the Kim-Park separation used by FPRD-T168"
  ]
}