Every nonzero MLP weight of a weight-sparse transformer — ablated, profiled, and explained by an executable predicate. Metric of arXiv 2607.02964.
InterpA is discovery: predicates are directly searched and selected on slice 00, so its score is inflated by selection, not held-out evidence. InterpB and all three robust rules use held-out slices.