numerical-evidence.json

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

2971 bytes, as of the version from 2026-10-28 08:16 (current). Recorded here, not run.

{
  "table": "T556",
  "stage": "build",
  "run": "20261027T182939Z",
  "skill_manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-balanced-coverage/agents/runs/20261027T182939Z-build-skills/manifest.json",
  "skill_evidence": {
    "manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-balanced-coverage/agents/runs/20261027T182939Z-build-skills/manifest.json",
    "versions": [
      {
        "source": "local",
        "file": "skill-local.md",
        "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
        "verified": true,
        "bytes": 57768
      },
      {
        "source": "live",
        "file": "skill-live.md",
        "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
        "verified": true,
        "bytes": 57768
      }
    ]
  },
  "readback": {
    "table": "T556",
    "entries": 13,
    "independent_determinants": 13,
    "painleve_II_identities": 12,
    "stored_triple_recurrences": 11,
    "Roffelsen_initial_polynomials": 9,
    "controls": "all passed, including wrong-input rejection",
    "exactness": "all coefficients exact integers",
    "measurement": {
      "entries": 13,
      "longest": 1076,
      "longest_at": 12,
      "block_kb": 3.8291015625
    },
    "skill_manifest": "../20261027T182939Z-build-skills/manifest.json",
    "skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
    "mode": "database readback",
    "client_verify_all": true
  },
  "audit": {
    "tid": "T556",
    "title": "Yablonskii–Vorob’ev polynomials",
    "findings": [],
    "clean": true
  },
  "build_fingerprint": {
    "table": "T556",
    "selection_sha256": "dcac13c39d8d7bc13d5077e12781c0e0c4bb0be8ba18d85eaf372039bbb87523",
    "generator_files": {
      "generate.py": "293a02d7b58ea14c746084cf89bc00aaac7bc7d18d72fe26b2d2799b357aa4af",
      "checks.py": "93e901619cbed113f6ac0f9ef20657ba9e58620f2ddde95d9beca46317a30c05",
      "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
      "argument-selection.md": "67e897a80500d2fdd5115e7d5993fe232e2a9819437ffa88ddf9f4252c0662ae",
      "source-notes.md": "b8943e310f9ef9f206a04073892ca733f29ac9085c159c013d07749f8cae46b2",
      "skill-manifest.json": "468f5191d13df1eaecac71d659cc26682a40378c5982ce84143ed004d1933cc7",
      "skill-evidence.json": "4deb6154cef820b892975bdf646bcee453a9fb3285d3c311ac3370c946f65cd5"
    }
  },
  "versions": {
    "SageMath": "10.9",
    "numberdb_builder": "0.1.10"
  },
  "source_discrepancies": "See source-notes.md: Q_5 retrieved DLMF coefficient and Q_8 checker transcription are resolved.",
  "source_changes_after_arithmetic_checks": "Only the generator docstring gained the package installation command requested by audit; arithmetic and selection are unchanged.",
  "status": "Populated unpublished draft. Separate independent critique required. No offer, review or publication action taken."
}