> I recently watched your video citing all the mathematical evidence that correctness may not decompose

For myself and others, are you referring to the video here: https://pron.github.io/posts/correctness-and-complexity ?