{
  "status": "pass",
  "scope": "parameter arithmetic and FPRD implication orientation only",
  "does_not_verify": [
    "Kim-Park Theorem 3.5",
    "Kim-Park Theorem 4.19",
    "Ko's cell-probe lower bound",
    "the accompanying Lean artifact"
  ],
  "parameter_rows_checked": 4096,
  "beta_strict_growth_events": 24,
  "largest_n": 4096,
  "largest_beta": 26,
  "largest_complete_length": 69189242907,
  "update_block_length": 1,
  "directional_conclusion": {
    "delta_str_C": "infinity",
    "delta_str_C_reverse": "finite"
  },
  "implication_rows_checked": 2
}