{
  "utc": "2026-10-13T23:24:28.203491+00:00",
  "code_sha256": "0fcfdbc51d8c7eee16838de3a80aec76a5c89c88fc7a66605d1cbab5bd5f2639",
  "status": "PASS",
  "cases": 88,
  "original_states": 1328,
  "fractional_dual_checks": 3984,
  "negative_control_delta_zero_yes_can_skip_bridge": true,
  "limits": "Finite exact all-choice and fractional dual checks; proof and primary source carry all-instance and all-real quantifiers. No candidate checker is imported."
}
