verification-result.json

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

1351 bytes, as of the version from 2026-10-31 10:48 (current). Recorded here, not run.

{
  "table": "T635",
  "entries": 209,
  "verify": {
    "matched": 209,
    "differing": 0,
    "missing": 0,
    "extra": 0
  },
  "independent_stored_checks": {
    "principal_parts": 209,
    "replication_coefficients": 627,
    "published_examples": 10,
    "negative_controls_rejected": 3
  },
  "audit": {
    "tid": "T635",
    "title": "Hecke-type Faber polynomials of monstrous McKay\u2013Thompson series",
    "findings": [],
    "clean": true
  },
  "skill_manifest": "agents/runs/20261031T094636Z-build-skills/manifest.json",
  "skill_sha256": [
    {
      "source": "local",
      "file": "skill-local.md",
      "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    },
    {
      "source": "live",
      "file": "skill-live.md",
      "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    }
  ],
  "environment": {
    "python": "3.12.3",
    "numberdb": "0.1.10",
    "sage": "10.9"
  },
  "source_files_sha256": {
    "generate.py": "48456090a1d7ed8d0f9af5df3260fbbeb775d64309b7808574029232f6f37f43",
    "checks.py": "ba5e5fc0e5aba5c11e405e9d00b0f1b6c4f0552df5c4a7be394f8d954852b9b4",
    "check-data.json": "c814ac4f74ff7b5960e5114596fa8d296817d1eee1cac2fa569b60df50384ee0",
    "argument-selection.md": "f1f8d69cf42098b1495c85304e587d0368678b7ccd945793a3bdfa093e0ecce1"
  }
}