What is the main effect of const cfg = { retry: 3 } satisfies { retry: 0 | 1 | 2 | 3 }?

What is the main effect of const cfg = { retry: 3 } satisfies { retry: 0 | 1 | 2 | 3 }?

1. It checks that 3 is allowed while retaining the useful specific type of cfg.retry.
2. It freezes cfg at runtime.
3. It validates future JSON assigned to cfg.
4. It converts retry to a string union.