2026年5月16日 AI Safety Stack: types、contracts、property tests、mutation gates AI-generated code を production で持たせたいなら、code review だけでは足りません。type constraints から mutation testing、runtime containment までの layered safety stack が必要です。 ai-engineeringsafety-stacktypesdesign-by-contractproperty-based-testingmutation-testing