多冲突检测不再只并行两条递归分支：合并循环里的每次一致性检查也提前算，2核实测平均加速1.21倍
约束系统诊断需要一次找出多个最小冲突，MergeXplain 用一次分解返回多个冲突，但此前只把两条递归分支并行，消除跨半区冲突的合并循环仍串行。ParallelMergeXplain 在限定深度内并行递归分支，并把合并循环中每次 GetConflict 换成基于 QXGen 前瞻的推测并行版本。在2核机器上，全部非平凡配置的平均墙钟加速为1.21倍（标准差0.20），真实 SATLIB uf50-218 实例上 par full 在 p=2 时平均加速1.531倍，且返回结果与串行 MergeXplain 完全一致。