Optimal Local Certification on Graphs of Bounded Pathwidth. - Dan Alden Baterisna; Yi-Jun Chang (PODC, 2025)