Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis