A global lexical is one which is declared in the package scope so properly "package lexicals disappear".

You got your terminology mixed up. A lexical is by definition lexically scoped. It exists inside a block, and not outside that block (there's a block at the file level as well).

And package variable, that is, a variable with a package wide scope, is not a lexical variable.

As for your last tidbit, you don't say what it does for you, and what you expect it to do, but when I run it, it prints "T1:s1", which is what I expect.