numerical-evidence.json

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

2416 bytes, as of the version from 2026-11-02 04:36 (current). Recorded here, not run.

{
  "table": "T667",
  "stage": "build",
  "skill_manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-dependency-review/agents/runs/20261102T031339Z-build-skills/manifest.json",
  "skill_versions": [
    {
      "source": "local",
      "file": "skill-local.md",
      "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    },
    {
      "source": "live",
      "file": "skill-live.md",
      "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    }
  ],
  "exact_arithmetic": true,
  "measurement": {
    "entries": 502,
    "longest": 42,
    "longest_at": "983",
    "block_kb": 32.0341796875
  },
  "versions": {
    "python": "3.12.3",
    "sage": "10.9",
    "numberdb": "0.1.10"
  },
  "independent_checks": {
    "character_relation_grades_at_each_of_two_y": 251,
    "character_published_controls": 10,
    "coefficient_comparisons": 15813,
    "vanishing_terms_below_D_minus_1": 5200,
    "known_answer_controls": 10,
    "euler_characteristic_grades_checked": 251,
    "charge_reflection": true,
    "elliptic_discriminant_dependence": true,
    "all_rational_quotients_integral": true
  },
  "sources": {
    "pypdf": "6.19.0",
    "eot": {
      "sha256": "15e20a6a33f20f737d7c4b1c5be42a59ead599566d77a2200d5a8985fb36102f",
      "pages": 11
    },
    "kawai": {
      "sha256": "cbbd752d3c161b8dbd81109a3208f88ca48ecd71e1562ebab08f04adc9d66e8e",
      "pages": 32
    }
  },
  "source_locators": {
    "eot": "https://arxiv.org/pdf/1004.0956; (1.2)-(1.12)",
    "kawai": "https://arxiv.org/pdf/hep-th/9710016; (4.28)-(4.33), (5.13)"
  },
  "limitations": [
    "The build is not the independent critique.",
    "Character relation tested at y=-1 and y=-2 through grade 250; no claim of verifying arbitrary complex z numerically."
  ],
  "checker_correction": "An empty coefficient sum is Python int zero. The initial checker attempted denominator() on it; QQ(coefficient).denominator() fixes the type assumption. No numerical disagreement was found.",
  "sha256": {
    "generate.py": "88a46023f33b2d40f903e9d9bba7a1faa029037312ae9238aad90e48a3d60a4d",
    "checks.py": "8467ba568c8f6ae537dacd98f49d5dd239fe06f9909c51a327d09ecd3a1e1a02",
    "argument-selection.md": "f3cabad3332d515b04881867b38a6769419fd884b8a5f24d77a7b1646b6fdea0",
    "computed-values.json": "55633d41f921eb29ccea469e8d8ecab247145ab12d3991a381068181c46ae672"
  }
}