repair-checks-20261026T171740Z.json

back to table · edit · history · where entries came from · files · download

4146 bytes, as of the version from 2026-10-27 02:01 (current). Recorded here, not run.

{
  "table": "T521",
  "sage_version": "10.9",
  "working_bits": 700,
  "instruction_manifest": "agents/runs/20261026T171740Z-repair-skills/manifest.json",
  "instruction_manifest_sha256": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3",
  "control": "zeta(2)=pi^2/6",
  "checks": [
    {
      "params": {
        "a": 1,
        "b": 2,
        "k": 1
      },
      "error_in_last_place_units": "[0.18740804827022175190265350831344802716599417343821020623872714469001591245998364607125138112228004431922009150 +/- 8.32e-111]",
      "enclosure_inside_stored_interval": true,
      "perturbation_detected": true
    },
    {
      "params": {
        "a": 1,
        "b": 3,
        "k": 1
      },
      "error_in_last_place_units": "[0.10998380389123553495139228242373122079524336395125925146188100008987089023089280872422947479451195665451916115 +/- 7.90e-111]",
      "enclosure_inside_stored_interval": true,
      "perturbation_detected": true
    },
    {
      "params": {
        "a": 1,
        "b": 2,
        "k": 3
      },
      "error_in_last_place_units": "[0.2498773976936290025368713444179307028879922312509469416516361929200212166133115280950018414963733924256267887 +/- 6.00e-110]",
      "enclosure_inside_stored_interval": true,
      "perturbation_detected": true
    },
    {
      "params": {
        "a": 1,
        "b": 3,
        "k": 3
      },
      "error_in_last_place_units": "[0.22250404902719111626215192939406719480118915901218518713452974997753227744227679781894263130137201083637020971 +/- 4.66e-111]",
      "enclosure_inside_stored_interval": true,
      "perturbation_detected": true
    },
    {
      "params": {
        "a": 1,
        "b": 2,
        "k": 5
      },
      "error_in_last_place_units": "[0.3334423131612186644116699160729504863217846833324916074207678285155366963437230861377761408921125400661095212 +/- 2.58e-110]",
      "enclosure_inside_stored_interval": true,
      "perturbation_detected": true
    },
    {
      "params": {
        "a": 1,
        "b": 3,
        "k": 5
      },
      "error_in_last_place_units": "[0.11061791420241554654123412356038240909791897172867592251457293753931851447601560381685039522259898103635213300 +/- 5.66e-111]",
      "enclosure_inside_stored_interval": true,
      "perturbation_detected": true
    },
    {
      "params": {
        "a": 1,
        "b": 2,
        "k": 7
      },
      "error_in_last_place_units": "[0.00530630633601777122590586081390827939219739853354208135964957852814689930675667463783151705875609006360483874 +/- 8.63e-111]",
      "enclosure_inside_stored_interval": true,
      "perturbation_detected": true
    },
    {
      "params": {
        "a": 1,
        "b": 3,
        "k": 7
      },
      "error_in_last_place_units": "[0.39974635587552799536406326354533952467892975688903333157892322502022095030195088196295163182876519024726681126 +/- 3.19e-111]",
      "enclosure_inside_stored_interval": true,
      "perturbation_detected": true
    },
    {
      "params": {
        "a": 0,
        "b": 3,
        "k": 1
      },
      "error_in_last_place_units": "[0.3421823730761822317335059708566976900055441168500781880193227459017643555087928497671024531892453562017225586 +/- 3.89e-110]",
      "enclosure_inside_stored_interval": true,
      "perturbation_detected": true
    },
    {
      "params": {
        "a": 0,
        "b": 4,
        "k": 1
      },
      "error_in_last_place_units": "[0.12207573692914687050881950350116087718794565276744308735872780093991930994162070737141803781753653363157904391 +/- 1.15e-111]",
      "enclosure_inside_stored_interval": true,
      "perturbation_detected": true
    },
    {
      "params": {
        "a": 0,
        "b": 4,
        "k": 3
      },
      "error_in_last_place_units": "[0.0518934232286717627204875875290219296986413191860771839681950234979827485405176842854509454384133407894760977 +/- 5.58e-110]",
      "enclosure_inside_stored_interval": true,
      "perturbation_detected": true
    }
  ],
  "checked_rows": 11,
  "numerical_values_changed": false,
  "scope": "Eleven closed forms only; no full quadrature rerun."
}