Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification. - Masato Kamba; Hirotake Murakami; Akiyoshi Sannai (CoRR, 2026)