This can clearly be optimized. The rules that disallow "login_and_go" are already covered by the disallow rules for "login_". Checkmate.

drw: I'm confused, why submit this? It's pretty standard rules + ASCII art.

It seems you are affiliated, is that right? Did you do the ASCII by hand?

Or perhaps this is actually an attempt at self-promotionm I see a job application link hiding in there. ಠ_ಠ