repair-checks.json

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

1501 bytes, as of the version from 2026-10-25 09:43 (current). Recorded here, not run.

{
  "sage_version": "10.9",
  "entries": {
    "all": {
      "enclosure_inside_stored_interval": true,
      "radius": "9.1282451e-112",
      "radius_below_1e_minus_108": true
    },
    "connected": {
      "enclosure_inside_stored_interval": true,
      "radius": "9.1282451e-112",
      "radius_below_1e_minus_108": true
    },
    "2-connected": {
      "enclosure_inside_stored_interval": true,
      "radius": "6.2882703e-112",
      "radius_below_1e_minus_108": true
    },
    "3-connected": {
      "enclosure_inside_stored_interval": true,
      "radius": "4.8729609e-128",
      "radius_below_1e_minus_108": true
    },
    "maximal": {
      "exact_match": true,
      "value": "256/27"
    }
  },
  "scope": "Check the unchanged numbers and displayed program of numberdb.org/T481.\n\nDownload generate.py from the table into this directory. Run with:\n    sage -python repair_checks.py\n\nReads the live document with numberdb (NUMBERDB_API_KEY is needed for a\nprivate draft), or T481-before.json alongside this file for an offline\nsnapshot check. No data is written. This checks the attached generator's\nenclosures against the stored intervals; it is not an independent derivation\nof the planar graph enumeration theorems.\n",
  "program": {
    "code_executed_unchanged": true,
    "both_outputs_agree": true,
    "stdout": "[21.0490424755271905976363320150961913955388529076012748222686466455748040074737691225616297513018105329217493619967302173 +/- 4.30e-119]\n256/27\n"
  }
}