> "the code actually compiles, runs, and produces the correct output."

I mean, I guess I interpreted the chart in tfa to indicate that this doesn't always happen.