{
  "tube_nominal": {
    "name": "tube_nominal",
    "V": "inf",
    "Q0": null,
    "steps": 1206,
    "kappa": "1/1000",
    "final_slice_inside_S": true,
    "first_grid_time_inside_S": "6191921/25000000",
    "HT_floor_4_holds_from": 0.00274949,
    "min_face_margin": 1.7877357119514327e-08,
    "min_physical_margin": 0.0028326003157658408,
    "min_LG_after_tau": 10.349952228626963,
    "min_LT_after_tau": 4.034383814923553,
    "trx_shortfall_bound_before_tau": 0.00010169952000069862,
    "HT_enclosure_at_H": [
      4.532673171867429,
      4.548371558664938
    ],
    "spent_on_service_window": [
      14.886648597287435,
      14.894433876257766
    ],
    "spent_total": [
      14.947190768241075,
      14.952939845795125
    ],
    "s_final": [
      0.12,
      0.12
    ],
    "first_grid_time_with_s_below_stationary_threshold": null,
    "storage_drawdown_W0_minus_WH": [
      -0.03484949947131266,
      0.012230254152712661
    ],
    "final_radii": [
      5.6322702896e-06,
      1.04783772488e-05,
      0.0011195481319306,
      0.0026330689638101,
      0.0028091541425903,
      0.0703795696670082,
      0.2356121907519709,
      0.4819725556847646
    ],
    "final_donor_radius": 0.0028745387770245,
    "mission_success": true,
    "mission_failure_at_H": false,
    "exact": {
      "min_LT_after_tau": "201719190746177654753112321323160419830665806515215307983364622553/50000000000000000000000000000000000000000000000000000000000000000",
      "min_LG_after_tau": "103499522286269634845656322512290093/10000000000000000000000000000000000",
      "HT_upper_at_H": "28427322241655861311019582481316381702186838760749434104882809289/6250000000000000000000000000000000000000000000000000000000000000",
      "shortfall": "50849760000349307845549842593838930084207525891066943445058242981341/500000000000000000000000000000000000000000000000000000000000000000000000",
      "spent_window": [
        "18608310746609293/1250000000000000",
        "18618042345322207/1250000000000000"
      ],
      "s_final": [
        "3/25",
        "3/25"
      ],
      "drawdown": [
        "-1742474973565633072799640142169/50000000000000000000000000000000",
        "611512707635633072799640142169/50000000000000000000000000000000"
      ]
    },
    "scope": "Exact replay of every moving-face inequality, including center drift and physical margins. Preparation/donor sets are fixed. Shortfall reported here is BEFORE tau; for Q60 later failure adds further shortfall. Numerical references are proposals, not evidence."
  },
  "tube_Q120": {
    "name": "tube_Q120",
    "V": "1000",
    "Q0": "120",
    "steps": 1206,
    "kappa": "1/1000",
    "final_slice_inside_S": false,
    "first_grid_time_inside_S": null,
    "HT_floor_4_holds_from": 0.00274949,
    "min_face_margin": 5.6079543525728195e-06,
    "min_physical_margin": 0.0028326003157658408,
    "min_LG_after_tau": 10.34990368975865,
    "min_LT_after_tau": 4.034380679270919,
    "trx_shortfall_bound_before_tau": 0.0001017012691778774,
    "HT_enclosure_at_H": [
      4.218221557058301,
      4.242046472776502
    ],
    "spent_on_service_window": [
      14.034506681238442,
      14.044982649443359
    ],
    "spent_total": [
      14.095034980556985,
      14.103472983244615
    ],
    "s_final": [
      0.10589652701675538,
      0.10590496501944302
    ],
    "first_grid_time_with_s_below_stationary_threshold": 0.43387376,
    "storage_drawdown_W0_minus_WH": [
      0.7004597919480549,
      0.7506669292703451
    ],
    "final_radii": [
      2.58683801669e-05,
      0.0027576728725734,
      0.2163267165420871,
      0.4876242968829107,
      0.5049923262881532,
      0.0889039033655672,
      0.2679210331870061,
      0.4822445835399967
    ],
    "final_donor_radius": 0.0042190013438146,
    "mission_success": true,
    "mission_failure_at_H": false,
    "exact": {
      "min_LT_after_tau": "25214879245443243241342413330230485484767171856010308295369271731/6250000000000000000000000000000000000000000000000000000000000000",
      "min_LG_after_tau": "51749518448793246396520755711089019/5000000000000000000000000000000000",
      "HT_upper_at_H": "212102323638825063824862379256339873300560014042895743498846938457/50000000000000000000000000000000000000000000000000000000000000000",
      "shortfall": "1986352913630417840022068355520671000353238722149047994949592571261/19531250000000000000000000000000000000000000000000000000000000000000000",
      "spent_window": [
        "140345066812384421/10000000000000000",
        "140449826494433579/10000000000000000"
      ],
      "s_final": [
        "529482635083776927/5000000000000000000",
        "529524825097215073/5000000000000000000"
      ],
      "drawdown": [
        "17511494798701372321086502230159/25000000000000000000000000000000",
        "18766673231758627678913497769841/25000000000000000000000000000000"
      ]
    },
    "scope": "Exact replay of every moving-face inequality, including center drift and physical margins. Preparation/donor sets are fixed. Shortfall reported here is BEFORE tau; for Q60 later failure adds further shortfall. Numerical references are proposals, not evidence."
  },
  "tube_Q60": {
    "name": "tube_Q60",
    "V": "500",
    "Q0": "60",
    "steps": 1206,
    "kappa": "1/1000",
    "final_slice_inside_S": false,
    "first_grid_time_inside_S": null,
    "HT_floor_4_holds_from": 1.004,
    "min_face_margin": 7.187885839177097e-06,
    "min_physical_margin": 0.0028326003157658408,
    "min_LG_after_tau": 10.349633313110791,
    "min_LT_after_tau": 3.876846146101214,
    "trx_shortfall_bound_before_tau": 0.00010170301854367931,
    "HT_enclosure_at_H": [
      3.877017445461907,
      3.9131222024058756
    ],
    "spent_on_service_window": [
      13.237442547787255,
      13.250706413541344
    ],
    "spent_total": [
      13.297956980505917,
      13.309181116314283
    ],
    "s_final": [
      0.09338163776737143,
      0.09340408603898817
    ],
    "first_grid_time_with_s_below_stationary_threshold": 0.21755675,
    "storage_drawdown_W0_minus_WH": [
      1.374252865110644,
      1.4283894869123561
    ],
    "final_radii": [
      6.46123025063e-05,
      0.0078016443213743,
      0.5038112044217812,
      1.1018369938723185,
      1.0854455754976813,
      0.1166862399579807,
      0.3034414953531562,
      0.4825672539180831
    ],
    "final_donor_radius": 0.0056120679041825,
    "mission_success": false,
    "mission_failure_at_H": true,
    "exact": {
      "min_LT_after_tau": "3028786051641573225301884323717381289205973975880371151607965543/781250000000000000000000000000000000000000000000000000000000000",
      "min_LG_after_tau": "1617130205173561250884998521954439/156250000000000000000000000000000",
      "HT_upper_at_H": "195656110120293783770997235727062290019540492651037967236350282773/50000000000000000000000000000000000000000000000000000000000000000",
      "shortfall": "508515092718396549993271790826889617585017864605621222265771474219059/5000000000000000000000000000000000000000000000000000000000000000000000000",
      "spent_window": [
        "1654680318473407/125000000000000",
        "414084575423167/31250000000000"
      ],
      "s_final": [
        "18676327553474287/200000000000000000",
        "18680817207797633/200000000000000000"
      ],
      "drawdown": [
        "17178160813883049647372889155201/12500000000000000000000000000000",
        "17854868586404450352627110844799/12500000000000000000000000000000"
      ]
    },
    "scope": "Exact replay of every moving-face inequality, including center drift and physical margins. Preparation/donor sets are fixed. Shortfall reported here is BEFORE tau; for Q60 later failure adds further shortfall. Numerical references are proposals, not evidence."
  }
}