{
  "status": "pass",
  "scope": "finite selector-cover composition and product-state simulation",
  "top_languages": 512,
  "inner_selectors": 16,
  "outer_selectors": 4,
  "inner_families": 136,
  "outer_families": 10,
  "valid_stage_family_pairs": 306240,
  "composed_cover_word_checks": 918720,
  "horizon_composition_checks": 612480,
  "two_state_outer_machines": 256,
  "two_state_inner_subfamily": 256,
  "product_state_bound": 4,
  "product_run_comparisons": 983040,
  "resource_law": "(m,s) odot (n,t) = (m*n,s*t)",
  "uniform_transport_bound": "(m*n*d,k,g^(m*n),q^(m*n)*s^(m*n)*t^n)",
  "does_not_verify": [
    "Pareto optimality of the product selector profile",
    "necessity of finite selector covers for bounded transport",
    "asynchronous or unbounded-memory selectors",
    "any external SCA or PEG separation"
  ]
}