probability-controls.json

back to table · edit · history · where entries came from · files · download

3121 bytes, as of the version from 2026-10-26 15:39 (current). Recorded here, not run.

{
  "scope": "seven origin values only, not a full numerical revalidation of 379 entries",
  "rigour": "heuristic (agreement-checked)",
  "configurations": [
    {
      "nodes": 170,
      "interval_length": 36,
      "working_digits": 170,
      "values": {
        "T441": {
          "1": "0.8319080662029519274622193818646768069313276435170821585562849746628248999380788480503853215621905934619676470515112341541722888334",
          "2": "0.9693728283552626683498782494508137827306020107664514853125418085926383608838626593913161183187484529607004748509431960115478839337",
          "4": "0.9985741973581685402167048089588001920045534684113751159403404896516268942355433412683067653814745766639137479186143435522172924237"
        },
        "T451": {
          "1": "0.1814195712213347428688072553938930727564310049044414173857271904848354394273617395688182461294799242654156226764788041876009814190",
          "2": "0.06697530713277931168006697499081782218644682922935036229026473722270983305728277396695958654683514497796939035005333836062787633946",
          "4": "0.005526846546652940683921753051873789434125136079832941557751155873664755485021831868109418943759231292141838469513390203927162241421"
        },
        "T443": {
          "q": "0.3670615515480784277477921131756109615121920536131394537086149438391963071001863772228898876675201134630208188695148171193046422741"
        }
      },
      "inside_stored_100_digit_intervals": true
    },
    {
      "nodes": 210,
      "interval_length": 44,
      "working_digits": 210,
      "values": {
        "T441": {
          "1": "0.8319080662029519274622193818646768069313276435170821585562849746628248999380788480503853215621905934619676470513135779719909524112",
          "2": "0.9693728283552626683498782494508137827306020107664514853125418085926383608838626593913161183187484529607004748509431960115478839322",
          "4": "0.9985741973581685402167048089588001920045534684113751159403404896516268942355433412683067653814745766639137479186539423883404144035"
        },
        "T451": {
          "1": "0.1814195712213347428688072553938930727564310049044414173857271904848354394273617395688182461294799242654156226774354899155615829754",
          "2": "0.06697530713277931168006697499081782218644682922935036229026473722270983305728277396695958654683514497796939035005333836062787635761",
          "4": "0.005526846546652940683921753051873789434125136079832941557751155873664755485021831868109418943759231292141838469170478005372574120726"
        },
        "T443": {
          "q": "0.3670615515480784277477921131756109615121920536131394537086149438391963071001863772228898876675201134630208188695148171193046422746"
        }
      },
      "inside_stored_100_digit_intervals": true
    }
  ],
  "omitted_error_bounds": [
    "quadrature truncation",
    "infinite-interval truncation"
  ],
  "independent_of": "stored Painleve-II Taylor integration",
  "convergence_relative_tolerance": "1e-102",
  "worst_relative_difference": "[6.20448198914182e-110 +/- 4.35e-125]",
  "complete": true,
  "all_entries_structurally_checked": true
}