coverage-checks.json

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

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

{
  "table": "T195",
  "records": [
    {
      "params": {
        "x": "1"
      },
      "retained": true,
      "written": "0.8378669409802082408946785794357563099930066441628996920341249094044725679873313044133452295455008535",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "1/3"
      },
      "retained": false,
      "written": "-0.4934899271598711732168921436967939842838951588319580753807497516824912048695693476572174430324480676",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 907,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "1/2"
      },
      "retained": false,
      "written": "-0.05277684495649361591313606332614143497272066798185573504273771620959350095180600636208104695094389929",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 905,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "2"
      },
      "retained": false,
      "written": "2.452666922646914521906132647499492876601780688728509469099886190429507492292127499801914005422699261",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 909,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "3"
      },
      "retained": false,
      "written": "4.960392094765609760297917636694060120021087694453679259258017517050818531449201090062687159949886161",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "4"
      },
      "retained": false,
      "written": "9.813547558823185558083422709795686219140181602055331293896656094138488730719392606485884661630856802",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "5"
      },
      "retained": false,
      "written": "20.09206353010595106464704561591302368667141065186261628370901487879953068734568057387233989814625291",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 907,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "6"
      },
      "retained": false,
      "written": "42.99470102999352107246205245693745912105397888773985416302653177360599783489122295369712737290053016",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 907,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "log(2)"
      },
      "retained": false,
      "written": "0.3332463685282024040586908522790260779856907685864937894442441011702292242418424195934437124677928987",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 907,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "log(3)"
      },
      "retained": false,
      "written": "0.9885885989178124147639490484293145088701882286213495033804558325579154672017726525093905323614626821",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "log(5)"
      },
      "retained": false,
      "written": "1.774730911651928905342215937289395066509041476225095447272974809507302058275909123020121691821340561",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 908,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    }
  ],
  "all_new_values_independently_checked": true,
  "counts": {
    "total": 11,
    "new": 10
  },
  "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": "6e9e1fa83ea69c3bf6f9422a3c735431779aabdd30cb08165c114e2c6818b1f3",
  "baseline_stale": false,
  "retained_leaf_metadata_and_numeric_strings_unchanged": true,
  "reused_independent_evidence": {
    "path": "agents/runs/coverage-20261027/remaining/offline/T195/coverage-checks.json",
    "sha256": "738a49f91d0b1abb8e3c596df4f37d7bfa47184c250bbe160b0d22b479e70e51",
    "identical_number_strings_parameters_metadata_selection_and_numerical_code": true
  }
}