numerical-evidence.json

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

3248 bytes, as of the version from 2026-10-27 21:54 (current). Recorded here, not run.

{
  "entries": 25,
  "profiles": 18,
  "exact_source_matches": 25,
  "hyperelliptic_cover_checks": 6,
  "CM_geometric_checks": 10,
  "EMZ_configuration_checks": 3,
  "additional_check_unique_entries": 17,
  "companion_relation_checks": 25,
  "companion_max_radius": "[3.2898681832178892485797813836172558297148864863224680609533734885417681702508081245719138421465811268652808378695791917360508108263929064596981734525911018904e-100 +/- 6.61e-259]",
  "source_disagreement": {
    "EKZ": "737/333",
    "CM_section_6_9": "166/75",
    "EMZ_reconstruction": "737/333",
    "difference_CM_minus_EMZ": "1/8325"
  },
  "controls": "passed, including corruption rejection",
  "measurement": {
    "entries": 25,
    "longest": 9,
    "longest_at": [
      4,
      [
        2,
        2,
        1,
        1
      ],
      "connected"
    ],
    "block_kb": 1.4091796875
  },
  "sage": "10.9",
  "python": "3.12.3",
  "skill_manifest": "agents/runs/20261027T213908Z-build-skills/manifest.json",
  "skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
  "mode": "generated",
  "skill_evidence": {
    "manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-balanced-coverage/agents/runs/20261027T213908Z-build-skills/manifest.json",
    "manifest_sha256": "468f5191d13df1eaecac71d659cc26682a40378c5982ce84143ed004d1933cc7",
    "versions_read": {
      "skill-local.md": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
      "skill-live.md": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
    },
    "status": "match"
  },
  "source_files": {
    "EKZ": {
      "url": "https://www.numdam.org/article/PMIHES_2014__120__207_0.pdf",
      "sha256": "e96d751d3bd844275d76551c69738b34241533b2f18e80c0687d0619c31dac86"
    },
    "KZ": {
      "url": "https://arxiv.org/pdf/math/0201292",
      "sha256": "4b3c1a0869f4e62e880ed5ee02e0b47e2940d6b103367bb1e1f4154bedbe3374"
    },
    "CM": {
      "url": "https://arxiv.org/pdf/1104.3932",
      "sha256": "c7fc0b3991603d98ec79be4715ea93da39e093b0bde06f1e103c2d979310c915"
    },
    "EMZ": {
      "url": "https://arxiv.org/pdf/math/0202134",
      "sha256": "12a5354d495be44a9bcd61e85d7107ef7ae011664f628af9e974eb7bbf76194a"
    },
    "CM-published": {
      "url": "https://archive.ymsc.tsinghua.edu.cn/pacm_download/199/8151-Lyapunov.pdf",
      "sha256": "e7d0095bf821364510f1418a86c745ad1339866a38e93b91ee92cbd3786a5c90"
    },
    "Farkas": {
      "url": "https://www.mathematik.hu-berlin.de/~farkas/AJMpaper.pdf",
      "sha256": "03849378d1b962b1e310caa02a943abdb0c972389e3f92ceb9b22bb036a06a9f"
    }
  },
  "dry_run": "== the generator itself ==\n   names its rings, initialises Sage\n\n== computing every entry ==\n   25 entries computed\n\n== exactness ==\n   every value is exact, or carries its own error bound\n\n== exact in disguise ==\n  none\n== prose ==\n   no comment carries a backslash before a quote, or says below or above\n\n== size ==\n   25 entries, longest 9 characters at component=connected,g=4,mu=2,2,1,1, block 1.7 KB\n\nNothing was sent. Create the table only when the above is clean and\nthe identities have been checked; then fill it once.\n",
  "pdf_software": {
    "PyMuPDF": "2.0"
  }
}