back to table · edit · history · where entries came from · files · download
3268 bytes, as of the version from 2026-10-28 16:45 (current). Recorded here, not run.
{
"table": "T585",
"stage": "build",
"run_id": "20261028T160405Z",
"skill_manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-balanced-coverage/agents/runs/20261028T160405Z-build-skills/manifest.json",
"skill_sha256": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}
],
"cover": {
"count": 100,
"endpoint": "233",
"cover_bits": 96,
"leaf_counts": {
"origin": 1,
"monotone-exclude": 5150,
"exclude": 20945,
"root": 100
},
"leaves_sha256": "7d3f73b0126a8fd09f520f455c6ad39bd84e2a54e1b6a336e1dcedd28a995132",
"origin_second_derivative": "[5.5 +/- 0.0428]",
"origin_endpoint": "1/1024"
},
"independent_checks": {
"table": "T585",
"entries": 100,
"direct_endpoint_certificates": 100,
"shifted_intervals_rejected": 200,
"parity_checks": 100,
"mpmath_root_precisions": [
125,
155
],
"mpmath_roots_per_precision": 100,
"nontrivial_zeta_zeros_below_233": 98,
"nontrivial_zeta_zeros_below_234": 99,
"verified_zeta_gap_relations": 98,
"controls": "zeta(2)=pi^2/6; Z(0)=zeta(1/2)<-1; Zprime(0)=0; 200 shifted intervals rejected",
"hall_initial_heights": "both signed critical values agree with the coarse quoted values",
"mpmath_version": "1.4.1",
"flint_version": "3.4.0",
"python_version": "3.12.3 (main, Mar 23 2026, 19:04:32) [GCC 13.3.0]",
"seconds": 56.66674876213074
},
"serialized_measurement": {
"entries": 100,
"longest": 101,
"longest_at": "1",
"block_kb": 13.46875
},
"root_working_bits": 493,
"minimum_root_accuracy_bits": 383,
"stored_significant_digits": 100,
"root_bracket_radius": "2^(-383)",
"checks_working_bits": 560,
"dry_run_passed": true,
"sources": {
"Hall": "https://www.impan.pl/shop/en/publication/transaction/download/product/82433",
"FLINT": "https://flintlib.org/doc/acb_dirichlet/index.html",
"mpmath": "https://mpmath.org/doc/current/functions/zeta.html#siegelz"
},
"screening": "already_here found no duplicate; already_asked exact title returned no issue; broader GitHub searches were unavailable (HTTPError). Family issue 230 was read successfully. Three refined numeric lookups returned no results. Existing tags L-function, number theory, zero were verified.",
"tag_proposal": "Riemann zeta function is absent; it would serve T3, T14, T228, T387 and T583\u2013T585. No published table or tag was changed.",
"development_findings": [
"The independent checker initially compared a low-precision radius object directly to a real ball; explicit ball coercion fixed the checker type error.",
"A count assertion incorrectly expected N(233)=99. The 99th zeta zero is 233.6934..., so N(233)=98 and N(234)=99. The independent source and certified count agree. No stationary entry changed."
],
"independent_critique": "Not performed in this build; no acceptance sidecar or offer action was created.",
"sage_version": "10.9",
"program_snippet_checked": true
}