repair-20261027T055528Z-results.json

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

5065 bytes, as of the version from 2026-10-27 06:00 (current). Recorded here, not run.

{
  "checks": [
    {
      "N": 1,
      "precision_checks": {
        "100": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 425
        },
        "200": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 757
        }
      }
    },
    {
      "N": 2,
      "precision_checks": {
        "100": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 425
        },
        "200": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 757
        }
      }
    },
    {
      "N": 3,
      "precision_checks": {
        "100": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 424
        },
        "200": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 756
        }
      }
    },
    {
      "N": 4,
      "precision_checks": {
        "100": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 424
        },
        "200": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 756
        }
      }
    },
    {
      "N": 5,
      "precision_checks": {
        "100": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 424
        },
        "200": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 756
        }
      }
    },
    {
      "N": 6,
      "precision_checks": {
        "100": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 424
        },
        "200": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 756
        }
      }
    },
    {
      "N": 7,
      "precision_checks": {
        "100": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 425
        },
        "200": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 757
        }
      }
    },
    {
      "N": 8,
      "precision_checks": {
        "100": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 425
        },
        "200": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 757
        }
      }
    },
    {
      "N": 9,
      "precision_checks": {
        "100": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 424
        },
        "200": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 756
        }
      }
    },
    {
      "N": 10,
      "precision_checks": {
        "100": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 424
        },
        "200": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 756
        }
      }
    },
    {
      "N": 11,
      "precision_checks": {
        "100": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 424
        },
        "200": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 756
        }
      }
    },
    {
      "N": 12,
      "precision_checks": {
        "100": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 424
        },
        "200": {
          "enclosed_in_stored_interval": true,
          "perturbation_rejected": true,
          "relative_accuracy_bits": 756
        }
      }
    }
  ],
  "entries": 12,
  "enumeration": [
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12
  ],
  "generator_sha256": "f4bc550222c956aa8448fb7bca140b41321ab70c7feb1881536bc7b8eab19e30",
  "role": "repair_reproducibility_not_independent_critique",
  "skill_manifest": "agents/runs/20261027T055528Z-repair-skills/manifest.json",
  "skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
  "software": {
    "numberdb": "0.1.10",
    "python": "3.12.3",
    "sage": "10.9"
  },
  "table": "T539"
}