Optimize Go Code

Make a measured Go hot path cheaper without changing observable behavior. Each change applies one reference card to a cost that a profile attributes, is proven equivalent by a test oracle, and is kept only if the metric the card names improves. The cards record preconditions and traps that are easy to get wrong from memory, so read the card before applying a construct.

Workflow