The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (PEPM 2025) [video]