back to table · edit · history · where entries came from · files · download
10437 bytes, as of the version from 2026-11-09 09:32 (current). Recorded here, not run.
{
"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."
}