repair-20261109-check.json

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

1762 bytes, as of the version from 2026-11-09 14:49 (current). Recorded here, not run.

{
  "table": "T690",
  "scope": "Independent exact and ball checks for comment-roster only; no L-values recomputed or altered.",
  "skill_manifest": "agents/runs/20261109T131410Z-repair-skills/manifest.json",
  "skill_sha256": {
    "local": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
    "live": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
  },
  "sage_version": "10.9",
  "working_bits": 512,
  "weight_12_control": "X + 24",
  "weight_24_dimension": 2,
  "hecke_T2_characteristic_polynomial": "X^2 - 1080*X - 20468736",
  "irreducible": true,
  "roots": [
    {
      "i": 1,
      "a2_enclosure": "[-4016.35117171624513931555703835002298699130961536746205150677297677586567507003679742362387876055785105235247706335806291425246883321928093257578736461292 +/- 3.96e-150]",
      "isolating_interval": [
        -4017,
        -4016
      ],
      "P_at_endpoints": [
        "5913",
        "-3200"
      ],
      "derivative_at_endpoints": [
        "-9114",
        "-9112"
      ],
      "radius_less_than_2_power_minus_490": true
    },
    {
      "i": 2,
      "a2_enclosure": "[5096.35117171624513931555703835002298699130961536746205150677297677586567507003679742362387876055785105235247706335806291425246883321928093257578736461292 +/- 3.96e-150]",
      "isolating_interval": [
        5096,
        5097
      ],
      "P_at_endpoints": [
        "-3200",
        "5913"
      ],
      "derivative_at_endpoints": [
        "9112",
        "9114"
      ],
      "radius_less_than_2_power_minus_490": true
    }
  ],
  "ordering": "increasing a_2, as in the live parameter definition",
  "script_sha256": "fc0faba12f88dffd6e35bb7ea251fd15ad831321c99761e4fb159f22f37b82b5",
  "all_checks_passed": true
}