{
  "table": "T433",
  "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": "0.3068528194400546905827678785418234319244998656397447458793199905066063780303052843941366730035813125",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 663,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "3"
      },
      "retained": true,
      "written": "0.04860838829113156690718303934340742135432958047814054231680528505148823573593247200409129337116770797",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 660,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "4"
      },
      "retained": true,
      "written": "0.004910925647760832352739150923615186032484297417692945977961657528030631494153505349840165957891479305",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 656,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "5"
      },
      "retained": true,
      "written": "0.0003547247004560397298338945107706235609516436105726162701669036821477003206922126803906929382184528416",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 652,
      "independent_mpmath_precisions": [],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "6"
      },
      "retained": true,
      "written": "0.00001964969635395528965175498612920452289459671980962327267045628854204220362614428655654864830520116536",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 648,
      "independent_mpmath_precisions": [],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "7"
      },
      "retained": true,
      "written": "8.745669953293916695580283572769972173380471976458048319843283490701751507455205957369890872419066466e-7",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 642,
      "independent_mpmath_precisions": [],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "8"
      },
      "retained": true,
      "written": "3.232069304226103772599785361728216157619475162802409072273440324202075270546185324928313771781708734e-8",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 638,
      "independent_mpmath_precisions": [],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "9"
      },
      "retained": true,
      "written": "1.016248282737836546534853935695695783824439958658074404463809039602732886867963160647959275185158800e-9",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 633,
      "independent_mpmath_precisions": [],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "10"
      },
      "retained": true,
      "written": "2.770171837725958988758121200634342326343006650115606506625469924608958391571159227442464413125831985e-11",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 627,
      "independent_mpmath_precisions": [],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "3/2"
      },
      "retained": false,
      "written": "0.5945348918918356180219868845356508634280095765375058023859856758558993287510857487322475721826865988",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 664,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "5/2"
      },
      "retained": false,
      "written": "0.1303195618322507456114389443076067397200331776511915871698896030537865596281599029547514661323311788",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 662,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    },
    {
      "params": {
        "u": "7/2"
      },
      "retained": false,
      "written": "0.01622959324323599163094189604678439986680615911030965241451229416257007039186053275168936549155862219",
      "enclosure_inside_written_interval": true,
      "higher_precision_order_check": true,
      "higher_run_relative_accuracy_bits": 658,
      "independent_mpmath_precisions": [
        150,
        200
      ],
      "written_interval_root_bracket": false
    }
  ],
  "all_new_values_independently_checked": true,
  "counts": {
    "total": 13,
    "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": "db4197bc8996b7038de41f373ecdd8da3d1537a68ab66ece9c0cf5fc09935343",
  "baseline_stale": false,
  "retained_leaf_metadata_and_numeric_strings_unchanged": true,
  "reused_independent_evidence": {
    "path": "agents/runs/coverage-20261027/remaining/offline/T433/coverage-checks.json",
    "sha256": "e67a19e35151cd172f863a43cbab09235691827291acdc0e0f267f219d60409a",
    "identical_number_strings_parameters_metadata_selection_and_numerical_code": true
  }
}