numerical-evidence.json

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

1260 bytes, as of the version from 2026-10-27 23:19. 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": "4722242491a3d957a1ecf26a1b324477d75eaa54f7770b95e47de2da7c2cd969",
    "generate.py": "1b8ec891106bb5e9d124c80959845ecddafb42c22d527779304885124051463f"
  },
  "stored_independent_checks": 0,
  "table": "T564",
  "working_bits": 429
}