back to table · edit · history · where entries came from · files · download
9716 bytes, as of the version from 2026-10-27 07:39 (current). Recorded here, not run.
{
"table": "T541",
"run": "20261027T073238Z",
"skill_manifest": "agents/runs/20261027T073238Z-repair-skills/manifest.json",
"skill_manifest_sha256": "468f5191d13df1eaecac71d659cc26682a40378c5982ce84143ed004d1933cc7",
"skill_sha256": {
"local": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"live": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
"change": {
"Parameters.N.constraints": "$N\\in\\mathbb Z_{\\geq1}$",
"Parameters.n.constraints": "$n\\in\\mathbb Z$, $n>(N+2)/(2N)$"
},
"values_unchanged": true,
"entry_count": 22,
"selected_arguments_unchanged": true,
"generator_sources_unchanged": true,
"fresh_independent_critique_required": true,
"reason": "Visible parameter constraints are bound into the selection fingerprint.",
"independent_sidecar_preserved_sha256": "edfbbc4f573611b86a13fdc206da8b5ad5602c1dc4b6f3d9a7ffc3ad01050599",
"sources_checked": [
{
"url": "https://arxiv.org/html/math-ph/0005029v2",
"locators": [
"equation (52): integer degree",
"equation (140): first moments",
"equation (141): integer inverse-power orders"
]
},
{
"url": "https://arxiv.org/pdf/1110.2004v2",
"locators": [
"Section 1, equation (1.2) and following paragraph: convergence and integer orders"
]
}
],
"numerical_result": {
"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"
}
},
"limitations": [
"No nonlinear second moments recomputed in this repair.",
"Authenticated /T541 returns HTTP 404; browser evidence uses live /preview sections with the API document."
],
"audit": {
"tid": "T541",
"title": "Full spectral zeta values of homogeneous oscillators",
"findings": [],
"clean": true
},
"write_response": {
"tid": "T541",
"url": "Full_spectral_zeta_values_of_homogeneous_oscillators",
"revision": "3b8b8ebf0a44e88628740a8cb67a7bfd99ac1d6cc2d4ccb0dd86d97222d5e841",
"unchanged": false,
"merged": false,
"reviewed": false
},
"artifacts": {
"repair-check.py": "4d8b16d25235cd908e1703ac8640b69763a02dab875206a740173a0128eee1c9",
"live-before.json": "a87326cb8789ac32c2b744798ea876ea712a2e46fd05522b95a3c6715eaecc74",
"live-after.json": "c4b816c98313e3b3fa405d9bb06a00f54c33d85cdc082ed7e7dbcd3e44a62233",
"generate.py": "df97480ea3786a3ebbae9612372d7a9029b3827c7bed1cf6b925cf5557e8c964",
"accelerate.py": "c0a1143175711f966663c5c9fef7bf06edffe104f612204b649844d6b9d4baf0",
"argument-selection.md": "e9a167d1029dcdd18ffab6244ff39fe3bb1fd7df0704f723c0ddb6328ea7a5f0",
"repair-check-output.json": "bc0e6f8a83d83cdacee1f7b99972a76562b28e8b022bf3853ad689e29c677bd3",
"repair.diff": "575b40624c2fcf591db75db82b83dd2f0cc1023ec267e79e94b6624244ef4244"
},
"failed_attempts": [
{
"artifact": "repair-check-failed-output.txt",
"reason": "The Sage RealBall API has no rel_accuracy_bits method; replaced with a direct radius bound and reran successfully."
},
{
"artifacts": [
"preview-before-definition.html",
"preview-before-properties.html"
],
"reason": "The site preview requires a Numbers section. Retried with an unchanged real entry and rendered successfully."
}
]
}