Even if we're only talking about the stack variables in the frames that are active during your particular problematic case (and perhaps in the idle Emacs GC case)?

Have you already ruled out whether stack_top_variable contributes one of the bytes in your false positive lookup in the mem_node tree?