Researchers Test Whether Claude Models Write Code That Passes a SOC 2 Audit · Polylog