{
  "checked_at": "2026-08-29T00:00:00Z",
  "source": "https://arxiv.org/abs/2607.22198",
  "code_repository": "https://github.com/malyang/hc5-counterexample",
  "code_commit": "7b23ada77a7369a4e75ce3db70227dc716a09de6",
  "checker": "verification/independent_nosympy.py",
  "checker_sha256": "38d6a3a670f87828c26929d09dce6e8a3f566a4e067b51a74a89ea9d3508fcfe",
  "python": "3.10.15",
  "result": "passed",
  "observations": {
    "expanded_monomials": 42,
    "total_degree": 14,
    "gradient_collision": ["0", "0", "-1/2", "0", "0"],
    "representative_exact_hessian_evaluations": 40,
    "family_member_exact_hessian_evaluations": 20,
    "hessian_determinant_at_checked_points": 128
  },
  "scope": "Artifact replay. The determinant checks are exact at deterministic sampled points; the paper supplies the symbolic proof. This run is not labeled a formal or exhaustive independent proof."
}