在TypeScript 6严格检查下，关于这个声明的哪项说法正确？

在TypeScript 6严格检查下，关于这个声明的哪项说法正确？

1. 变量的类型就是Settings。
2. mode保持为 "safe"，retries是number，目标中省略的可选属性不会被补上。
3. 每个属性都会保留精确的原始字面量值。
4. 对象在编译时变为只读，并在运行时被冻结。