Function verify_semantic_state 

pub fn verify_semantic_state<E: MetadataTransaction + ?Sized>(
    db: &mut E,
    state: &SemanticState,
) -> Result<(), PgMetaError>

Called in the same adapter-owned transaction as the admission decision.