Remove irrelevant events from a failing trace while retaining declared prerequisites and replay evidence. Reduce the trace while preserving the same reproducible failure. Requires a replay function. Closure 1-minimality is not a global minimum or proof of root cause.