Linters as Invariants · HackerTrans