repair-numerical-evidence.json

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

1724 bytes, as of the version from 2026-11-09 18:48 (current). Recorded here, not run.

{
  "table": "T696",
  "checked_identity": "f_{1,12,1}=Delta",
  "method": "exact integer eta product versus Sage and independent PARI newform coefficients; linked live coefficient table; exact odd polynomial",
  "sage_version": "10.9",
  "pari_version": "(2, 17, 1)",
  "dimensions": {
    "cuspidal": 1,
    "new": 1
  },
  "coefficients_checked_inclusive": [
    0,
    100
  ],
  "all_equal": true,
  "odd_polynomial": "4*X^9 - 25*X^7 + 42*X^5 - 25*X^3 + 4*X",
  "odd_polynomial_matches": true,
  "source": "https://pmc.ncbi.nlm.nih.gov/articles/PMC4790983/ Example 1",
  "skill_evidence": {
    "manifest": "agents/runs/20261109T184529Z-repair-skills/manifest.json",
    "manifest_sha256": "c879ba3e40020535135932a0ac7d93e894d04b267cf416aa702c3c96617ec363",
    "versions": [
      {
        "source": "local",
        "file": "skill-local.md",
        "sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
      },
      {
        "source": "live",
        "file": "skill-live.md",
        "sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
      }
    ],
    "canonical_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
  },
  "inputs_sha256": {
    "generate.py": "de34dd03ca07e1eebe7af6ec731422362a8291b84204844f8a0ed76bd75e435a",
    "document-before.json": "e74d067269f04acbf684bacee961db132ae92c8d51003037ee4118e2a462c71e",
    "delta-document.json": "d840165c68bf9484eb20d246ddfc91f3eb71ae34a02b901b9b1781fe41fc571c"
  },
  "scope": "Only the identity used in the wording repair was recomputed; the 18 stored values and selection are unchanged.",
  "checker_sha256": "ebffd4516bd7feff75bfabdbc13820fad8abdd994548c4f04372ff9feba1fbb3"
}