{
  "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
}