coverage-checks.json

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

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

{
  "table": "T423",
  "records": [
    {
      "params": {
        "u": "1"
      },
      "retained": true,
      "written": "0",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": null,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "2"
      },
      "retained": true,
      "written": "1.256431208626169676982737616609216326916416831701323711125894727048300478541051903533664750947250849",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 516,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "3"
      },
      "retained": true,
      "written": "1.903813694440383484710140360828135127280364804561987445879389818281945875445251742935897221209070264",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 516,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "4"
      },
      "retained": true,
      "written": "2.336662982263053881182850266714011154679504739557109039685225120116767568104385781543593285556392922",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 517,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "5"
      },
      "retained": true,
      "written": "2.660399058463684990432673112693838761316192793557399779133621108141380344526679670369701126317582048",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 517,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "6"
      },
      "retained": true,
      "written": "2.918300475783052591304221719797499459970061873861584609944495208244877889764383735414949103879265396",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 517,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "7"
      },
      "retained": true,
      "written": "3.132265450540420106833422460869303332477500804253648991520139627783433414358227583586491785309904738",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 517,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "8"
      },
      "retained": true,
      "written": "3.314877361786054930901651570191749329550314788552505601434533572470055998782613615635980490671720637",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 517,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "9"
      },
      "retained": true,
      "written": "3.474019476966354505452070987403288659224133427022420159376911107356917224200938678254396618806431641",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 517,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "10"
      },
      "retained": true,
      "written": "3.614950427087530629681888723572661435176889879499709780542263575885132076037722882450886931283670500",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 517,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "11"
      },
      "retained": true,
      "written": "3.741349652356515880952925500625653961859467356437047879191127422890009883669962272286344364902196782",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 517,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "12"
      },
      "retained": true,
      "written": "3.855890308448959712952366737654264389572596946850658243654505887045967065647643973726513680199805710",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 517,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "3/2"
      },
      "retained": false,
      "written": "0.7626885608503389820439021764368102222879709347529379724068165212571283274895766670730823743109837147",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 515,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "5/2"
      },
      "retained": false,
      "written": "1.618788125264683184559765827258905623048980981186977513366824128381904573130926940976004047610963874",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 516,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "7/2"
      },
      "retained": false,
      "written": "2.138109224898635763921094054319228832184279393623334212884171400615023038106414735586297204460649494",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 517,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    },
    {
      "params": {
        "u": "9/2"
      },
      "retained": false,
      "written": "2.508726441467471078712734347455562125731353107775127114612782791600653683069932287325654123689115897",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 517,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": true
    }
  ],
  "all_new_values_independently_checked": true,
  "counts": {
    "total": 16,
    "new": 4
  },
  "controls": [
    "integral exp(t), 0..1 = e-1, nonzero",
    "W_0(e)=1",
    "rho(2)=1-log(2)"
  ],
  "working_bits": 733,
  "second_working_bits": 912,
  "delay_degrees": [
    320,
    420
  ],
  "versions": {
    "python-flint": "0.6.0",
    "mpmath": "1.3.0"
  },
  "limitations": [],
  "baseline_revision": "64ad50dba061da026fd840168767f991e4f2da05827af22df545fab641500a97",
  "baseline_stale": false,
  "retained_leaf_metadata_and_numeric_strings_unchanged": true,
  "reused_independent_evidence": {
    "path": "agents/runs/coverage-20261027/remaining/offline/T423/coverage-checks.json",
    "sha256": "429de9824d3440e6f56a7d3f4e4c2a2e0116e273c884647df4bcfffa9b83640b",
    "identical_number_strings_parameters_metadata_selection_and_numerical_code": true
  }
}