A big issue with current mech interp is that it's looking for good explanations, but the set of good explanations is not closed under composition. There are subsets that are, e.g. explanatory trees, and you see a lot of those in mature sciences like biology. Even when an explanatory graph can't fit entirely in one human mind, it can remain good if you are able to focus on one part and compress the others that don't matter.