# Tight X_entry heatup reach: T_c in [285, 291] (6 K vs 14 K baseline).
# Produces the clean "all 6 inv1_holds halfspaces discharged at T=300s"
# result from 2026-04-20 overnight session.

name = "tight"
description = "Narrow X_entry on T_c/T_f/T_cold; n in [1e-3, 2e-3]"

use_predicates_entry = false

[entry]
n_range = [1.0e-3, 2.0e-3]
T_f_range_C = [285.0, 291.0]
T_c_range_C = [285.0, 291.0]
T_cold_range_C = [278.0, 285.0]

[tmjets]
orderT = 4
orderQ = 2
abstol = 1e-9
maxsteps = 1000000

[probes]
# Single probe at the nominal heatup completion time.
# At T_REF_START_C = 285, RAMP_RATE = 28 C/hr, T_ref reaches T_c0 = 308.35
# at t = (308.35 - 285) / (28/3600) = 3001 s.  Probing here checks whether
# the tube has entered X_exit (t_avg_in_range).
#
# Why not also probe at T_min = 7714 s as the formal obligation requires:
# the demo heatup controller has no clamp on T_ref.  Ramping past T_c0
# would drive the tube past t_avg_high_trip before T_min.  Discharging the
# full obligation needs a clamped controller (a smooth-min compatible with
# @taylorize) — flagged as the next thrust.  Tonight we discharge the
# nominal-heatup-time entry into X_exit; the controller redesign follows.
horizons_seconds = [3000.0]

[output]
save_per_step = true
result_file = "reach_heatup_pj_tight.mat"