SNR margin adjustments: which value is changed

I understand that SNR MARGIN is the arithmetic difference between 1) actual line SNR 2) SNR required to synchronize

My provider has an option to lower from 12dB to 6dB

I’m wondering what the ISP really changes when it modifies the margin

If it is 1) or 2)

Any idea?