Some “<user> mentioned you” notifications missing from “For Me” or “@Mentioned” Inbox filters

It appears there is a bug in the Inbox filtering mechanism. I have a notification that appears in “All Activity” this afternoon, of the form “ mentioned you”, that does not appear in either the “For Me” nor the “@Mentioned” Inbox filters. I rely heavily on these filters to be able to manage my inbox and respond effectively, so finding them unreliable is quite frustrating.