back to table · edit · history · where entries came from · files · download
5679 bytes, as of the version from 2026-10-26 23:22 (current). Recorded here, not run.
{
"table": "T531",
"instruction_manifest": "agents/runs/20261026T231411Z-repair-skills/manifest.json",
"skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"generate_sha256": "d1523b4cd4d3368e61745d0b89a7ff277e53315d4a66639eba6a8a6562ab3e42",
"sage_version": "10.9",
"numberdb_version": "0.1.10",
"entries_checked": 19,
"selection": "integers 2 through 20",
"new_values": false,
"argument_uncertainty": "Exact integer orders; no rounded root arguments. Arb encloses Ai(0), Ai prime(0), exact rational Gamma arguments and cube-root exponent, and propagates all uncertainty.",
"independent_method": "700-bit Taylor division of Ai prime / Ai, direct Arb Airy initial values",
"control": "1/(3-z): all coefficients through degree 19 enclose 3^(-m-1)",
"results": [
{
"n": 2,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "2.2246706e-128",
"independent_relative_radius": "2.1404181e-210"
},
{
"n": 3,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "1.1572822e-127",
"independent_relative_radius": "1.3570364e-209"
},
{
"n": 4,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "2.5095408e-127",
"independent_relative_radius": "4.0698033e-209"
},
{
"n": 5,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "4.6779066e-127",
"independent_relative_radius": "1.0058757e-208"
},
{
"n": 6,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "1.0137977e-126",
"independent_relative_radius": "2.4436606e-208"
},
{
"n": 7,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "2.1516303e-126",
"independent_relative_radius": "5.7365729e-208"
},
{
"n": 8,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "4.1961737e-126",
"independent_relative_radius": "1.3203815e-207"
},
{
"n": 9,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "2.1904528e-125",
"independent_relative_radius": "3.0313770e-207"
},
{
"n": 10,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "3.2395668e-125",
"independent_relative_radius": "6.9538021e-207"
},
{
"n": 11,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "5.2263141e-125",
"independent_relative_radius": "1.5914700e-206"
},
{
"n": 12,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "1.5302237e-124",
"independent_relative_radius": "3.6377021e-206"
},
{
"n": 13,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "3.1397195e-124",
"independent_relative_radius": "8.3131104e-206"
},
{
"n": 14,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "4.5528240e-124",
"independent_relative_radius": "1.8994652e-205"
},
{
"n": 15,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "1.4819534e-123",
"independent_relative_radius": "4.3392252e-205"
},
{
"n": 16,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "2.1613363e-123",
"independent_relative_radius": "9.9117610e-205"
},
{
"n": 17,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "4.9385788e-123",
"independent_relative_radius": "2.2640062e-204"
},
{
"n": 18,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "1.0864748e-122",
"independent_relative_radius": "5.1712451e-204"
},
{
"n": 19,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "1.7166464e-122",
"independent_relative_radius": "1.1811490e-203"
},
{
"n": 20,
"generator_inside_stored_interval": true,
"independent_inside_stored_interval": true,
"overlap": true,
"generator_relative_radius": "4.2619331e-122",
"independent_relative_radius": "2.6978049e-203"
}
]
}