{
  "generated_at_utc": "2026-10-09T00:01:10.695340+00:00",
  "runtime": {
    "executable": "/tmp/openai-math-scipy118-20261009-7NE4AZ/bin/python3",
    "python": "3.12.14 (main, Aug 25 2026, 13:50:33) [Clang 22.1.3 ]",
    "platform": "macOS-27.2-arm64-arm-64bit",
    "numpy": "2.5.3",
    "scipy": "1.18.1"
  },
  "cases": [
    {
      "case": "complex_point",
      "floating_norm": 1.0,
      "elapsed_seconds_evaluate_and_svd": 0.00786149999476038,
      "support": [
        {
          "direction": [
            "1",
            "0"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "-1",
            "0"
          ],
          "floating_largest_eigenvalue": -1.0,
          "exact_support_upper": "-1"
        },
        {
          "direction": [
            "0",
            "1"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "0",
            "-1"
          ],
          "floating_largest_eigenvalue": -1.0,
          "exact_support_upper": "-1"
        },
        {
          "direction": [
            "-3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": -1.4,
          "exact_support_upper": "-7/5"
        },
        {
          "direction": [
            "-3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 0.20000000000000007,
          "exact_support_upper": "1/5"
        },
        {
          "direction": [
            "3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": -0.20000000000000007,
          "exact_support_upper": "-1/5"
        },
        {
          "direction": [
            "3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 1.4,
          "exact_support_upper": "7/5"
        },
        {
          "direction": [
            "-4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": -1.4,
          "exact_support_upper": "-7/5"
        },
        {
          "direction": [
            "-4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": -0.20000000000000007,
          "exact_support_upper": "-1/5"
        },
        {
          "direction": [
            "4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 0.20000000000000007,
          "exact_support_upper": "1/5"
        },
        {
          "direction": [
            "4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 1.4,
          "exact_support_upper": "7/5"
        },
        {
          "direction": [
            "-5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": -1.3076923076923077,
          "exact_support_upper": "-17/13"
        },
        {
          "direction": [
            "-5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 0.5384615384615385,
          "exact_support_upper": "7/13"
        },
        {
          "direction": [
            "5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": -0.5384615384615385,
          "exact_support_upper": "-7/13"
        },
        {
          "direction": [
            "5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 1.3076923076923077,
          "exact_support_upper": "17/13"
        },
        {
          "direction": [
            "-12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": -1.3076923076923077,
          "exact_support_upper": "-17/13"
        },
        {
          "direction": [
            "-12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": -0.5384615384615385,
          "exact_support_upper": "-7/13"
        },
        {
          "direction": [
            "12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 0.5384615384615385,
          "exact_support_upper": "7/13"
        },
        {
          "direction": [
            "12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 1.3076923076923077,
          "exact_support_upper": "17/13"
        }
      ]
    },
    {
      "case": "constant_matrix",
      "floating_norm": 2.0,
      "elapsed_seconds_evaluate_and_svd": 0.0012807089951820672,
      "support": [
        {
          "direction": [
            "1",
            "0"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "-1",
            "0"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "0",
            "1"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "0",
            "-1"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "-3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "-3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "-4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "-4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "-5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "-5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "-12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "-12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        }
      ]
    },
    {
      "case": "imaginary_hermitian",
      "floating_norm": 2.0,
      "elapsed_seconds_evaluate_and_svd": 0.00026625000464264303,
      "support": [
        {
          "direction": [
            "1",
            "0"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "-1",
            "0"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "0",
            "1"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "0",
            "-1"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "-3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 0.6,
          "exact_support_upper": "3/5"
        },
        {
          "direction": [
            "-3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 0.6,
          "exact_support_upper": "3/5"
        },
        {
          "direction": [
            "3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 0.6,
          "exact_support_upper": "3/5"
        },
        {
          "direction": [
            "3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 0.6,
          "exact_support_upper": "3/5"
        },
        {
          "direction": [
            "-4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 0.8,
          "exact_support_upper": "4/5"
        },
        {
          "direction": [
            "-4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 0.8,
          "exact_support_upper": "4/5"
        },
        {
          "direction": [
            "4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 0.8,
          "exact_support_upper": "4/5"
        },
        {
          "direction": [
            "4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 0.8,
          "exact_support_upper": "4/5"
        },
        {
          "direction": [
            "-5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 0.38461538461538464,
          "exact_support_upper": "5/13"
        },
        {
          "direction": [
            "-5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 0.38461538461538464,
          "exact_support_upper": "5/13"
        },
        {
          "direction": [
            "5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 0.38461538461538464,
          "exact_support_upper": "5/13"
        },
        {
          "direction": [
            "5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 0.38461538461538464,
          "exact_support_upper": "5/13"
        },
        {
          "direction": [
            "-12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 0.9230769230769231,
          "exact_support_upper": "12/13"
        },
        {
          "direction": [
            "-12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 0.9230769230769231,
          "exact_support_upper": "12/13"
        },
        {
          "direction": [
            "12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 0.9230769230769231,
          "exact_support_upper": "12/13"
        },
        {
          "direction": [
            "12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 0.9230769230769231,
          "exact_support_upper": "12/13"
        }
      ]
    },
    {
      "case": "matrix_coefficients",
      "floating_norm": 2.7557353871929804,
      "elapsed_seconds_evaluate_and_svd": 0.0010964590037474409,
      "support": [
        {
          "direction": [
            "1",
            "0"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "-1",
            "0"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "0",
            "1"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "0",
            "-1"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "-3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "-3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "-4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "-4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "-5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "-5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "-12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "-12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        }
      ]
    },
    {
      "case": "nilpotent_cancellation",
      "floating_norm": 0.0,
      "elapsed_seconds_evaluate_and_svd": 4.5958993723616004e-05,
      "support": [
        {
          "direction": [
            "1",
            "0"
          ],
          "floating_largest_eigenvalue": 2.5,
          "exact_support_upper": "5/2"
        },
        {
          "direction": [
            "-1",
            "0"
          ],
          "floating_largest_eigenvalue": 0.4999999999999999,
          "exact_support_upper": "1/2"
        },
        {
          "direction": [
            "0",
            "1"
          ],
          "floating_largest_eigenvalue": 1.5,
          "exact_support_upper": "3/2"
        },
        {
          "direction": [
            "0",
            "-1"
          ],
          "floating_largest_eigenvalue": 1.5,
          "exact_support_upper": "3/2"
        },
        {
          "direction": [
            "-3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 0.9,
          "exact_support_upper": "3687/4096"
        },
        {
          "direction": [
            "-3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 0.9,
          "exact_support_upper": "3687/4096"
        },
        {
          "direction": [
            "3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 2.1,
          "exact_support_upper": "43011/20480"
        },
        {
          "direction": [
            "3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 2.1,
          "exact_support_upper": "43011/20480"
        },
        {
          "direction": [
            "-4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 0.7,
          "exact_support_upper": "14339/20480"
        },
        {
          "direction": [
            "-4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 0.7,
          "exact_support_upper": "14339/20480"
        },
        {
          "direction": [
            "4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 2.3,
          "exact_support_upper": "47107/20480"
        },
        {
          "direction": [
            "4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 2.3,
          "exact_support_upper": "47107/20480"
        },
        {
          "direction": [
            "-5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 1.1153846153846152,
          "exact_support_upper": "118823/106496"
        },
        {
          "direction": [
            "-5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 1.1153846153846152,
          "exact_support_upper": "118823/106496"
        },
        {
          "direction": [
            "5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 1.8846153846153844,
          "exact_support_upper": "200743/106496"
        },
        {
          "direction": [
            "5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 1.8846153846153844,
          "exact_support_upper": "200743/106496"
        },
        {
          "direction": [
            "-12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 0.5769230769230765,
          "exact_support_upper": "61479/106496"
        },
        {
          "direction": [
            "-12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 0.5769230769230765,
          "exact_support_upper": "61479/106496"
        },
        {
          "direction": [
            "12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 2.423076923076923,
          "exact_support_upper": "258087/106496"
        },
        {
          "direction": [
            "12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 2.423076923076923,
          "exact_support_upper": "258087/106496"
        }
      ]
    },
    {
      "case": "nilpotent_sharp",
      "floating_norm": 2.0,
      "elapsed_seconds_evaluate_and_svd": 3.850000211969018e-05,
      "support": [
        {
          "direction": [
            "1",
            "0"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "-1",
            "0"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "0",
            "1"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "0",
            "-1"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "-3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "-3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "-4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "-4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "10241/10240"
        },
        {
          "direction": [
            "-5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "-5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "-12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "-12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        },
        {
          "direction": [
            "12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "4097/4096"
        }
      ]
    },
    {
      "case": "normal_segment",
      "floating_norm": 2.0,
      "elapsed_seconds_evaluate_and_svd": 2.895899524446577e-05,
      "support": [
        {
          "direction": [
            "1",
            "0"
          ],
          "floating_largest_eigenvalue": 2.0,
          "exact_support_upper": "2"
        },
        {
          "direction": [
            "-1",
            "0"
          ],
          "floating_largest_eigenvalue": 1.0,
          "exact_support_upper": "1"
        },
        {
          "direction": [
            "0",
            "1"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "0",
            "-1"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "-3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 0.6,
          "exact_support_upper": "3/5"
        },
        {
          "direction": [
            "-3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 0.6,
          "exact_support_upper": "3/5"
        },
        {
          "direction": [
            "3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 1.2,
          "exact_support_upper": "6/5"
        },
        {
          "direction": [
            "3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 1.2,
          "exact_support_upper": "6/5"
        },
        {
          "direction": [
            "-4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 0.8,
          "exact_support_upper": "4/5"
        },
        {
          "direction": [
            "-4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 0.8,
          "exact_support_upper": "4/5"
        },
        {
          "direction": [
            "4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 1.6,
          "exact_support_upper": "8/5"
        },
        {
          "direction": [
            "4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 1.6,
          "exact_support_upper": "8/5"
        },
        {
          "direction": [
            "-5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 0.38461538461538464,
          "exact_support_upper": "5/13"
        },
        {
          "direction": [
            "-5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 0.38461538461538464,
          "exact_support_upper": "5/13"
        },
        {
          "direction": [
            "5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 0.7692307692307693,
          "exact_support_upper": "10/13"
        },
        {
          "direction": [
            "5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 0.7692307692307693,
          "exact_support_upper": "10/13"
        },
        {
          "direction": [
            "-12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 0.9230769230769231,
          "exact_support_upper": "12/13"
        },
        {
          "direction": [
            "-12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 0.9230769230769231,
          "exact_support_upper": "12/13"
        },
        {
          "direction": [
            "12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 1.8461538461538463,
          "exact_support_upper": "24/13"
        },
        {
          "direction": [
            "12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 1.8461538461538463,
          "exact_support_upper": "24/13"
        }
      ]
    },
    {
      "case": "zero",
      "floating_norm": 0.0,
      "elapsed_seconds_evaluate_and_svd": 3.316599759273231e-05,
      "support": [
        {
          "direction": [
            "1",
            "0"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "-1",
            "0"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "0",
            "1"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "0",
            "-1"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "-3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "-3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "3/5",
            "-4/5"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "3/5",
            "4/5"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "-4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "-4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "4/5",
            "-3/5"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "4/5",
            "3/5"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "-5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "-5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "5/13",
            "-12/13"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "5/13",
            "12/13"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "-12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "-12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "12/13",
            "-5/13"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        },
        {
          "direction": [
            "12/13",
            "5/13"
          ],
          "floating_largest_eigenvalue": 0.0,
          "exact_support_upper": "0"
        }
      ]
    }
  ],
  "source_hashes": [
    {
      "path": "research/tools/numerical_range_polynomial_reference.py",
      "sha256": "5384475f4d596ee722e1e83c562d0c65a832e71483f2331b7a1d9a6caf20d10c"
    },
    {
      "path": "research/tools/compare_numerical_range_scipy_2026_10_09.py",
      "sha256": "38fbfd7f66a9af0e51d793756c80b821b98b223647828c9610f77096433cd8c7"
    }
  ],
  "scope": "Eight generated small cases, single local timing, no rigorous rounding certification from floating SVD/eigvalsh. Reused existing isolated SciPy environment; no installation changes. No source theorem/program proof or buyer benefit is established."
}