{
  "status": "pass",
  "mirror_prefix_endpoints": {"direct": 2934, "reset": 1160},
  "transition_table_entries": 8188,
  "present_transition_receipts": 5914,
  "unbounded_chase_family_through_depth": 128,
  "scope": "Word-level endpoint and transition-receipt recurrences through half-length 10, plus an exact chase family; not a sequence implementation or full recognizer proof."
}