この資料をSMS送信: Auto-Active Relational Verification and Alignment Completeness