feat: implement NLA explainer and universality probe and refactor path patching engine

clarify comments

feat: implement path-causal microscopy