Continue leftover from the q7 wrap on a new branch from main (87674a7). Store under compute/q8/. Type-(0,5) leftover-tight SAT (32 hosts) and global leftover SAT |U|=19 with star-cover at least 5. Interval still 40 ≤ τ₅ ≤ 44. Covering frozen.