打回:单元拿掉了,但 Narayana_AD 仍算 unexplained,又落回 not_reducible, 且那个分支不输出 excluded_contributions。 - 新增 _explained_by_exclusion:差异层被「所有带它的候选的不可拆 MD/AD 项」 覆盖且没有别的缺失层时,视为已由排除解释 - not_reducible 分支也输出 excluded_contributions(非空时) - 旧形状行(无 contributions)不受影响 Tests: 新增 4 条真实形状用例(只缺小运→common_coverage、再加一个缺失层→ not_reducible 但仍报排除、旧形状行不报、负分照计);本文件 20 条 + 既有四套 合计 56 条全过。 Co-Authored-By: Grok (agent loop)