{
  "case": {
    "N": 10,
    "j": 4,
    "p": 5
  },
  "finite_assertions": {
    "lane_and_hypergeometric": 21,
    "reciprocal": 16,
    "prime_unit_and_displacement": 86,
    "refinement": 100,
    "boundary_witness": 2
  },
  "total": 225,
  "interpretation": "Finite exact checks, not a general formal proof."
}