{
  "table": "T443",
  "new_numerical_claim": false,
  "numbers_unchanged": true,
  "generator_unchanged": true,
  "validation_scope": "Structural range, positivity and monotonicity checks; separate Fredholm origin controls are recorded in probability-controls.json. Earlier 100-digit evidence is retained, not claimed as rerun.",
  "origin_fredholm_controls": {
    "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
  },
  "structural_checks_all_entries": true
}