{
  "checks": {
    "endpoint_coefficient_sign": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 120
    },
    "four_density_0.5": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 115
    },
    "four_density_1.5": {
      "relative_to_max_one_error": "5.63536292589e-132",
      "required_decimal_places": 115
    },
    "four_density_2.5": {
      "relative_to_max_one_error": "1.12707258518e-131",
      "required_decimal_places": 115
    },
    "four_density_3.5": {
      "relative_to_max_one_error": "1.40884073147e-132",
      "required_decimal_places": 115
    },
    "four_first_moment": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 120
    },
    "four_numeric_quadrature_0": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 40
    },
    "four_numeric_quadrature_1": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 40
    },
    "four_numeric_quadrature_2": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 40
    },
    "four_numeric_quadrature_3": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 40
    },
    "four_numeric_quadrature_4": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 40
    },
    "four_numeric_quadrature_5": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 40
    },
    "four_numeric_quadrature_6": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 40
    },
    "four_numeric_quadrature_7": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 40
    },
    "four_numeric_quadrature_8": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 40
    },
    "four_second_moment_BSWZ_70": {
      "relative_to_max_one_error": "3.38121775554e-131",
      "required_decimal_places": 120
    },
    "four_squared_radius": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 115
    },
    "moment_matrix_3": {
      "orders": "0 through 8",
      "positive_definite": true
    },
    "moment_matrix_4": {
      "orders": "0 through 8",
      "positive_definite": true
    },
    "normalization_3": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 120
    },
    "normalization_4": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 120
    },
    "precision_3_0": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 148
    },
    "precision_3_1": {
      "relative_to_max_one_error": "4.71538551447e-151",
      "required_decimal_places": 148
    },
    "precision_3_2": {
      "relative_to_max_one_error": "3.91021203671e-153",
      "required_decimal_places": 148
    },
    "precision_3_3": {
      "relative_to_max_one_error": "6.69717185434e-152",
      "required_decimal_places": 148
    },
    "precision_3_4": {
      "relative_to_max_one_error": "2.51194981815e-151",
      "required_decimal_places": 148
    },
    "precision_3_5": {
      "relative_to_max_one_error": "7.90406541139e-152",
      "required_decimal_places": 148
    },
    "precision_3_6": {
      "relative_to_max_one_error": "1.25720976249e-152",
      "required_decimal_places": 148
    },
    "precision_3_7": {
      "relative_to_max_one_error": "4.04884190336e-151",
      "required_decimal_places": 148
    },
    "precision_3_8": {
      "relative_to_max_one_error": "1.43463233916e-150",
      "required_decimal_places": 148
    },
    "precision_4_0": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 148
    },
    "precision_4_1": {
      "relative_to_max_one_error": "3.13925933703e-151",
      "required_decimal_places": 148
    },
    "precision_4_2": {
      "relative_to_max_one_error": "1.13838814615e-151",
      "required_decimal_places": 148
    },
    "precision_4_3": {
      "relative_to_max_one_error": "4.72830110588e-151",
      "required_decimal_places": 148
    },
    "precision_4_4": {
      "relative_to_max_one_error": "3.73008577828e-152",
      "required_decimal_places": 148
    },
    "precision_4_5": {
      "relative_to_max_one_error": "9.15820533955e-152",
      "required_decimal_places": 148
    },
    "precision_4_6": {
      "relative_to_max_one_error": "2.92669528347e-151",
      "required_decimal_places": 148
    },
    "precision_4_7": {
      "relative_to_max_one_error": "1.66507374341e-150",
      "required_decimal_places": 148
    },
    "precision_4_8": {
      "relative_to_max_one_error": "5.52960398021e-151",
      "required_decimal_places": 148
    },
    "published_BBSW_2": {
      "relative_to_max_one_error": "2.55034490164e-51",
      "required_decimal_places": 49
    },
    "published_BBSW_3": {
      "relative_to_max_one_error": "2.67361831398e-51",
      "required_decimal_places": 49
    },
    "published_BBSW_4": {
      "relative_to_max_one_error": "4.38266495107e-51",
      "required_decimal_places": 49
    },
    "published_BBSW_5": {
      "relative_to_max_one_error": "1.08619416897e-51",
      "required_decimal_places": 49
    },
    "radial3_first_moment": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 115
    },
    "radial3_normalization": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 115
    },
    "radial3_order_2": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 115
    },
    "radial3_order_3": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 115
    },
    "radial3_order_4": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 115
    },
    "radial3_order_5": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 115
    },
    "radial3_order_6": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 115
    },
    "radial3_order_7": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 115
    },
    "radial3_order_8": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 115
    },
    "radial3_squared_radius": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 115
    },
    "stored_3_2": {
      "error_in_written_ulps": "0.257595775853"
    },
    "stored_3_3": {
      "error_in_written_ulps": "0.195797979863"
    },
    "stored_3_4": {
      "error_in_written_ulps": "0.105389888579"
    },
    "stored_3_5": {
      "error_in_written_ulps": "0.163490534731"
    },
    "stored_3_6": {
      "error_in_written_ulps": "0.0568959421295"
    },
    "stored_3_7": {
      "error_in_written_ulps": "0.31928551861"
    },
    "stored_3_8": {
      "error_in_written_ulps": "0.199299496747"
    },
    "stored_4_2": {
      "error_in_written_ulps": "0.0977344235434"
    },
    "stored_4_3": {
      "error_in_written_ulps": "0.321173473868"
    },
    "stored_4_4": {
      "error_in_written_ulps": "0.396067087163"
    },
    "stored_4_5": {
      "error_in_written_ulps": "0.312618022852"
    },
    "stored_4_6": {
      "error_in_written_ulps": "0.100243054129"
    },
    "stored_4_7": {
      "error_in_written_ulps": "0.34841409247"
    },
    "stored_4_8": {
      "error_in_written_ulps": "0.0281175444831"
    },
    "stored_four_closed_form": {
      "relative_to_max_one_error": "9.77344235434e-102",
      "required_decimal_places": 99
    },
    "stored_moment_matrix_3": {
      "positive_definite": true
    },
    "stored_moment_matrix_4": {
      "positive_definite": true
    },
    "stored_three_radial_2": {
      "relative_to_max_one_error": "2.57595775853e-101",
      "required_decimal_places": 99
    },
    "stored_three_radial_3": {
      "relative_to_max_one_error": "1.95797979863e-101",
      "required_decimal_places": 99
    },
    "stored_three_radial_4": {
      "relative_to_max_one_error": "1.05389888579e-101",
      "required_decimal_places": 99
    },
    "stored_three_radial_5": {
      "relative_to_max_one_error": "1.63490534731e-101",
      "required_decimal_places": 99
    },
    "stored_three_radial_6": {
      "relative_to_max_one_error": "2.48814009591e-101",
      "required_decimal_places": 99
    },
    "stored_three_radial_7": {
      "relative_to_max_one_error": "4.53593057231e-101",
      "required_decimal_places": 99
    },
    "stored_three_radial_8": {
      "relative_to_max_one_error": "6.83304617975e-101",
      "required_decimal_places": 99
    },
    "three_first_moment": {
      "relative_to_max_one_error": "0.0",
      "required_decimal_places": 120
    }
  },
  "live_skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
  "local_skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
  "skill_manifest": "agents/runs/20261109T084515Z-build-skills/manifest.json",
  "verify": "<VerifyReport T686: 14/14 matched, 0 differing, 0 missing, 0 extra>",
  "versions": {
    "Python": "3.12.3 (main, Mar 23 2026, 19:04:32) [GCC 13.3.0]",
    "SageMath": "10.9",
    "mpmath": "1.4.1",
    "numberdb": "0.1.10"
  },
  "zero_error_note": "0.0 means equality after rounding to the comparison precision, not exact equality of the mathematical numbers.",
  "measurement": {
    "entries": 14,
    "longest_written_value": 103,
    "flat_entries_json_bytes": 2098
  },
  "source_archives": [
    {
      "file": "BBSW.pdf",
      "url": "https://arminstraub.com/downloads/pub/logsin2.pdf",
      "sha256": "93dd79364d1ccb2a230cf836e195ec63f166f1159da2bd67afb709bac6d6e004"
    },
    {
      "file": "BSWZ.html",
      "url": "https://arxiv.org/html/1103.2995",
      "sha256": "54ff43a0a66f8c4117d3d96968b2e14fb7de3b0315cf45adceef3615ded6b203"
    },
    {
      "file": "BS.pdf",
      "url": "https://arminstraub.com/downloads/pub/logsin1.pdf",
      "sha256": "473010bb0eb09e9fd2b1295206e111687c80bf8f1f132437468406840ce65f7c"
    },
    {
      "file": "BSWZ.pdf",
      "url": "https://arxiv.org/pdf/1103.2995",
      "sha256": "e1ec4aaaa94cd7adde15ce47582316e670110dbd259b201e65d88cf3fafb1bf2"
    }
  ],
  "claim": "100 significant digits; heuristic (agreement-checked); no certified series-tail bound",
  "scope": "n=3,4 and k=2,...,8",
  "run_id": "20261109T084515Z",
  "audit_note": "The sole remaining audit warning concerns the moments tag; see audit-note.md."
}