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.fentybeautys.shop/product-category/cosmetics/