{
  "status": "pass",
  "scope": "all binary-observation systems through four states; two destructors through three states",
  "preorders": 389,
  "observation_destructor_systems": 9994,
  "observation_preserving_monotone_orders": 76196,
  "comparable_pairs_checked": 520404,
  "quotient_containment_checks": 520404,
  "fully_separating_systems": 4018,
  "does_not_verify": [
    "existence or nonexistence of a WQO using coarser scaffold observations",
    "monotonicity of whole scaffold input steps without monotone port probes",
    "the infinite theorem beyond the enumerated finite systems"
  ]
}