back to table · edit · history · where entries came from · files · download
6121 bytes, as of the version from 2026-10-27 01:03 (current). Recorded here, not run.
{
"table": "T422",
"records": [
{
"params": {
"s": "1"
},
"retained": true,
"written": "3.562144835980395970473008206214359098339290428606860410715331753025682153627176587415148432976836561",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 910,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"s": "2"
},
"retained": true,
"written": "1.781072417990197985236504103107179549169645214303430205357665876512841076813588293707574216488418280",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 910,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"s": "3"
},
"retained": true,
"written": "1.187381611993465323491002735404786366113096809535620136905110584341894051209058862471716144325612187",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 910,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"s": "5"
},
"retained": true,
"written": "1.001740410233906606991474539965273713399186684278221039455252367542175224469344275472319557164798962",
"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": {
"s": "7"
},
"retained": true,
"written": "1.000004994522598344765396414866596003357933575845658272394226961334011903575671961139562583970127255",
"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": {
"s": "9"
},
"retained": true,
"written": "1.000000006400114006046968733723925275130075753569090788163467947102711857740561311833631549252893010",
"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": {
"s": "3/2"
},
"retained": false,
"written": "2.374763223986930646982005470809572732226193619071240273810221168683788102418117724943432288651224374",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 910,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"s": "5/2"
},
"retained": false,
"written": "1.424857934392158388189203282485743639335716171442744164286132701210272861450870634966059373190734624",
"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": {
"s": "7/2"
},
"retained": false,
"written": "1.065193558002913994269316518452595346668643921351336197420530443602274381297809956462586587618990693",
"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": {
"s": "4"
},
"retained": false,
"written": "1.021641552540073820678763132674147481781985707438914026027553485555437809356538234848319766504667403",
"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": {
"s": "9/2"
},
"retained": false,
"written": "1.006477127645245870545538534107507916037032273903400852146364364829083911704260393877625197439668209",
"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
}
],
"all_new_values_independently_checked": true,
"counts": {
"total": 11,
"new": 5
},
"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": "b20bd3f29164aee98e8e955a3f35e0acba71f0661e6db7744f4a0b63453eca49",
"baseline_stale": false,
"retained_leaf_metadata_and_numeric_strings_unchanged": true,
"reused_independent_evidence": {
"path": "agents/runs/coverage-20261027/remaining/offline/T422/coverage-checks.json",
"sha256": "1cc88b85da540c1a16e2b895c6aac7c8bda86940f95dcadbf97c8ebc78cf503a",
"identical_number_strings_parameters_metadata_selection_and_numerical_code": true
}
}