in most companies formal interactions, like writing people up, have to go through HR. Tha you can write people up in the US for such silly things is truly remarkable though. In my country writing someone up is only valid, if they violated the terms of their contract or disobeyed proper and legal procedures. While i guess you could write “has to be positive all the time” in the contract or company regulations it would not hold in court.