Switching-Optimized Hoffman-Type Bounds and Frustration Certificates in Mixed Graphs | Synapse