IdempotencyGuard: Static Analysis for Infrastructure as Code Idempotence

IdempotencyGuard is a static analysis tool for detecting non-idempotent patterns in Infrastructure as Code (IaC) configurations, specifically Terraform and Ansible This package contains:1. Technical Whitepaper - Formal framework, pattern taxonomy, and limitations2. Reference Implementation - Python prototype (~800 lines, no dependencies) PREPRINT STATUS: This work has not been peer-reviewed. It is shared for academic feedback and collaboration Keywords: Infrastructure as Code, Idempotence, Static Analysis, Terraform, Ansible, DevOps, Formal Methods