Analysis Exposes Verifier Bugs And Robustness Gaps In Terminal Bench 2 · Digg