numerical-evidence.json

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

1699 bytes, as of the version from 2026-10-27 23:22 (current). Recorded here, not run.

{
  "ball_entries": 25,
  "controls": "determinant 5; Pfaffian 28; Z(2,2,0)=2; Z(1,2,1)=1; Z(1,1,0)=sqrt(pi); Z(4,1,0)=1; Z(4,2,0)=72",
  "entries": 249,
  "exact_entries": 224,
  "independent_ball_bits": 640,
  "independent_moment_checks": 249,
  "measurement": {
    "block_kb": 29.8154296875,
    "entries": 249,
    "longest": 727,
    "longest_at": "4,10,20"
  },
  "methods": {
    "beta=1": "exact skew-moment Pfaffian with incomplete beta at 1/2",
    "beta=2": "exact Hankel moment determinant",
    "beta=4": "exact confluent-Vandermonde Pfaffian"
  },
  "minimum_retained_relative_bits": 427,
  "python": "3.12.3",
  "r_plus_two_recurrence_checks": 249,
  "scalar_checks": 21,
  "serialized_interval_containment_checks": 249,
  "skill_manifest": "agents/runs/20261027T230956Z-build-skills/manifest.json",
  "skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
  "source_sha256": {
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "checks.py": "43695b48a9b2a639257150937127f0d40522a8ff2c8bea6c3dead02bd2049717",
    "generate.py": "1b8ec891106bb5e9d124c80959845ecddafb42c22d527779304885124051463f"
  },
  "stored_independent_checks": 249,
  "stored_recurrence_checks": 249,
  "stored_recurrence_pairs": 123,
  "table": "T564",
  "working_bits": 429,
  "actual_flat_entries_block_kib": 34.921875,
  "versions": {
    "sage": "10.9",
    "numberdb": "0.1.10",
    "python": "3.12.3"
  },
  "program_checks": 249,
  "audit": "audit-final.json: only documented 727-digit exact-value size advisory remains",
  "normalization_sources": [
    "https://dlmf.nist.gov/5.14.E5",
    "https://arxiv.org/pdf/math-ph/0206043"
  ]
}