back to table · edit · history · where entries came from · files · download
11873 bytes, as of the version from 2026-10-27 01:02 (current). Recorded here, not run.
{
"table": "T188",
"records": [
{
"params": {
"normalisation": "Ei",
"x": "1"
},
"retained": true,
"written": "1.895117816355936755466520934331634269017060581732707591646228431882513834533804153548900710126138957",
"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": {
"normalisation": "Ei",
"x": "1/3"
},
"retained": false,
"written": "-0.1580921089711557103135773062301122859227892527545194175342259120266969176086114508383033262467941875",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 906,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "Ei",
"x": "1/2"
},
"retained": false,
"written": "0.4542199048631735799205238126628023652814055543526420451628177866881528969266622561361796585714373140",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 906,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "Ei",
"x": "2"
},
"retained": false,
"written": "4.954234356001890163379505130227035275518053562420042054527095254570707913298407190883096971852850163",
"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": {
"normalisation": "Ei",
"x": "3"
},
"retained": false,
"written": "9.933832570625416558008336019216765262990653022987582119693034065242496228332697443187187398902087851",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 907,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "Ei",
"x": "4"
},
"retained": false,
"written": "19.63087447005622002264572027972383885313207975115315216815404620859056206761114761767084729515828299",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 907,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "Ei",
"x": "5"
},
"retained": false,
"written": "40.18527535580317745509142179379586709541908739919593043418287525164264481392822057865779970191749916",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 907,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "Ei",
"x": "6"
},
"retained": false,
"written": "85.98976214243920480358340030799069003929678516476342843823240236713215826636768251657012220573383910",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 907,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "Ei",
"x": "8"
},
"retained": false,
"written": "440.3798995348382689974245966593933924469328441823334772514628449299946652759842114114326427664576163",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 907,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "Ei",
"x": "log(2)"
},
"retained": false,
"written": "1.045163780117492784844588889194613136522615578151201575832909144075013205210359530172717405626383356",
"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": {
"normalisation": "Ei",
"x": "log(3)"
},
"retained": false,
"written": "2.163588594667191972876922367347721366542116212453868873985823001863092853305919390199866424856772226",
"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": {
"normalisation": "Ei",
"x": "log(5)"
},
"retained": false,
"written": "3.634588310032651864392342706860811271370411550229815556665838870218151370805808813685376286938805576",
"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": {
"normalisation": "Ei",
"x": "log(7)"
},
"retained": false,
"written": "4.757051765997606069292390575450131824861568757165315950696408010698927727109200529964652542349845415",
"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": {
"normalisation": "E1",
"x": "1"
},
"retained": true,
"written": "0.2193839343955202736771637754601216490310472934069082075779786130735686985591415447222102510351372500",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 906,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "E1",
"x": "1/3"
},
"retained": false,
"written": "0.8288877453485866361202069811634756826450010649093967332272735913382854921305272444761315598181019478",
"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": {
"normalisation": "E1",
"x": "1/2"
},
"retained": false,
"written": "0.5597735947761608117467959393150852352268468903163535152482932191073398988302742688603417524733251125",
"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": {
"normalisation": "E1",
"x": "2"
},
"retained": false,
"written": "0.04890051070806111956723983522804952231449218496302311632732287371169292871415219127926896100745164177",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 903,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "E1",
"x": "3"
},
"retained": false,
"written": "0.01304838109419703741250074582864502294847763408022360117699903114085916543429526306181307900231552789",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 900,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "E1",
"x": "4"
},
"retained": false,
"written": "0.003779352409848906478874860132466414851716547042489580360734020313584606172362404699077971896569385492",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 897,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "E1",
"x": "5"
},
"retained": false,
"written": "0.001148295591275325797330561969819722076266095470697866764845494043583439236859430913119905624993329877",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 896,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "E1",
"x": "6"
},
"retained": false,
"written": "0.0003600824521626586592953941157717971888273892837201121793388199201625965852366091758674599327787750408",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 894,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
},
{
"params": {
"normalisation": "E1",
"x": "8"
},
"retained": false,
"written": "0.00003766562284392490177255799595075272089048784609372541214111741941813534667453112306971822882358190202",
"enclosure_inside_written_interval": true,
"higher_precision_order_check": true,
"higher_run_relative_accuracy_bits": 891,
"independent_mpmath_precisions": [
150,
200
],
"written_interval_root_bracket": false
}
],
"all_new_values_independently_checked": true,
"counts": {
"total": 22,
"new": 20
},
"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": "d776864a38997013d272882a8ca14c5c962169b593fbe5d8a9bba3cfe73bc7f2",
"baseline_stale": false,
"retained_leaf_metadata_and_numeric_strings_unchanged": true,
"reused_independent_evidence": {
"path": "agents/runs/coverage-20261027/remaining/offline/T188/coverage-checks.json",
"sha256": "8be116f2ae385047130b691137de5725ba498746b9f6f5e281c839e0861477a9",
"identical_number_strings_parameters_metadata_selection_and_numerical_code": true
}
}