back to table · edit · history · where entries came from · files · download
6851 bytes, as of the version from 2026-10-27 01:03 (current). Recorded here, not run.
{
"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
}
}