Our paper was accepted by FSE 2026 (Industry Track): “Mitigating Implicit Inconsistencies in Patch Porting”