{
  "status": "passed",
  "scope": "finite tuple/set semantics, not native resource or parser verification",
  "counts": {
    "spine_versions": 5053,
    "rank_checks": 6724,
    "pipeline_prefixes": 25259,
    "permuted_comparisons": 14711
  }
}