back to table · edit · history · where entries came from · files · download
2718 bytes, as of the version from 2026-11-02 11:01 (current). Recorded here, not run.
{
"table": "T650",
"verified_entries": 10,
"generator_verify_ok": true,
"identity_checks": [
{
"t": "24",
"independent_error_in_stored_ulps": "0.3495686579",
"Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.3370079027",
"ordinary_I_plus_J_error_in_stored_ulps": "0.211400351"
},
{
"t": "18-6*sqrt(3)",
"independent_error_in_stored_ulps": "0.4689764933",
"Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.4110577963",
"ordinary_I_plus_J_error_in_stored_ulps": "0.1681291736"
},
{
"t": "-27/2+27/2*sqrt(5)",
"independent_error_in_stored_ulps": "0.1797149028",
"Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.1661549833",
"ordinary_I_plus_J_error_in_stored_ulps": "0.03055578836"
},
{
"t": "-4320+1944*sqrt(5)",
"independent_error_in_stored_ulps": "0.488474426",
"Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.4665252409",
"ordinary_I_plus_J_error_in_stored_ulps": "0.2470333897"
},
{
"t": "-864+216*sqrt(17)",
"independent_error_in_stored_ulps": "0.13194942",
"Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.1243937721",
"ordinary_I_plus_J_error_in_stored_ulps": "0.04883729319"
},
{
"t": "-163296+35640*sqrt(21)",
"independent_error_in_stored_ulps": "0.4837652492",
"Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.4506007188",
"ordinary_I_plus_J_error_in_stored_ulps": "0.1189554147"
},
{
"t": "4+4*sqrt(33)",
"independent_error_in_stored_ulps": "0.2655677203",
"Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.2069586595",
"ordinary_I_plus_J_error_in_stored_ulps": "0.3791319481"
},
{
"t": "-16740+2916*sqrt(33)",
"independent_error_in_stored_ulps": "0.2349084733",
"Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.1994207388",
"ordinary_I_plus_J_error_in_stored_ulps": "0.1554566057"
},
{
"t": "-55296+8640*sqrt(41)",
"independent_error_in_stored_ulps": "0.4965621344",
"Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.445247724",
"ordinary_I_plus_J_error_in_stored_ulps": "0.06789638007"
},
{
"t": "-13500000+1431000*sqrt(89)",
"independent_error_in_stored_ulps": "0.3712202244",
"Ntilde_plus_3J_equals_stored_N_combined_ulps": "0.3262947622",
"ordinary_I_plus_J_error_in_stored_ulps": "0.1229598598"
}
],
"elliptic_L_value_control_in_stored_ulps": "0.3495686579",
"measure": {
"entries": 10,
"longest": 102,
"longest_at": "24",
"block_kb": 1.4833984375
},
"instruction_manifest": "agents/runs/20261101T114635Z-build-skills/manifest.json"
}