infimum

Damaged ships sometimes get repaired to more than their maximum HP when placed in orbit, e.g., a ship will have 21/20 HP. Having Micro Repair Bots both increases the probability of an overshoot and makes the overshoot larger (e.g., 40/36 HP). To reproduce, fight battles until you have several damaged ships, then park the ships in orbit and end turn until they are at max HP or above.

In a recent game, I noticed that when I sent damaged ships into orbit for repairs, they often got repaired to more than their maximum HP (so that they'd be shown as 40/36, for example). I had Micro Repair Bots at the time, but it is unclear whether that was the cause.