back to table · edit · history · where entries came from · files · download
6217 bytes, as of the version from 2026-10-27 07:39 (current). Recorded here, not run.
{
"table": "T541",
"selection_matches_generator_and_completeness": true,
"all_22_parameter_pairs_integral_and_convergent": true,
"first_moments_at_N_1_2_excluded": true,
"checks": [
{
"N": 1,
"n": 2,
"method": "Airy initial values: kappa^2+1/kappa",
"relative_accuracy_exceeds_bits": 400,
"enclosed_in_stored_last_place_interval": true,
"ten_ulp_perturbation_rejected": true,
"computed_ball": "[1.90317839615944780013906516803063296936000813467276709444724748559063232718355011847357576227050106854521456590557643097238858752809605058908775157844352 +/- 4.78e-153]"
},
{
"N": 2,
"n": 2,
"method": "Odd-integer harmonic spectrum: pi^2/8",
"relative_accuracy_exceeds_bits": 400,
"enclosed_in_stored_last_place_interval": true,
"ten_ulp_perturbation_rejected": true,
"computed_ball": "[1.233700550136169827354311374984518891914212425905098828301668672027505602802400655375221675464819028978003239221752893009721543515253755840951327209748150 +/- 5.51e-154]"
},
{
"N": 3,
"n": 1,
"method": "Voros equation (140), full trace",
"relative_accuracy_exceeds_bits": 400,
"enclosed_in_stored_last_place_interval": true,
"ten_ulp_perturbation_rejected": true,
"computed_ball": "[3.3193869654937546931694763199468290020235605361174755922192647821561018375216268598182908228471202831986087598314314206739581348181534760500072782607091 +/- 2.31e-152]"
},
{
"N": 4,
"n": 1,
"method": "Voros equation (140), full trace",
"relative_accuracy_exceeds_bits": 400,
"enclosed_in_stored_last_place_interval": true,
"ten_ulp_perturbation_rejected": true,
"computed_ball": "[2.2899088043204183504877001581708724600901656996299974248578468782359105973509666046082466969392830550100869004552303035763457479547865348700089554093447 +/- 5.13e-152]"
},
{
"N": 5,
"n": 1,
"method": "Voros equation (140), full trace",
"relative_accuracy_exceeds_bits": 400,
"enclosed_in_stored_last_place_interval": true,
"ten_ulp_perturbation_rejected": true,
"computed_ball": "[1.9220704914434308069445719528712987853737656824683286215086118692989184803391982128879215763270996979850701112123705260691641103882174117032437962460365 +/- 2.70e-152]"
},
{
"N": 6,
"n": 1,
"method": "Voros equation (140), full trace",
"relative_accuracy_exceeds_bits": 400,
"enclosed_in_stored_last_place_interval": true,
"ten_ulp_perturbation_rejected": true,
"computed_ball": "[1.72134619466811396634147418755907760331186229107669573629854520788091872267451139854002964783671359843030059548479248728881947321439848934320789838274753 +/- 4.80e-153]"
},
{
"N": 7,
"n": 1,
"method": "Voros equation (140), full trace",
"relative_accuracy_exceeds_bits": 400,
"enclosed_in_stored_last_place_interval": true,
"ten_ulp_perturbation_rejected": true,
"computed_ball": "[1.58960043004503361730999084029726022089496616611288604644256614285626527962441029390279843348108253502224761489560758418390138370286095404340933561158350 +/- 7.59e-153]"
},
{
"N": 8,
"n": 1,
"method": "Voros equation (140), full trace",
"relative_accuracy_exceeds_bits": 400,
"enclosed_in_stored_last_place_interval": true,
"ten_ulp_perturbation_rejected": true,
"computed_ball": "[1.4939959706262833236064494839762156920574780614893396312711757453403275349652289860292091399766755287029601058095146140053974975505653234132781211220256 +/- 3.25e-152]"
},
{
"N": 9,
"n": 1,
"method": "Voros equation (140), full trace",
"relative_accuracy_exceeds_bits": 400,
"enclosed_in_stored_last_place_interval": true,
"ten_ulp_perturbation_rejected": true,
"computed_ball": "[1.42021835742115282282007792148618883670430565281847523681323525363368393070972736109150413833585507610024286610183962324500747648334711870024078382017093 +/- 9.15e-153]"
},
{
"N": 10,
"n": 1,
"method": "Voros equation (140), full trace",
"relative_accuracy_exceeds_bits": 400,
"enclosed_in_stored_last_place_interval": true,
"ten_ulp_perturbation_rejected": true,
"computed_ball": "[1.3609060808748166102197549298148746046653658986815917108816418540395785482491945195205554623774143481899706881939501360705311088172755969834049194659960 +/- 5.36e-152]"
},
{
"N": 11,
"n": 1,
"method": "Voros equation (140), full trace",
"relative_accuracy_exceeds_bits": 400,
"enclosed_in_stored_last_place_interval": true,
"ten_ulp_perturbation_rejected": true,
"computed_ball": "[1.3118189831655715935936798390082015679535623952094601726670925627480547787460152937322487407284014892680998113983403813202894321446367992816228413371364 +/- 3.03e-152]"
},
{
"N": 12,
"n": 1,
"method": "Voros equation (140), full trace",
"relative_accuracy_exceeds_bits": 400,
"enclosed_in_stored_last_place_interval": true,
"ten_ulp_perturbation_rejected": true,
"computed_ball": "[1.2703062611432882342595499649105215366975013223895535808877601886126991583056501793504277749692271264590156912559163753598049626283477703563893602720733 +/- 1.20e-152]"
}
],
"scope": "No values changed. Twelve control values rigorously enclosed; ten nonlinear second moments were not recomputed in this repair.",
"argument_uncertainty": "Exact rational inputs converted directly to Arb balls; all operations propagate their uncertainty at 512 bits.",
"skill_manifest": "agents/runs/20261027T073238Z-repair-skills/manifest.json",
"skill_sha256": {
"local": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"live": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
"input_sha256": {
"generate.py": "df97480ea3786a3ebbae9612372d7a9029b3827c7bed1cf6b925cf5557e8c964",
"live-before.json": "a87326cb8789ac32c2b744798ea876ea712a2e46fd05522b95a3c6715eaecc74"
},
"versions": {
"numberdb": "0.1.10",
"mpmath": "1.4.1"
}
}