repair-checks-result.json

back to table · edit · history · where entries came from · files · download

1259 bytes, as of the version from 2026-10-25 08:29 (current). Recorded here, not run.

{
  "sage_version": "10.9",
  "controls_passed": true,
  "sturm_checks": [
    {
      "n": 17,
      "degree": 10,
      "root_count": 1,
      "center": "0.628094415071",
      "radius": "1e-10"
    },
    {
      "n": 18,
      "degree": 11,
      "root_count": 1,
      "center": "0.648695832224",
      "radius": "1e-10"
    },
    {
      "n": 22,
      "degree": 18,
      "root_count": 1,
      "center": "0.710306258580",
      "radius": "1e-10"
    },
    {
      "n": 38,
      "degree": 14,
      "root_count": 1,
      "center": "0.826583259422",
      "radius": "1e-10"
    },
    {
      "n": 50,
      "degree": 12,
      "root_count": 1,
      "center": "0.868173209127",
      "radius": "1e-10"
    },
    {
      "n": 52,
      "degree": 16,
      "root_count": 1,
      "center": "0.872966708781",
      "radius": "1e-10"
    }
  ],
  "normalisation_configurations_checked": 97,
  "generator_verification": "<VerifyReport T479: 194/194 matched, 0 differing, 0 missing, 0 extra>",
  "invertibility_argument": "For 0 < theta <= 180 degrees, pi*theta/360 lies in (0, pi/2], where sine is one-to-one and principal arcsine is its inverse.",
  "limitations": "Checks do not prove global optimality or improve the source-accuracy assumptions."
}