numerical-evidence.json

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

1762 bytes, as of the version from 2026-10-28 00:41 (current). Recorded here, not run.

{
  "table": "T566",
  "entries": 150,
  "selection": {
    "beta": [
      1,
      2,
      4
    ],
    "n_min": 1,
    "n_max": 50
  },
  "controls_passed": true,
  "independent_exact_component_matches": 150,
  "generated_enclosures_contained": 150,
  "independent_enclosures_contained": 150,
  "dimension_recurrences_checked": 147,
  "stored_entries_checked": 150,
  "working_bits": 429,
  "minimum_relative_accuracy_bits": 421,
  "independent_bits": 640,
  "minimum_independent_relative_accuracy_bits": 634,
  "serialized_measure": {
    "entries": 150,
    "longest": 106,
    "longest_at": [
      2,
      44
    ],
    "block_kb": 20.8515625
  },
  "computed_measure": {
    "entries": 150,
    "longest": 152,
    "longest_at": [
      2,
      47
    ],
    "block_kb": 28.056640625
  },
  "exact_rational_rows": 0,
  "all_sqrt_pi_exponents_positive": true,
  "versions": {
    "sage": "10.9",
    "python": "3.12.3",
    "numberdb": "0.1.10"
  },
  "skill_evidence": {
    "manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-balanced-coverage/agents/runs/20261028T001715Z-build-skills/manifest.json",
    "manifest_sha256": "468f5191d13df1eaecac71d659cc26682a40378c5982ce84143ed004d1933cc7",
    "versions": [
      {
        "source": "local",
        "file": "skill-local.md",
        "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
        "verified_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
      },
      {
        "source": "live",
        "file": "skill-live.md",
        "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
        "verified_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
      }
    ]
  }
}