Optimize Kotlin Code

Make a measured Kotlin hot path cheaper without changing observable behavior. Each change applies one reference card to a cost that a profile attributes, is checked by an equivalence oracle, and is kept only if the evidence the card names improves: a javap instruction pattern, bytes per call, gc.alloc.rate.norm, a JMH score, or exact virtual time. Several cards record "no difference" for common Kotlin rules because C2 escape analysis already removes the cost, so read the card before applying a construct.

Workflow