Extreme Compactness, Extreme Gravity: Higher-Derivative Corrections to ECOs | Synapse