Local Additive Feature Attribution: A Mathematical Taxonomy and Reporting Checklist A new survey proposes a unified mathematical framework for local additive feature attribution methods in explainable AI, organizing Shapley, path-based, gradient, perturbation, and CAM-style methods around five specification choices. The study links common failure modes to underlying assumptions and introduces a ten-item reporting checklist, emphasizing that attribution results are only meaningful relative to their mathematical assumptions. arXiv:2607.14271v1 Announce Type: new Abstract: Feature-attribution methods are central to explainable artificial intelligence. Their assumptions are expressed in several mathematical languages: cooperative-game values, path integrals, gradient operators, perturbation distributions, and backpropagation rules. This survey proposes a common framework for local additive feature attribution. It organizes Shapley, path-based, gradient/backpropagation, perturbation, and CAM-style methods around five specification choices: value function, reference, path, perturbation distribution, and conservation rule. It then compares these methods through an axiom-by-method matrix and links common failure modes, including baseline sensitivity, off-manifold perturbations, sanity-check failures, adversarial manipulation, and method disagreement, to the assumptions that produce them. Finally, the survey proposes a ten-item reporting checklist for studies that use local additive attributions. The central message is that attribution results are meaningful only relative to the mathematical assumptions under which they are defined, and that those assumptions should be reported.