back to table · edit · history · where entries came from · files · download
6411 bytes, as of the version from 2026-10-27 01:02 (current). Recorded here, not run.
{
"table": "T194",
"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": "1"
},
"retained": true,
"written": "1.057250875375728514571842354895877959024053937569807899612103522478041266546472849135555480580638103",
"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": {
"x": "1/3"
},
"retained": false,
"written": "0.3353978181887154629033148374666816983611059060774386578465238396557942872609578968189141167856538802",
"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": {
"x": "1/2"
},
"retained": false,
"written": "0.5069967498196671958336598759889438002541262223344977802055555028977463978784682624982607055223812133",
"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": {
"x": "2"
},
"retained": false,
"written": "2.501567433354975641473372482727542398916272873691532585427209064141200421006279691081182966430150902",
"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": "4.973440475859806797710418382522705142969565328533902860435016548191677696883496353124500238952201689",
"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": "4"
},
"retained": false,
"written": "9.817326911233034464562297569928152633991898149097820874257390114452073336891755011184962633527426188",
"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": "5"
},
"retained": false,
"written": "20.09321182569722639044437617788284340874767674733331415047386037284311412658254000478545980377124624",
"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": "6"
},
"retained": false,
"written": "42.99506111244568373112134785105323091824280627702357427520587059352616043147645956287299483283330894",
"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": "log(2)"
},
"retained": false,
"written": "0.7119174115892903807858980369155870585369248095647077863886650429047839809685171105792736931585904576",
"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": {
"x": "log(3)"
},
"retained": false,
"written": "1.174999995749379558112973318918406857671927983832519370605367169305177386104146737690475892495309544",
"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": {
"x": "log(5)"
},
"retained": false,
"written": "1.859857398380722959050126769571416204861370074004720109392864060710849312529899690665254595117465015",
"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
}
],
"all_new_values_independently_checked": true,
"counts": {
"total": 12,
"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": [],
"baseline_revision": "12ddff2313047be570644d0b663836acfb4fd537029d5f3c9b096b8cc4a334a2",
"baseline_stale": false,
"retained_leaf_metadata_and_numeric_strings_unchanged": true,
"reused_independent_evidence": {
"path": "agents/runs/coverage-20261027/remaining/offline/T194/coverage-checks.json",
"sha256": "8975647719de1b8b3f2e94ba22654aa41e312cfa4660dcb33e703165b7f001c2",
"identical_number_strings_parameters_metadata_selection_and_numerical_code": true
}
}