Configurations: 1760; feasible: 19
Optimum: s=7, r=2, cost=57, declared service score=90
Global rational lower bound: 512/9; integer bound: 57; optimality gap: 0
Independent bounded checker: 40 candidate pairs
All 55 thermal design pairs checked; every unsafe pair has a witness
All 5 digital ablations have explicit observation-pair witnesses
Near-miss (s=7,r=1): first thermal distinction at step 24
Sensitivity: {"default": {"cost": 57, "invariant_radius": "1/20", "r": 2, "s": 7, "service_score": 90}, "disturbance_doubled": {"cost": 66, "invariant_radius": "1/20", "r": 1, "s": 8, "service_score": 95}, "load_bound_doubled": {"cost": 72, "invariant_radius": "1/20", "r": 2, "s": 8, "service_score": 90}, "slower_cooling": {"cost": 66, "invariant_radius": "1/20", "r": 1, "s": 8, "service_score": 95}}
Lean kernel check: NOT RUN. Hardware/refinement: NOT VALIDATED.
