filtering for "correctness"

• 01 june, 2024 rust is not about memory safety