This research reviews recent advances in the domain of Automated Rule Checking (ARC) and argues that current systems are predominantly designed to validate models in post-design stages. useful for applications such as e-permitting. However. such a design-check-separated paradigm imposes a burden on designers as they need to iteratively fix the fail-to-pass issues. https://www.roneverhart.com/Procharger-Supercharger-Kit-Dodge-Charger-5-7L-Hemi-2015-2023/