Updated Preferences dataclass with a new field: alarm_duration_seconds: int = 0 Kept ServerState.save_preferences() unchanged so alarm_duration_seconds is automatically serialized into preferences.json.