Close the Trace on a Matching Receipt

An agent trace is closed when a local export receipt names the same tool set as the plan. A zero exit...