{
  "status": "pass",
  "scalar_maps": 65814,
  "vector_maps": 65812,
  "total_maps": 131626,
  "support_subset_checks": 1576046,
  "semantic_carrier_checks": 131626,
  "component_union_checks": 65812,
  "operational_semantic_gap_examples": 12,
  "semantic_quotient_gap_examples": 11,
  "tight_identity_examples": 12
}