coverage-checks.json

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

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

{
  "table": "T206",
  "records": [
    {
      "params": {
        "x": "0"
      },
      "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": {
        "x": "dawson-critical-1"
      },
      "retained": true,
      "written": "0.5410442246351816984727593302414771863906046768268258874563542169084205587981469753143919102132277710",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 513,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "1"
      },
      "retained": true,
      "written": "0.5380795069127684191363874204075567547919750017539333188752190980025665033305271062972608615027430809",
      "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": "1/2"
      },
      "retained": false,
      "written": "0.4244363835020222959340423524896695710964294773596920381513396966332451547595919476167712012847861222",
      "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": "3/2"
      },
      "retained": false,
      "written": "0.4282490710853986254771901051517453449916012788166562318895886286085699329393240293426251681961068270",
      "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": "2"
      },
      "retained": false,
      "written": "0.3013403889237919660346644392864226952119153384042494376596630521374710864689484069634795676468781777",
      "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": "3"
      },
      "retained": false,
      "written": "0.1782710306105582873425994922405126302291599294376416000329048446501844478791472243676317105043070870",
      "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": "sqrt(2)"
      },
      "retained": false,
      "written": "0.4525399074037224703440073960862168590994043939869132566319867175401897197190716042836755357182956770",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 906,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "sqrt(3)"
      },
      "retained": false,
      "written": "0.3640970973281268535201736302281541036186636118335582645637441932613370990680883368529600771287271763",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 906,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "sqrt(5)"
      },
      "retained": false,
      "written": "0.2587244442126722504277125796253789848441501551529697369218405876350847040585700381858031651270030823",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 906,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "x": "sqrt(6)"
      },
      "retained": false,
      "written": "0.2290847511404287300178883714920244752984561094803261033765120681808762659032923886945267720806379598",
      "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": "sqrt(7)"
      },
      "retained": false,
      "written": "0.2075560539194269251798062923699606488496918793586078880793136506274682542715528570770555074078032351",
      "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": "sqrt(8)"
      },
      "retained": false,
      "written": "0.1911990543773802715037427059671847231475292165984662553674280137654307104423559792190600579391323814",
      "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
    }
  ],
  "all_new_values_independently_checked": true,
  "counts": {
    "total": 13,
    "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": [],
  "critical_argument": {
    "left_exact": "99125412078713441347683111460285394349849265262660846878599153396946230988235431877696602014240746073816760072429430047124366207220064178120961015914873097/107262463439540776796592199985646769019834926564739147021788491549774112240588375814414994385335227421520254865491888406830031062495572559571469192048672768",
    "right_exact": "49562706039356720673841555730142697174924632631330423439299576698473115494117715938848301007120373036908380036214715023562183103610032089060480507957436549/53631231719770388398296099992823384509917463282369573510894245774887056120294187907207497192667613710760127432745944203415015531247786279785734596024336384",
    "strict_derivative_signs": [
      1,
      -1
    ],
    "argument_error_propagated": true
  },
  "baseline_revision": "f3d26ae1eb7b2bf542ef201bcff5ac51d95addf798b6b1d87d10e23c484d3daf",
  "baseline_stale": false,
  "retained_leaf_metadata_and_numeric_strings_unchanged": true,
  "reused_independent_evidence": {
    "path": "agents/runs/coverage-20261027/remaining/offline/T206/coverage-checks.json",
    "sha256": "dad6fddf51c2bdad9ce94ec9f9a9026b905ae4946ade5e638ff1c3f686832df7",
    "identical_number_strings_parameters_metadata_selection_and_numerical_code": true
  }
}