back to table · edit · history · where entries came from · files · download
6430 bytes, as of the version from 2026-10-27 01:02 (current). Recorded here, not run.
{
"table": "T205",
"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.650425758797542876025337729561362443895679874874022877600257996316111304925645922533850168585456181",
"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": {
"x": "1/2"
},
"retained": false,
"written": "0.6149520946965109808396811856236413930513456178954035723266386934995887895613341957110356633853898032",
"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": {
"x": "3/2"
},
"retained": false,
"written": "4.584733257284426942221381032382701256662242548351999108876627023744176949019770931419772312767308061",
"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": {
"x": "2"
},
"retained": false,
"written": "18.56480241457555259870429191324101719885800172608340681930081872293634170145762056806755792436841688",
"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": {
"x": "3"
},
"retained": false,
"written": "1629.994622601565651061647952076274162778889910915259988647982150695656826775680269243153186081103257",
"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": {
"x": "sqrt(2)"
},
"retained": false,
"written": "3.773122511599019383714739856974185368401989476096815855484903758532093273058506089477707365972639744",
"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": "sqrt(3)"
},
"retained": false,
"written": "8.251933542047841531422255028161484091020586274988208563272016193135659115516024901477803288079715145",
"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": "sqrt(5)"
},
"retained": false,
"written": "43.32762975244077541892526123203404372322315566654617955493739021107008035947417103155677002964261997",
"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": {
"x": "sqrt(6)"
},
"retained": false,
"written": "104.2841083991565402061811020840201178586816507106366502774326662426268864283470175806033781995258789",
"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": {
"x": "sqrt(7)"
},
"retained": false,
"written": "256.8335991871665741083832188157421225180397216315036045622962685903948554503119580813302083755013631",
"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": {
"x": "sqrt(8)"
},
"retained": false,
"written": "643.1268695316344571381516049905378336909745563945409797530382705269721809739316011040909544356350207",
"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
}
],
"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": "f4d1159244eb6b71c1c61d71a21a8705e38cb47bf3f7518712ec5e03cfd1dc27",
"baseline_stale": false,
"retained_leaf_metadata_and_numeric_strings_unchanged": true,
"reused_independent_evidence": {
"path": "agents/runs/coverage-20261027/remaining/offline/T205/coverage-checks.json",
"sha256": "83368852970d6aa2624a24a2c59e4bb91ea48fb6b09e06edd8256e81e9be4749",
"identical_number_strings_parameters_metadata_selection_and_numerical_code": true
}
}