Optimize C# Code

Make a measured .NET 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 metric the card names improves. The cards record preconditions, semantic traps, and exact verification steps, so read the card before applying a construct.

Workflow