First of all, thank you for including a query with test data to reproduce the issue, that is very helpful.

This seems to be a bug, those two (NOT t.id IN [1,3] and t.id <> 1 AND t.id <> 3) should result in the same thing. This is being investigated by the engineering team. I will post here when I hear something more.