Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic: A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. CP 2024: 11:1-11:20