Report — kissing-5d leftover star-cover ≥ 5

Residue. Published range still $40\le\tau_5\le 44$. Did not claim $\tau_5=40$. Dual line dropped (best certified $221991/3733\approx 59.47$). Type $(2,1)$ and type $(1,3)$ leftover-tight SAT are unsat with verified native CaDiCaL DRATs; Aut transitivity empties those $60+160$ hosts. Type $(0,5)$ and global $|U|=19$ SAT incomplete. Leftover extras B&B ran $20$G nodes and did not finish.

Replay: sh problems/kissing-5d/compute/q7/run_all.sh.