{
  "status": "passed",
  "accounting_parameter_cases": 4149,
  "untouched_label_insertion_cases": 15,
  "horizon_cases": 256,
  "scope": "Finite checks of the revised inequalities and counts, without simulating full adversary trajectories."
}