build-verification.json

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

1431 bytes, as of the version from 2026-10-26 16:11 (current). Recorded here, not run.

{
  "table": "T520",
  "stage": "build",
  "run": "20261026T155642Z",
  "instruction_manifest": "agents/runs/20261026T155642Z-build-skills/manifest.json",
  "skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
  "independent_readback": {
    "entries": 156,
    "monomial_matches": 156,
    "DLMF_formula_matches": 60,
    "exact_ODE_residuals": 156,
    "controls": "passed",
    "selection": "m=0, 0<=n<=11, 0<=k<=12"
  },
  "verify": {
    "matched": 156,
    "differing": 0,
    "missing": 0,
    "extra": 0
  },
  "audit": {
    "tid": "T520",
    "title": "Power-series coefficients of spheroidal eigenvalues",
    "findings": [],
    "clean": true
  },
  "source_fingerprint": {
    "table": "T520",
    "selection_sha256": "7f76019d3e7e7d30a334927cbaf91108da2f0993e05879d1db85b016871366a4",
    "generator_files": {
      "generate.py": "83033969f954f15cd616ffa6b16bf25f70f6e6c873316216843be714d4a1da45",
      "checks.py": "57b5b1b390727ff3ccb20d4f1e9647d7fca8af768d15e095e1af9d8f47570acd",
      "argument-selection.md": "ec4ef670e8a7fd82bacc6000e7cb23fc4608475cda97c417bec750665159a03d",
      "numerical-evidence.md": "eaa036408f2e0cc28506e11f857fcb79cd834ab53c44b736154826308afdba40",
      "skill-manifest.json": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3"
    }
  },
  "argument_selection_acceptance": "Pending separate critique; this is build evidence only."
}