coverage-checks.json

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

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

{
  "table": "T434",
  "records": [
    {
      "params": {
        "u": "1"
      },
      "retained": true,
      "written": "1",
      "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/2",
      "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": "3"
      },
      "retained": true,
      "written": "0.5643823935199817698057440404860588560251667114534184180402266698311312073232315718686211089988062292",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 666,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "4"
      },
      "retained": true,
      "written": "0.5614582414068377374244183782971147076623276740309098614465484880816192055432876014378307007496579714",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 666,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "5"
      },
      "retained": true,
      "written": "0.5614544682684567287363246889425285326620983483162800302968678707644020228811670126648449201606215930",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 666,
      "independent_mpmath_precisions": [],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "6"
      },
      "retained": true,
      "written": "0.5614596848016890453857407290415545292990093348345936324170409534788144194274186385747928001461618182",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 665,
      "independent_mpmath_precisions": [],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "7"
      },
      "retained": true,
      "written": "0.5614594806894847631436195446529916782578631714436753446494409067676190754966361811635894294979436975",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 665,
      "independent_mpmath_precisions": [],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "8"
      },
      "retained": true,
      "written": "0.5614594835344085231709984685685153333556755808799845705042446865033247303354093400695417269392091758",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 665,
      "independent_mpmath_precisions": [],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "3/2"
      },
      "retained": false,
      "written": "2/3",
      "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": "5/2"
      },
      "retained": false,
      "written": "0.5621860432432657527912052461857396546287961693849976790456057296576402684995657005071009711269253605",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 666,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "7/2"
      },
      "retained": false,
      "written": "0.5608288644515888217081409622410368236057816049907761493582358191472449403154531431437978766645294358",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 665,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    }
  ],
  "all_new_values_independently_checked": true,
  "counts": {
    "total": 11,
    "new": 3
  },
  "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": [
    "Retained delay values beyond the initial branches have enclosure and higher-order checks here; their earlier independent provenance remains attached."
  ],
  "baseline_revision": "ca34013ee25b2e05079eb50ce4bb249bca9c0676f04e519fcf0553a27ecf5f0d",
  "baseline_stale": false,
  "retained_leaf_metadata_and_numeric_strings_unchanged": true,
  "reused_independent_evidence": {
    "path": "agents/runs/coverage-20261027/remaining/offline/T434/coverage-checks.json",
    "sha256": "ded0bb283abc63421b57803af0216cfe10b939c17337606c014356aa57756257",
    "identical_number_strings_parameters_metadata_selection_and_numerical_code": true
  }
}