{
  "checks": [
    {
      "name": "complete4",
      "known_nonconstant_eigenvalues": [
        -1
      ],
      "output": {
        "vertices": 4,
        "degree": 3,
        "strict_nonconstant_squared_eigenvalue_bound": 8,
        "strict_ramanujan_test_passed": true,
        "contrast_ldl_pivots": [
          {
            "numerator": "14",
            "denominator": "1"
          },
          {
            "numerator": "21",
            "denominator": "2"
          },
          {
            "numerator": "28",
            "denominator": "3"
          }
        ],
        "arithmetic": "exact_python_integer_and_fraction",
        "interpretation": "Positive contrast form is equivalent to every nonconstant adjacency eigenvalue having square less than 4(d-1).",
        "new_graph_construction": false,
        "independent_theorem_verification": "not_run",
        "formal_program_verification": "not_run",
        "source_url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Deterministic-nonbipartite-Ramanujan-graphs-in-every-fixed-degree-September-23-2026/paper.pdf"
      },
      "passed": true
    },
    {
      "name": "cube",
      "known_nonconstant_eigenvalues": [
        -3,
        -1,
        1
      ],
      "output": {
        "vertices": 8,
        "degree": 3,
        "strict_nonconstant_squared_eigenvalue_bound": 8,
        "strict_ramanujan_test_passed": false,
        "contrast_ldl_pivots": [
          {
            "numerator": "10",
            "denominator": "1"
          },
          {
            "numerator": "91",
            "denominator": "10"
          },
          {
            "numerator": "112",
            "denominator": "13"
          },
          {
            "numerator": "77",
            "denominator": "16"
          },
          {
            "numerator": "70",
            "denominator": "11"
          },
          {
            "numerator": "7",
            "denominator": "10"
          },
          {
            "numerator": "-56",
            "denominator": "1"
          }
        ],
        "arithmetic": "exact_python_integer_and_fraction",
        "interpretation": "Positive contrast form is equivalent to every nonconstant adjacency eigenvalue having square less than 4(d-1).",
        "new_graph_construction": false,
        "independent_theorem_verification": "not_run",
        "formal_program_verification": "not_run",
        "source_url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Deterministic-nonbipartite-Ramanujan-graphs-in-every-fixed-degree-September-23-2026/paper.pdf"
      },
      "passed": true
    },
    {
      "name": "complete_bipartite33",
      "known_nonconstant_eigenvalues": [
        -3,
        0
      ],
      "output": {
        "vertices": 6,
        "degree": 3,
        "strict_nonconstant_squared_eigenvalue_bound": 8,
        "strict_ramanujan_test_passed": false,
        "contrast_ldl_pivots": [
          {
            "numerator": "10",
            "denominator": "1"
          },
          {
            "numerator": "48",
            "denominator": "5"
          },
          {
            "numerator": "28",
            "denominator": "3"
          },
          {
            "numerator": "16",
            "denominator": "7"
          },
          {
            "numerator": "-12",
            "denominator": "1"
          }
        ],
        "arithmetic": "exact_python_integer_and_fraction",
        "interpretation": "Positive contrast form is equivalent to every nonconstant adjacency eigenvalue having square less than 4(d-1).",
        "new_graph_construction": false,
        "independent_theorem_verification": "not_run",
        "formal_program_verification": "not_run",
        "source_url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Deterministic-nonbipartite-Ramanujan-graphs-in-every-fixed-degree-September-23-2026/paper.pdf"
      },
      "passed": true
    },
    {
      "name": "disconnected_complete4_pair",
      "known_nonconstant_eigenvalues": [
        3,
        -1
      ],
      "output": {
        "vertices": 8,
        "degree": 3,
        "strict_nonconstant_squared_eigenvalue_bound": 8,
        "strict_ramanujan_test_passed": false,
        "contrast_ldl_pivots": [
          {
            "numerator": "10",
            "denominator": "1"
          },
          {
            "numerator": "91",
            "denominator": "10"
          },
          {
            "numerator": "112",
            "denominator": "13"
          },
          {
            "numerator": "133",
            "denominator": "16"
          },
          {
            "numerator": "70",
            "denominator": "19"
          },
          {
            "numerator": "7",
            "denominator": "10"
          },
          {
            "numerator": "-56",
            "denominator": "1"
          }
        ],
        "arithmetic": "exact_python_integer_and_fraction",
        "interpretation": "Positive contrast form is equivalent to every nonconstant adjacency eigenvalue having square less than 4(d-1).",
        "new_graph_construction": false,
        "independent_theorem_verification": "not_run",
        "formal_program_verification": "not_run",
        "source_url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Deterministic-nonbipartite-Ramanujan-graphs-in-every-fixed-degree-September-23-2026/paper.pdf"
      },
      "passed": true
    },
    {
      "name": "petersen",
      "known_nonconstant_eigenvalues": [
        1,
        -2
      ],
      "output": {
        "vertices": 10,
        "degree": 3,
        "strict_nonconstant_squared_eigenvalue_bound": 8,
        "strict_ramanujan_test_passed": true,
        "contrast_ldl_pivots": [
          {
            "numerator": "12",
            "denominator": "1"
          },
          {
            "numerator": "95",
            "denominator": "12"
          },
          {
            "numerator": "708",
            "denominator": "95"
          },
          {
            "numerator": "5017",
            "denominator": "708"
          },
          {
            "numerator": "1022",
            "denominator": "173"
          },
          {
            "numerator": "14448",
            "denominator": "2117"
          },
          {
            "numerator": "805",
            "denominator": "129"
          },
          {
            "numerator": "672",
            "denominator": "115"
          },
          {
            "numerator": "35",
            "denominator": "6"
          }
        ],
        "arithmetic": "exact_python_integer_and_fraction",
        "interpretation": "Positive contrast form is equivalent to every nonconstant adjacency eigenvalue having square less than 4(d-1).",
        "new_graph_construction": false,
        "independent_theorem_verification": "not_run",
        "formal_program_verification": "not_run",
        "source_url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Deterministic-nonbipartite-Ramanujan-graphs-in-every-fixed-degree-September-23-2026/paper.pdf"
      },
      "passed": true
    },
    {
      "name": "malformed_graph_rejected",
      "passed": true
    },
    {
      "name": "malformed_graph_rejected",
      "passed": true
    },
    {
      "name": "waveform_quadratic_budget_rejected",
      "passed": true
    }
  ]
}