Frequency-constrained robust unit commitment via physics-guided piecewise-linear nadir surrogates and adaptive virtual inertia | Synapse