The Integrity Gap Model: A Formal Framework for Measuring Specification-Behavior Divergence in Governed Systems | Synapse