2609.19199R·cs.SE18 de set. de 2026Code-as-Auditor: Executable Compliance Reasoning via Regulation-to-Code Kim, J.; Kwack, T.; Jang, J.