{
  "status": "pass",
  "scope": "Finite examples and identities only; no certification of the unbounded theorems or external implementations.",
  "checks": {
    "palindrome_occurrence_updates": 16382,
    "palindrome_receipt_recurrences": 254,
    "palindrome_shadow_cases": 5446,
    "persistent_stack_steps": 114688,
    "metric_rational_subadditivity_pairs": 12288,
    "metric_boundary_cancellations": 8192,
    "carrier_graph_distance_pairs": 4707,
    "gapcvp_exact_parameter_checks": 10,
    "residual_cluster_table_rows": 8
  }
}