numerical-evidence.json

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

2306 bytes, as of the version from 2026-11-09 10:44 (current). Recorded here, not run.

{
  "cm_entries_checked": 810,
  "fixed_residue_sums_checked": 1392,
  "bits": 640,
  "maximum_absolute_radius": "5.3802565e-170",
  "coefficient_identities": 424,
  "published_coefficient_controls": 360,
  "table": "T687",
  "entries": 810,
  "measurement": {
    "entries": 810,
    "longest": 21,
    "longest_at": [
      2,
      2,
      191
    ],
    "block_kb": 39.0205078125
  },
  "skill_manifest": "agents/runs/20261109T100832Z-build-skills/manifest.json",
  "skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
  "known_controls": 5,
  "negative_controls": 3,
  "run_id": "20261109T100832Z",
  "source_hashes": {
    "generate.py": "a0322f111b1d6385d764a9b782f870dac2f2ca4e7946732f554af27ac1e54012",
    "checks.py": "b7e2a629eb72ee46ff17e01d878bfce78dfbaa30349a751dc79700c40abdf963",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "argument-selection.md": "840334a17f072fd6fd9222e8d698edef3859b796c05d1a6bf8080eca04ce987a",
    "mathematical-method.md": "4faeaf15f313a07c1b5168f1e2364de238e31b5b8fecacb82ca6cec385bfa1ac",
    "skill-manifest.json": "c879ba3e40020535135932a0ac7d93e894d04b267cf416aa702c3c96617ec363",
    "T652.json": "368315bffada4440d51f3b523b6ee1222ca56af5413c5834a74d4d30fc81545f"
  },
  "source_snapshot_versions": {
    "python": "3.12.3",
    "pypdf": "6.19.0"
  },
  "computation_versions": {
    "sage": "10.9",
    "numberdb": "0.1.10",
    "python": "3.12.3 (main, Mar 23 2026, 19:04:32) [GCC 13.3.0]"
  },
  "jacobi_systems": {
    "2": {
      "columns": 2,
      "equations": 3
    },
    "3": {
      "columns": 3,
      "equations": 4
    },
    "5": {
      "columns": 6,
      "equations": 7
    },
    "6": {
      "columns": 7,
      "equations": 9
    },
    "7": {
      "columns": 9,
      "equations": 10
    },
    "10": {
      "columns": 15,
      "equations": 17
    },
    "13": {
      "columns": 23,
      "equations": 24
    }
  },
  "program_result": "-5541103056",
  "stored_checks": {
    "verify": "810/810 matched, 0 differing, 0 missing, 0 extra",
    "cm_entries": 810,
    "fixed_residue_sums": 1392,
    "coefficient_identities": 424,
    "published_coefficient_controls": 360,
    "maximum_absolute_radius": "5.3802565e-170",
    "log": "stored-checks.log"
  }
}