ProvenRun ProvenHSM vs Tang (2026): Side-by-Side Comparison