Does Fixing Break Security? an Empirical Study of Security Degradation in Iterative LLM-Driven Infrastructure-As-Code Repair

Background: Iterative feedback loops are the dominant paradigm for improving LLM-generated Infrastructure-as-Code IaC: validators such as Checkov and terraform validate feed error signals back for successive repair attempts. Prior work reports cumulative-best metrics, which are non-decreasing by...