numerical-evidence.json

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

2530 bytes, as of the version from 2026-10-27 01:18 (current). Recorded here, not run.

{
  "table": "T533",
  "instruction_manifest": "agents/runs/20261026T235354Z-build-skills/manifest.json",
  "instruction_manifest_sha256": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3",
  "skill_versions": {
    "archived_manifest": "agents/runs/20261026T235354Z-build-skills/manifest.json",
    "versions_read": [
      {
        "source": ".claude/skills/numberdb-table/SKILL.md",
        "sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
        "bytes": 56728
      },
      {
        "source": "agents/runs/20261026T235354Z-build-skills/skill-local.md",
        "sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
        "bytes": 56728
      },
      {
        "source": "agents/runs/20261026T235354Z-build-skills/skill-live.md",
        "sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
        "bytes": 56728
      },
      {
        "source": "https://numberdb.org/skill",
        "sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
        "bytes": 56728
      }
    ]
  },
  "final_fingerprint": {
    "table": "T533",
    "selection_sha256": "658f5827b3ca6c6b0041b2b96035642127e360092eb71216a145bd89c76a203d",
    "generator_files": {
      "generate.py": "574ffa79ec268d003ead3db9b09fd951b728ce4596b1b7b077e6e11ee6150a72",
      "argument-selection.md": "982e033fe158caaf9f7156c8792d09e88722c380e59764226bee4a6a8f38c8b5",
      "checks.py": "86703ec392959509997ac79a7bb6f529a9bff4311485137a2daf06678620d119",
      "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b"
    }
  },
  "stored_check_evidence": "checks-stored-clean.json",
  "generated_check_evidence": "checks-generated.json",
  "audit": {
    "tid": "T533",
    "title": "Bessel Rayleigh sums",
    "findings": [],
    "clean": true
  },
  "unchanged_values_after_prose_fixes": true,
  "summary": {
    "entries": 96,
    "convolution_matches": 96,
    "low_order_formula_matches": 24,
    "bernoulli_specializations": 12,
    "zeta_specializations_120_dps": 12,
    "positivity": 96,
    "strict_decrease": 88,
    "strict_log_convexity": 80,
    "measure": {
      "entries": 96,
      "longest": 52,
      "longest_at": [
        "7/2",
        12
      ],
      "block_kb": 5.45703125
    },
    "versions": {
      "python": "3.12.3",
      "mpmath": "1.4.1",
      "generator_environment": {
        "python": "3.12.3",
        "numberdb": "0.1.10",
        "sage": "10.9"
      }
    }
  }
}